Probabilistic comparison and nonmeasurable sets

One problem with epistemological use of probability theory is that, given the Axiom of Choice, there are nonmeasurable sets. In plausible setups, these nonmeasurable sets give rise to situations that cannot be assigned a probability that satisfied plausible invariance conditions. One might try to get out of this problem (and some infinity problems, while one is at it) by replacing probability values with probability comparisons. Instead of saying how probable a proposition is, we have as our basic relation: "p is more likely than q". Unfortunately, that doesn't get rid of the problem of nonmeasurable sets, as can be seen from the Hausdorff paradox.

Write "p<q for "p is less likely than q". Say that p has a chance (of truth) provided that F<p, where F is some denial of a tautology. The following axioms (which are not meant to be complete, but which are enough to generate the problem) are very plausible:

1. It is not the case that p<p.
2. If neither p nor q has a chance, then their disjunction (p or q) has no chance.
3. If p and q are incompatible, and q has a chance, then p<(p or q).
4. If q and r are equivalent, then p<q if and only if p<r.

Now imagine a process that randomly picks out a point on (the surface of) a sphere, in such a way that (a) there is a chance that some point on the sphere is picked out and (b) if two regions are rotations of one another (about the center of the sphere) then (i) neither is more likely to contain the point than the other and (ii) if one region has a chance of containing the point, so does the other.

It turns out that what I just supposed about the process—plausible as it is that it can hold—cannot be satisfied together with (1)-(4), assuming the Axiom of Choice. I'll give the proof in a moment.

So what should way say philosophically here? The axioms (1)-(4) are very plausible, and (a) and (b) seem to be compossible. Perhaps we need to reject the Axiom of Choice. Or perhaps we need to reject the metaphysical possibility of there being spaces built on the continuum in the way that the sphere is. Or maybe one of the axioms (1)-(4) needs to be rejected. I think the best bet is (3), which is a weak form of finite additivity. But (3) is still pretty plausible.

Proof of incompatibility: By the Hausdorff Paradox, (the surface of) the sphere can be divided up into four disjoint subsets A, B, C and D, such that D is countable, and the four sets A, B, C, and the union of B and C are all congruent—i.e., each can be transformed into any other by rotations.

Observe that if a proposition is equivalent to a disjunction and has a chance, then
at least one of its disjuncts has a chance by (2) and (4). We will use this fact.

Let p(X) be the proposition that the point is in region X.

Next observe (this is an easy counting argument) that if D is countable, then there is a rotation r such that S is the union of S−D and S−rD. Thus, p(S) is equivalent to the disjunction of p(S−D) and p(S−rD). Thus the disjunction of p(S−D) and p(S−rD) has a chance. Thus, at least one of the disjuncts has a chance, by our earlier observation. But if p(S−rD) has a chance, so does p(S−D) by condition (b)(ii). But now p(S−D) is equivalent to the disjunction p(A) or p(B) or p(C). Thus at least one of these disjuncts has a chance. Thus all these disjuncts have a chance by (b)(ii).

Now, there is a rotation r such that A is the union of rB and rC. Thus, p(A) is equivalent to the disjunction of p(rB) and p(rC). But since p(rC) has a chance by (b)(ii) as p(C) does, and since p(rB) and p(rC) are incompatible (as B and C are disjoint), it follows from (3) that p(rB)<(p(rB) or p(rC)). But by (4) it follows that p(rB)<p(A). But A is a rotation of rB, so this contradicts (b)(i).