This is another write-up of a fact that is generally known, but that I haven’t seen proven explicitly: the fact that SIA does not depend upon the reference class.
Specifically:
Assume there are a finite number of possible universes Ui. Let R be a reference class of finitely many agents in those universes, and assume you are in R. Let Rs be the reference class of agents subjectively indistinguishable from you. Then SIA using R is independent of R as long as Rs⊂R.
Proof:
Let {Ui}i∈I be a set of universes for some indexing set I, and P a probability distribution over them. For a universe Ui, let R(Ui) be the number of agents in the reference class R in Ui.
Then if PR is the probability distribution from SIA using R:
PR(Ui)=R(Ui)P(Ui)∑j∈IR(Uj)P(Uj).
We now wish to update on our own subjective experience sub. Since there are R(Ui) agents in our reference class, and Rs(Ui) have subjectively indistinguishable experiences, this updates the probabilities by weights PR(Ui)→PR(Ui)×Rs(Ui)R(Ui), which is just Rs(Ui)P(Ui)/(∑j∈IR(Uj)P(Uj)). After normalising, this is:
Given some measure theory (and measure theoretic restrictions on R to make sure expressions like ∫IR(Ui)P(Ui) converge), the result extends to infinite classes of universes, with ∫ in the proof instead of ∑.
In SIA, reference classes (almost) don’t matter
This is another write-up of a fact that is generally known, but that I haven’t seen proven explicitly: the fact that SIA does not depend upon the reference class.
Specifically:
Assume there are a finite number of possible universes Ui. Let R be a reference class of finitely many agents in those universes, and assume you are in R. Let Rs be the reference class of agents subjectively indistinguishable from you. Then SIA using R is independent of R as long as Rs⊂R.
Proof:
Let {Ui}i∈I be a set of universes for some indexing set I, and P a probability distribution over them. For a universe Ui, let R(Ui) be the number of agents in the reference class R in Ui.
Then if PR is the probability distribution from SIA using R:
PR(Ui)=R(Ui)P(Ui)∑j∈IR(Uj)P(Uj).
We now wish to update on our own subjective experience sub. Since there are R(Ui) agents in our reference class, and Rs(Ui) have subjectively indistinguishable experiences, this updates the probabilities by weights PR(Ui)→PR(Ui)×Rs(Ui)R(Ui), which is just Rs(Ui)P(Ui)/(∑j∈IR(Uj)P(Uj)). After normalising, this is:
PR(Ui|sub)=P(Ui)Rs(Ui)∑k∈IP(Uk)Rs(Uk)×(∑j∈IR(Uj)P(Uj))(∑j∈IR(Uj)P(Uj))=P(Ui)Rs(Ui)∑k∈IP(Uk)Rs(Uk)=PRs(Ui).
Thus this expression is independent of R.
Given some measure theory (and measure theoretic restrictions on R to make sure expressions like ∫IR(Ui)P(Ui) converge), the result extends to infinite classes of universes, with ∫ in the proof instead of ∑.