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 availableAuthor's Profile
DOI
10.1080/01445340802617523
My notes
Similar books and articles
Book Review:Da Socrate a Hegel. Bertrando Spaventa; Problemi del Mondo Morale. Igino Petrone; I Presupposti Filosofici della Nozione del Diritto. Giorgio Del Vecchio. [REVIEW]Sidney Ball - 1906 - International Journal of Ethics 16 (4):512-.
Senso e crisi. Del corpo, del mondo, del ritmo.Daniela Calabrò - 2005 - Chiasmi International 7:415-419.
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.Ricard Salvat - 2003 - Studia Phaenomenologica 3 (9999):209-231.
Analytics
Added to PP
2010-07-27
Downloads
33 (#356,269)
6 months
1 (#451,398)
2010-07-27
Downloads
33 (#356,269)
6 months
1 (#451,398)
Historical graph of downloads
Author's Profile
References found in this work
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.