On interpreting Gödel's second theorem

Journal of Philosophical Logic 8 (1):297 - 313 (1979)
  Copy   BIBTEX

Abstract

In this paper I have considered various attempts to attribute significance to Gödel's second incompleteness theorem (G2 for short). Two of these attempts (Beth-Cohen and the position maintaining that G2 shows the failure of Hilbert's Program), I have argued, are false. Two others (an argument suggested by Beth, Cohen and ??? and Resnik's Interpretation), I argue, are groundless.

Categories

Keywords

Reprint years

DOI

10.1007/bf00258433

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Gödel's theorems: a workbook on formalization.Verena Huber-Dyson - 1991 - Stuttgart: B.G. Teubner Verlagsgesellschaft.
Limited ink : interpreting and misinterpreting GÜdel's incompleteness theorem in legal theory.Karen Crawley - unknown
Edgar Morin's paradigm of complexity and gödel's incompleteness theorem.Yi-Zhuang Chen - 2004 - World Futures 60 (5 & 6):421 – 431.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Prose versus proof: Wittgenstein on gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.
Wittgenstein as his own worst enemy: The case of gödel's theorem.Mark Steiner - 2001 - Philosophia Mathematica 9 (3):257-279.

Analytics

Added to PP
2009-01-28

Downloads
132 (#133,933)

6 months
16 (#136,207)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.
On a theorem of Feferman.Michael Detlefsen - 1980 - Philosophical Studies 38 (2):129 - 140.

View all 8 citations / Add more citations

References found in this work

Comments on the Foundations of Set Theory.Paul J. Cohen - 1975 - Journal of Symbolic Logic 40 (3):459-460.

Add more references