Please note that I never include "asleep" or "awake" in the definitions of my events. They do not belong as discriminators of the outcomes, because they are totally determined by the other two factors that are.
Stephen Tashi said:
By using Pr(A1) + Pr(B) + Pr(C), you are treating A1,B,C as mutually exclusive events. They are not mutually exclusive events in the experiment.
They are not mutually exclusive when you use an external perspective - that is, from Beauty's frame of reference on Sunday or Wednesday; or the lab tech's who is administering the drugs and asking the questions.
They are mutually exclusive events from the point of view of an awake Beauty.
And this is the entire point of the problem.
To claim A1,B,C each have prior probability 1/2, you must refer to the events A1,B,C as they are defined in the experiment. Using that definition, the events B and C are not mutually exclusive.
Correct. Each has a probability of 1/2 in the prior - that is, from Beauty's frame of reference on Sunday or Wednesday. And A2 belongs in that prior. To define things "as they are defined in the experiment," you must include A2.
In the posterior - from the point of view of an awake Beauty - we gain "alternate information" that requires an update. This information is that B and C are now mutually exclusive, as are A1 and A2. And that the observation "awake" excludes A2, which is in the prior. I'm sorry if I'm repeating myself, but these facts keep getting ignored.
I also realize that this is an unprovable assertion of how perspective applies. All I ask, is that you recognize that your counterpart assertion, that A2 is not required, is equally unprovable. So, it is only if we can derive an answer that is not based in either perspective, that we can try to address which perspective applies. I think I have done that, and you are avoiding it by trying to discuss perspective first.
If we wish to create a scenario where A1,B,C are involved in mutually exclusive events , we can construct a situation where one and only one of A1,B,C is selected.
You also need to include A2, since from Beauty's frame of reference on Sunday or Wednesday, or the lab tech's who is administering the drugs and asking the question, A2 is a possibility.
Please, please, please try to understand this concept: The occurrence of event A2 has nothing to do with Beauty's ability to observe it. It can occur. Being awake is not a "selection," it is an observation of what has been selected. If you want to examine that more in depth, consider the scenario where Beauty is taken to Disneyworld instead of being interviewed under A2. Ask yourself if it matters how (or if) Beauty can observe A2 when occurs.
A "halfer" objection to applying the Principle of Indifference to a1,b,c is ...
... misguided, because it treats Beauty's inability to observe A2 as a de facto assumption that A2 can't happen. A2 can happen. The PoI is applied to {A1,A2,B,C}, not {A1,B,C}.
Using Elga, the ...
... "thirder" position is that Sleeping Beauty ...
... avoids the fact that A2 is a possibility by applying the PoI separately to {A1, B} (that is, assuming "Monday") and (A1, C} (that is, by assuming "Tails"). It treats each as a subset of the larger set {A1,A2,B,B} where the PoI applies to the entire set.