Abstract
Traditionally, logic was restricted to proofs having a finite number of steps and to expressions of finite length. Around 1954–56, infinitely long formulas entered the mainstream of mathematical logic through the work of Henkin, Karp, Scott, and Tarski. Soon Hanf and Tarski used such logics to settle negatively the 30-year-old problem of whether the first strongly inaccessible cardinal is measurable, a result Tarski communicated to the first LMPS congress in 1960. Infinitary logic continues to be fertile in unexpected ways, as shown by Kolaitis at the present congress.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
History is difficult... because the connections that matter are usually numerous, often hidden, and then subsequently neglected.
S. Mac Lane [33, 441]
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Barwise, “Infinitary Logics”, Modern Logic—A Survey, ed. E. Agazzi (Dordrecht, 1980 ), 93–112.
E.W. Beth, Review of [16], J. Sym. Logic 4 (1939), 25.
D.A. Bochvar, “über einen Aussagenkalkül...”, Mat. Sbornik n.s. 7 (1940), 65–100.
G. Boole, The Mathematical Analysis of Logic (London, 1847 ).
G. Boole, An Investigation of the Laws of Thought (London, 1854 ).
R. Carnap, Abriss der Logistik (Vienna, 1929 ).
R. Carnap, “Ein Gültigkeitskriterium…”, Monatshefte fir Math. 41 (1935), 263–284.
R. Carnap, Formalization of Logic (Harvard Univ., 1943 ).
C.C. Chang, Bull. AMS 61 (1955), 325 (abstract).
A. Church, Review of [36], J. Sym. Logic 5 (1940), 69–70.
A. Church, Review of [3], J. Sym. Logic 5 (1940), 119.
A. Church, Review of [37], J. Sym. Logic 11 (1946), 129–131.
A. Church, Introduction to Mathematical Logic (Princeton Univ., 1956 ).
H.B. Curry, Review of [3], Math. Reviews 1 (1940), 321.
K. Gödel “Russell’s Mathematical Logic”, The Philosophy of Bertrand Russell, ed. P. A. Schilpp ( New York: Tudor, 1944 ), 123–153.
O. Helmer, “Languages with Expressions of Infinite Length”, Erkenntnis 7 (1938), 138–141.
L. Henkin,“The Completeness…”, J. Sym. Logic 14 (1949), 159–166.
L. Henkin, “The Representation Theorem for Cylindrical Algebras”, Mathematical Interpretation of Formal Systems (North-Holland, 1955), 85–97.
L. Henkin, “Some Remarks on Infinitely Long Formulas”, Infinitistic Methods (Pergamon, 1961 ), 167–183.
L. Henkin, E-mail of 10 August 1994 and 26 September 1994 to G.H. Moore.
H. Herre et al., “The Härtig Quantifier…”, J. Sym. Logic 56 (1991), 1153–1183.
D. Hilbert, “über die Grundlagen… ”, Internat. Congress Math. (1905), 174–185.
D. Hilbert, Logische Principien des mathematischen Denkens, lecture course, 1905.
D. Hilbert, “Die logischen Grundlagen…”, Math. Ann. 88 (1923), 151–165.
P. Jordan, “Zur Axiomatik der Verknüpfungsbereiche”, Abhand. Math. Sem. Hamburg. Univ. 16 (1949), 54–70.
C. Karp, Languages with Expressions of Infinite Length (North-Holland, 1964 ).
M. Krasner, “Une généralisation de la notion de corps”, J. Math. Pures et Appliquées (9) 17 (1938), 367–385.
K. Kuratowski, “Les types d’ordre définissables…”, Fund. Math. 29 (1937), 97–100.
C.I. Lewis, A Survey of Symbolic Logic (Berkeley: Univ. Calif., 1918 ).
L.H. Loomis, “On the Representation of a-Complete Boolean Algebras”, Bull. AMS 53 (1947), 757–760.
L. Löwenheim, Review of [44], Archiv der Math. und Physik (3) 17 (1911), 71–73.
L. Löwenheim, “Über Möglichkeiten… ”, Math. Ann. 76 (1915), 447–470.
S. Mac Lane, “Addendum…”, A Century of Mathematics in America, Part III, ed. P. Duren ( Amer. Math. Soc., 1989 ), 439–441.
A.I. Maltsev, “Untersuchungen aus dem Gebiete der mathematischen Logik”, Mat. Sbornik n.s. 1 (1936), 323–336.
G.H. Moore, “Beyond First-Order Logic:… Axiomatic Set Theory”, History and Phil. Logic 1 (1980), 95–137.
P.S. Novikov, “Sur quelques théorèmes d’existence”, C.R. Acad. Sciences URSS (Doklady) n.s. 23 (1939), 438–440.
P.S. Novikov, “On the Consistency…”, Mat. Sbornik n.s. 54 (1943), 231–260.
C.S. Peirce, “On the Algebra of Logic…”, Amer. J. Math. 7 (1885), 180–202.
F.P. Ramsey, “The Foundations of Mathematics”, Proc. London Math. Soc. (2) 25 (1926), 338–384.
A. Robinson, On the Metamathematics of Algebra (North-Holland, 1951 ).
A. Robinson, “Applications to Field Theory”, Summaries… Summer Institute of Symbolic Logic in 1957 at Cornell University (1957), 326–331.
J.B. Rosser, “Gödel Theorems for Non-Constructive Logics”, J. Sym. Logic 2 (1937), 129–137.
E. Schröder, Vorlesungen über die Algebra der Logik, Vol. 3 (Leipzig, 1895 ).
E. Schröder, Abriss der Algebra der Logik, part 2, ed. E. Müller (Leipzig, 1910 ).
D.S. Scott, Bull. AMS 61 (1955), 522–523 (abstract).
D.S. Scott and A. Tarski, “The Sentential Calculus…”, Summaries… Summer Institute of Symbolic Logic in 1957 at Cornell University (1957), 83–89.
D.S. Scott and A. Tarski, “The Sentential Calculus with Infinitely Long Expressions”, Colloq. Math. 6 (1958), 165–170.
T. Skolem, “Logisch-kombinatorische Untersuchungen… ”, Videnskapsselskapets skrifter, I. Matematisk-naturvidenskabelig klasse, no. 4 (1920).
T. Skolem, “Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre”, Ibid., no. 6 (1923).
M. Stone, “The Theory of Representations…”, Trans. AMS 40 (1936), 37–111.
A. Tarski, Translation of 1933 “On the Concept of Truth in Languages of Deductive Sciences” in [56], 152–278.
A. Tarski, Translation of 1936 “On the Concept of Logical Consequence” in [56], 409420.
A. Tarski, Bull. AMS 61 (1955), 523–524 (abstract).
A. Tarski, “Remarks on Predicate Logic with Infinitely Long Expressions”, Summaries of Talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University (1957), 160–163.
A. Tarski, “Remarks on Predicate Logic with Infinitely Long Expressions”, Colloq. Math. 6 (1958), 171–176.
A. Tarski, Logic, Semantics, Metamathematics (Hackett, 1983), ed. J. Corcoran.
J. van Heijenoort, From Frege to Gödel (Harvard Univ., 1967).
R.L. Vaught, “Model Theory before 1945”, Proc. Tarski Symposium, ed. L. Henkin ( Amer. Math. Soc., 1974 ), 153–172.
L. Wittgenstein, Tractatus Logico-Philosophicus (London, 1922 ).
E. Zermelo, “über mathematische Systeme und die Logik des Unendlichen”, Forschungen und Fortschritte 8 (1932), 6–7.
E. Zermelo, “Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme”, Fund. Math 25 (1935), 136–146.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Moore, G.H. (1997). The Prehistory of Infinitary Logic: 1885–1955. In: Chiara, M.L.D., Doets, K., Mundici, D., Van Benthem, J. (eds) Structures and Norms in Science. Synthese Library, vol 260. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0538-7_7
Download citation
DOI: https://doi.org/10.1007/978-94-017-0538-7_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4787-8
Online ISBN: 978-94-017-0538-7
eBook Packages: Springer Book Archive