World Library  
Flag as Inappropriate
Email this Article

Possible world

Article Id: WHEBN0000780566
Reproduction Date:

Title: Possible world  
Author: World Heritage Encyclopedia
Language: English
Subject: Logic, David Lewis (philosopher), Molinism, Analytic philosophy, Logical possibility
Collection: Concepts in Logic, Conceptual Models, Interpretation (Philosophy), Modal Logic, Possibility, Possible Worlds
Publisher: World Heritage Encyclopedia

Possible world

In philosophy and logic, the concept of a possible world is used to express modal claims. The concept of possible worlds is common in contemporary philosophical discourse but has been disputed.


  • Possibility, necessity, and contingency 1
  • Formal semantics of modal logics 2
  • From modal logic to philosophical tool 3
  • Possible-world theory in literary studies 4
  • See also 5
  • Notes 6
  • Further reading 7
  • External links 8

Possibility, necessity, and contingency

Those theorists who use the concept of possible worlds consider the actual world to be one of the many possible worlds. For each distinct way the world could have been, there is said to be a distinct possible world; the actual world is the one we in fact live in. Among such theorists there is disagreement about the nature of possible worlds; their precise ontological status is disputed, and especially the difference, if any, in ontological status between the actual world and all the other possible worlds. One position on these matters is set forth in David Lewis's modal realism (see below). There is a close relation between propositions and possible worlds. We note that every proposition is either true or false at any given possible world; then the modal status of a proposition is understood in terms of the worlds in which it is true and worlds in which it is false. The following are among the assertions we may now usefully make:

  • True propositions are those that are true in the actual world (for example: "Richard Nixon became president in 1969").
  • False propositions are those that are false in the actual world (for example: "Ronald Reagan became president in 1969"). (Reagan did not run for president until 1976, and thus couldn't possibly have been elected.)
  • Possible propositions are those that are true in at least one possible world (for example: "Hubert Humphrey became president in 1969"). (Humphrey did run for president in 1968, and thus could have been elected.) This includes propositions which are necessarily true, in the sense below.
  • Impossible propositions (or necessarily false propositions) are those that are true in no possible world (for example: "Melissa and Toby are taller than each other at the same time").
  • Necessarily true propositions (often simply called necessary propositions) are those that are true in all possible worlds (for example: "2 + 2 = 4"; "all bachelors are unmarried").[1]
  • Contingent propositions are those that are true in some possible worlds and false in others (for example: "Richard Nixon became president in 1969" is contingently true and "Hubert Humphrey became president in 1969" is contingently false).

The idea of possible worlds is most commonly attributed to Gottfried Leibniz, who spoke of possible worlds as ideas in the mind of God and used the notion to argue that our actually created world must be "the best of all possible worlds". However, scholars have also found implicit traces of the idea in the works of Rene Descartes,[2] a major influence on Leibniz, Al-Ghazali (The Incoherence of the Philosophers), Averroes (The Incoherence of the Incoherence),[3] Fakhr al-Din al-Razi (Matalib al-'Aliya)[4] and John Duns Scotus.[3] The modern philosophical use of the notion was pioneered by David Lewis and Saul Kripke.

Formal semantics of modal logics

A semantics for modal logic was first introduced in the late-1950s work of Saul Kripke and his colleagues. A statement in modal logic that is possible is said to be true in at least one possible world; a statement that is necessary is said to be true in all possible worlds.

From modal logic to philosophical tool

From this groundwork, the theory of possible worlds became a central part of many philosophical developments, from the 1960s onwards – including, most famously, the analysis of Zombie Argument, and physicalism and supervenience in the philosophy of mind. Many debates in the philosophy of religion have been reawakened by the use of possible worlds. Intense debate has also emerged over the ontological status of possible worlds, provoked especially by David Lewis's defense of modal realism, the doctrine that talk about "possible worlds" is best explained in terms of innumerable, really existing worlds beyond the one we live in. The fundamental question here is: given that modal logic works, and that some possible-worlds semantics for modal logic is correct, what has to be true of the world, and just what are these possible worlds that we range over in our interpretation of modal statements? Lewis argued that what we range over are real, concrete worlds that exist just as unequivocally as our actual world exists, but that are distinguished from the actual world simply by standing in no spatial, temporal, or causal relations with the actual world. (On Lewis's account, the only "special" property that the actual world has is a relational one: that we are in it. This doctrine is called "the indexicality of actuality": "actual" is a merely indexical term, like "now" and "here".) Others, such as Robert Adams and William Lycan, reject Lewis's picture as metaphysically extravagant, and suggest in its place an interpretation of possible worlds as consistent, maximally complete sets of descriptions of or propositions about the world, so that a "possible world" is conceived of as a complete description of a way the world could be – rather than a world that is that way. (Lewis describes their position, and similar positions such as those advocated by Alvin Plantinga and Peter Forrest, as "ersatz modal realism", arguing that such theories try to get the benefits of possible worlds semantics for modal logic "on the cheap", but that they ultimately fail to provide an adequate explanation.) Saul Kripke, in Naming and Necessity, took explicit issue with Lewis's use of possible worlds semantics, and defended a stipulative account of possible worlds as purely formal (logical) entities rather than either really existent worlds or as some set of propositions or descriptions.

Possible-world theory in literary studies

Possible worlds theory in literary studies uses concepts from possible-world logic and applies them to worlds that are created by fictional texts, fictional universe. In particular, possible-world theory provides a useful vocabulary and conceptual framework with which to describe such worlds. However, a literary world is a specific type of possible world, quite distinct from the possible worlds in logic. This is because a literary text houses its own system of modality, consisting of actual worlds (actual events) and possible worlds (possible events). In fiction, the principle of simultaneity, it extends to cover the dimensional aspect, when it is contemplated that two or more physical objects, realities, perceptions and objects non-physical, can coexist in the same space-time. Thus, a literary universe is granted autonomy in much the same way as the actual universe.

Literary critics, such as Marie-Laure Ryan, Lubomír Doležel, and Thomas Pavel, have used possible-worlds theory to address notions of literary truth, the nature of fictionality, and the relationship between fictional worlds and reality. Taxonomies of fictional possibilities have also been proposed where the likelihood of a fictional world is assessed. Rein Raud has extended this approach onto "cultural" worlds, comparing possible worlds to the particular constructions of reality of different cultures.[5] Possible-world theory is also used within narratology to divide a specific text into its constituent worlds, possible and actual. In this approach, the modal structure of the fictional text is analysed in relation to its narrative and thematic concerns.

See also


  1. ^ See "A Priori and A Posteriori" (author: Jason S. Baehr), at Internet Encyclopedia of Philosophy: "A necessary proposition is one the truth value of which remains constant across all possible worlds. Thus a necessarily true proposition is one that is true in every possible world, and a necessarily false proposition is one that is false in every possible world. By contrast, the truth value of contingent propositions is not fixed across all possible worlds: for any contingent proposition, there is at least one possible world in which it is true and at least one possible world in which it is false." Accessed 7 July 2012.
  2. ^ "Nor could we doubt that, if God had created many worlds, they would not be as true in all of them as in this one. Thus those who could examine sufficiently the consequences of these truths and of our rules, could be able to discover effects by their causes, and, to explain myself in the language of the schools, they could have a priori demonstrations of everything that could be produced in this new world." -The World, Chapter VII
  3. ^ a b Taneli Kukkonen (2000), "Possible Worlds in the Tahâfut al-Falâsifa: Al-Ghazâlî on Creation and Contingency",  
  4. ^ Adi Setia (2004), "Fakhr Al-Din Al-Razi on Physics and the Nature of the Physical World: A Preliminary Survey", Islam & Science 2, retrieved 2010-03-02 
  5. ^ "Identity, Difference and Cultural Worlds", in Lang, V. & Kull, K. (eds) (2014) Estonian Approaches to Culture Theory. Approaches to Culture Theory 4, 164–179. University of Tartu Press, Tartu,

Further reading

  • D.M. Armstrong, A World of States of Affairs (1997. Cambridge: Cambridge University Press) ISBN 0-521-58948-7
  • John Divers, Possible Worlds (2002. London: Routledge) ISBN 0-415-15556-8
  • Paul Herrick, The Many Worlds of Logic (1999. Oxford: Oxford University Press) Chapters 23 and 24. ISBN 978-0-19-515503-7
  • David Lewis, On the Plurality of Worlds (1986. Oxford & New York: Basil Blackwell) ISBN 0-631-13994-X
  • Michael J. Loux [ed.] The Possible and the Actual (1979. Ithaca & London: Cornell University Press) ISBN 0-8014-9178-9
  • G.W. Leibniz, Theodicy (2001. Wipf & Stock Publishers) ISBN 978-0-87548-437-2
  • Brian Skyrms "Possible Worlds, Physics and Metaphysics" (1976. Philosophical Studies 30)

External links

  • "Possible Worlds" - Stanford Encyclopedia of Philosophy
  • "Possible worlds: what they are good for and what they are" — Alexander Pruss
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.