Journal of Philosophical Logic

, Volume 8, Issue 1, pp 297–313 | Cite as

On interpreting Gödel's Second Theorem

  • Michael Detlefsen


In this paper I have considered various attempts to attribute significance to G2.25 Two of these attempts (Beth-Cohen and the position maintaining that G2 shows the failure of Hilbert's Program), I have argued, are literally false. Two others (BCR and Resnik's Interpretation), I have argued, are groundless.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    BethEvert W., The Foundations of Mathematics, 2nd ed. rev., North-Holland Publishing Co., Amsterdam, 1968.Google Scholar
  2. [2]
    CohenPaul J., Set Theory and the Continuum Hypothesis, W. A. Benjamin, Inc., Reading, Mass., 1966.Google Scholar
  3. [3]
    CohenPaul J., ‘Comments on the Foundations of Set Theory’, In Axiomatic Set Theory, edited by DanaScott, Proceedings of Symposia in Pure Mathematics, Vol. 13, pt. 1, The American Mathematical Society, New York, 1971.Google Scholar
  4. [4]
    Detlefsen, Michael, ‘The Importance of Gödel's Second Incompleteness Theorem for the Foundations of Mathematics’. Doctoral Thesis, The Johns Hopkins University, 1976.Google Scholar
  5. [5]
    GrzegorczykAndrzej, An Outline of Mathematical Logic, D. Reidel Publishing Co., Boston, 1974.Google Scholar
  6. [6]
    MostowskiAndrzej, ‘On Models of Axiomatic Systems’. Fundamenta Mathematicae 39 (1952), 133–147.PubMedGoogle Scholar
  7. [7]
    NagelE. and NewmanJ. R., Gödel's Proof, New York University Press, New York, 1958.Google Scholar
  8. [8]
    ResnikMichael D., ‘The Philosophical Significance of Consistency Proofs’. Journal of Philosophical Logic 3 (1974), 133–147.Google Scholar
  9. [9]
    RosserJ. B., ‘Gödel Theorems for Non-Constructive Logics’, Journal of Symbolic Logic 2 (1937), 129–137.Google Scholar
  10. [10]
    WangHao, Logic, Computers, and Sets, Chelsea Publishing Co., New York, 1970.Google Scholar
  11. [11]
    WangHao, From Mathematics to Philosophy, Humanities Press, New York, 1974.Google Scholar

Copyright information

© D. Reidel Publishing Co 1979

Authors and Affiliations

  • Michael Detlefsen
    • 1
  1. 1.University of Minnesota-DuluthDuluthUSA

Personalised recommendations