Modal realism tells us there is an infinity of possible worlds, but how many are there exactly? Is it countable infinity ℵ₀, uncountable infinity 𝖈, or some other, bigger uncountable infinity?

  • Depending on what is meant (there's an equivocation potential), there may in fact be zero "possible" worlds according to MR, because all of them are actual. Assuming, you mean how many worlds are there in Lewis's modal realism, then a second question is whether you're including indistinguishable worlds as different or not. Can you clarify the second point?
    – virmaior
    Apr 20 '16 at 10:27
  • 3
    @virmaior This is nitpicking, but all actual worlds are possible, so there can't be zero possible worlds.
    – Era
    Apr 20 '16 at 17:20
  • @Era I don't think that's nitpicking at all, it's actually a critical mistake to call actual universes impossible.
    – MM8
    Jun 19 '16 at 23:55
  • All of them. Anything is possible... not everything is probable ;)
    – MmmHmm
    Apr 23 '17 at 13:21

Actually, there's an important objection to Lewis's Modal Realism along the lines of your question. This objection was developed originally in this paper by Forrest and Armstrong I think (don't have access to this paper from home). The idea of their objection is that given some principles Lewis is committed to, it would turn out that there simply couldn't be a set of all possible worlds---it would turn out that the "set" of possible worlds wouldn't have a well defined cardinality or something. If you're interested, I can try to dig up the technical details later.

Apparently Lewis wrote a reply in the AJP in 1986, but I don't know what he says there.


Any set of consistent propositions describes a possible world.

To have infinitely many possible worlds would require infinitely many sets of consistent propositions.

Infinitely many sets of consistent propositions would require infinitely many propositions.

Are there infinitely many propositions? I don't know, but it seems widely accepted that no natural language can have infinitely many sentences.

  • You might enjoy this post & discussion: researchgate.net/post/…
    – MmmHmm
    Apr 23 '17 at 13:24
  • "Sets of consistent propositions" does not appeal to natural languages, it comes from some formalization of modality supplied with semantics. Already Peano arithmetic has infinitely many well-formed sentences, and for that matter infinitely many models, which are its "possible worlds". Even the limitation of natural languages to finitely many sentences only applies to uttered ones, they all have grammatic means to generate infinitely many meaningful sentences. Because they are all capable of expressing arithmetic, among many other reasons.
    – Conifold
    Apr 23 '17 at 18:30

The Lowenheim-Skolem theorem says that any axiomatization that has any infinite model at all has at least one model of every potential cardinality.

So if your notion of a possible world includes the integers, and can be described in a finite language, there are more than any given infinite number of possible universes obeying its rules. Because if all of them were of a given cardinality or below, we could haul out the mechanism of Lowenheim-Skolem, and make one of the next cardinality up.

To see this another way, what could differ? Obviously, the value of some untracked constant could be different, and could take any value in a range of real numbers, so there are at least uncountably many variations. Now think about functions from the reals onto the reals. There are 2^c of those, and clearly some irrelevant one of those could vary any way it wants, and we would not notice. How about transformations of those functions into one-another -- there are 2^2^c of those...

  • I'm skeptical that a possible world could be (fully) described in a finite language.
    – Era
    Apr 20 '16 at 17:22
  • In all actual uses, only its variation from the current world is described, right? A Kripke world is this one with X changed. And if you are worried about logical interpretations, as modal realism is, the difference has to be finitely stated. So there does not need to be a full description of the possible world, only a reference in the language for a base template + a finite variation, which is a finite statement. Worlds with infinite descriptions might have fewer models.
    – user9166
    Apr 20 '16 at 17:26
  • Besides, if there are trans-infinitely many models just for each of the ones that can be finitely described, you can add all the other ones you want. I have still answered the question.
    – user9166
    Apr 20 '16 at 17:32
  • I guess part of what's bothering me is the fact that we don't know that much about what the actual world is like, so by extension we don't know what possible worlds are like. That doesn't prevent us from uniquely specifying a possible world by describing its differences with the actual world, but I don't think that constitutes a "full description" of the possible world itself. I'm not sure it's relevant at all; for combinatorial purposes all we need is to uniquely specify each possible world in a finite language.
    – Era
    Apr 20 '16 at 17:34
  • Ok, but as noted in the return comment, no full description of the index world is necessary. There are already trans-infinitely many new ones for any statable difference. So in-toto there are countably many times trans-infinitely many of them whether or not you start from a given definition. All of this just points out how mathematically naive Lewis really is.
    – user9166
    Apr 20 '16 at 17:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.