To make progress in cosmology we really need to understand the fundamental issue of how to compare different theories and work out the posterior credences of different models in the light of what we know and observe.
Questions we would like to be able to answer:
SSA : Self Sampling Assumption (Nick Bostrom - anthropic-principle.com)
"Every observer should reason as if she were a random sample from the set of all observers in their reference class."
There are I think basically four ways of applying SSA:
One could possibly split SIA-U into two positions depending on whether the uncertainties are about whether the universe is logically possible (e.g. depends critically on whether the 10^500th digit in the decimal expansion of pi is 0, whether the twin primes conjecture is true, etc), or physically possible (e.g. depends on M-theory being correct). [Ken Olum thinks dependence on the value of a digit of pi is equivalent to tossing a coin.] Tegmark might say that all logically possible universes actually exist, in which case SSA-A is equivalent to the latter case. Possible fusion arguments areSSA-A : Actual observers
"SSA should be applied only to observers in the reference class that actually exist". All that matters when comparing theories is if one or more observers exist (assuming you are a typical observer).
Proponents: Nick Bostrom, John Leslie (but see -MW below)
SIA-C : Self Indicating Assumption (Chance version)
"SSA should be applied to all observers in the reference class that are possible, but do not necessarily actually exist". You are more likely to exist in universe with lots of observers, so your existence favors a realization of the universe with lots of observers.
Proponent: AL + (probably) others
SSA-MW : SSA-A but Many Worlds observers are treated as actual
"SIA-C applied only if the Many Worlds interpretation is correct, otherwise SSA-A"
Proponent: Nick Bostrom, John Leslie
SIA-U : Self Indicating Assumption (Uncertainty version)
"SSA should be applied to all observers that we think might exist or could have existed, but do not necessarily actually exist." Subjective uncertainties about which theories are correct are treated in the same way as probabilistic outcomes of a correct theory.
Proponent: Ken Olum [though most of his paper is really arguing for SIA-C]
Some useful though experiments are described in Ken Olum's paper and at anthropic-principle.com. Two arguments in favor of SIA in Olum's paper apply differently to SIA-U and SIA-C. Repeatability: if you make many universes the frequentist probability agrees with the result of SIA-C, but not with SIA-U. Interpretation of quantum mechanics: SIA-C considers only possibilities that would exist if M-W were true; SIA-U also considers possibilities that would not be in the M-W superposition.
The main argument against SIA seems to be Bostrom's "Presumptuous Philosopher": SIA favors universes with more observers, and hence any theory (possibly preposterous [with a very low prior]) with a large enough number of observers is very likely to be true compared to a theory with far fewer observers. With SIA-C this argument only applies within different probabilistic outcomes of a correct theory. With SIA-U even wrong theories with a larger number of observers will be favored.
I propose an additional thought experiment to clarify the distinction between SIA-U and SIA-C.
We know that God makes universes in accordance with the rule
if R_1 make 10 observers
if R_2 make 1000 observers
if R_3 make 10^10^100 observers
R_1,R_2,R_3 are one of H,T or X, but we don't know which. So our
subjective uncertainties are P(R_1=H)=1/3, P(R_1=X)=1/3, P(R_2=H)=1/3,
etc.
God tosses a coin, which comes out H or T. X is impossible. We find
ourselves observing and wondering about the number of observers. What is
the probability of there being 10^10^100 observers?
Answers (very nearly exactly):
SSA-A: 1/3
SIA-C: 2/3
SIA-U: 1
SSA-MW always gives the answer for SSA-A if M-W is false, SIA-C is M-W is true. To be more careful, replace "God tosses a coin" by "God is a non-reference class observer who makes an observation of a coin in the superposition [H+T]/sqrt(2)". The subjective uncertainties could be about logical truths (e.g. we know that R_3=X iff the 10^500th digit in the ternary expansion of pi is a zero), or they could be physical uncertainties (e.g. about the correct GUT if there are several logical possibilities).
In all cases the infinite case can be difficult.SSA-A
The frequentist argument about repeatability has to be wrong, so this is some sort of ultra-subjectivist Bayesianism. If you are a thirder on the sleeping beauty problem what exactly is the difference? If you do not subscribe to SSA-MW, why not? In assessing the prior God didn't yet know that you exist, but on making the argument you do, so the information in the prior is not the same as the information when you observe. Outcomes in which observers are common are not favored relative to outcomes where there is just one.SIA-C
If you don't exist you can't sample yourself, so possible observers are not equivalent to actual observers {at least if M-W is false). You may be unhappy about having large probabilities to be in an outcome which was relatively unlikely but has a large number of observers [but this isn't really an argument]. Theories in which observers are common are not favored relative to theories where there is just one.SIA-U
It is impossible to rule out wrong theories that predict enormous number of observers. Repeatability argument fails [universes with lots of observers predicted by a wrong theory are never instantiated]. Well know importance of counter-factual possibilities [e.g. bomb-testing], but subjective uncertainty about impossible theories is quite different.
SSA-A does not agree with repeatability arguments, nor does SIA-U. For things to be repeatable they have to be possible.
The doomsday argument is explictly concerned with possible futures, and hence SIA-C negates it exactly with an arbitarily large definition of the reference class, without the need for SIA-U.
If A predicts that 99% of its observers observe O, but B predicts only 50%,given that we observe O how does this affect our credence of T? Just apply Bayes, P(T|O) = P(O|T)P(T)/P(O), so P(T|O)/P(~T|O) = 0.99/0.5, so P(T|O) = 2/3 (approx). If we observe ~O, then P(T|~O)=0.02 (approx). Now if B predicts 100 times more observers than A, what do we think?