The Gödelian Inferences
History and Philosophy of Logic 30 (3):241-256 (2009)
| 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesImre Ruzsa (1981). An Approach to Intensional Logic. Studia Logica 40 (3):269 - 287.
Ricard Salvat (2003). La creación del lenguaje de la puesta en escena en Cataluña y, por extensión, de España, en el contexto teatral de finales del s. XIX y primeros años del XX. Studia Phaenomenologica 3:209-231.
Sergio Tanzarella (1994). Rifiuto del servizio militare e della violenza nel cristianesimo africano tra la fine del III e l'inizio del IV secolo. Augustinianum 34 (2):455-465.
R. D. G. (1958). Linee Per Una Storia Del Secolo XIX E Della Prima Meta Del XX. The Review of Metaphysics 12 (1):149-149.
Daniela Calabrò (2005). Senso e crisi. Del corpo, del mondo, del ritmo. Chiasmi International 7:415-419.
Graeme Forbes (2002). Intensionality: Graeme Forbes. Aristotelian Society Supplementary Volume 76 (1):75–99.
Peter Smith (2007). An Introduction to Gödel's Theorems. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2010-07-27Total downloads13 ( #87,849 of 549,010 )Recent downloads (6 months)2 ( #37,272 of 549,010 )How can I increase my downloads? |
My notes
Discussion
