Journal article
Quantification Theory in 9 of Principia Mathematica
History and philosophy of logic, Vol.21(1), pp.57-77
01/01/2000
DOI: 10.1080/01445340050044646
Abstract
This paper examines the quantification theory of *9 of Principia Mathematica. The focus of the discussion is not the philosophical role that section *9 plays in Principia's full ramified type-theory. Rather, the paper assesses the system of *9 as a quantificational theory for the ordinary predicate calculus. The quantifier-free part of the system of *9 is examined and some misunderstandings of it are corrected. A flaw in the system of *9 is discovered, but it is shown that with a minor repair the system is semantically complete. Finally, the system is contrasted with the system of *8 of Principia's second edition.
Details
- Title: Subtitle
- Quantification Theory in 9 of Principia Mathematica
- Creators
- Gregory Landini - University of Iowa
- Resource Type
- Journal article
- Publication Details
- History and philosophy of logic, Vol.21(1), pp.57-77
- Publisher
- Taylor & Francis Group
- DOI
- 10.1080/01445340050044646
- ISSN
- 0144-5340
- eISSN
- 1464-5149
- Language
- English
- Date published
- 01/01/2000
- Academic Unit
- Philosophy
- Record Identifier
- 9984397185802771
Metrics
3 Record Views