Modal realism


Modal realism is the view propounded by David Kellogg 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." It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible ; 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".

The term ''possible world''

The term goes back to Leibniz's theory of possible worlds, 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. To note, however, though the concept does sound similar to modern notions of a multiverse, in reality these two concepts are quite distinct – a multiverse would constitute a single possible world.

Main tenets

At the heart of David Lewis's modal realism are six central doctrines about possible worlds:
  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.

    Reasons given by Lewis

Lewis backs modal realism for a variety of reasons. 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.

Details and alternatives

In philosophy possible worlds are usually regarded as real but abstract possibilities, or sometimes as a mere metaphor, abbreviation, or for sets of counterfactual propositions.
Lewis himself not only claimed to take modal realism seriously, 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.

How many 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.

Criticisms

While it may appear to be a simply extravagant account of modality, modal realism has proven to be historically quite resilient. Nonetheless, a number of philosophers, including Lewis himself, have produced criticisms of "extreme realism" about possible worlds.

Lewis's own critique

Lewis's own extended presentation of the theory 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:
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

, 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. 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.

Kripke's response

described modal realism as "totally misguided", "wrong", and "objectionable". 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.