Deflationism and the gödel phenomena: Reply to Tennant

Mind 114 (453):75-88 (2005)
Authors
Abstract
Any (1-)consistent and sufficiently strong system of first-order formal arithmetic fails to decide some independent Gödel sentence. We examine consistent first-order extensions of such systems. Our purpose is to discover what is minimally required by way of such extension in order to be able to prove the Gödel sentence in a nontrivial fashion. The extended methods of formal proof must capture the essentials of the so-called 'semantical argument' for the truth of the Gödel sentence. We are concerned to show that the deflationist has at his disposal such extended methods--methods which make no use or mention of a truth-predicate. (edited)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/mind/fzi075
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,898
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Substantivism About Truth.Gila Sher - 2016 - Philosophy Compass 11 (12):818-828.
Conservative Deflationism?Julien Murzi & Lorenzo Rossi - forthcoming - Philosophical Studies:1-15.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.

View all 12 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
104 ( #61,200 of 2,293,849 )

Recent downloads (6 months)
2 ( #252,956 of 2,293,849 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature