Open-endedness, schemas and ontological commitment

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)329-339
Number of pages11
JournalNous
Volume44
Issue number2
DOIs
Publication statusPublished - 2010 Jun

All Science Journal Classification (ASJC) codes

  • Philosophy

Fingerprint Dive into the research topics of 'Open-endedness, schemas and ontological commitment'. Together they form a unique fingerprint.

  • Cite this