Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours."[1] It is based on four tenets: possible worlds exist, possible worlds are not different in kind from the actual world, possible worlds are irreducible entities, and the term actual in actual world is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now".

Extended modal realism is a form of modal realism that involves ontological commitments not just to possible worlds but also to impossible worlds. Objects are conceived as being spread out in the modal dimension, i.e. as having not just spatial and temporal parts but also modal parts. This contrasts with Lewis' modal realism according to which each object only inhabits one possible world.

Common arguments for modal realism refer to their theoretical usefulness for modal reasoning and to commonly accepted expressions in natural language that seem to imply ontological commitments to possible worlds. A common objection to modal realism is that it leads to an inflated ontology, which some think to run counter to Occam's razor. Critics of modal realism have also pointed out that it is counterintuitive to allow possible objects the same ontological status as actual objects. This line of thought has been further developed in the argument from morality by showing how an equal treatment of actual and non-actual persons would lead to highly implausible consequences for morality, culminating in the moral principle that every choice is equally permissible.

The term possible world

Main article: Possible world

The term goes back to Leibniz's theory of possible worlds,[2] used to analyse necessity, possibility, and similar modal notions. In short: the actual world is regarded as merely one among an infinite set of logically possible worlds, some "nearer" to the actual world and some more remote. A proposition is necessary if it is true in all possible worlds, and possible if it is true in at least one.[2]

Main tenets

At the heart of David Lewis's modal realism are six central doctrines about possible worlds:[3]

  1. Possible worlds exist – they are just as real as our world;
  2. Possible worlds are the same sort of things as our world – they differ in content, not in kind;
  3. Possible worlds cannot be reduced to something more basic – they are irreducible entities in their own right.
  4. Actuality is indexical. When we distinguish our world from other possible worlds by claiming that it alone is actual, we mean only that it is our world.
  5. Possible worlds are unified by the spatiotemporal interrelations of their parts; every world is spatiotemporally isolated from every other world.
  6. Possible worlds are causally isolated from each other.

Details and alternatives

In philosophy possible worlds are usually regarded as real but abstract possibilities (i.e. platonism),[4] or sometimes as a mere metaphor, abbreviation, or as mathematical devices, or a mere combination of propositions.

Lewis himself not only claimed to take modal realism seriously (although he did regret his choice of the expression modal realism), he also insisted that his claims should be taken literally:

By what right do we call possible worlds and their inhabitants disreputable entities, unfit for philosophical services unless they can beg redemption from philosophy of language? I know of no accusation against possibles that cannot be made with equal justice against sets. Yet few philosophical consciences scruple at set theory. Sets and possibles alike make for a crowded ontology. Sets and possibles alike raise questions we have no way to answer. [...] I propose to be equally undisturbed by these equally mysterious mysteries.[5]

How many [possible worlds] are there? In what respects do they vary, and what is common to them all? Do they obey a nontrivial law of identity of indiscernibles? Here I am at a disadvantage compared to someone who pretends as a figure of speech to believe in possible worlds, but really does not. If worlds were creatures of my imagination, I could imagine them to be any way I liked, and I could tell you all you wished to hear simply by carrying on my imaginative creation. But as I believe that there really are other worlds, I am entitled to confess that there is much about them that I do not know, and that I do not know how to find out.[6]

Extended modal realism

Main article: Extended modal realism

Extended modal realism, as developed by Takashi Yagisawa,[7] differs from other versions of modal realism, such as David Lewis' views, in several important aspects. Possible worlds are conceived as points or indices of the modal dimension rather than as isolated space-time structures. Regular objects are extended not only in the spatial and the temporal dimensions but also in the modal dimension: some of their parts are modal parts, i.e. belong to non-actual worlds. The concept of modal parts is best explained in analogy to spatial and temporal parts.[8][9] My hand is a spatial part of myself just as my childhood is a temporal part of myself, according to four-dimensionalism.[10] These intuitions can be extended to the modal dimension by considering possible versions of myself which took different choices in life than I actually did. According to extended modal realism, these other selves are inhabitants of different possible worlds and are also parts of myself: modal parts.[7]: 41 [11]

Another difference to the Lewisian form of modal realism is that among non-actual worlds within the modal dimension are not just possible worlds but also impossible worlds. Yagisawa holds that while the notion of a world is simple, being a modal index, the notion of a possible world is composite: it is a world that is possible. Possibility can be understood in various ways: there is logical possibility, metaphysical possibility, physical possibility, etc.[8][12] A world is possible if it doesn't violate the laws of the corresponding type of possibility. For example, a world is logically possible if it obeys the laws of logic or physically possible if it obeys the laws of nature. Worlds that don't obey these laws are impossible worlds. But impossible worlds and their inhabitants are just as real as possible or actual entities.

Arguments for modal realism

Reasons given by Lewis

Lewis backs modal realism for a variety of reasons.[3] First, there doesn't seem to be a reason not to. Many abstract mathematical entities are held to exist simply because they are useful. For example, sets are useful, abstract mathematical constructs that were only conceived in the 19th century. Sets are now considered to be objects in their own right, and while this is a philosophically unintuitive idea, its usefulness in understanding the workings of mathematics makes belief in it worthwhile. The same should go for possible worlds. Since these constructs have helped us make sense of key philosophical concepts in epistemology, metaphysics, philosophy of mind, etc., their existence should be accepted on pragmatic grounds.

Lewis believes that the concept of alethic modality can be reduced to talk of real possible worlds. For example, to say "x is possible" is to say that there exists a possible world where x is true. To say "x is necessary" is to say that in all possible worlds x is true. The appeal to possible worlds provides a sort of economy with the least number of undefined primitives/axioms in our ontology.

Taking this latter point one step further, Lewis argues that modality cannot be made sense of without such a reduction. He maintains that we cannot determine that x is possible without a conception of what a real world where x holds would look like. In deciding whether it is possible for basketballs to be inside of atoms we do not simply make a linguistic determination of whether the proposition is grammatically coherent, we actually think about whether a real world would be able to sustain such a state of affairs. Thus we require a brand of modal realism if we are to use modality at all.

Argument from ways

An often-cited argument is called the argument from ways. It defines possible worlds as "ways how things could have been" and relies for its premises and inferences on assumptions from natural language,[13][14][15] for example:

(1) Hillary Clinton could have won the 2016 US election.
(2) So there are other ways how things could have been.
(3) Possible worlds are ways how things could have been.
(4) So there are other possible worlds.

The central step of this argument happens at (2) where the plausible (1) is interpreted in a way that involves quantification over "ways". Many philosophers, following Willard Van Orman Quine,[16] hold that quantification entails ontological commitments, in this case, a commitment to the existence of possible worlds. Quine himself restricted his method to scientific theories, but others have applied it also to natural language, for example, Amie L. Thomasson in her easy approach to ontology.[17] The strength of the argument from ways depends on these assumptions and may be challenged by casting doubt on the quantifier-method of ontology or on the reliability of natural language as a guide to ontology.


A number of philosophers, including Lewis himself, have produced criticisms of (what some call) "extreme realism" about possible worlds.

Peter Forrest argues that modal realism gives us reason to doubt the method of induction, as according to modal realism, there is a world where we are deceived by our senses and we may be in this world.[18]

James F. Ross argues that when Lewis states that counterfactual utterances are true in the sense that it is the case in another world that such a thing occurred, he "parses away our counterfactual utterances into what we do not mean".[19] Hilary Putnam likewise writes "one doesn't have to think of a 'way' the world could have been as another world" and asks why "one couldn’t say that a 'way' the world could be is just a property, a characteristic, however complicated, that the whole world could have had, rather than another world of the same sort as our own".[20]

Lewis's own critique

Lewis's own extended presentation of the theory (On the Plurality of Worlds, 1986) raises and then counters several lines of argument against it. That work introduces not only the theory, but its reception among philosophers. The many objections that continue to be published are typically variations on one or other of the lines that Lewis has already canvassed.

Here are some of the major categories of objection:

Finally, some of these objections can be combined. For example, one[23] can think that modal realism is unnecessary because multiverse theory can do all the modal work (e.g. many "worlds" interpretation of quantum mechanics).[23]

A pervasive theme in Lewis's replies to the critics of modal realism is the use of tu quoque argument: your account would fail in just the same way that you claim mine would. A major heuristic virtue of Lewis's theory is that it is sufficiently definite for objections to gain some foothold; but these objections, once clearly articulated, can then be turned equally against other theories of the ontology and epistemology of possible worlds.

Stalnaker's response

Robert Stalnaker, while he finds some merit in Lewis's account of possible worlds, finds the position to be ultimately untenable. He himself advances a more "moderate" realism about possible worlds, which he terms actualism (since it holds that all that exists is in fact actual, and that there are no "merely possible" entities).[24] In particular, Stalnaker does not accept Lewis's attempt to argue on the basis of a supposed analogy with the epistemological objection to mathematical Platonism that believing in possible worlds as Lewis imagines them is no less reasonable than believing in mathematical entities such as sets or functions.[25]

Kripke's response

Saul Kripke described modal realism as "totally misguided", "wrong", and "objectionable".[26] Kripke argued that possible worlds were not like distant countries out there to be discovered; rather, we stipulate what is true according to them. Kripke also criticized modal realism for its reliance on counterpart theory, which he regarded as untenable. Specifically, Kripke states that Lewis' modal realism implies that when we refer to possibilities regarding persons like you or me, we're not referring to you or me. Instead, we're referring to counterparts who are similar to us but not identical. This seems problematic because it seems like when, for example, we say that, 'Humphrey could have become President', we are talking about Humphrey (and we're not talking about a person that is like Humphrey).[27] Lewis responds by saying this objection (i.e. The Humphrey Objection) wouldn't apply to modal realists who believe that the identity of persons can "overlap" in multiple worlds, even though Lewis thinks that view is problematic.[28] Secondly, Lewis doesn't seem to share the intuition that there is any problem, as evidenced by the fact that he calls it an "alleged" intuition.[29]

Argument from morality

The argument from morality, as initially formulated by Robert Merrihew Adams,[30] criticizes modal realism on the grounds that modal realism has very implausible consequences for morality and should therefore be rejected. This can be seen by considering the principle of plenitude: the thesis that there is a possible world for every way things could be.[31][32] The consequence of this principle is that the nature of the pluriverse, i.e. of reality in the widest sense, is fixed. This means that whatever choices human agents make, they have no impact on reality as a whole.[18] For example, assume that during a stroll at a lake you spot a drowning child not far from the shore. You have a choice to save the child or not to. If you choose to save the child then a counterpart of you at another possible world chooses to let it drown. If you choose to let it drown then the counterpart of you at this other possible world chooses to save it. Either way, the result for these two possible worlds is the same: one child drowns and the other is saved. The only impact of your choice is to relocate a death from the actual world to another possible world.[33] But since, according to modal realism, there is no important difference between the actual world and other possible worlds, this shouldn't matter. The consequence would be that there is no moral obligation to save the child, which is drastically at odds with common-sense morality. Worse still, this argument can be generalized to any decision, so whatever you choose in any decision would be morally permissible.[34]

David Lewis defends moral realism against this argument by pointing out that morality, as commonly conceived, is only interested in the actual world, specifically, that the actual agent doesn't do evil. So the argument from morality would only be problematic for an odd version of utilitarianism aiming at maximizing the "sum total of good throughout the plurality of worlds".[35] But, as Mark Heller points out, this reply doesn't explain why we are justified in morally privileging the actual world, as modal realism seems to be precisely against such a form of unequal treatment. This is not just a problem for utilitarians but for any moral theory that is sensitive to how other people are affected by one's actions in the widest sense, causally or otherwise: "the modal realist has to consider more people in moral decision making than we ordinarily do consider".[33] Bob Fischer, speaking on Lewis' behalf, concedes that, from a modally unrestricted point of view of morality, there is no obligation to save the child from drowning. Common-sense morality, on the other hand, assumes a modally restricted point of view. This disagreement with common-sense is a cost of modal realism to be considered in an overall cost-benefit calculation, but it is no knockdown argument.[34]

See also


  1. ^ Lewis D, 1986, p2, On the Plurality of Worlds, Oxford, Blackwell.
  2. ^ a b "Possible Worlds". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2021.
  3. ^ a b Lewis, David (1986). On the Plurality of Worlds. Wiley-Blackwell.
  4. ^ "Platonism in Metaphysics". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2016.
  5. ^ David Lewis, Convention, 1968, p. 208
  6. ^ David Lewis, Counterfactuals, 1973, pp. 87–88
  7. ^ a b Yagisawa, Takashi (2009). Worlds and Individuals, Possible and Otherwise. Oxford University Press.
  8. ^ a b Yagisawa, Takashi (2011). "Précis of Worlds and Individuals, Possible and Otherwise". Analytic Philosophy. 52 (4): 270–272. doi:10.1111/j.2153-960X.2011.00534.x.
  9. ^ Thomas, Andrew D. (2020). "Extended Modal Realism — a New Solution to the Problem of Intentional Inexistence". Philosophia. 48 (3): 1197–1208. doi:10.1007/s11406-019-00126-z.
  10. ^ Sider, Theodore (2001). Four Dimensionalism: An Ontology of Persistence and Time. Oxford University Press.
  11. ^ Vacek, Martin (2017). "Extended Modal Dimensionalism". Acta Analytica. 32 (1): 13–28. doi:10.1007/s12136-016-0297-9. S2CID 114272096.
  12. ^ Berto, Francesco; Jago, Mark (2018). Impossible Worlds. Metaphysics Research Lab, Stanford University. ((cite encyclopedia)): |website= ignored (help)
  13. ^ Laan, David A. Vander (1997). "The Ontology of Impossible Worlds". Notre Dame Journal of Formal Logic. 38 (4): 597–620. doi:10.1305/ndjfl/1039540772.
  14. ^ Berto, Francesco; Jago, Mark (2018). Impossible Worlds. Metaphysics Research Lab, Stanford University. Retrieved 14 November 2020. ((cite encyclopedia)): |website= ignored (help)
  15. ^ Menzel, Christopher (2017). Possible Worlds. Metaphysics Research Lab, Stanford University. Retrieved 14 November 2020. ((cite encyclopedia)): |website= ignored (help)
  16. ^ Quine, Willard V. (1948). "On What There Is". Review of Metaphysics. 2 (1): 21–38.
  17. ^ Thomasson, Amie L. (2014). Ontology Made Easy. Oup Usa. p. 248.
  18. ^ a b Weatherson, Brian (2016). David Lewis. Metaphysics Research Lab, Stanford University. Retrieved 15 November 2020. ((cite encyclopedia)): |website= ignored (help)
  19. ^ Ross, James F. “The Crash of Modal Metaphysics.” The Review of Metaphysics, vol. 43, no. 2, 1989, pp. 251–79
  20. ^ Putnam, Hilary (1995). Renewing Philosophy. Harvard University Press. p. 138.
  21. ^ W. V. O. Quine, "Proportional Objects" in Ontological Relativity and Other Essays', 1969, pp.140-147
  22. ^ Plantinga, A. (2003). Essays on the Metaphysics of Modality, M. Davidson (ed.), Oxford: Oxford UP.
  23. ^ a b Wilson, Alastair (2020). The Nature of Contingency: Quantum Physics as Modal Realism. Oxford, UK: Oxford University Press.
  24. ^ Stalnaker (1976,1996 both reprinted in Stalnaker 2003)
  25. ^ Stalnaker (1996)
  26. ^ Kripke (1972)
  27. ^ Saul Kripke. Naming and necessity. Harvard University Press, 1980.
  28. ^ Lewis, David (1986). On the Plurality of Worlds. Wiley-Blackwell. pp. 196-197.
  29. ^ Lewis, David (1986). On the Plurality of Worlds. Wiley-Blackwell. pp. 197-198.
  30. ^ Adams, Robert Merrihew (1974). "Theories of Actuality". Noûs. 8 (3): 211–231. doi:10.2307/2214751. JSTOR 2214751.
  31. ^ Bricker, Phillip (2006). "David Lewis: On the Plurality of Worlds". Central Works of Philosophy, Vol. 5: The Twentieth Century: Quine and After. Acumen Publishing.
  32. ^ Parent, Ted. Modal Metaphysics. Retrieved 15 November 2020. ((cite encyclopedia)): |website= ignored (help)
  33. ^ a b Heller, Mark (2003). "The Immorality of Modal Realism, Or: How I Learned to Stop Worrying and Let the Children Drown". Philosophical Studies. 114 (1–2): 1–22. doi:10.1023/A:1024471800380. S2CID 169297729.
  34. ^ a b Fischer, Bob (2017). "The Moral Objection to Modal Realism". Erkenntnis. 82 (5): 1015–1030. doi:10.1007/s10670-016-9856-0. S2CID 151975605.
  35. ^ Lewis, David (1986). On the Plurality of Worlds. Wiley-Blackwell. pp. 127–8.