History and Philosophy of Logic 35 (1):1-26 (2014)

María Manzano
Universidad de Salamanca
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2014
DOI 10.1080/01445340.2013.816555
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Concept of Logical Consequence.John Etchemendy - 1990 - Harvard University Press.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 29 references / Add more references

Citations of this work BETA

Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
Weak and Post completeness in the Hilbert school.Víctor Aranda - 2019 - Humanities Journal of Valparaiso 14:449-466.

Add more citations

Similar books and articles

Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort (ed.) - 1970 - Cambridge, MA: Harvard University Press.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
The Compactness of First-Order Logic:From Gödel to Lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.
Explicit Henkin Sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.
A Generalization of the Concept of Ω-Completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The Discovery of My Completeness Proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Functional Completeness of Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.


Added to PP index

Total views
53 ( #175,187 of 2,330,104 )

Recent downloads (6 months)
1 ( #583,587 of 2,330,104 )

How can I increase my downloads?


My notes