Skip to main content
SpringerLink
Log in

The Genesis of Possible Worlds Semantics

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913–1921; Feys, 1924; McKinsey, 1945; Carnap, 1945–1947; McKinsey, Tarski and Jónsson, 1947–1952; von Wright, 1951; Becker, 1952; Prior, 1953–1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955–1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958–1959; Drake, 1959–1961; Kripke, 1958–1965.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  • Bayart, A. (1958): Correction de la logique modale du premier et du second ordre S5 [Soundness of first and second order S5 modal logic], Logique et Analyse 1, 28-44.

    Google Scholar 

  • Bayart, A. (1959): Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic], Logique et Analyse 2, 99-121.

    Google Scholar 

  • Becker, O. (1952): Untersuchungen über den Modalkalkül [Investigations into Modal Calculus], Westkulturverlag Anton Hain, Meisenheim am Glan.

    Google Scholar 

  • Binkley, R. and Clark, R. (1967): A cancellation algorithm for elementary logic, Theoria 33, 79-97.

    Google Scholar 

  • Binkley, R. and Clark, R. (1968): A cancellation algorithm corrected, Theoria 34, 85.

    Google Scholar 

  • Carnap, R. (1937): The Logical Syntax of Language, Routledge Kegan Paul, London.

    Google Scholar 

  • Carnap, R. (1946): Modalities and quantification, J. Symbolic Logic 11, 33-64.

    Google Scholar 

  • Carnap, R. (1947): Meaning and Necessity: A Study in Semantics and Modal Logic, University of Chicago Press.

  • Cocchiarella, N. B. (1975): On the primary and secondary semantics of logical necessity, J. Philos. Logic 4, 13-27.

    Google Scholar 

  • Copeland, B. J. (1996): Logic and Reality: Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford.

    Google Scholar 

  • Drake, F. R. (1962): On McKinsey's syntactical characterizations of systems of modal logic, J. Symbolic Logic 27, 400-406.

    Google Scholar 

  • Drake, F. R. (1963): Syntactical models for modal logics, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge.

  • Etchemendy, J. (1990): The Concept of Logical Consequence, Harvard University Press, Cambridge, Mass.

    Google Scholar 

  • Feys, R. (1924): La transcription logistique du raisonnement: son intérét et ses limites [The logistic transcription of reasoning: Its importance and its limits], Revue Neo-Scholastique de Philosophie (2nd series) 4, 299-324.

    Google Scholar 

  • Feys, R. (1965): Modal Logics, Nauwelaerts, Louvain.

    Google Scholar 

  • Føllesdal, D. (1994): Stig Kanger in memoriam, in D. Prawitz, B. Skyrms and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science IX, Elsevier, Amsterdam.

    Google Scholar 

  • Guillaume, M. (1958a): Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: système de Feys-von Wright [Relations between propositional modal calculi and topology implied by certain extensions of the semantic tableaux method: The Feys-von Wright system], C.R. Acad. Sci. Paris 246, 1140-1142.

    Google Scholar 

  • Guillaume, M. (1958b): Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: système S4 de Lewis [Relations between propositional modal calculi and topology implied by certain extensions of the semantic tableaux method: Lewis's system S4], C.R. Acad. Sci. Paris 246, 2207-2210.

    Google Scholar 

  • Hartshorne, C. and Weiss, P. (eds.) (1932): Collected Papers of Charles Sanders Peirce, Vol. II: Elements of Logic, Harvard University Press, Cambridge, Mass.

    Google Scholar 

  • Hartshorne, C. and Weiss, P. (eds.) (1933): Collected Papers of Charles Sanders Peirce, Vol. III: Exact Logic, Harvard University Press, Cambridge, Mass.

    Google Scholar 

  • Hilbert, D. and Ackermann, W. (1928): Grundzüge der Theoretischen Logik [Principles of Mathematical Logic], Julius Springer, Berlin.

    Google Scholar 

  • Hintikka, K. J. J. (1955a): Form and content in quantification theory, Acta Philosophica Fennica, fasc. VIII, 7-55.

    Google Scholar 

  • Hintikka, K. J. J. (1955b): Notes on Quantification Theory, Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 12, Helsinki.

  • Hintikka, K. J. J. (1957a): Quantifiers in Deontic Logic, Societas Scientiarum Fennica, Commentationes Humanarum Litterarum, Vol. 13.4, Helsinki.

  • Hintikka, K. J. J. (1957b): Modality as referential multiplicity, Ajatus 20, 49-64.

    Google Scholar 

  • Hintikka, K. J. J. (1961): Modality and quantification, Theoria 27, 119-128.

    Google Scholar 

  • Hintikka, K. J. J. (1969): Review of Kanger 1957b, J. Symbolic Logic 34, 305-306.

    Google Scholar 

  • Hughes, G. E. and Cresswell, M. J. (1968): An Introduction to Modal Logic, Methuen, London.

    Google Scholar 

  • Jónsson, B. and Tarski, A. (1948): Boolean algebras with operators, Bull. Amer. Math. Soc. 54, 79-80.

    Google Scholar 

  • Jónsson, B. and Tarski, A. (1951): Boolean algebras with operators, Part I, Amer. J. Math. 73, 891-939.

    Google Scholar 

  • Jónsson, B. and Tarski, A. (1952): Boolean algebras with operators, Part II, Amer. J. Math. 74, 127-162.

    Google Scholar 

  • Kanger, S. (1955): A note on partial postulate sets for propositional logic, Theoria 21, 99-104.

    Google Scholar 

  • Kanger, S. (1957a): Provability in Logic, Almqvist and Wiksell, Stockholm.

    Google Scholar 

  • Kanger, S. (1957b): The morning star paradox, Theoria 23, 1-11.

    Google Scholar 

  • Kanger, S. (1957c): New foundations for ethical theory, Typescript, University of Stockholm. Reprinted with minor alterations in R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, Dordrecht, 1970.

    Google Scholar 

  • Kanger, S. (1957d): A note on quantification and modalities, Theoria 23, 133-134.

    Google Scholar 

  • Kaplan, D. (1966): Review of Kripke 1963a, J. Symbolic Logic 31, 120-122.

    Google Scholar 

  • Kripke, S. A. (1959a): A completeness theorem in modal logic, J. Symbolic Logic 24, 1-14.

    Google Scholar 

  • Kripke, S. A. (1959b): Semantical analysis of modal logic (abstract), J. Symbolic Logic 24, 323-324.

    Google Scholar 

  • Kripke, S. A. (1963a): Semantical analysis of modal logic I: Normal modal propositional calculi, Z. Math. Logik Grundlag. Math. 9, 67-96.

    Google Scholar 

  • Kripke, S. A. (1963b): Semantical considerations on modal logic, Acta Philosophica Fennica 16, 83-94.

    Google Scholar 

  • Kripke, S. A. (1965): Semantical analysis of modal logic II: Non-normal modal propositional calculi, in J. W. Addison, L. Henkin and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam.

    Google Scholar 

  • Leonard, H. S. (1951): Two-valued truth tables for modal functions, in P. Henle, H. M. Kallen and S. K. Langer (eds.), Structure and Meaning: Essays in Honor of Henry M. Sheffer, Liberal Arts Press, New York.

    Google Scholar 

  • Lindström, S. (1998): An exposition and development of Kanger's early semantics for modal logic, in P. W. Humphreys and J. H. Fetzer (eds.), The New Theory of Reference, Kluwer, Amsterdam.

    Google Scholar 

  • Łukasiewicz, J. (1920): On three-valued logic, Ruch Filozoficzny 5, 170-171. English translation in L. Borkowski (ed.), Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam, 1970.

    Google Scholar 

  • Łukasiewicz, J. (1930): Philosophical remarks on many-valued systems, in L. Borkowski (ed.), Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam, 1970.

    Google Scholar 

  • Łukasiewicz, J. (1951): On variable functors of propositional arguments, Proc. Royal Irish Academy Sect. A 54, 29-35.

    Google Scholar 

  • Łukasiewicz, J. (1953): A system of modal logic, J. Comput. Systems 1, 111-149.

    Google Scholar 

  • McKinsey, J. C. C. (1941): A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology, J. Symbolic Logic 6, 117-134.

    Google Scholar 

  • McKinsey, J. C. C. (1945): On the syntactical construction of systems of modal logic, J. Symbolic Logic 10, 83-94.

    Google Scholar 

  • McKinsey, J. C. C. and Tarski, A. (1944): The algebra of topology, Ann. of Math. 45, 141-191.

    Google Scholar 

  • McKinsey, J. C. C. and Tarski, A. (1946): On closed elements in closure algebras, Ann. of Math. 47, 122-162.

    Google Scholar 

  • McKinsey, J. C. C. and Tarski, A. (1948): Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic 13, 1-15.

    Google Scholar 

  • Meredith, C. A. (1951): On an extended system of the propositional calculus, Proc. Royal Irish Academy Sect. A 54, 37-47.

    Google Scholar 

  • Meredith, C. A. and Prior, A. N. (1956): Interpretations of different modal logics in the 'Property Calculus', Mimeograph, University of Canterbury, Philosophy Department. Reprinted in B. J. Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford, 1996.

    Google Scholar 

  • Meredith, C. A. and Prior, A. N. (1965): Modal logic with functorial variables and a contingent constant, Notre Dame J. Formal Logic 6, 99-109.

    Google Scholar 

  • Meredith, D. (1977): In memoriam: Carew Arthur Meredith (1904-1976), Notre Dame J. Formal Logic 18, 513-16.

    Google Scholar 

  • Montague, R. (1960): Logical necessity, physical necessity, ethics, and quantifiers, Inquiry 3, 259-269. Reprinted in (Montague, 1974).

    Google Scholar 

  • Montague, R. (1974): Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven.

    Google Scholar 

  • Prior, A. N. (1953): Three-valued logic and future contingents, Philos. Quart. 3, 317-26.

    Google Scholar 

  • Prior, A. N. (1955): Formal Logic, Clarendon Press, Oxford.

    Google Scholar 

  • Prior, A. N. (1956): Modality and quantification in S5, J. Symbolic Logic 21, 60-62.

    Google Scholar 

  • Prior, A. N. (1957): Time and Modality, Oxford University Press, Oxford.

    Google Scholar 

  • Prior, A. N. (1958): The syntax of time-distinctions, Franciscan Studies 18, 105-120.

    Google Scholar 

  • Prior, A. N. (1962a): Possible worlds, Philos. Quart. 12, 36-43.

    Google Scholar 

  • Prior, A. N. (1962b): Tense logic and the continuity of time, Studia Logica 13, 133-148.

    Google Scholar 

  • Prior, A. N. (1967a): Past, Present and Future, Clarendon Press, Oxford.

    Google Scholar 

  • Prior, A. N. (1967b): Logic, modal, in P. Edwards (ed.), The Encyclopedia of Philosophy, Macmillan, New York.

    Google Scholar 

  • Prior, A. N. (1968): Papers on Time and Tense, Clarendon Press, Oxford.

    Google Scholar 

  • Scroggs, S. J. (1951): Extensions of the Lewis system S5, J. Symbolic Logic 16, 112-120.

    Google Scholar 

  • Segerberg, K. (ed.) (1977): An Introduction to Modal Logic: The 'Lemmon Notes', Amer. Philos. Quart., Monograph No. 11.

  • Smiley, T. J. (1955): Natural systems of logic, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge.

  • Smiley, T. J. (1957): Modal logic, Lecture Handout, Department of Philosophy, University of Cambridge.

  • Snyder, P. (1971): Modal Logic and Its Applications, Van Nostrand Reinhold, New York.

    Google Scholar 

  • Wajsberg, M. (1933): Ein erweiterter Klassenkalkül [An extended calculus of classes], Monatsh. Math. Phys. 40, 113-126.

    Google Scholar 

  • von Wright, G. H. (1951): An Essay on Modal Logic, North-Holland, Amsterdam.

    Google Scholar 

  • von Wright, G. H. (1963): Norm and Action: A Logical Enquiry, Routledge and Kegan Paul, London.

    Google Scholar 

  • Wittgenstein, L. (1922): Tractatus Logico-Philosophicus, Routledge and Kegan Paul, London.

    Google Scholar 

  • Wittgenstein, L. (1979): Notebooks 1914-1916, 2nd edn, Blackwell, Oxford.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philosophy Department, University of Canterbury, Private Bag, 4800, Christchurch, New Zealand

    B. Jack Copeland

Authors
  1. B. Jack Copeland
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Copeland, B.J. The Genesis of Possible Worlds Semantics. Journal of Philosophical Logic 31, 99–137 (2002). https://doi.org/10.1023/A:1015273407895

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1015273407895

Search

Navigation