Abstract
Though deceptively simple and plausible on the face of it, Craig’s interpolation theorem (published 50 years ago) has proved to be a central logical property that has been used to reveal a deep harmony between the syntax and semantics of first order logic. Craig’s theorem was generalized soon after by Lyndon, with application to the characterization of first order properties preserved under homomorphism. After retracing the early history, this article is mainly devoted to a survey of subsequent generalizations and applications, especially of many-sorted interpolation theorems. Attention is also paid tomethodological considerations, since the Craig theorem and its generalizations were initially obtained by proof-theoretic arguments while most of the applications are model-theoretic in nature. The article concludes with the role of the interpolation property in the quest for “reasonable” logics extending first-order logic within the framework of abstract model theory.
Similar content being viewed by others
References
Barwise J. (1969) Infinitary logic and admissible sets. Journal of Symbolic Logic 34: 226–252
Barwise J., Feferman (Eds) S. (1985) Model-theoretic logics. Springer-Verlag, New York
Beth E.W. (1953) On Padoa’s method in the theory of definition. Indagationes Mathematicae 15: 330–339
Chang C.-C., Keisler H.J. (1973) Model theory. North-Holland, Amsterdam
Craig W. (1957) Linear reasoning. A new form of the Herbrand-Gentzen theorem. Journal of Symbolic Logic 22: 250–268
Craig W. (1957) Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic 22: 269–285
Craig W. (1965) Satisfaction for n-th order languages defined in n-th order languages. Journal of Symbolic Logic 30: 13–25
Ebbinghaus H.-D., Flum J. (1999) Finite model theory. Springer- Verlag, Berlin
Feferman, S. (1968). Lectures on proof theory. In M. H. Löb (Ed.), Proceedings of the Summer School in Logic, Leeds, 1967 (pp. 1–107).
Feferman S. (1968a) Persistent and invariant formulas for outer extensions. Compositio Mathematicae 20: 29–52
Feferman, S. (1974). Applications of many-sorted interpolation theorems. In L. Henkin, et al. (Eds.), Proceedings of the Tarski Symposium. Providence: American Mathematical Society.
Feferman S. (1975) Two notes on abstract model theory, II: Languages for which the set of valid sentences is s.i.i.d. Fundamenta Mathematicae 89: 111–130
Flum J. (1985) Characterizing logics. In: Barwise J., Feferman S.(eds) Model-theoretical logics.. Springer, New York, pp 77–120
Friedman H. (1973) Beth’s theorem in cardinality logics. Israel Journal of Mathematics 14: 205–212
Gentzen, G. (1934). Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39, 176–210, 405–431; English translation in Szabo (1969), pp. 86–131.
Henkin L. (1963) An extension of the Craig–Lyndon interpolation theorem. Journal of Symbolic Logic 28: 201–216
Herbrand, J. (1930). Recherches sur la théorie de la démonstration. Thesis at the University of Paris; English translation in van Heijenoort (1967), pp. 525–581.
Hodges W. (1993) Model theory. Cambridge University Press, Cambridge
Hodges W. (1998) The laws of distribution for syllogisms. Notre Dame Journal of Formal Logic 39: 221–230
Hodges, W. (2008). Tarski’s theory of definition. In D. Patterson, (Ed.), New Essays on Tarski and Philosophy. New York: Oxford University Press (In press).
Hodges W., Shelah S. (1991) There are reasonably nice logics. Journal of Symbolic Logic 56: 300–322
Keisler, H. J. (1959). A mathematical characterization of elementary equivalence. Notices of the American Mathematical Society 6 (abstract).
Keisler H.J. (1960) Theory of models with generalized atomic formulas. Journal of Symbolic Logic 25: 1–26
Keisler H.J. (1970) Logic with the quantifier there exist uncountably many. Annals of Mathematical Logic 1: 1–93
Keisler H.J. (1971) Model theory for infinitary logic: Logic with countable conjunctions and finite quantifiers. North-Holland, Amsterdam
Kochen, S. (1959). An algebraic characterization of arithmetical classes. Notices of the American Mathematical Society 6 (abstract).
Lindström P. (1969) On extensions of elementary logic. Theoria 35: 1–11
López-Escobar E.G.K. (1965) An interpolation theorem for denumerably long formulas. Fundamenta Mathematicae 57: 253–272
Lyndon R. (1959) An interpolation theorem in the predicate calculus. Pacific Journal of Mathematics 9: 129–142
Lyndon R. (1959a) Properties preserved under homomorphism. Pacific Journal of Mathematics 9: 143–154
Makowsky, J. A. (1985). In Barwise & Feferman (1985), Compactness, embeddings and definability, (pp. 645–715).
Makowsky J.A., Shelah S. (1979) The theorems of Beth and Craig in abstract model theory, I: The abstract setting. Transactions American Mathematical Society 256: 215–239
Makowsky J.A., Shelah S. (1981) The theorems of Beth and Craig in abstract model theory, II: Compact logics. Archiv für Mathematische Logik und Grundlagen der Mathematik 21: 13–35
Makowsky J.A., Shelah S. (1983) Positive results in abstract model theory: A theory of compact logics. Annals of Pure and Applied Logic 25: 263–300
Makowsky J.A., Shelah S., Stavi J. (1976) Δ-logics and generalized quantifiers. Annals of Mathematical Logic 10: 155–192
Mekler, A. H., & Shelah, S. (1985). Stationary logic and its friends, I. Notre Dame Journal of Formal Logic, 26.
Mostowski A. (1968) Craig’s interpolation theorem in some extended sysems of logic. In: Rootselaar B., Staal J.F.(eds) Logic, Methodology and Philosophy of Science III.. North-Holland, Amsterdam, pp 87–103
Mundici D. (1982) Compactness, interpolation and Friedman’s third problem. Annals of Mathematical Logic 22: 197–211
Nebres B. (1972) Infinitary formulas preserved under unions of models. Journal of Symbolic Logic 37: 449–465
Otto M. (2000) An interpolation theorem. Bulletin of Symbolic Logic 6: 447–462
Padoa, A. (1901). Essai d’une théorie algébrique des nombres entiers, précédé d’une introduction logique à une théorie déductive quelconque. Bibliothèque du Congrès international de philosophie, Paris, 1900, vol. 3. (Paris: Armand Colin) 309–365; English translation in part in van Heijenoort (1967), 118–123.
Pohlers W. (1989) Proof theory: An introduction. Springer-Verlag, Berlin
Robinson A. (1956) A result of consistency and its application to the theory of definition. Indagationes Mathematicae 18: 47–58
Robinson A. (1963) Introduction to model theory and to the metamathematics of algebra. North-Holland, Amsterdam
Rossman, B. (2005). Existential positive formulas and preservation under homomorphism. Proc. 20th IEEE Symposium on Logic in Computer Science, pp. 467–476.
Rossman, B. (n.d.). Homomorphism preservation theorems in first-order (In press).
Schütte K. (1977) Proof theory. Springer-Verlag, Berlin
Shelah S. (1985) Remarks in abstract model theory. Annals of Pure and Applied Logic 29: 255–288
Shelah, S. and Väänänen, J. (n.d.). New infinitary languages with interpolation (In press).
Stern J. (1975). A new look at the interpolation problem. Journal of Symbolic Logic 40, 1–13
Szabo M.E. (1969) The collected papers of Gerhard Gentzen. North-Holland, Amsterdam
Tarski, A. (1935). Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe. Erkenntnis, 5, 80–100; English translation in Tarski (1983), pp. 296–319.
Tarski A. (1955) Contributions to the theory of models, III. Indagationes Mathematicae 17: 56–64
Tarski A. (1983) Logic, semantics, metamathematics. Papers from 1923 to 1938. Hackett, Indianapolis
Tarski A., Givant S. (1999) Tarski’s system of geometry. Bull. Symbolic Logic 5: 175–214
Tarski A., Lindenbaum A. (1926) Sur l’indépendance des notions primitives dans les systèmes mathématiques. Annales de la Société polonaise de mathématique 5: 111–113
Van Heijenoort J. (1967) From Frege to Gödel. A source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge
Väänänen, J. (1985). In Barwise and Feferman (Eds.), Set-theoretic definability of logics. 1985, 597–643
Van Ulsen, P. (2000). E. W. Beth als logicus. Amsterdam: Institute for Logic, Language and Computation.
Author information
Authors and Affiliations
Corresponding author
Additional information
For Bill Craig, with great appreciation for his fundamental contributions to our subject, and for his perennially open, welcoming attitude and fine personality that enhances every encounter.
Rights and permissions
About this article
Cite this article
Feferman, S. Harmonious logic: Craig’s interpolation theorem and its descendants. Synthese 164, 341–357 (2008). https://doi.org/10.1007/s11229-008-9354-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-008-9354-2