Center for the Study of Language and Information
Russell’s Metaphysical Logic
9781575862101
9781575862095
9781575869575
Distributed for Center for the Study of Language and Information
Russell’s Metaphysical Logic
176 pages | 6 x 9 | © 1999
Cognitive Science: Language
Philosophy: General Philosophy, Logic and Philosophy of Language
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
References
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