David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Noûs 44 (2):329-339 (2010)
Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment
|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
Hartry Field (2001). Truth and the Absence of Fact. Oxford University Press.
George Boolos (1998). Logic, Logic, and Logic. Harvard University Press.
Stewart Shapiro (1991). Foundations Without Foundationalism: A Case for Second-Order Logic. Oxford University Press.
Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
Vann McGee (1997). How We Learn Mathematical Language. Philosophical Review 106 (1):35-68.
Citations of this work BETA
No citations found.
Similar books and articles
Jamin Asay (2010). How to Express Ontological Commitment in the Vernacular. Philosophia Mathematica 18 (3):293-310.
Friederike Moltmann (2013). The Semantics of Existence. Linguistics and Philosophy 36 (1):31-63.
Harold T. Hodes (1990). Ontological Commitments, Thick and Thin. In George Boolos (ed.), Method, Reason and Language: Essays in Honor of Hilary Putnam. Cambridge University Press
David Manley (2009). When Best Theories Go Bad. Philosophy and Phenomenological Research 78 (2):392-405.
Berit Brogaard (2008). Inscrutability and Ontological Commitment. Philosophical Studies 141 (1):21 - 42.
Howard Peacock (2011). Two Kinds of Ontological Commitment. Philosophical Quarterly 61 (242):79-104.
Added to index2009-02-12
Total downloads56 ( #72,737 of 1,790,390 )
Recent downloads (6 months)6 ( #141,989 of 1,790,390 )
How can I increase my downloads?