Limits of Logic #3: Kaplan's Paradox
1.5.6 Exercise: Kaplan's Paradox
Let be a set of propositions, and let be a set of possible worlds.
We’ll consider two relations between propositions and possible worlds.
- First, a proposition can be true at a possible world.
- Second, a proposition can be the only proposition that anyone believes at ; in this case we say that singles out .
We’ll make two assumptions about these relations.
- First, for any set of possible worlds, there is some proposition which is true at each possible world in , and which is not true at any possible world which is not in .
- Second, no world singles out more than one proposition.
Given these assumptions, show that there is at least one proposition which is not singled out by any possible world.
In other words, some proposition cannot possibly be uniquely believed.
Hint. Consider the function that takes each world that singles out some proposition to the set of worlds at which is true.
Proof:
Consider the function such that:
If singles out some proposition , then we have that is true at all and only the worlds in .
If does not single out any proposition , then .
Note that by Cantor's theorem, the function cannot be onto. Therefore, there is some set of possible worlds that is not in the range of .
This means that no world singles out the proposition i.e. there is some proposition that is not singled out by any world. In other words, some proposition cannot possibly be uniquely believed.