目录
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
……