What if, as part of the thought experiment, we assume that the people running Sleeping Beauty make sure that Monday and Tuesday awakening are causally disconnected to the best of their abilities? (I.e., they try to ensure that nothing that Beauty does during each awakening can affect the world outside the experiment or persist to the next awakening.) Would that change your answers? (I.e., why can’t we the define P(Monday) to mean P(Monday awakening happens in this causal bubble) and so on?)
As long as previous and next awakenings on Tails are not statistically independent it wouldn’t. This is what matters here. By the definition of the experimental setting, when the coin is Tails, what Beauty does on Monday—awakens—always affects what she does on Tuesday—awakens the second time. Sequential events are definitely not mutually exclusive and thus can’t be elements of a sample space.
Now, we can remove this causality/correlation by doing a different experiment, where some number of SB experiments are simulated, then we get a list of awakenings and then select a random one of them, and put the Beauty through it. Then thirder model, which implicitly assumes that current awakening is randomly sampled, would be correct.
Subsequent to writing that post, people also came up with the idea of “acausal interactions” as in acausal trade and extortion, which similarly violates the axiom of independence.
The whole point of acausal trade is that it’s, well, acausal. Branches are mutually exclusive in probability theoretic terms, and yet you may choose to care about a different branch in terms of your utilities. This is not a problem for probability theory, because it doesn’t have utilities and complications that they add. Which is, once again, why it’s helpful to disentangle probability theory from decision theory and firstly solve the former before engaging with the latter.
As long as previous and next awakenings on Tails are not statistically independent it wouldn’t. This is what matters here. By the definition of the experimental setting, when the coin is Tails, what Beauty does on Monday—awakens—always affects what she does on Tuesday—awakens the second time. Sequential events are definitely not mutually exclusive and thus can’t be elements of a sample space.
Now, we can remove this causality/correlation by doing a different experiment, where some number of SB experiments are simulated, then we get a list of awakenings and then select a random one of them, and put the Beauty through it. Then thirder model, which implicitly assumes that current awakening is randomly sampled, would be correct.
The whole point of acausal trade is that it’s, well, acausal. Branches are mutually exclusive in probability theoretic terms, and yet you may choose to care about a different branch in terms of your utilities. This is not a problem for probability theory, because it doesn’t have utilities and complications that they add. Which is, once again, why it’s helpful to disentangle probability theory from decision theory and firstly solve the former before engaging with the latter.