Possible Worlds Semantics and the Liar

Reflections on a Problem Posed by Kaplan
  • Sten Lindström
Part of the Synthese Library book series (SYLI, volume 320)


In this paper I discuss a paradox, due to David Kaplan, that in his view threatens the use of possible worlds semantics as a model-theoretic framework for intensional logic.1 Kaplan’s paradox starts out from an intuitively reasonable principle that I refer to as the Principle of Plenitude. From this principle he derives a contradiction in what he calls Naive Possible World Theory. Kaplan’s metatheoretic argument can be restated in the modal object language as an intensional version of the Liar paradox.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Anderson, C. A. (1980). Some new axioms for the logic of sense and denotation: alternative (0). Noûs, 14: 217–234.Google Scholar
  2. Carnap, R. (1956). Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press, Chicago, second edition with supplements.Google Scholar
  3. Church, A. (1951). A formulation of the logic of sense and denotation. In Henle, P., editor, Structure, Method, and Meaning: Essays in Honor of H. M. Sheffer. Liberal Arts Press, New York.Google Scholar
  4. Church, A. (1974). Outline of a revised formulation of the logic of sense and denotation (Part II). Noûs, 8: 135–156.CrossRefGoogle Scholar
  5. Church, A. (1976). Comparison of Russell’s resolution of the semantical antinomies and that of Tarski. The Journal of Symbolic Logic, 41 (4): 747–760.CrossRefGoogle Scholar
  6. Cresswell, M. J. (1980). Quotational theories of propositional attitudes. Journal of Philosophical Logic, 9:17–40. Reprinted in (Cresswell, 1988 ).Google Scholar
  7. Cresswell, M. J. (1988). Semantical Essays: Possible Worlds and Their Rivals. Kluwer, Dordrecht.CrossRefGoogle Scholar
  8. Davies, M. (1981). Meaning, Quantification, Necessity: Themes in Philosophical Logic. Routledge Kegan Paul, London.Google Scholar
  9. Gallin, D. (1975). Intensional and Higher-Order Modal Logic. North-Holland, Amsterdam.Google Scholar
  10. Jubien, M. (1988). Problems with possible worlds. In Austin, D. F., editor, Philosophical Analysis. Kluwer, Dordrecht.Google Scholar
  11. Kaplan, D. (1964). Foundations of Intensional Logic. Doctoral dissertation. University of California, Los Angeles, University Microfilms International, Ann Arbor.Google Scholar
  12. Kaplan, D. (1975). How to Russell a Frege-Church. The Journal of Philosophy, 72: 716–729.CrossRefGoogle Scholar
  13. Kaplan, D. (1994). A problem in possible-world semantics. In Sinnott-Armstrong, W. et al., editors, Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus, pp. 41–52. Cambridge University Press, Cambridge.Google Scholar
  14. Kaplan, D. and Montague, R. (1960). A paradox regained. Notre Dame Journal of Formal Logic, 1: 79–90.CrossRefGoogle Scholar
  15. Reprinted in (Montague, 1974 ). Lewis, D. (1973). Counterfactuals. Blackwells, Oxford.Google Scholar
  16. Lewis, D. (1986). The Plurality of Worlds. Basil Blackwell, London and New York.Google Scholar
  17. Montague, R. (1963). Syntactical treatment of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23–26 August, 1962. Acta Philosophica Fennica Fasc. 16, pp. 153–167. Reprinted in (Montague, 1974 ).Google Scholar
  18. Montague, R. (1970). Universal grammar. Theoria, 36:373–398. Reprinted in (Montague, 1974 ).Google Scholar
  19. Montague, R. (1974). Formal Philosophy: Selected Papers of Richard Montague, Thomason, R. H., editor. Yale University Press, New Haven.Google Scholar
  20. Myhill, J. (1958). Problems arising in the formalization of intensional logic. Logique et Analyse, 1: 78–83.Google Scholar
  21. Myhill, J. (1979). A refutation of an unjustified attack on the axiom of reducibility. In Roberts, G. W., editor, Bertrand Russell Memorial Volume. George Allen Unvin, London.Google Scholar
  22. Parsons, C. (1982). Intensional logic in extensional language. The Journal of Symbolic Logic, 47 (2): 289–328.CrossRefGoogle Scholar
  23. Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 3. Almqvist Wiksell, Stockholm.Google Scholar
  24. Quine, W. V. (1953).Three grades of modal involvement. In Proceedings of the XIth International Congress of Philosophy, vol. 14, pp. 65–81. North-Holland, Amsterdam. Reprinted in (Quine, 1966).Google Scholar
  25. Quine, W. V. (1966). The Ways of Paradox and Other Essays. Harvard University Press, Cambridge, Mass.Google Scholar
  26. Russell, B. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, 30: 222–262.Google Scholar
  27. Segerberg, K. (1973). Two-dimensional modal logic. Journal of Philosophical Logic, 2: 77–96.CrossRefGoogle Scholar
  28. Whitehead, A. N. and Russell, B. (1910–1913). Principia Mathematica. Cambridge University Press, Cambridge.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • Sten Lindström
    • 1
  1. 1.Department of Philosophy and LinguisticsUmeå UniversitySweden

Personalised recommendations