Synthese 192 (7):2123-2138 (2015)

María Manzano
Universidad de Salamanca
Leon Henkin (1921–2006) was not only an extraordinary logician, but also an excellent teacher, a dedicated professor and an exceptional person. The first two sections of this paper are biographical, discussing both his personal and academic life. In the last section we present three aspects of Henkin’s work. First we comment part of his work fruit of his emphasis on teaching. In a personal communication he affirms that On mathematical induction, published in 1969, was the favourite among his articles with a somewhat panoramic nature and not meant exclusively to specialists. This subject is covered in the first subsection. Needless to say that we also analyse Henkin’s better known contribution: his completeness method. His renowned results on completeness for both type theory and first order logic were part of his thesis, The Completeness of Formal Systems, presented at Princeton in 1947 under the advise of Alonzo Church. It is interesting to note that he obtained the proof of completeness for first order logic readapting the argument for the theory of types. The last subsection is devoted to philosophy. The work most directly related to philosophy is an article entitled: Some Notes on Nominalism which appeared in the Journal of Symbolic Logic in 1953. Unfortunately, we are not covering his contribution to the field of cylindric algebras. As a matter of fact, Henkin spent many years investigating algebraic structures with Alfred Tarski and Donald Monk, among others
Keywords Leon Henkin  Completeness  History of logic
Categories (categorize this paper)
DOI 10.1007/s11229-013-0389-7
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: 60,750
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

Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
Principia Mathematica.Morris R. Cohen - 1912 - Philosophical Review 21 (1):87.
Cylindric Algebras.Leon Henkin - 1971 - Amsterdam: North-Holland Pub. Co..

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
A Generalization of the Concept of Ω-Completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
The Discovery of My Completeness Proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
Review: G. Kreisel, On a Problem of Henkin's. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.


Added to PP index

Total views
41 ( #255,349 of 2,438,717 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,717 )

How can I increase my downloads?


My notes