This page has been validated.
| Page | ||
|---|---|---|
| Preface | v | |
| Introduction | 1 | |
| Chapter I. Preliminary Explanations of Ideas and Notations | 4 | |
| Chapter II. The Theory of Logical Types | 39 | |
| Chapter III. Incomplete Symbols | 69 | |
| Part I. Mathematical Logic. | ||
| Summary of Part I | 91 | |
| Section A. The Theory of Deduction | 94 | |
| ✱1. | Primitive Ideas and Propositions | 95 |
| ✱2. | Immediate Consequences of the Primitive Propositions | 102 |
| ✱3. | The Logical Product of two Propositions | 114 |
| ✱4. | Equivalence and Formal Rules | 120 |
| ✱5. | Miscellaneous Propositions | 128 |
| Section B. Theory of Apparent Variables | 132 | |
| ✱9. | Extension of the Theory of Deduction from Lower to Higher Types of Propositions | 132 |
| ✱10. | Theory of Propositions containing one Apparent Variable | 143 |
| ✱11. | Theory of two Apparent Variables | 157 |
| ✱12. | The Hierarchy of Types and the Axiom of Reducibility | 168 |
| ✱13. | Identity | 176 |
| ✱14. | Descriptions | 181 |
| Section C. Classes and Relations | 196 | |
| ✱20. | General Theory of Classes | 196 |
| ✱21. | General Theory of Relations | 211 |
| ✱22. | Calculus of Classes | 217 |
| ✱23. | Calculus of Relations | 226 |
| ✱24. | The Universal Class, the Null-Class, and the Existence of Classes | 229 |
| ✱25. | The Universal Relation, the Null Relation, and the Existence of Relations | 241 |
