Chapter
        
        
            
                    
        
                
                
                    
                
                
            
            
                
            
            
            
            
            
            
        
    
    
    Licensed
                
                    
                    Unlicensed
                    
                    Requires Authentication
                
            
    
                
        
        CHAPTER II. CLASSES AND TYPE
                                    
                                    You are currently not able to access this content.
                                
                                
                                
                                                
                                                You are currently not able to access this content.
                                            
                                            
                                            Chapters in this book
- Frontmatter i
 - ACKNOWLEDGMENT vii
 - FOREWORD ix
 - CONTENTS xi
 - INTRODUCTION 1
 - CHAPTER I. ORDINATION 10
 - CHAPTER II. CLASSES AND TYPE 18
 - CHAPTER III. PROPOSITIONS 26
 - CHAPTER IV. CONGENERATION AND ABSTRACTION 35
 - CHAPTER V. RULES OF INFERENCE 42
 - CHAPTER VI. POSTULATES 51
 - CHAPTER VII. MATERIAL IMPLICATION 60
 - CHAPTER VIII. INCLUSION AND IDENTITY 75
 - CHAPTER IX. UNIVERSALITY AND IMPLEXION 85
 - CHAPTER Χ. EQUIVALENCE, DENIAL, AND CONJUNCTION 95
 - CHAPTER XI. EXTENSION OF THE GENERAL CALCULUS 105
 - CHAPTER XII. THE PROPOSITIONAL CALCULUS AS A CALCULUS OF CLASSES 121
 - CHAPTER XIII. INTRODUCTION TO RELATIONS 128
 - CHAPTER XIV. DESCRIPTIONS 139
 - CHAPTER XV. UNITY 146
 - CHAPTER XVI. DOMAINS AND RELATIVE PRODUCTS 153
 - CHAPTER XVII. DERIVATIVE NOTIONS 161
 - CHAPTER XVIII. DEDUCIBILITY OF THE SYSTEM OF PRINCIPIA MATHEMATICA 173
 - TABLE OF DEFINITIONS 194
 - INDEX 195
 
Chapters in this book
- Frontmatter i
 - ACKNOWLEDGMENT vii
 - FOREWORD ix
 - CONTENTS xi
 - INTRODUCTION 1
 - CHAPTER I. ORDINATION 10
 - CHAPTER II. CLASSES AND TYPE 18
 - CHAPTER III. PROPOSITIONS 26
 - CHAPTER IV. CONGENERATION AND ABSTRACTION 35
 - CHAPTER V. RULES OF INFERENCE 42
 - CHAPTER VI. POSTULATES 51
 - CHAPTER VII. MATERIAL IMPLICATION 60
 - CHAPTER VIII. INCLUSION AND IDENTITY 75
 - CHAPTER IX. UNIVERSALITY AND IMPLEXION 85
 - CHAPTER Χ. EQUIVALENCE, DENIAL, AND CONJUNCTION 95
 - CHAPTER XI. EXTENSION OF THE GENERAL CALCULUS 105
 - CHAPTER XII. THE PROPOSITIONAL CALCULUS AS A CALCULUS OF CLASSES 121
 - CHAPTER XIII. INTRODUCTION TO RELATIONS 128
 - CHAPTER XIV. DESCRIPTIONS 139
 - CHAPTER XV. UNITY 146
 - CHAPTER XVI. DOMAINS AND RELATIVE PRODUCTS 153
 - CHAPTER XVII. DERIVATIVE NOTIONS 161
 - CHAPTER XVIII. DEDUCIBILITY OF THE SYSTEM OF PRINCIPIA MATHEMATICA 173
 - TABLE OF DEFINITIONS 194
 - INDEX 195