History and Philosophy of Logic 30 (3):241-256 (2009)

Authors
Curtis Franks
University of Notre Dame
Abstract
I attribute an 'intensional reading' of the second incompleteness theorem to its author, Kurt G del. My argument builds partially on an analysis of intensional and extensional conceptions of meta-mathematics and partially on the context in which G del drew two familiar inferences from his theorem. Those inferences, and in particular the way that they appear in G del's writing, are so dubious on the extensional conception that one must doubt that G del could have understood his theorem extensionally. However, on the intensional conception, the inferences are straightforward. For that reason I conclude that G del had an intensional understanding of his theorem. Since this conclusion is in tension with the generally accepted view of G del's understanding of mathematical truth, I explain how to reconcile that view with the intensional reading of the theorem that I attribute to G del. The result is a more detailed account of G del's conception of meta-mathematics than is currently available
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/01445340802617523
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,682
External links

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

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
Solution of a Problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.

View all 23 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2010-07-27

Total views
28 ( #355,785 of 2,349,382 )

Recent downloads (6 months)
1 ( #510,581 of 2,349,382 )

How can I increase my downloads?

Downloads

My notes