Article ID: CBB001213927

Completeness: From Gödel to Henkin (2014)

unapi

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory.

...More
Citation URI
https://data.isiscb.org/isis/citation/CBB001213927/

Similar Citations

Book Patterson, Douglas; (2008)
New Essays on Tarski and Philosophy (/isis/citation/CBB001232382/)

Book Tieszen, Richard L.; (2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic (/isis/citation/CBB001210605/)

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 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/)

Book Heijenoort, Jean van; (2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (/isis/citation/CBB000201415/)

Article Franks, Curtis; (2009)
The Gödelian Inferences (/isis/citation/CBB001211043/)

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Kleene, Stephen C.; Moore, Gregory H.; Solovay, Robert M.; Heijenoort, Jean van; (2001)
Collected Works, Volume 1: Publications, 1929--1936 (/isis/citation/CBB000630371/)

Article Formica, Giambattista; (2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections (/isis/citation/CBB001034599/)

Article Cassou-Noguès, Pierre; (2005)
Gödel and “The objective existence” of Mathematical Objects (/isis/citation/CBB000740617/)

Book William Boos; Florence S. Boos; (2018)
Metamathematics and the Philosophical Tradition (/isis/citation/CBB060593902/)

Article Michael Friedman; (2016)
Über drei Erscheinungen von Unterschied in der Mathematik (/isis/citation/CBB583491506/)

Book Stephen Budiansky; (2021)
Journey to the Edge of Reason: The Life of Kurt Gödel (/isis/citation/CBB142778671/)

Book Casti, John L.; DePauli, Werner; (2000)
Gödel: A Life of Logic (/isis/citation/CBB000520007/)

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/)

Article Tieszen, Richard; (2002)
Gödel and the Intuition of Concepts (/isis/citation/CBB000300364/)

Book Baaz, Matthias; (2011)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (/isis/citation/CBB001210590/)

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Parsons, Charles; Solovay, Robert M.; (2001)
Collected Works, Volume 3: Unpublished Essays and Lectures (/isis/citation/CBB000630355/)

Essay Review Klement, Kevin C.; (2007--2008)
A New Century in the Life of a Paradox (/isis/citation/CBB001567033/)

Authors & Contributors
Gödel, Kurt
Feferman, Solomon
Dawson, John W., Jr.
Solovay, Robert M.
Parsons, Charles D.
Heijenoort, Jean van
Concepts
Mathematics
Logic
Philosophy of mathematics
Philosophy
Incompleteness theorems
Collected works
Time Periods
20th century
19th century
Ancient
21st century
20th century, early
Places
Middle and Near East
Poland
Mesopotamia
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment