TABLE OF DEFINITIONS

Chapters in this book

1. Frontmatter i
2. ACKNOWLEDGMENT vii
3. FOREWORD ix
4. CONTENTS xi
5. INTRODUCTION 1
6. CHAPTER I. ORDINATION 10
7. CHAPTER II. CLASSES AND TYPE 18
8. CHAPTER III. PROPOSITIONS 26
9. CHAPTER IV. CONGENERATION AND ABSTRACTION 35
10. CHAPTER V. RULES OF INFERENCE 42
11. CHAPTER VI. POSTULATES 51
12. CHAPTER VII. MATERIAL IMPLICATION 60
13. CHAPTER VIII. INCLUSION AND IDENTITY 75
14. CHAPTER IX. UNIVERSALITY AND IMPLEXION 85
15. CHAPTER Χ. EQUIVALENCE, DENIAL, AND CONJUNCTION 95
16. CHAPTER XI. EXTENSION OF THE GENERAL CALCULUS 105
17. CHAPTER XII. THE PROPOSITIONAL CALCULUS AS A CALCULUS OF CLASSES 121
18. CHAPTER XIII. INTRODUCTION TO RELATIONS 128
19. CHAPTER XIV. DESCRIPTIONS 139
20. CHAPTER XV. UNITY 146
21. CHAPTER XVI. DOMAINS AND RELATIVE PRODUCTS 153
22. CHAPTER XVII. DERIVATIVE NOTIONS 161
23. CHAPTER XVIII. DEDUCIBILITY OF THE SYSTEM OF PRINCIPIA MATHEMATICA 173
24. TABLE OF DEFINITIONS 194
25. INDEX 195