David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 26 (1):47-59 (2005)
The second printing of Principia Mathematica in 1925 offered Russell an occasion to assess some criticisms of the Principia and make some suggestions for possible improvements. In Appendix A, Russell offered *8 as a new quantification theory to replace *9 of the original text. As Russell explained in the new introduction to the second edition, the system of *8 sets out quantification theory without free variables. Unfortunately, the system has not been well understood. This paper shows that Russell successfully antedates Quine's system of quantification theory without free variables. It is shown as well, that as with Quine's system, a slight modification yields a quantification theory inclusive of the empty domain
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Gregory Landini (1991). A New Interpretation of Russell's Multiple-Relation Theory of Judgment. History and Philosophy of Logic 12 (1):37-69.
Gregory Landini (1987). Russell's Substitutional Theory of Classes and Relations. History and Philosophy of Logic 8 (2):171-200.
Gregory Landini (1996). The Definability of the Set of Natural Numbers in the 1925 Principia Mathematica. Journal of Philosophical Logic 25 (6):597 - 615.
Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
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.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
M. Randall Holmes, Automated Type-Checking for the Ramiﬁed Theory of Types of the Principia Mathematica of Russell and Whitehead.
M. Randall Holmes, Polymorphic Type Checking for the Type Theory of the Principia Mathematica of Russell and Whitehead.
Gregory Landini (1998). Russell's Hidden Substitutional Theory. Oxford University Press.
Gregory Landini (2000). Quantification Theory in *9 of Principia Mathematica. History and Philosophy of Logic 21 (1):57-77.
Added to index2010-08-10
Total downloads9 ( #231,597 of 1,699,835 )
Recent downloads (6 months)1 ( #362,609 of 1,699,835 )
How can I increase my downloads?