Think about it. In Sleeping Beauty, Monday awakening always happens. So the coin toss can be made already after this awakening. If 3⁄2 had been a correct estimate, the Beauty would have been able to predict the future coin toss better than chance. Which would’ve been… quite peculiar, to say the least. Of course one can also just run a simulation of the experiment and check.
Lewisian Halfers, however, are right for the Fissure mind experiment, where a person is either left in Room1 or splited in two people, one of which goes to Room1 and the second goes to Room2 - at random. In such experiment, you can’t be certain to be in Room1 and so being in Room1 is indeed more likely if there was no spliting. And if a visitor comes to a random room and you meet there you will indeed have disagreement about probabilities.
About the double halfer position, not sure I understand it. What probabilities does it give for these three conjunctions: P(A=H∧D=1), P(A=H∧D=2), P(A=T∧D=1)?
Answering your direct question: 1⁄2 for all three.
That’s because (A=H∧D=1) and (A=H∧D=2) are actually the same outcome. P(D=1) = 1; P(D=2) = 1⁄2.
Here (D=1) doesn’t mean “this awakening is happening in the first day of the experiment” but rather “awakening in the first day of the experiment has happened”. Likewise with (D=2). (D=1) and (D=2) are not exclusonary here, but intersecting. If (D=2) is true then (D=1) is also always true. And if you want to talk specifically about “this awakening is happening in the first day of the experiment”, then such probability is undefined for the Sleeping Beauty setting.
If it gave you more questions than answers—I’m hopefully going to answer them all when I finish my next couple of posts, where I attempt to rigorously justify all of it. For now you can just notice that double halfer position doesn’t have problems with betting, doesn’t updates out of nowhere and doesn’t allow you to arbitrary manipulate your probabilities by precommitments.
And if you want to talk specifically about “this awakening is happening in the first day of the experiment”, then such probability is undefined for the Sleeping Beauty setting.
Yeah, I don’t know if “undefined” is a good answer.
To be fair, there are some decision-theoretic situations where “undefined” is a good answer. For example, let’s say Alice wakes up with amnesia on 10 consecutive days, and each day she’s presented with a choice of envelope A or envelope B, one of which contains money. And she knows that whichever envelope she chooses on day 1, the experimenter will put money in the other envelope on days 2-10. This case is truly undefined: the contents of the envelopes on the desk in front of Alice are eerily dependent on how Alice will make the choice. For example, if she always chooses envelope A, then she should believe that the money is in envelope A with probability 10% and in B with probability 90%. But she can’t use that knowledge to say “oh I’ll choose B then”, because that’ll change the probabilities again.
But the Sleeping Beauty problem is not like that. Alice doesn’t make any decisions during the experiment that could feed back into her probabilities. If each day we put a sealed envelope in front of Alice, containing a note saying which day it is, then Alice really ought to have some probability distribution over what’s in the envelope. Undefined doesn’t cut it for me yet. Maybe I should just wait for your post :-)
Why “this awakening is happening during Monday” isn’t a valid event indeed requires some careful justifications and I wasn’t planning to go into more details in this comment section. But the example of an undefined event you brough up is actually very helpful to get the right intuition. Because yes, despite the fact that it’s less obvious, Sleeping Beauty problem is very much like this.
Lets look again at the envelope experiment. There are two outcomes for money placement: ABBBBBBBBB and BAAAAAAAAA. If you run the experiment and write down where the money were at each awakening you will always notice these long lines of As or Bs. If we do the same in a different experimental setting, where for every awakening there is some non-zero chance that money are either in envelope A or in envelope B, we won’t be able to always be sure to observe this streak of the same values.
There is the exact same behaviour with Alice and Bob’s awakenings. Run the experiment multiple times and write down which day the awakenings happen. Bob will have his Monday and Tuesday awakenings going in random order, while Alice will always have her Tuesday awakening predecessed by Monday awakening. Compare experiments with more awakenings, for example where Alice wakes up on every day of the week on Heads and Bob wakes up on a random day of the week, and it will be more obvious.
Just like when Alice picks envelope A on day one money will always be placed in the envelope B on day two, When Alice wakes up on Heads&Monday her next awakening will always happen on Heads&Tuesday. In both cases, previous awakening affects the future awakening.
Hmm. But in the envelope experiment, once Alice commits to a decision (e.g. choose A), her probabilities are well-defined. So in Sleeping Beauty, if we make it so the day is automatically disclosed to Alice at 5pm let’s say, it seems like her probabilities about it should be well-defined from the get go. Or at least, the envelope experiment doesn’t seem to shed light why they should be undefined. Am I missing something?
Hmm. But in the envelope experiment, once Alice commits to a decision (to e.g. choose A), the probabilities are well-defined. So in Sleeping Beauty, if the day is automatically disclosed to Alice at 5pm let’s say, it seems like her probabilities about it should be well-defined from the get go.
Do you mean that conditional probabilities should be well defined? They indeed are.
P(Heads|Monday) = 1⁄2; P(Heads|Tuesday)=1. But as P(Monday) and P(Tuesday) are not defined you can’t use them to arrive to P(Heads&Monday) and P(Heads&Tuesday) via Bayes theorem.
If you say things like “P(X|Y) is defined but P(Y) isn’t”, doesn’t that call for a reformulation of all probability theory? Like, if I take the interpretation of probability theory based on sigma-algebras (which is quite popular), then P(Y) gotta be defined, no way around it. The very definition of P(X|Y) depends on P(X∧Y) and P(Y). You can say “let’s kick out this leg from this table”, but the math tells me pretty insistently that the table can’t stand without that particular leg. Or at least, if there’s a version of probability theory where P(Y) can be undefined but P(X|Y) defined, I’d want to see more details about that theory and how it doesn’t trip over itself. Does that make sense?
This equation for a conditional probability, although mathematically equivalent, may be intuitively easier to understand. It can be interpreted as “the probability of B occurring multiplied by the probability of A occurring, provided that B has occurred, is equal to the probability of the A and B occurrences together, although not necessarily occurring at the same time”. Additionally, this may be preferred philosophically; under major probability interpretations, such as the subjective theory, conditional probability is considered a primitive entity. Moreover, this “multiplication rule” can be practically useful in computing the probability of
and introduces a symmetry with the summation axiom for Poincaré Formula
Not sure I understand. My question was, what kind of probability theory can support things like “P(X|Y) is defined but P(Y) isn’t”. The snippet you give doesn’t seem relevant to that, as it assumes both values are defined.
The kind of probability theory that defines P(X|Y) axiomatically as a primitive entity and only then defines P(X&Y) as a multiplication of P(X|Y) and P(Y), instead of defining conditional probability as a ratio between P(X&Y) and P(Y).
While it’s mathematically equivalent, the former method is more resembling the way people deal with probabilities in practice—usually conditional probability is known and probability of an intersection isn’t—and formally allows us to talk about conditional probabilities, even when the probability of an event we condition on is not defined.
Think about it. In Sleeping Beauty, Monday awakening always happens. So the coin toss can be made already after this awakening. If 3⁄2 had been a correct estimate, the Beauty would have been able to predict the future coin toss better than chance. Which would’ve been… quite peculiar, to say the least. Of course one can also just run a simulation of the experiment and check.
Lewisian Halfers, however, are right for the Fissure mind experiment, where a person is either left in Room1 or splited in two people, one of which goes to Room1 and the second goes to Room2 - at random. In such experiment, you can’t be certain to be in Room1 and so being in Room1 is indeed more likely if there was no spliting. And if a visitor comes to a random room and you meet there you will indeed have disagreement about probabilities.
Answering your direct question: 1⁄2 for all three.
That’s because (A=H∧D=1) and (A=H∧D=2) are actually the same outcome. P(D=1) = 1; P(D=2) = 1⁄2.
Here (D=1) doesn’t mean “this awakening is happening in the first day of the experiment” but rather “awakening in the first day of the experiment has happened”. Likewise with (D=2). (D=1) and (D=2) are not exclusonary here, but intersecting. If (D=2) is true then (D=1) is also always true.
And if you want to talk specifically about “this awakening is happening in the first day of the experiment”, then such probability is undefined for the Sleeping Beauty setting.
If it gave you more questions than answers—I’m hopefully going to answer them all when I finish my next couple of posts, where I attempt to rigorously justify all of it. For now you can just notice that double halfer position doesn’t have problems with betting, doesn’t updates out of nowhere and doesn’t allow you to arbitrary manipulate your probabilities by precommitments.
Yeah, I don’t know if “undefined” is a good answer.
To be fair, there are some decision-theoretic situations where “undefined” is a good answer. For example, let’s say Alice wakes up with amnesia on 10 consecutive days, and each day she’s presented with a choice of envelope A or envelope B, one of which contains money. And she knows that whichever envelope she chooses on day 1, the experimenter will put money in the other envelope on days 2-10. This case is truly undefined: the contents of the envelopes on the desk in front of Alice are eerily dependent on how Alice will make the choice. For example, if she always chooses envelope A, then she should believe that the money is in envelope A with probability 10% and in B with probability 90%. But she can’t use that knowledge to say “oh I’ll choose B then”, because that’ll change the probabilities again.
But the Sleeping Beauty problem is not like that. Alice doesn’t make any decisions during the experiment that could feed back into her probabilities. If each day we put a sealed envelope in front of Alice, containing a note saying which day it is, then Alice really ought to have some probability distribution over what’s in the envelope. Undefined doesn’t cut it for me yet. Maybe I should just wait for your post :-)
Why “this awakening is happening during Monday” isn’t a valid event indeed requires some careful justifications and I wasn’t planning to go into more details in this comment section. But the example of an undefined event you brough up is actually very helpful to get the right intuition. Because yes, despite the fact that it’s less obvious, Sleeping Beauty problem is very much like this.
Lets look again at the envelope experiment. There are two outcomes for money placement: ABBBBBBBBB and BAAAAAAAAA. If you run the experiment and write down where the money were at each awakening you will always notice these long lines of As or Bs. If we do the same in a different experimental setting, where for every awakening there is some non-zero chance that money are either in envelope A or in envelope B, we won’t be able to always be sure to observe this streak of the same values.
There is the exact same behaviour with Alice and Bob’s awakenings. Run the experiment multiple times and write down which day the awakenings happen. Bob will have his Monday and Tuesday awakenings going in random order, while Alice will always have her Tuesday awakening predecessed by Monday awakening. Compare experiments with more awakenings, for example where Alice wakes up on every day of the week on Heads and Bob wakes up on a random day of the week, and it will be more obvious.
Just like when Alice picks envelope A on day one money will always be placed in the envelope B on day two, When Alice wakes up on Heads&Monday her next awakening will always happen on Heads&Tuesday. In both cases, previous awakening affects the future awakening.
Hmm. But in the envelope experiment, once Alice commits to a decision (e.g. choose A), her probabilities are well-defined. So in Sleeping Beauty, if we make it so the day is automatically disclosed to Alice at 5pm let’s say, it seems like her probabilities about it should be well-defined from the get go. Or at least, the envelope experiment doesn’t seem to shed light why they should be undefined. Am I missing something?
Do you mean that conditional probabilities should be well defined? They indeed are.
P(Heads|Monday) = 1⁄2; P(Heads|Tuesday)=1. But as P(Monday) and P(Tuesday) are not defined you can’t use them to arrive to P(Heads&Monday) and P(Heads&Tuesday) via Bayes theorem.
If you say things like “P(X|Y) is defined but P(Y) isn’t”, doesn’t that call for a reformulation of all probability theory? Like, if I take the interpretation of probability theory based on sigma-algebras (which is quite popular), then P(Y) gotta be defined, no way around it. The very definition of P(X|Y) depends on P(X∧Y) and P(Y). You can say “let’s kick out this leg from this table”, but the math tells me pretty insistently that the table can’t stand without that particular leg. Or at least, if there’s a version of probability theory where P(Y) can be undefined but P(X|Y) defined, I’d want to see more details about that theory and how it doesn’t trip over itself. Does that make sense?
Sure. But this has already been done and took much less trouble than you might have though. Citing Wikipedia on Conditional Probability:
Not sure I understand. My question was, what kind of probability theory can support things like “P(X|Y) is defined but P(Y) isn’t”. The snippet you give doesn’t seem relevant to that, as it assumes both values are defined.
The kind of probability theory that defines P(X|Y) axiomatically as a primitive entity and only then defines P(X&Y) as a multiplication of P(X|Y) and P(Y), instead of defining conditional probability as a ratio between P(X&Y) and P(Y).
While it’s mathematically equivalent, the former method is more resembling the way people deal with probabilities in practice—usually conditional probability is known and probability of an intersection isn’t—and formally allows us to talk about conditional probabilities, even when the probability of an event we condition on is not defined.