Skip to main content

Table of Contents

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

Be the first to know

Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!

Sign up here for updates about the Press