Russell's hidden substitutional theory /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Oxford University Press,
1998.
|
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23531 |
Table of Contents:
- The unrestricted variable
- Russell's logicist program
- Two conceptions of logicism: Frege and Russell
- Arithmetization
- Russell's principle of abstraction
- Logic as a science
- The logic of the principles of mathematics
- The calculus for the logic propositions
- Russell's definitions
- The theory of implication
- Quodlibet ens est unum
- Denoting concepts
- The analysis of the variable
- The new theory of the variable
- "On fundamentals" against denoting concepts
- An argument against Frege?
- The variable as primitive
- The road to substitution
- Types as logical grammar
- The logic of substitution
- Russell's original principles of substitution
- The basic logic of propositions
- Substitutional principles
- Identity
- Proofs of propositional identities
- The "no propositional functions" theory
- Substitution and definite descriptions
- Multiple substitutions
- Comprehension and identity
- Types as logical grammar
- The "no-classes" theory
- Classes as extensional propositional functions
- Complex prototypes and extensionality
- The general theory of classes
- Comparison with Principia mathematica
- The "no-relations[subscript e]" theory
- Relations-in-extension in Principia mathematica
- Relations-in-extension in the substitutional theory
- Cantor's paradox of the greatest cardinal
- The Burali-Forti paradox
- Ramification
- Les paradoxes de la logique
- Three paradoxes of propositions
- Substitutional manuscripts of April/May 1906
- Poincare's vicious circle principle.