《语言的逻辑句法》用德语初版于1934年。其成书过程颇具戏剧性。翻开《句法》,读者会发现除了我们刚刚提到的哲学部分之外,它的前200页的篇幅都被极其繁琐缜密的技术性工作占据了。若用今天的术语来描述,卡尔纳普的逻辑句法的内容包括对一门语言的纯粹句法规定以及用于这门语言的一套算法。
PIREFACE TO THE ESOLISH EDITION
FOREWORD
INTRODUCTION
1. What is Logical Syntax?
2. Languages as Calculi
PART Ⅰ.THE DEFINITE LANGUAGE Ⅰ
A. RULES OF FORMATION FOR LANGUAGE Ⅰ
3. Predicates and Functors
4. Syntactical Gothic Symbols
5. The Junction Symbols
6. Universal and Existential Sentences
7. The K-Operator
8. The Definitions
9. Sentences and Numerical Expressions
B. RULES OF TRANSFORMATION FOR LANGUAGE Ⅰ
10. General Remarks Concerning Transformation Rules
11. The Primitive Sentences of Language Ⅰ
12. The Rules of Inference of Language Ⅰ
13. Derivations and Proofs in Language Ⅰ
14. Rules of Consequence for Language Ⅰ
C. REMARKS ON THE DEFINITE FORM OF LANGUAGE
15. Definite and Indefinite
16. On Intuitionism
16 a. Identity
17. The Principle of Tolerance in Syntax
PART Ⅱ. THE FORMAL CONSTRUCTION OF THE SYNTAX OF LANGUAGE Ⅰ
18. The Syntax of Ican be Formulated in Ⅰ
19. The Arithmetization of Syntax
20. General Terms
……