語言邏輯句法

語言的邏輯句法(德logische Syntax der Sprache)指的是卡爾納普關於語言形式的理論。它研究語言中的規則、定義等，不涉及詞或語句的意義。而僅僅研究語言由以組成的那些符號的種類和順序。它是關於某種語言的語言形式的形式埋論，即對這種語言起支配作用的形式規則所作的系統陳述，以及對從這些形式規則中引出的各種結論的闡釋。

在邏輯句法這種形式理論中包括兩種基本原則：形成規則和變形規則。形成規則規定什麼樣的語句可以被看作適當的語句。變形規則是一些以句法辭彙表述的邏輯演繹規則，它們詳細規定對經過形成規則鑑定的語句進行的演繹。