I attribute an 'intensional reading' of the second incompleteness theorem to its author, Kurt Godel. My argument builds partially on an analysis of intensional and extensional conceptions of meta-mathematics and partially on the context in which Godel drew two familiar inferences from his theorem. Those inferences, and in particular the way that they appear in Godel's writing, are so dubious on the extensional conception that one must doubt that Godel could have understood his theorem extensionally. However, on the intensional conception, the inferences are straightforward. For that reason I conclude that Godel had an intensional understanding of his theorem. Since this conclusion is in tension with the generally accepted view of Godel's understanding of mathematical truth, I explain how to reconcile that view with the intensional reading of the theorem that I attribute to Godel. The result is a more detailed account of Godel's conception of meta-mathematics than is currently available. [ABSTRACT FROM AUTHOR]
...MoreSimilar Citations
Book
Juliette Kennedy;
(2014)
Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Article
Formica, Giambattista;
(2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections
(/isis/citation/CBB001034599/)
Book
Stephen Budiansky;
(2021)
Journey to the Edge of Reason: The Life of Kurt Gödel
(/isis/citation/CBB142778671/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Book
Kurt Godel;
Solomon Feferman;
John W. Dawson;
Warren Goldfarb;
Charles Parsons;
Wilfried Sieg;
(2013)
Kurt Gödel: Collected Works: Volume IV
(/isis/citation/CBB660754544/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Book
Tieszen, Richard L.;
(2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)
Article
Karela, Catherine;
(2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis
(/isis/citation/CBB001220619/)
Book
Goldstein, Rebecca;
(2005)
Incompleteness: The Proof and Paradox of Kurt Gödel
(/isis/citation/CBB000520034/)
Article
Saul A. Kripke;
(2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
(/isis/citation/CBB257161891/)
Book
Franzén, Torkel;
(2005)
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
(/isis/citation/CBB000650359/)
Book
Emanuele Gambetta;
(2023)
Il Teorema di Dio
(/isis/citation/CBB058518438/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Article
Cassou-Noguès, Pierre;
(2005)
Gödel and “The objective existence” of Mathematical Objects
(/isis/citation/CBB000740617/)
Chapter
Awodey, S.;
(2003)
Carnap vs. Gödel on Syntax and Tolerance
(/isis/citation/CBB001213683/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Parsons, Charles;
Solovay, Robert M.;
Heijenoort, Jean van;
(2001)
Collected Works, Volume 2: Publications, 1938--1974
(/isis/citation/CBB000630356/)
Book
Casti, John L.;
DePauli, Werner;
(2000)
Gödel: A Life of Logic
(/isis/citation/CBB000520007/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Article
Dawson, John W., Jr.;
(2012)
Jean van Heijenoort and the Gödel Editorial Project
(/isis/citation/CBB001214115/)
Be the first to comment!