What’s so Special About the Gödel Sentence $$\mathcal {G}$$?

In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing (2016)
  Copy   BIBTEX

Abstract

The very fact that the Gödel sentence $$\mathcal {G}$$ is independent of Peano Arithmetic fuels controversy over our access to the truth of $$\mathcal {G}$$. In particular, does the truth of $$\mathcal {G}$$ $$ ) precede the truth of its numerical instances $$\varphi $$, $$\varphi $$, $$\varphi, \ldots $$, as the so-called standard argument induces one to believe? This paper offers a shift in perspective on this old problem. We start by reassessing Michael Dummett’s 1963 argument which seems to speak in favour of the priority of the truth of the numerical instances of $$\mathcal {G}$$ over the truth of $$\mathcal {G}$$ itself. In opposition to some recent criticisms of Dummett’s argument, we argue that the latter is not reducible to the standard one. We then point out its prototypical nature in the sense individuated by Jacques Herbrand. This shift in perspective brings us to the claim that the controversy over the priority between $$\mathcal {G}$$ and its numerical instances endures only because the problem is ultimately ill-posed. An encompassing moral about the epistemological mechanism of prototype proofs is also drawn.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,353

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Partitions of large Rado graphs.M. Džamonja, J. A. Larson & W. J. Mitchell - 2009 - Archive for Mathematical Logic 48 (6):579-606.
The Relation Between Two Diminished Choice Principles.Salome Schumacher - 2021 - Journal of Symbolic Logic 86 (1):415-432.
On the Existence of Strong Proof Complexity Generators.Jan Krajíček - 2024 - Bulletin of Symbolic Logic 30 (1):20-40.
The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.
The Shape of Compact Covers.Ziqin Feng & Paul Gartside - forthcoming - Journal of Symbolic Logic:1-15.
Yet Another Ideal Version of the Bounding Number.Rafał Filipów & Adam Kwela - 2022 - Journal of Symbolic Logic 87 (3):1065-1092.
Some remarks on category of the real line.Kyriakos Keremedis - 1999 - Archive for Mathematical Logic 38 (3):153-162.

Analytics

Added to PP
2019-01-28

Downloads
15 (#1,126,126)

6 months
6 (#739,392)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriele Pulcini
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references