Open-endedness, schemas and ontological commitment

Research output: Contribution to journalReview article

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 1

Fingerprint

Ontological Commitment
Axiomatization
Realist
Completeness
Truth Value
Categorical
Language
Quantification
Second-order Logic

All Science Journal Classification (ASJC) codes

  • Philosophy

Cite this

Pedersen, Nikolaj J.l. Linding ; Rossberg, Marcus. / Open-endedness, schemas and ontological commitment. In: Nous. 2010 ; Vol. 44, No. 2. pp. 329-339.
@article{ea921368b5f7444a9c6a132117413fc5,
title = "Open-endedness, schemas and ontological commitment",
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.",
author = "Pedersen, {Nikolaj J.l. Linding} and Marcus Rossberg",
year = "2010",
month = "6",
day = "1",
doi = "10.1111/j.1468-0068.2010.00742.x",
language = "English",
volume = "44",
pages = "329--339",
journal = "Nous",
issn = "0029-4624",
publisher = "Wiley-Blackwell",
number = "2",

}

Open-endedness, schemas and ontological commitment. / Pedersen, Nikolaj J.l. Linding; Rossberg, Marcus.

In: Nous, Vol. 44, No. 2, 01.06.2010, p. 329-339.

Research output: Contribution to journalReview article

TY - JOUR

T1 - Open-endedness, schemas and ontological commitment

AU - Pedersen, Nikolaj J.l. Linding

AU - Rossberg, Marcus

PY - 2010/6/1

Y1 - 2010/6/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77952932181&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77952932181&partnerID=8YFLogxK

U2 - 10.1111/j.1468-0068.2010.00742.x

DO - 10.1111/j.1468-0068.2010.00742.x

M3 - Review article

VL - 44

SP - 329

EP - 339

JO - Nous

JF - Nous

SN - 0029-4624

IS - 2

ER -