Manzano, Maria (Author)

Alonso, Enrique (Author)

History and Philosophy of Logic

Volume: 35, no. 1

Issue: 1

Pages: 50-75

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

Book
Patterson, Douglas;
(2008)

New Essays on Tarski and Philosophy
(/isis/citation/CBB001232382/)

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

Article
Paseau, Alexander;
(2011)

Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)

Book
Juliette Kennedy;
(2014)

Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)

Book
Tieszen, Richard L.;
(2011)

After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)

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
Franks, Curtis;
(2009)

The Gödelian Inferences
(/isis/citation/CBB001211043/)

Book
Heijenoort, Jean van;
(2002)

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

Article
Cassou-Noguès, Pierre;
(2005)

Gödel and “The objective existence” of Mathematical Objects
(/isis/citation/CBB000740617/)

Article
Formica, Giambattista;
(2010)

Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections
(/isis/citation/CBB001034599/)

Book
Greg Frost-Arnold;
(2013)

Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science
(/isis/citation/CBB416944911/)

Thesis
Frost-Arnold, Gregory G.;
(2006)

Carnap, Tarski, and Quine's Year Together: Logic, Mathematics, and Science
(/isis/citation/CBB001560950/)

Article
Michael Friedman;
(2016)

Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)

Book
Baaz, Matthias;
(2011)

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
(/isis/citation/CBB001210590/)

Book
William Boos;
Florence S. Boos;
(2018)

Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)

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

Article
Tieszen, Richard;
(2002)

Gödel and the Intuition of Concepts
(/isis/citation/CBB000300364/)

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

Be the first to comment!