I am curious what peeps here think about modal realism (the thesis that all possibilities are real, concrete worlds with stuff going on in them which are causally sealed off from other worlds).
It seems to me a multiverse would have to be identical with all of the possible worlds, because otherwise you'd get an actual infinite.
For instance, suppose that Wa is a possible world that is actual, and Wp is a possible world. Suppose that there are four possible worlds:
{Wa,Wp1,Wp2,Wp3}
Now suppose the multiverse is going on in Wa. It is quite plausible that there are an infinite number of possible universes, so there are gonna be an infinite number in Wa. But that means there's an actual infinite! So that's assuradly impossible.
Lemma 1. if the actual world includes the multiverse, then the set of all possible worlds has uncountably infinite states of affairs, and hence has a cardinality equal to ℵ1.
Proof. Consider the gravitational constant G. Assuming multiple universes, there is always a universe in which the gravitational constant is half what it is in another universe. E.g. there are ℵ1 universes with distinct gravitational constants. Let x be the number of constants in the actual universe. Now x∈S where S⊂ℕ, given there are finitely many constants. However, there are infinitely many possible worlds for each state of affairs in the actual world, and so for every constant in this universe and every consequent of that constant, there is a possible universe in which that constant holds and at least one thing is different. Hence there are infinitely many worlds for every constant. All of the sets specified here are countable except the one specifying the number of universes with different gravitational constants, so the set of them is uncountable. Eg. the cardinality of the set of possible worlds is equal to ℵ1.
But the cardinality of the set of possible worlds isn't uncountably infinite if the multiverse is a part of the actual world. It's not even four, which we generously granted earlier. In fact, the set only would have one member, the actual world, since all possibilities are supposed to be realized in the multiverse.
Hence, I contend the multiverse has got to just be the same thing as the set of all possible worlds, or modal space. However, I think that means that the multiverse really doesn't exist, or at least it's not a concrete object. Why? Well:
Axiom 1. A concrete object must stand in causal relations with other objects.Ergo:
Lemma 2. If the multiverse is concrete, its members are concrete.
Proof: Immediate.
Lemma 3. If the multiverse is the set of possible worlds, its members are not concrete.
Proof. A possible world cannot interact with its members or other possible worlds. Since these are the only objects available to interact with, it is not itself concrete.
Theorem 1. The multiverse is not concrete.
Proof. Immediate.
What if that's just not convincing? Well there are other reasons for thinking modal space doesn't really exist or is just abstract. But they themselves are rather abstract. For instance, what is modal space? Is it a state of affairs? If so shouldn't it be a member of some possible world? If it is, then by definition, the set of all possible worlds is a member of itself.
That doesn't seem to work. Thoughts?




Reply With Quote








