About this topic
Summary Possible worlds semantics is a general approach to theories of meaning, on which meanings (or, more precisely, semantic values) are assigned to sentences in terms of the truth-values they take across all possible worlds. The intuition is that the meaning of a sentence specifies how the world would have to be for that sentence to be true (or false). This is typically made precise by identifying the semantic value of a sentence with its possible-worlds intension, a function from possible worlds to truth-values. When those values are just true and false (and are mutually exclusive), possible worlds intensions are equivalent to sets of possible worlds (the worlds at which the sentence is question is true). The approach can be generalised by treating semantic values for sub-sentential items (such as nouns and verbs) as functions from possible worlds to other entities (such as particulars, properties and relations). ‘Possible worlds semantics’ is also used in a narrower sense, to refer to formal Kripke semantics for modal (and other) logics. 
Key works Carnap 1947 and Wittgenstein 1922 are important precursors to possible worlds semantics. Kripke developed the formal semantics for modal logic in Kripke 1959, 1963 and for intuitionistic logic in Kripke 1963. Key works applying possible worlds semantics to natural language include Cresswell 1973Lewis 1970, Montague 1973Kratzer 1977Lewis 1986 and Lewis 1973Hintikka 1962, 1967 develops formal possible worlds semantics and applies it to epistemic concepts.
Introductions Heim & Kratzer 1998 is a very comprehensive (although difficult) introduction to possible worlds semantics and its application to natural language. Lewis 1970 is a much shorter overview. Girle 2003 and Girle 2000 are introductory textbooks on formal possible worlds semantics in modal logic. Cresswell & Hughes 1996 is a classic textbook in modal logic. Sider 2010 includes a good presentation of quantified first-order logic.
Related categories

256 found
1 — 50 / 256
  1. The Lesson of Kaplan's Paradox About Possible World Semantics.C. Anthony Anderson - 2009 - In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press. pp. 85.
  2. 'First-Order Modal Logic', to Appear in V. Hendricks & SA Pedersen, Eds.,'40 Years of Possible Worlds', Special Issue Of.H. Arlo-Costa - forthcoming - Studia Logica.
  3. Representing Counterparts.Andrew Bacon - 2014 - Australasian Journal of Logic 11 (2):90-113.
    This paper presents and motivates a counterpart theoretic semantics for quantifi ed modal logic based on a fleshed out account of Lewis's notion of a `possibility.' According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quanti ed modal logic based on evaluating formulae at possibilities is developed. It is shown that this framework naturally accommodates an actuality operator, addressing recent objections to counterpart theory, (...)
  4. Property Identities and Modal Arguments.Derek Ball - 2011 - Philosophers' Imprint 11 (13).
    Physicalists about the mind are committed to claims about property identities. Following Kripke's well-known discussion, modal arguments have emerged as major threats to such claims. This paper argues that modal arguments can be resisted by adopting a counterpart theoretic account of modal claims, and in particular modal claims involving properties. Thus physicalists have a powerful motive to adopt non-Kripkean accounts of the metaphysics of modality and the semantics of modal expressions.
  5. The Interpretation of Necessity and the Necessity of Interpretation.Roberta Ballarin - 2004 - Journal of Philosophy 101 (12):609-638.
  6. Can Counterfactuals Really Be About Possible Worlds?Stephen Barker - 2011 - Noûs 45 (3):557-576.
    The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...)
  7. Nature Without Abandoning Kripke–Putnam Semantics1.Helen Beebee - 2013 - In Stephen Mumford & Matthew Tugby (eds.), Metaphysics and Science. Oxford University Press. pp. 141.
  8. Branching Versus Divergent Possible Worlds.Jiri Benovsky - 2005 - Kriterion: Journal of Philosophy 19 (1):12-20.
    David Lewis' modal counterpart theory falls prey to the famous Saul Kripke's objection, and this is mostly due to his 'static' ontology (divergence) of possible worlds. This paper examines a genuinely realist but different, branching ontology of possible worlds and a new definition of the counterpart relation, which attempts to provide us with a better account of de re modality, and to meet satisfactorily Kripke's claim, while being also ontologically more 'parsimonious'.
  9. Possible Worlds Semantics: A Research Program That Cannot Fail?Johan Benthem - 1984 - Studia Logica 43 (4):379 - 393.
    Providing a possible worlds semantics for a logic involves choosing a class of possible worlds models, and setting up a truth definition connecting formulas of the logic with statements about these models. This scheme is so flexible that a danger arises: perhaps, any (reasonable) logic whatsoever can be modelled in this way. Thus, the enterprise would lose its essential tension. Fortunately, it may be shown that the so-called incompleteness-examples from modal logic resist possible worlds modelling, even in the above wider (...)
  10. Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013).
    It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...)
  11. Non-Locality and Possible Worlds. A Counterfactual Perspective on Quantum Entanglement.Tomasz Bigaj - 2006 - Ontos Verlag.
    This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...)
  12. Believing in Semantics.John C. Bigelow - 1978 - Linguistics and Philosophy 2 (1):101--144.
    This paper concerns the semantics of belief-sentences. I pass over ontologically lavish theories which appeal to impossible worlds, or other points of reference which contain more than possible worlds. I then refute ontologically stingy, quotational theories. My own theory employs the techniques of possible worlds semantics to elaborate a Fregean analysis of belief-sentences. In a belief-sentence, the embedded clause does not have its usual reference, but refers rather to its own semantic structure. I show how this theory can accommodate quantification (...)
  13. Possible Worlds Foundations for Probability.John C. Bigelow - 1976 - Journal of Philosophical Logic 5 (3):299--320.
  14. Impossible Worlds and Logical Omniscience: An Impossibility Result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
    In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...)
  15. Pictures, Perspective and Possibility.Ben Blumson - 2010 - Philosophical Studies 149 (2):135 - 151.
    This paper argues for a possible worlds theory of the content of pictures, with three complications: depictive content is centred, two-dimensional and structured. The paper argues that this theory supports a strong analogy between depictive and other kinds of representation and the platitude that depiction is mediated by resemblance.
  16. Possible Worlds: An Introduction to Logic and its Philosophy.Raymond Bradley - 1979 - Blackwell.
    object an item which does not have a position in space and time but which exists. (Philosophers have nominated such things as numbers, sets, and propositions to this category. The need to posit such entities has been discussed and disputed for at least 2400 years.).
  17. Partial Worlds and Paradox.Elke Brendel - 1993 - Erkenntnis 39 (2):191 - 208.
    Since universal language systems are confronted with serious paradoxical consequences, a semantic approach is developed in whichpartial worlds form the ontological basis. This approach shares withsituation semantics the basic idea that statements always refer to certain partial worlds, and it agrees with the extensional and model-theoretic character ofpossible worlds semantics. Within the framework of the partial worlds conception a satisfactory solution to theLiar paradox can be formulated. In particular, one advantage of this approach over those theories that are based on (...)
  18. David Lewis: On the Plurality of Worlds.Phillip Bricker - 2006 - In John Shand (ed.), Central Works of Philosophy, Vol. 5: The Twentieth Century: Quine and After. Acumen Publishing.
    David Lewis's book 'On the Plurality of Worlds' mounts an extended defense of the thesis of modal realism, that the world we inhabit the entire cosmos of which we are a part is but one of a vast plurality of worlds, or cosmoi, all causally and spatiotemporally isolated from one another. The purpose of this article is to provide an accessible summary of the main positions and arguments in Lewis's book.
  19. The Language of Reasons and 'Ought'.Aaron Bronfman & J. L. Dowell - forthcoming - In Daniel Star (ed.), Oxford Handbook of Reasons.
  20. Contextualism About Deontic Conditionals.Aaron Bronfman & Janice Dowell, J. L. - manuscript -
  21. "The Metaphysics of Modality" by Graeme Forbes. [REVIEW]Mark A. Brown - 1990 - Philosophy and Phenomenological Research 50 (3):615.
  22. Meaning and Necessity.V. C. C. - 1957 - Review of Metaphysics 10 (3):536-536.
  23. Quantified Hintikka-Style Epistemic Logic.Lauri Carlson - 1988 - Synthese 74 (2):223 - 262.
    This paper contains a formal treatment of the system of quantified epistemic logic sketched in Appendix II of Carlson (1983). Section 1 defines the syntax and recapitulates the model set rules and principles of the Appendix system. Section 2 defines a possible worlds semantics for this system, and shows that the Appendix system is complete with respect to this semantics. Section 3 extends the system by an explicit truth operatorT it is true that and considers quantification over nonexistent individuals. Section (...)
  24. Meaning and Necessity.Rudolf Carnap - 1947 - University of Chicago Press.
    "This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.
  25. Essentialism and Individuation in Modal Logic.Troy Thomas Catterson - 2003 - Dissertation, Boston University
    This dissertation addresses the problem of trans-world identity in possible worlds semantics, and argues that essentialism does not provide a satisfactory solution to it. If one takes possible worlds semantics seriously as a viable elucidation of the logic of the metaphysical modalities, one must also take a realistic stance toward possible worlds. But then, contrary to Kripke, Plantinga, Van Inwagen, and others, there is a problem with trans-world identity; the real problem being, not the problem of identifying individuals across possible (...)
  26. Modal Sequents.Claudio Cerrato - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 141--166.
  27. The Necessity of Being.Joseph Chiari - 1973 - New York: Gordian Press.
  28. The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic.Charles S. Chihara - 1998 - Oxford University Press.
    A powerful challenge to some highly influential theories, this book offers a thorough critical exposition of modal realism, the philosophical doctrine that many possible worlds exist of which our own universe is just one. Chihara challenges this claim and offers a new argument for modality without worlds.
  29. On the Meaning of 'Ought'.Matthew Chrisman - 2012 - In Russ Shafer-Landau (ed.), Oxford Studies in Metaethics, vol. 7. Oxford University Press. pp. 304.
    Discussions about the meaning of the word “ought” are pulled in two apparently competing directions. First, in ethical theory this word is used in the paradigmatic statement of ethical principles and conclusions about what some agent is obligated to do. This leads some ethical theorists to claim that the word “ought” describes a real relation, roughly, of being obligated to (realism) or expresses some non-cognitive attitude toward agents acting in certain ways (expressivism). Second, in theoretical linguistics this word is classified (...)
  30. Master in Logic and Metaphysics.Rodrigo Cid - 2013 - Fundamento: Revista de Pesquisa Em Filosofia 6:79-87.
    My main purpose in this article is to present an argument for the idea that necessity qua truth in all possible worlds, without other qualifications, leads us to contradiction. If we do not want to accept the contradiction, we will face a dilemma: or accepting that everything we take as contingent is in fact necessary, or accepting that we cannot translate some sentences – at least the indexed to worlds sentences – to the possible worlds vocabulary. We have an intuition (...)
  31. Minimising Existence: Or How to Stop Worrying and Love the Barcan Formulae.Nicola Ciprotti - 2006 - Annali Del Dipartimento di Filosofia 12:215-238.
    The paper is intended to provide a full-scale defence of the infamous Barcan Formulae. Not only do I put forth some arguments, both semantic and metaphysical, against recent criticism; I also take pains at supplying some rationale in favour of the formal semantics underlying the Formulae, namely Possibilist quantification. Such a task is carried out through an argument for Compositional Nihilism, according to which nothing but mereological simples ever exists, and consequently through an informal sketch of the metaphysics of possible (...)
  32. Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.
    This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.
  33. The Genesis of Possible Worlds Semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    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.
  34. Modality, Quantification, and Many Vlach-Operators.Fabrice Correia - 2007 - Journal of Philosophical Logic 36 (4):473-488.
    Consider two standard quantified modal languages A and P whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of A are actualist while those of P are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive-i.e., so that for each sentence (...)
  35. Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future.Fabrice Correia & Andrea Iacona (eds.) - 2013 - Springer.
    Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...)
  36. Modalities and Multimodalities.Alexandre Costa-Leite - 2013 - Manuscrito 36 (1):191-195.
  37. Semantical Essays Possible Worlds and Their Rivals.M. J. Cresswell - 1988 -
  38. From Modal Discourse to Possible Worlds.Maxwell J. Cresswell - 2006 - Studia Logica 82 (3):307-327.
    The possible-worlds semantics for modality says that a sentence is possibly true if it is true in some possible world. Given classical prepositional logic, one can easily prove that every consistent set of propositions can be embedded in a ‘maximal consistent set’, which in a sense represents a possible world. However the construction depends on the fact that standard modal logics are finitary, and it seems false that an infinite collection of sets of sentences each finite subset of which is (...)
  39. Embedded Counterfactuals and Possible Worlds Semantics.Charles B. Cross - 2016 - Philosophical Studies 173 (3):665-673.
    Stephen Barker argues that a possible worlds semantics for the counterfactual conditional of the sort proposed by Stalnaker and Lewis cannot accommodate certain examples in which determinism is true and a counterfactual Q > R is false, but where, for some P, the compound counterfactual P > is true. I argue that the completeness theorem for Lewis’s system VC of counterfactual logic shows that Stalnaker–Lewis semantics does accommodate Barker’s example, and I argue that its doing so should be understood as (...)
  40. From Worlds to Probabilities: A Probabilistic Semantics for Modal Logic.Charles B. Cross - 1993 - Journal of Philosophical Logic 22 (2):169 - 192.
  41. Literary Semantics and Possible Worlds = Literatursemantik Und Mögliche Welten.Károly Csúri - 1980 - Auctoritate Et Consilio Cathedrae Comparationis Litterarum Universarum Universitatis Szegediensis de Attila József Nominatae Edita.
  42. Possible Worlds for Modal Primitivists.Louis deRosset - 2014 - Journal of Philosophical Logic 43 (1):109-131.
    Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...)
  43. Logic for Contigent Beings.Harry Deutsch - 1994 - Journal of Philosophical Research 19:273-329.
    One of the logical problems with which Arthur Prior struggled is the problem of finding, in Prior’s own phrase, a “logic for contingent beings.” The difficulty is that from minimal modal principles and classical quantification theory, it appears to follow immediately that every possible object is a necessary existent. The historical development of quantified modal logic (QML) can be viewed as a series of attempts---due variously to Kripke, Prior, Montague, and the fee-logicians---to solve this problem. In this paper, I review (...)
  44. Truth, Modality, and Ontology.John Devlin - 1999 - Dissertation, University of Michigan
    Minimalists about truth think they've hit on something like a job description for a truth predicate: A truth predicate facilitates the expression of certain generalizations, such as "Whatever N. said is true" that would otherwise require a substitutional quantifier, or an infinite conjunction or disjunction. In the first chapter I argue that even if truth predicates have that function, it would be a mistake to suppose that this is their only role. There is an internal relation between truth and assertion (...)
  45. Mere Possibilities: Metaphysical Foundations of Modal Semantics.John Divers - 2014 - Philosophical Quarterly 64 (254):163-166.
  46. Possible-Worlds Semantics Without Possible Worlds: The Agnostic Approach.John Divers - 2006 - Mind 115 (458):187-226.
    If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...)
  47. Possible Worlds.John Divers - 2002 - Routledge.
    This is a comprehensive, critical account of forty years of literature on realism about possible worlds, enhanced by many original developments and insights ...
  48. The Analysis of Possibility and the Possibility of Analysis.John Divers - 1997 - Proceedings of the Aristotelian Society 97 (2):141–160.
  49. Modal Fictionalism Cannot Deliver Possible Worlds Semantics.John Divers - 1995 - Analysis 55 (2):81--9.
  50. How to Be a Modal Realist.Cian Dorr - manuscript -
    This paper investigates the form a modal realist analysis of possibility and necessity should take. It concludes that according to the best version of modal realism, the notion of a world plays no role in the analysis of modal claims. All contingent claims contain some de re element; the effect of modal operators on these elements is described by a counterpart theory which takes the same form whether the de re reference is to a world or to something else. This (...)
1 — 50 / 256