David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Analysis 69 (2):233-239 (2009)
According to the received view, formalism – interpreted as the thesis that mathematical truth does not outrun the consequences of our maximal mathematical theory – has been refuted by Goedel's theorem. In support of this claim, proponents of the received view usually invoke an informal argument for the truth of the Goedel sentence, an argument which is supposed to reconstruct our reasoning in seeing its truth. Against this, Field has argued in a series of papers that the principles involved in this argument – when applied to our maximal mathematical theory – are unsound. This paper defends the received view by showing that there is a way of seeing the truth of the Goedel sentence which is immune to Field's strategy.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Hartry Field (1994). Are Our Logical and Mathematical Concepts Highly Indeterminate? Midwest Studies in Philosophy 19 (1):391-429.
Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Jeffrey Ketland (1999). Deflationism and Tarski's Paradise. Mind 108 (429):69-94.
Jeffrey Ketland (2005). Deflationism and the Gödel Phenomena: Reply to Tennant. Mind 114 (453):75-88.
Neil Tennant (2002). Deflationism and the Gödel Phenomena. Mind 111 (443):551-582.
Citations of this work BETA
No citations found.
Similar books and articles
James B. Freeman & Charles B. Daniels (1978). Maximal Propositions and the Coherence Theory of Truth. Dialogue 17 (01):56-71.
Cezary Cieśliński (2007). Deflationism, Conservativeness and Maximality. Journal of Philosophical Logic 36 (6):695 - 705.
Cezary Cieśliński (2010). Truth, Conservativeness, and Provability. Mind 119 (474):409-422.
Peter Roeper (2003). Giving an Account of Provability Within a Theory. Philosophia Mathematica 11 (3):332-340.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Sergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.
Panu Raatikainen (2005). Truth and Provability: A Comment on Redhead. British Journal for the Philosophy of Science 56 (3):611-613.
Charles Sayward (1990). Four Views of Arithmetical Truth. Philosophical Quarterly 40 (159):155-168.
Added to index2009-04-11
Total downloads23 ( #84,015 of 1,413,400 )
Recent downloads (6 months)1 ( #154,345 of 1,413,400 )
How can I increase my downloads?