How do We Know that the Godel Sentence of a Consistent Theory Is True?

Philosophia Mathematica 19 (1):47-73 (2011)
  Copy   BIBTEX

Abstract

Some earlier remarks Michael Dummett made on Gödel’s theorem have recently inspired attempts to formulate an alternative to the standard demonstration of the truth of the Gödel sentence. The idea underlying the non-standard approach is to treat the Gödel sentence as an ordinary arithmetical one. But the Gödel sentence is of a very specific nature. Consequently, the non-standard arguments are conceptually mistaken. In this paper, both the faulty arguments themselves and the general reasons underlying their failure are analysed. The analysis reveals the true nature of the epistemological relation between the Gödel sentence and its numerical instances

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
Omega-consistency and the diamond.George Boolos - 1980 - Studia Logica 39 (2-3):237 - 243.
Pointers to truth.Haim Gaifman - 1992 - Journal of Philosophy 89 (5):223-261.

Analytics

Added to PP
2011-01-14

Downloads
158 (#116,194)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
The Philosophical Significance of Gödel's Theorem.Michael Dummett - 1963 - In Michael Dummett & Philip Tartaglia (eds.), Ratio. Duckworth. pp. 186--214.

View all 17 references / Add more references