History and Philosophy of Logic 26 (1):47-59 (2005)
|Abstract||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)|
|Through your library||Configure|
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 (1998). Russell's Hidden Substitutional Theory. Oxford University Press.
M. Randall Holmes, Polymorphic Type Checking for the Type Theory of the Principia Mathematica of Russell and Whitehead.
M. Randall Holmes, Automated Type-Checking for the Ramiﬁed Theory of Types of the Principia Mathematica of Russell and Whitehead.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
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 (1996). The Definability of the Set of Natural Numbers in the 1925 Principia Mathematica. Journal of Philosophical Logic 25 (6):597 - 615.
Gregory Landini (1987). Russell's Substitutional Theory of Classes and Relations. History and Philosophy of Logic 8 (2):171-200.
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 downloads7 ( #142,190 of 722,698 )
Recent downloads (6 months)1 ( #60,006 of 722,698 )
How can I increase my downloads?