Russell’s Metaphysical Logic

1. Russell’s Changing Ontology
2. Universals and Propositional Functions
2.1 Universals
2.2 Propositional Functions
2.3 Universals and Types
3. Propositions
3.1 Russell Abandons Propositions
3.2 The Unity of Propositions
3.3 Complex Entities
4. The Ramified Theory of Types
4.1 Church’s r-types
4.2 The Paradox of Propositions
4.3 Other Formulations
5. Types in Principia Mathematica
5.1 The Vicious Circle Principle
5.2 Predicative Functions and Matrices
5.3 Logical Form and Logical Type
6. The Axiom of Reducibility
6.1 Objections to the Axiom
6.2 The Origin of the Axiom
6.3 Doubts About the Axiom
6.4 Principia Mathematica as Intensional Logic
6.5 Grelling’s Paradox and the Axiom
6.6 The Identity of Indiscernibles
7. Logical Constructions
7.1 Definite Descriptions
7.2 The Multiple Relation Theory
7.3 The No-Class Theory
7.4 Constructing the Numbers
7.5 Constructing Matter
7.6 Constructions and Formal Semantics
8. Postscript on Logicism
References