David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Review of Symbolic Logic 3 (4):633-664 (2010)
§1. Introduction. Although Whitehead and Russell’s Principia Mathematica (hereafter, PM ), published almost precisely a century ago, is widely heralded as a watershed moment in the history of mathematical logic, in many ways it is still not well understood. Complaints abound to the effect that the presentation is imprecise and obscure, especially with regard to the precise details of the ramified theory of types, and the philosophical explanation and motivation underlying it, all of which was primarily Russell’s responsibility. This has had a large negative impact in particular on the assessment of the socalled “no class” theory of classes endorsed in PM. According to that theory, apparent reference to classes is to be eliminated, contextually, by means of higher-order “propositional function”—variables and quantifiers. This could only be seen as a move in the right direction if “propositional functions,” and/or higher-order quantification generally, were less metaphysically problematic or obscure than classes themselves. But this is not the case—or so goes the usual criticism. Years ago, Geach (1972, p. 272) called Russell’s notion of a propositional function “hopelessly confused and inconsistent.” Cartwright (2005, p. 915) has recently agreed, adding “attempts to say what exactly a Russellian propositional function is, or is supposed to be, are bound to end in frustration.” Soames (2008) claims that “propositional functions . . . are more taken for granted by Russell than seriously investigated” (p. 217), and uses the obscurity surrounding them as partial justification for ignoring the no class theory in a popular treatment of Russell’s work (Soames, 2003).1 A large part of the usual critique involves charging Russell with confusion, or at least obscurity, with regard to what a propositional function is supposed to be. Often the worry has to do with the use/mention distinction: is a propositional function, or even a proposition
|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
Ludwig Wittgenstein (1922/1999). Tractatus Logico-Philosophicus. Dover Publications.
W. V. Quine (ed.) (1981). Theories and Things. Harvard University Press.
Bertrand Russell (1919/1993). Introduction to Mathematical Philosophy. Dover Publications.
Citations of this work BETA
Scott Soames (2015). Reply to Critics of the Analytic Tradition in Philosophy Vol. 1 the Founding Giants. Philosophical Studies 172 (6):1681-1696.
Kevin C. Klement (forthcoming). A Generic Russellian Elimination of Abstract Objects. Philosophia Mathematica:nkv031.
Bryan Pickel (2013). Russell on Incomplete Symbols. Philosophy Compass 8 (10):909-923.
Kevin C. Klement (2014). The Paradoxes and Russell's Theory of Incomplete Symbols. Philosophical Studies 169 (2):183-207.
Similar books and articles
M. Randall Holmes, Polymorphic Type Checking for the Type Theory of the Principia Mathematica of Russell and Whitehead.
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
Michael Kremer (2008). Soames on Russell's Logic: A Reply. Philosophical Studies 139 (2):209 - 212.
Scott Soames (2008). No Class: Russell on Contextual Definition and the Elimination of Sets. Philosophical Studies 139 (2):213 - 218.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
Kevin C. Klement (2003). Russell's 1903 - 1905 Anticipation of the Lambda Calculus. History and Philosophy of Logic 24 (1):15-37.
Kevin C. Klement (2004). Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein. Philosophers' Imprint 4 (2):1-47.
Richard L. Cartwright (2005). Remarks on Propositional Functions. Mind 114 (456):915-927.
Added to index2009-07-13
Total downloads44 ( #92,506 of 1,793,090 )
Recent downloads (6 months)11 ( #72,042 of 1,793,090 )
How can I increase my downloads?