Abstract
Stig Kanger — born of Swedish parents in China in 1924 — was professor of Theoretical Philosophy at Uppsala University from 1968 until his death in 1988. He received his Ph.D. from Stockholm University in 1957 under the supervision of Anders Wedberg. Kanger’s dissertation, Provability in Logic, was remarkably short, only 47 pages, but also very rich in new ideas and results. By combining Gentzen-style techniques with a model theory à la Tarski, Kanger obtained new and simplified proofs of central metalogical results of classical predicate logic: Gödel’s completeness theorem, Löwenheim-Skolem’s theorem and Gentzen’s Hauptsatz. The part that had the greatest impact, however, was the 15 pages devoted to modal logic. There Kanger developed a new semantic interpretation for quantified modal logic which had a close family resemblance to semantic theories that were developed around the same time by Jaakko Hintikka, Richard Montague and Saul Kripke (independently of each other and independently of Kanger).
*
Earlier versions ofthis paper have been presented at the UgLLI-workshop on Philosophical Logic at Uppsala University, March 18, 1995, at the Swedish national conference in philosophy, “Filosofidagarna”, Umeä, June 7-9, 1995, and discussed with friends and colleagues. A shorter version was also published as Lindström (1996). I am especially indebted to Joseph Almog, Lennart Aqvist, Thorild Dahlquist, Bengt Hansson, Risto Hilpinen, Jaakko Hintikka, Paul Needham, Peter Pagin, Wlodek Rabinowicz, Krister Segerberg and Rysiek Sliwinski for their very helpful comments and advice. A fellowship at the Swedish Collegium for Advanced Studies in the Social Seiences (SCASSS) du ring the Autumn of 1996 provided an excellent research environment for finishing the paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barcan, (Marcus), R.: 1946a, ‘A Functional Calculus of First Order Based on Strict Implication’, The Journal of Symbolic Logic, 11, 1–16.
Barcan, (Marcus), R.: 1946b, ‘The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication’, The Journal of Symbolic Logic, 11, 115–118.
Barcan, (Marcus), R.: 1947, ‘The Identity of Individuals in a Strict Functional Calculus of Second Order’, The Journal of Symbolic Logic, 12, 12–15.
Boolos, G.: 1985, ‘Nominalist Platonism’, The Philosophical Review, XCIV(3), 327–344.
Carnap, R.: 1946, ‘Modalities and Quantification’, The Journal of Symbolic Logic, 11, 33–64.
Carnap, R.: 1947, Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press, Chicago. Second edition with supplements, 1956.
Cocchiarella, N.: 1975, ‘On the Primary and Secondary Semantics of Logical Necessity’, Journal of Philosophical Logic, 4, 13–27.
Etchemendy, J.: 1990, The Concept of Logical Consequence. Harvard University Press, Cambridge, Massachusetts.
Fϕllesdal, D.: 1994, ‘Stig Kanger in Memoriam’, in D. Prawitz and Westerståhl, D. (eds), Logic, Methodology and Philosophy of Science, IX, 885–888. Elsevier, Amsterdam.
Garson, J.W.: 1984, ‘Quantification in Modal Logic’, in D. Gabbay and Guenthener, F. (eds), Handbook of Philosophical Logic, II, 249–307. D. Reidel, Dordrecht.
Hintikka, J.: 1957a, ‘Quantifiers in Deontic Logic’, Societas Scientiarum Fennica, Commentationes humanarium litterarum, 23(4).
Hintikka, J.: 1957b, ‘Modality as Referential Multiplicity’, Ajatus, 20, 49–64.
Hintikka, J.: 1961, ‘Modality and Quantification’, Theoria, 27, 110–128.
Hintikka, J.: 1969,’ semantics for Propositional Attitudes’, in J.W. Davies et al. (eds), Philosophical Logic, 21–45.
D. Reidel, Dordrecht. Reprinted in J. Hintikka, Models for Modalities.
D. Reidel, Dordrecht, 1969; and in L. Linsky (ed), Reference and Modality. Oxford University Press, London, 1971.
Hintikka, J.: 1980, ‘Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics’, in E. Agazzi (ed), Modern Logic-A Survey. D. Reidel, Dordrecht, 283–296.
Hintikka, J.: 1989, ‘Is Alethic Modal Logic Possible?’, in J. Hintikka and M.B. Hintikka (eds), The Logic of Epistemology and the Epistemology of Logic. Kluwer, Dordrecht.
Hughes, G.E. and M.J. Cresswell.: 1996, A New Introduction to Modal Logic. Routledge, London and New York.
Jönsson, B. and A. Tarski.: 1951, ‘Boolean Algebras with Operators’, American Journal of Mathematics, 73, 891–939; 74, 127-162.
Kanger, S.: 1957a, Provability in Logic, Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 1, Almqvist and Wiksell, Stockholm.
Kanger, S.: 1957b, ‘The Morning Star Paradox’, Theoria, 23, 1–11.
Kanger, S.: 1957c, ‘A Note on Quantification and Modalities’, Theoria, 23, 133–134.
Kanger, S.: 1957d, ‘On the Characterization of Modalities’, Theoria, 23, 152–155.
Kanger, S.: 1970, New Foundations for Ethical Theory, in Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, 36–58. Earlier mimeographed version: New Foundations for Ethical Theory, Part 1, Stockholm, 1957.
Kanger, S.: 1972, ‘Law and Logic’, Theoria, 38, 105–132.
Kaplan, D.: 1986, ‘Opacity’, in Hahn and Schilpp (eds), The Philosophy of W.V. Quine, The Library of Living Philosophers, Vol. XVIII, Open Court, La Salle, Illinois.
Kleene, S.C.: 1967, Mathematical Logic, John Wiley & Sons Inc., New York.
Kreisel, G.: 1969, ‘Informal Rigour and Completeness Proofs’, in I. Lakatos (ed), Problems in the Philosophy of Mathematics. North-Holland, Amsterdam.
Kripke, S.: 1959, ‘A Completeness Theorem in Modal Logic’, The Journal of Symbolic Logic, 24, 1–14.
Kripke, S.: 1963a, ‘Semantical Considerations on Modal Logic’, Acta Philosophica Fennica, fasc. 16, Helsinki, 83–94.
Kripke, S.: 1963b, ‘Semantical Analysis of Modal Logic I, Normal Propositional Calculi’, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, 9, 67–96.
Kripke, S.: 1965, ‘Semantical Analysis of Modal Logic II, Non-Normal Propositional Calculi’, in I.W. Addison, L. Henkin and A. Tarski (eds), The Theory of Models. North Holland, Amsterdam, 206–220.
Kripke, S.: 1980, Naming and Necessity. Basil Blackwell, Oxford.
Lewis, D.: 1985, On the Plurality of Worlds. Basil Blackwell, Oxford.
Lindström, S.: 1996, ‘Modality Without Worlds: Kanger’s Early Semantics for Modal Logic’, in Odds and Ends, Philosophical Essays Dedicated to Wlodek Rabinowicz on the Occasion of His Fiftieth Birthday, Uppsala Philosophical Studies, 45, Department of Philosophy, Uppsala University.
McGee, V.: 1992, ‘Two Problems with Tarski’s Theory of Consequence’, Proceedings of the Aristotelian Society, new series, 92, 273–292.
Montague, R.: 1960, ‘Logical Necessity, Physical Necessity, Ethics and Quantifiers’, Inquiry, 4, 259–269.
Reprinted in R. Thomason (ed), Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven and London, 1974.
Quine, W.V.: 1947, ‘The Problem of Interpreting Modal Logic’, The Journal of Symbolic Logic, 12, 43–48.
Tarski, A.: 1936, ‘Über den Begriff der logischen Folgerung’, Actes du Congres International de Philosophie Scientifique, 7, 1–11. (English translation: ‘On the Concept of Logical Consequence’, 409-420 in Logic, Semantics, Metamathematics, second edition, Hackett Indianapolis, 1983).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lindström, S. (1998). An Exposition and Development of Kanger’s Early Semantics for Modal Logic. In: Humphreys, P.W., Fetzer, J.H. (eds) The New Theory of Reference. Synthese Library, vol 270. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5250-1_9
Download citation
DOI: https://doi.org/10.1007/978-94-011-5250-1_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-7923-5578-6
Online ISBN: 978-94-011-5250-1
eBook Packages: Springer Book Archive