语言的逻辑句法

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

……

《西方语言哲学经典原著系列：语言的逻辑句法》用德语初版于1934年。其成书过程颇具戏剧性。翻开《句法》，读者会发现除了我们刚刚提到的哲学部分之外，它的前200页的篇幅都被极其繁琐缜密的技术性工作占据了。若用今天的术语来描述，卡尔纳普的逻辑句法的内容包括对一门语言的纯粹句法规定以及用于这门语言的一套算法。