Abstract
Our aim in this paper is to examine the incorporation and acceptance of Henkin’s completeness proof in some textbooks on classical logic. The first conclusion of this paper is that the inclusion of Henkin’s completeness proof into the standards of Logic was neither quick nor easy. Surprising as it may seem today, most of the textbooks published in the 1950s did not include a section for this proof, nor presented it in any way. A question we should try to answer is at what moment does Henkin’s proof of completeness for first order logic begin to be considered as a part of the standards of elementary logic. This point brings us to a discussion on the way in which the specific gains of Henkin’s proof have been assessed in literature. The possibility of using Henkin’s methods in a wide variety of formal systems made completeness a general property belonging to foundations of logic, leaving the realm of model theory for quantification languages where it was previously located.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The list is featured prominently in Sect. 8.
- 2.
For details on the dissemination of logic in Spain, see [2].
- 3.
See [16, p. 132].
- 4.
See [12].
- 5.
The translation was elaborated on that occasion by Professor Stefan Bauer-Mengelberg (see [35, p. 593]) and was reviewed and approved by Gödel himself.
- 6.
See [8, p. 291].
- 7.
Sometimes the term Henkin completeness theorem is used to make reference to any formulation of the type “every consistent set of formulas of first-order logic is satisfiable, that is, has some model.” This time, Church specifies that this consistent set is satisfiable in a model of cardinal enumerable.
- 8.
See [8, pp. 244–245].
- 9.
See [8, p. 307, nt. 510].
- 10.
See [22, p. 389].
- 11.
See [6, p. 173].
- 12.
In 1979, a second edition appears.
- 13.
- 14.
See, for example, [26].
- 15.
See Gödel’s apologize in [11, p. 63].
- 16.
See [3, p. 117].
- 17.
See [3, p. 121].
- 18.
See [31, p. 61].
- 19.
See [25, p. 136].
- 20.
See [10, p. 139].
- 21.
See [22, p. 389].
- 22.
See also [24, p. 192].
- 23.
See [26, p. 67].
- 24.
See [14].
- 25.
See [32, p. viii].
- 26.
Ibid.
- 27.
- 28.
See [9, p. 354].
- 29.
See [26, p. 69].
- 30.
See [11, p. 63].
- 31.
See [34, p. viii].
- 32.
See [17, Preface].
- 33.
See [27, p. 194].
- 34.
See [1, p. 80].
- 35.
See [33, p. 69].
- 36.
See [3, p. 123].
- 37.
See [12, p. 589].
- 38.
See [22, p. 423].
References
Alonso, E.: La Completitud como propiedad redundante. Notae Philosophicae Scientiae Formalis 2(2), 74–86 (2013)
Alonso, E., Marraud, H.: La lógica que aprendimos. Theoria 18(3) 327–349 (2003)
Bell, J.L., Machover, M.: A Course in Mathematical Logic. North-Holland, Amsterdam (1977)
Beth, E.: A topological proof of the theorem of Löwenheim Skolem–Gödel. Indag. Math. 13, 436–444 (1951)
Beth, E.: The Foundations of Mathematics. North-Holland, Amsterdam (1959)
Carnap, R.: Introduction to Symbolic Logic and its Applications. Dover, New York (1954)
Church, A.: An unsolvable problem for elementary number theory. Am. J. Math. 59, 345–363 (1936)
Church, A.: In: Introduction to Mathematical Logic. Princeton University Press, Princeton (1956)
Curry, H.B.: Foundations of Mathematical Logic. McGraw-Hill, New York (1963)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)
Gödel, K.: On the completeness of the calculus of logic. In: Feferman, S., et al. (eds.) Collected Works, vol. I, pp. 61–101. Oxford University Press, New York (1986)
Gödel, K.: Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls. Monatshefte fur Mathematik und Physik 37, 349–360 (1930)
Hackstaff, L.H.: Systems of Formal Logic. Reidel, Dordrecht (1966)
Hasenjaeger, G.: Eine Bemerkung zu Henkin’s Beweis für die Vollständigkeit des Prädikatenkalküls Ersten Stufe. Journal of Symbolic Logic 18, 42–48 (1953)
Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Log. 14, 159–166 (1949)
Henkin, L.: The discovery of my completeness proofs. The Bulletin of Symbolic Logic 2(2), 127–158 (1996)
Hermes, H.: Introduction to Mathematical Logic. Springer, Berlin (1973)
Hilbert, D., Ackermann, W.: Principles of Mathematical Logic. Chelsea, New York (1950)
Hintikka, J.: Form and content in quantification theory. Acta Philos. Fenn. 8, 11–55 (1955)
Hintikka, J.: Notes on the quantification theory. Comment. Phys.-Math. Soc. Sci. Fenn. 17, 1–13 (1955)
Hunter, G.: Metalogic. An Introduction to the Metatheory of Standard First Order Logic. University of California Press, Berkeley (1971)
Kleene, S.C.: Introduction to Metamathematics. Van Nostrand, New York (1952)
Lee, H.N.: Symbolic Logic. Routledge, London (1962)
Margaris, A.: First Order Mathematical Logic. Dover, New York (1967)
Mates, B.: Elementary Logic. Oxford University Press, New York (1965)
Mendelson, E.: Introduction to Mathematical Logic, 2nd edn. Van Nostrand, New York (1972)
Monk, J.D.: Mathematical Logic. Springer, New York (1976)
Rasiowa, H., Sikorski, R.: A proof of the completeness theorem of Godel. Fundam. Math. 37, 193–200 (1951)
Rasiowa, H., Sikorski, R.: A proof of the Skolem–Lowenheim theorem. Fundam. Math. 38, 230–232 (1952)
Reichenbach, H.: Elements of Symbolic Logic. Free Press, New York (1947)
Rogers, R.: Mathematical Logic and Formalized Theories. North-Holland, Amsterdam (1971)
Smullyan, R.: First-Order Logic. Springer, New York (1968)
Suppes, P.: Introduction to Logic. Van Nostrand, New York (1957)
Thomason, R.H.: Symbolic Logic. McMillan Company, London (1970)
Van Heijenoort, J.: From Frege to Gödel a Source Book in Mathematical Logic, pp. 1879–1931. Harvard University Press, Cambridge (1967)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Alonso, E. (2014). Henkin’s Theorem in Textbooks. In: Manzano, M., Sain, I., Alonso, E. (eds) The Life and Work of Leon Henkin. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-09719-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-09719-0_11
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-09718-3
Online ISBN: 978-3-319-09719-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)