Quantification Theory in *9 of Principia Mathematica
History and Philosophy of Logic 21 (1):57-77 (2000)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGregory Landini (2010). Russell. Routledge.
Gregory Landini (1987). Russell's Substitutional Theory of Classes and Relations. History and Philosophy of Logic 8 (2):171-200.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
Gregory Landini (1996). The Definability of the Set of Natural Numbers in the 1925 Principia Mathematica. Journal of Philosophical Logic 25 (6):597 - 615.
Bernhard Weiss (1994). On Russell's Arguments for Restricting Modes of Specification and Domains of Quantification. History and Philosophy of Logic 15 (2):173-188.
Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
Gregory Landini (2005). Quantification Theory in *8 ofPrincipia Mathematicaand the Empty Domain. History and Philosophy of Logic 26 (1):47-59.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads4 ( #178,675 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
