CONTENTS OF VOLUME I
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
PAGE
PREFACE
INTRODUCTION
CHAPTER I. PRELIMINARY EXPLANATIONS OF IDEAS AND NOTATIONS
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