structure for 'Modality'    |     alphabetical list of themes    |     unexpand these ideas

10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism

[proposal that possible worlds really exist]

13 ideas
It is pointless to say possible worlds are truthmakers, and then deny that possible worlds exist [Martin,CB]
     Full Idea: To claim that the truthmaker for a counterfactual, for example, is a set of possible worlds, but to deny that these worlds really exist, seems pointless.
     From: C.B. Martin (The Mind in Nature [2008], 03.3)
     A reaction: Lewis therefore argues that they do exist. Martin argues that possible worlds are not truthmakers. He rests his account of modality on dispositions. I prefer Martin.
Possible worlds realism is only needed to give truth conditions for modals and conditionals [Ellis]
     Full Idea: The main trouble with possible worlds realism is that the only reason anyone has, or ever could have, to believe in other possible worlds (other than this one) is that they are needed, apparently, to provide truth conditions for modals and conditionals.
     From: Brian Ellis (The Philosophy of Nature: new essentialism [2002], Ch.7)
     A reaction: This attacks Lewis. Ellis makes this sound like a trivial technicality, but if our metaphysics is going to make sense it must cover modals and conditionals. What do they actually mean? Lewis has a theory, at least.
If possible worlds have no structure (S5) they are equal, and it is hard to deny them reality [Dummett]
     Full Idea: If our space of possible worlds has no structure, as in the semantics for S5, then, from the standpoint of the semantics, all possible worlds are on the same footing; it then becomes difficult to resist the claim that all are equally real.
     From: Michael Dummett (Could There Be Unicorns? [1983], 8)
     A reaction: This is a rather startling and interesting claim, given that modern philosophy seems full of thinkers who both espouse S5 for metaphysics, and also deny Lewisian realism about possible worlds. I'll ponder that one. Must read the new Williamson….
For Lewis there is no real possibility, since all possibilities are actual [Oderberg on Lewis]
     Full Idea: Lewis-style modal realism eliminates all real possibility since on his account everything is actual relative to its own world.
     From: comment on David Lewis (On the Plurality of Worlds [1986]) by David S. Oderberg - Real Essentialism 6.2
     A reaction: Since it is possible for me to be in New York and in Chicago, but not both at once, his possibilities have to be kept apart, even though they are actual. I expect my visit to Chicago to remain as only a possibility.
Lewis posits possible worlds just as Quine says that physics needs numbers and sets [Lewis, by Sider]
     Full Idea: Lewis's argument for possible worlds parallels Quine's for the existence of sets: our best overall empirical theory, mathematical physics, quantifies over real numbers, so we have reason to posit real numbers, or the sets to which they may be reduced.
     From: report of David Lewis (On the Plurality of Worlds [1986]) by Theodore Sider - Reductive Theories of Modality 3.6
     A reaction: They both strike me as suspect. Indeed, the extreme implausibility of Lewis's conclusion throws doubt on Quine's original strategy. I'm happy to work with sets and possible worlds, and only worry about ontological commitment at a later stage.
If possible worlds really exist, then they are part of actuality [Sider on Lewis]
     Full Idea: The familiar complaint against Lewis is that if his worlds existed, they'd be part of actuality.
     From: comment on David Lewis (On the Plurality of Worlds [1986]) by Theodore Sider - Writing the Book of the World 11.5
     A reaction: Sider presents that as rather superficial, but it sounds a pretty good objection to me. Lewis would note that only our world has the indexical features which he says pick out actuality. Real possible worlds might lack indexical features?
A world is a maximal mereological sum of spatiotemporally interrelated things [Lewis]
     Full Idea: A world is a maximal mereological sum of spatiotemporally interrelated things.
     From: David Lewis (On the Plurality of Worlds [1986], 1.6)
     A reaction: (I wonder what Lewis's account of space was?) A mereological sum is "the least inclusive thing that includes all the parts" (p.69). It is maximal when all 'worldmates' are parts. But then 'worldmates' are defined as parts, so it threatens circularity.
For me, all worlds are equal, with each being actual relative to itself [Lewis]
     Full Idea: For me, all the worlds are on an equal footing in that each is actual relative to itself and none is actual relative to any other.
     From: David Lewis (On the Plurality of Worlds [1986], 3.1)
     A reaction: Lewis says the world we call 'actual' is simply a matter of how our indexicals refer. That sounds the wrong way round to me (as so often with Lewis).
Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G]
     Full Idea: There is no means by which we might distinguish a possible world from what is true at it. ...Whereas our ability to separate a place, or a time, from its occupier is crucial to realism about places and times, as is a distance relation.
     From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2)
     A reaction: He is objecting to Lewis's modal realism. I'm not fully convinced. It depends whether we are discussing real ontology or conceptual space. In the latter I see no difference between times and possible worlds. In ontology, a 'time' is weird.
The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G]
     Full Idea: The main objection to realism about worlds is from epistemology. Knowledge of properties of objects requires experience of these objects, which must be within the range of our sensory faculties, but only concrete actual objects achieve that.
     From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2)
     A reaction: This pinpoints my dislike of the whole possible worlds framework, ontologically speaking. I seem to be an actualist. I take possibilities to be inferences to the best explanation from the powers we know of in the actual world. We experience potentiality.
You can't embrace the formal apparatus of possible worlds, but reject the ontology [Heil]
     Full Idea: We should be suspicious of anyone who embraces the formal apparatus of possible worlds while rejecting the ontology.
     From: John Heil (Philosophy of Mind [1998], Pref)
     A reaction: What matters is that good philosophy should not duck the ontological implications of any apparatus. If only embracing the 'ontology of possible worlds' were a simple matter. What makes one world 'close' to another?
How can modal Platonists know the truth of a modal proposition? [Read]
     Full Idea: If modal Platonism was true, how could we ever know the truth of a modal proposition?
     From: Stephen Read (Thinking About Logic [1995], Ch.2)
     A reaction: I take this to be very important. Our knowledge of modal truths must depend on our knowledge of the actual world. The best answer seems to involve reference to the 'powers' of the actual world. A reply is in Idea 10983.
Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs]
     Full Idea: Lewis's concrete worlds give a better account of modality (than fictional worlds). When I learn that a man like me drives a truck, I gain evidence for the fact that I can drive a truck.
     From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §3)
     A reaction: Cf. Idea 12464. Jacobs still rightly rejects this as an account of possibility, since the possibility that I might drive a truck must be rooted in me, not in some other person who drives a truck, even if that person is very like me.