I don't think I understand what you've written here. It's indeed possible that the card is not Club when it's Spade. As a matter of fact, it's the only possibility, because the card can't be both Spade and a Club.
There are four different days when SB could be awakened. On three of them, she would not have been awakened if the card was a club. This makes it more likely that the card is a club. This really is very simple probability. If you have difficulty with it, wake her every day. But in the situations where she was left asleep before, wake her and ask her for the probability that the card is the Ace of Clubs.
My points are that (A) the event where SB is left asleep is still an event in SB's sample space, (B) her "new information" is that she is observing the event in her sample space that match certain conditions, not that the negation of that event is not a part of her sample space, and (C) the amnesia drug disassociates the current day from all others.
This ... doesn't affect the probability to be awaken in the experiment.
Yes, it does. We can argue back and forth about who is correct, but all you have provided is word salad to support a conclusion you reached before choosing the logic. I keep providing examples that contradict it, and your counter-argument is that it contradicts your word salad.
Try another example; and this is actually closer to Zuboff's original problem than Elga's version of it, or the version he solved which has become the canonical form. (It's problem is that the Monday:Tuesday difference obfuscates the probability.)
2N players agree to the following game, and are fully informed of all details. Before the game starts, each is put to sleep. Over the next N days, each will be wakened on either every one of the N days, or on a single, randomly-selected day in the interval, based on the result of a single coin flip that applies to all 2N players and all days. With 2 possible flip results, and N days, each player is randomly assigned a different combination of a coin result and a day.
On each day, each of the N+1 players who are wakened is asked for her probability/credence/confidence/whatever for the proposition that she will be wakened only once. After answering, each will be put back to sleep with amnesia.
In Zuboff's version, N=one trillion, and the day is random, the coin result is unspecified, but this is the question the player is asked; in other words, it does not matter that the coin result is unspecified.In the problem Elga posed, N=2 but the days are not specified, and the question is effectively the same since Heads is specified. In the problem Elga solved, N=2, the day is day #1, and Heads is specified.
Nothing about these variations change the solution methodology.
The halfer solution is that each of the N+1 players who are awake should say the probability that this is her only waking is 1/2. And that each of the other N awake payers should answer the same. This is despite the fact that she knows, for a fact, that only one of the N+1 awake players satisfies the proposition. Additionally, they can assign a probability of 1/2 to an asleep player, despite knowing that this player does satisfy the proposition.
These are not probabilities but weighted probabilities, where the measure function is re-normalized by the number of awakenings, even though the awakenings are not mutually exclusive.
These are not weighted probabilities, they are probabilities using all of the 4*52=208, equally-likely members of the prior sample space that can apply to a randomly-selected day in the experiment. They are mutually exclusive, to SB, because the amnesia drug isolates each day from the others that may be "sequential" with it, whatever that is supposed to mean to SB since she sees only one day.
Sigh. We've been through it a couple of times already.
Yes, we have, and you ignore every point I make.
The prior sample space depends on which observations is possible to make in the experiment at all, according to the prior knowledge state of a particular person.
A prior sample space depends ONLY on how the circumstances occur. Observation has nothing to do with it.
On HEADS+TUESDAY, wake SB but take her on a shopping spree instead of interviewing her. When interviewed, should she think that Pr(H)=1/2, or Pr(H)=1/3? Of course it is 1/3, because her set of possible observations includes four (not two) mutually exclusive outcomes, with one ruled out by observation. My point is that she knows she is in NOT(H&Tue) regardless of what observation is possible in H&Tue.
{H&Mon, T&Mon, H&Tue T&Tue} is a sample space for observer problem, not for SB. For a researcher working on a random day, observing outcome T&Tue is a priori possible, for the Beauty participating on every day, it's not.
{H&Mon, T&Mon, H&Tue T&Tue} is the set of possible circumstances for a single day in the experiment. The "observer problem" you describe includes only two outcomes, Heads and Tails. Both Monday and Tuesday exist in each observation, since they are not isolated by amnesia. What you listed is the sample space when the random experiment can include only one day - AMNESIA!! H&Tue is in SB's prior = unaffected by observation sample space.
My generalized version of Zuboff's problem has 2N members in its sample space. When a player is awake, N+1 of these members are consistent with observation. One matches the proposition that the player will be wakened once. Making the probability of the proposition 1/(N+1).
In the canonical SB problem, N=2 and the probability is 1/(N+1)=1/3.
Here's a new problem that requires the same solution methodology as Sleeping Beauty.
It uses the same sleep and amnesia drugs. After SB is put to sleep on Sunday Night, a card is drawn at random from a standard deck of 52 playing cards.
On Monday, SB is awakened, interviewed, and put back to sleep with amnesia.
On Tuesday, if the card is a Spade, a Heart, or a Diamond - but not if it is a Club - SB is awakened, interviewed, and put back to sleep with amnesia.
On Wednesday, if the card is a Spade or a Heart - but not if it is a Diamond or a Club - SB is awakened, interviewed, and put back to sleep with amnesia.
On Thursday, only if the card is a Spade, SB is awakened, interviewed, and put back to sleep with amnesia.
On Friday, SB is awakened and the experiment ends.
In each interview, SB is asked for the probability that the drawn card is the Ace of Spades.
By Halfer logic, it is 1/52. In fact, the probability for each card in the deck is 1/52. Yet it is possible that the card cannot be a Club when it can be a spade, so they cannot have the same probability. This contradiction disproves the halfer logic.
The correct probabilities are:
For each Spade, [(1/52)+(1/39)+(1/26)+(1/13)]/4 = 25/624
For each Heart, [(1/52)+(1/39)+(1/26)]/4 = 1/48
For each Diamond, [(1/52)+(1/39)]/4 = 7/624
For each Club, (1/52)/4 = 1/208
The correct solution to Elga's Sleeping Beauty problem is that SB's prior sample space, for what the researchers saw this morning, is {H&Mon, T&Mon, H&Tue T&Tue}. And yes, H&Tue is a member since the prior sample space does not depend on observation. These may be "sequential," whatever than means, to the researchers. But they are independent outcomes to SB because her memory loss prevents any association of the current day with another. Each has a prior probability of 1/4.
The solution to the problem is that H&Tue is eliminated by SB's observation that she is awake. The other probabilities update to 1/3.
Yes! I'm so glad you finally got it! And the fact that you simply needed to remind yourself of the foundations of probability theory validates my suspicion that it's indeed the solution for the problem.
Too bad you refuse to "get it." I thought these details were too basic to go into:
A probability experiment is a repeatable process that produces one or more unpredictable result(s). I don't think we need to go beyond coin flips and die rolls here. But probability experiment refers to the process itself, not an iteration of it. All of those things I defined before are properties of the experiment; the process. "Outcome" is any potential result of an iteration of that process, not the result itself. We can say that a result belongs to an event, even an event of just one outcome, but the result is not the same thing as that event. THE OBSERVATION IS NOT AN EVENT.
For example, an event for a simple die roll could be EVEN={2,4,6}. If you roll a 2, that result is in this event. But it does not mean you rolled a 2, a 4, and a 6.
So, in ...
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.
... you are describing one iteration of a process that has an unpredictable result. A coin flip. Then you observe it twice, with amnesia in between. Each observation can have its own sample space - remember, experiments do not have just one sample space. But you can't pick, say, half of the outcomes defined in one observation an half from the other, and use them to construct a sample space. That is what you describe here, by comparing what SB does on Monday, and on Tuesday, as if they are in the same event space.
The correct "effect of amnesia" is that you can't relate either observation to the other. They each need to be assessed by a sample space that applies to that observation, without reference to another.
And BTW, what she observes on Monday may belong to an event, but it is not the same thing as the event.
>That result is observed twice (yes, it is; remaining asleep is an observation of a result that we never make use of, so awareness as it occurs is irrelevant
This is false, but not crucial. We can postpone this for later.
A common way to avoid rebuttal is to cite two statements and make one ambiguous assertion about them, without support or specifying which you mean.
It is true that remaining asleep is a possible result of the experiment - that is, an outcome - since Tuesday exists whether or not SB is awake. What SB observes tells her that outcome is not consistent with her evidence. That's an observation.
It is true that same the result (the coin flip) is observed twice; once on Monday, and once on Tuesday.
Or do you want to claim the calendar flips from Monday to Wednesday? That is, that Tuesday only exists is SB is awake? But if you still doubt this, wake SB on Tuesday but don't ask her for her belief in Heads. Knowing the circumstances where you would not ask, she can then deduce that those circumstances do not exist. This is an observation.
What you do think makes it different than not waking her, since her evidence is the same when she is awake is the same?
>What you call "sequential events" are these two separate observations of the same result.
No, what I call sequential events are pairs HH and HT, TT and TH, corresponding to exact awakening, which can't be treated as individual outcomes.
No, thats how you try to misinterpret my version to fit your incorrect model. You use the term for Elga's one-coin version as well. Strawman arguments are another avoidance technique.
On the other hand, as soon as you connect these pairs and got HH_HT, HT_HH, TT_TH and TH_TT, they totally can create a sample space, which is exactly what I told you in this comment. As soon as you've switched to this sound sample space we are in agreement.
Huh? What does "connect these pairs" mean to pairs that I already connected?
You are describing a situation where the Beauty was told whether she is experiencing an awakening before the second coin was turned or not.
No, I am not. This is another strawman. I am describing how she knows that she is in either the first observation or the second. I am saying that I was able to construct a valid, and useful, sample space that applies symmetrically to both. I am saying that, since it is symmetric, it does not matter which she is in.
I only did this to allow you to include the "sequential" counterpart to each in a sample space that applies regardless of the day. The point is that "sequential" is meaningless.
A Lesson in Probability for Ape in the Coat
First, some definitions. A measure in Probability is a state property of the result of a probability experiment, where exactly one value applies to each result. Technically, the values should be numbers so that you can do things like calculate expected values. That isn't so important here; but if you really object, you can assign numbers to other kinds of values, like 1=Red, 2=Orange, etc.
An observation (my term) is a set of one or more measure values. An outcome is an observation that discriminates a result sufficiently for the purposes of the random experiment. An experiment's sample space is a set of all distinct outcomes that are possible for that experiment; it is often represented as Ω.
There is no single way to define outcomes, and so no single sample space, for any experiment. For example, if you roll two dice, the sample space could be 36 unordered pairs of numbers, 21 ordered pairs, or eleven sums. But what "sufficient" means is that every observation you intend to make is its own outcome in the sample space. You could divide the results of rolling a single die into {Odd, Even}, but that won't be helpful if you intend to observe "Prime" and "Composite."
An event is any subset of the sample space, not a specific result. (You, Ape in the Coat, confuse it with either an observation, or an outcome; it isn't clear which.) We could also talk about the event space F and the corresponding probability space P, but those exact details are also not important here. Except that P corresponds to F, not Ω. When I talk about the probability of an outcome, I mean the solitary event containing just that outcome.
Finally, conditional probability is used when an observation divides the sample space into two sets: one where every outcome is 100% consistent with the observation - that is, no un-observed measure makes it inconsistent - and its compliment where no outcome is consistent with the observation. (This is where people go wrong in problems like Monty Hall; the outcome where Monty opens Door 3 to show a goat is not the same as the observation that there is a goat behind Door 3).
With these definitions, we can see that the SB Problem is one random experiment with a single result. That result is observed twice (yes, it is; remaining asleep is an observation of a result that we never make use of, so awareness as it occurs is irrelevant). What you call "sequential events" are these two separate observations of the same result. That's why you want to treat them as dependent, because they are the same result. Just looked at a different way.
And the effect of the amnesia drug is that any information learned in "the other" observation does not, and can not, influence SB's belief in Heads based on the current assessment. Knowing that an observation is made is not the same thing as knowing what that observation was.
Elga's sample space(s) are controversial because he uses different measures for the two observations. So how they relate to each other seems ambiguous to some. He actually did it correctly, by further conditionalizing the result. But since his answer violated many people's intuitions, they invented reasons to argue against how he got it.
My two-coin version does not have this problem. The sample space for the experiment is {HH1_HT2, HT1_HH2, TH1_TT2, TT1_TH2}. Each outcome has probability 1/4. The first observation establishes the condition as {HT1_HH2, TH1_TT2, TT1_TH2} and its complement as {HH1_HT2}. Conditional probability says the probability of {HT1_HH2} is 1/3. The second observation establishes the condition as {HH1_HT2, TH1_TT2, TT1_TH2} and its complement as {HT1_HH2}. Conditional probability says the probability of {HH1_HT2} is 1/3.
And the point is that it does not matter which observation corresponds to SB being awake, since the answer is 1/3 regardless.
The link I use to get here only loads the comments, so I didn't find the "Effects of Amnesia" section until just now. Editing it:
"But in my two-coin case, the subject is well aware about the setting of the experiment. She knows that her awakening was based on the current state of the coins. It is derived from, but not necessarily the same as, the result of flipping them. She only knows that this wakening was based on their current state, not a state that either precedes or follows from another. And her memory loss prevents her from making any connection between the two. As a good Bayesian, she has to use only the relevant available information that can be applied to the current state."
Let it be not two different days but two different half-hour intervals. Or even two milliseconds - this doesn't change the core of the issue that sequential events are not mutually exclusive.
OUTCOME: A measurable result of a random experiment.
SAMPLE SPACE: a set of exhaustive, mutually exclusive outcomes of a random experiment.
EVENT: Any subset of the sample space of a random experiment.
INDEPENDENT EVENTS: If A and B are events from the same sample space, and the occurrence of event A does not affect the chances of the occurrence of event B, then A and B are independent events.
The outside world certainly can name the outcomes {HH1_HT2, HT1_HH2, TH1_TT2, TT1_TH2}. But the subject has knowledge of only one pass. So to her, only the current pass exists, because she has no knowledge of the other pass. What happens in that interval can play no part in her belief. The sample space is {HH, HT, TH, TT}.
To her, these four outcomes represent fully independent events, because she has no knowledge of the other pass. To her, the fact that she is awake means the event {HH} has been ruled out. It is still a part of the sample space, but is is one she knows is not happening. That's how conditional probability works; the sample space is divided into two subsets; one is consistent with the observation, and one is not.
What you are doing, is treating HH (or, in Elga's implementation, H&Tuesday) as if it ceases to exist as a valid outcome of the experiment. So HH1_HT2 has to be treated differently than TT1_TH2, since HH1_HT2 only "exists" in one pass, while TT1_TH2 "exists" in both. This is not true. Both exist in both passes, but one is unobserved in one pass.
And this really is the fallacy in any halfer argument. They treat the information in the observation as if it applies to both days. Since H&Tuesday "doesn't exist", H&Monday fully represents the Heads outcome. So to be consistent, T&Monday has to fully represent the Tails outcome. As does T&Tuesday, so they are fully equivalent.
If you are observing state TH it necessary means that either you've already observed or will observe state TT.
You are projecting the result you want onto the process. Say I roll a six-sided die tell you that the result is odd. Then I administer the amnesia drug, and tell you that I previously told you whether th result was even or odd. I then ask you for your degree of belief that the result is a six. Should you say 1/6, because as far as you know the sample space is {1,2,3,4,5,6}? Or should you say 0, because "you are [now] observing a state that you've already observed is only {1,3,5}?
And if you try to claim that this is different because you don't know what I told you, that is exactly the point of the Two Coin Version.
The definition of a sample space [was broken] - it's supposed to be constructed from mutually exclusive elementary outcomes.
It is so constructed.
I've specifically explained how. We write down outcomes when the researcher sees the Beauty awake - when they updated on the fact of Beauty's awakening.
Beauty is doing the updating, not "they." She is in an experiment where there are four possible combinations for what the coins are currently showing. She has no ability to infer/anticipate what the coins were/will be showing on another day.
Her observation is that one combination, of what is in the sample space for today, is eliminated.
No, I'm not complicating this with two lists for each day. There is only one list, which documents all the awakenings of the subject,...
Maybe you missed the part where I said you can look at one, or the other, or bot as long as you don't carry information across.
You are mistaken about what the amnesia acomplishes, Once again I send you to reread the Effects of Amnesia section.
Then you are mistaken in that section.
Her belief can be based only on what she knows. If you create a difference between the two passes, in her knowledge, then maybe you could claim a dependence. I don't think you can in this case, but to do it requires that difference.
The Two Coin Version does not have a difference. Nothing about what she observed about the outcomes HH1_HT2 or HT1_HH2 in another pass can affect her confidence concerning them in the current pass. (And please, recall that these describe the combinations that are showing.)
And as I’ve tried to get across, if the two versions are truly isomorphic, and also have faults, one should be able to identify those faults in either one without translating them to the other. But if those faults turn out to depend on a false analysis specific to one, you won’t find them in the other.
The Two Coin version is about what happens on one day. Unlike the Always-Monday-Tails-Tuesday version, the subject can infer no information about coin C1 on another day, which is the mechanism for fault in that version. Each day, in the "world" of the subject, is a fully independent "world" with a mathematically valid sample space that applies to it alone.
“It treats sequential events as mutually exclusive,” No, it treats an observation of a state, when that observation bears no connection to any other, as independent of any other.
“… therefore unlawfully constructs sample space.” What law was broken?
Do you disagree that, on the morning of the observation, there were four equally likely states? Do you think the subject has some information about how the state was observed on another day? That an observer from the outside world has some impact on what is known on the inside? These are the kind of details that produce controversy in the Always-Monday-Tails-Tuesday version. I personally think the inferences about carrying information over between the two days are all invalid, but what I am trying to do is eliminate any basis for doing that.
Yes, each outcome on the first day can be paired with exactly one on the second. But without any information passing to the subject between these two days, she cannot do anything with such pairings. To her, each day is its own, completely independent probability experiment. One where "new information" means she is awakened to see only three of the four possible outcomes.
“Your model treats HH, HT, TH and TT as four individual mutually exclusive outcomes” No, it treats the current state of the coins as four mutually exclusive states.
“However, when you actually do it, you get a different list.”
How so? If your write down the state on the first day that the researchers look at the coins, you will find that {HH, TH, HT, TT} all occur with frequency 1/4. Same on the second day. If you write down the frequencies when the subject is awake, you find that {TH, HT, TT} all have frequency 1/3.
Here is what you are arguing: Say you repeat this many times and make two lists, one for each day. And each entry on the lists includes the attempt number. You will find that every attempt where the first list says TH, the second list will say TT. And that every attempt where the first list says HT, the second list will not have an entry for that attempt.
What I'm saying is that the subject's belief cannot cross-correlate the attempt numbers. She could use just the first list with the attempt numbers. Or the second, since each when viewed in isolation has the same properties as the other and so gets the same answer. She can even use a combined list, but if she does she cannot use the attempt numbers to associate the two observations on that attempt. That is what the amnesia drug accomplishes.
What I am saying is that regardless of which list she uses, the probability of heads is 1/3. And your arguments that this is wrong require associating the attempts, essentially removing the effect of amnesia. That cannot influence the subject's belief.
This is the Sleeping Beauty Problem:
"Some researchers are going to put you to sleep. During the two days that your sleep will last, they will briefly wake you up either once or twice, depending on the toss of a fair coin (Heads: once; Tails: twice). After each waking, they will put you to back to sleep with a drug that makes you forget that waking. When you are first awakened, to what degree ought you believe that the outcome of the coin toss is Heads?"
Unfortunately, it doesn't describe how to implement the wakings. Adam Elga tried to implement by adding several details. I suppose he thought they would facilitate a solution that would be universally accepted. If he thought that, he was wrong. They introduced more uncertainty than acceptance. And his additions have been treated as if they are part of the problem, which is not true. There is a way to implement it without that uncertainty, but the uncertainty is too ingrained for people to let go of it.
After you are put to sleep, the researchers will flip two coins and set them aside; call then C1 and C2. On the first day of your sleep, they will examine the coins. If both are showing Heads, they will leave you asleep for the rest of the day. Otherwise, they will wake you, ask you to what degree you believe that coin C1 is showing Heads, and then put you back to sleep with that drug. Then they will turn coin C2 over to show its other side.
On the second day, they will perform the exact same steps. Well, I guess they don't need to turn coin C2 over.
This way, the details of the actual problem are implemented exactly. But since the probabilistic details that apply to either day do not change, and do not depend on what you know, or believe, on the other day, the question is easy to answer.
When the researchers examined the two coins, there were four equally likely combinations for what they might be showing: {HH. HT, TH, TT}. This is the initial sample space that applies to either day. Because of the amnesia drug, to you they are independent of the other day. But since you are awake, you know that the examination of the current state of the coins did not find HH. This is classic "new information" that allows you to eliminate one member of the sample space, and update your belief in C2=H from 1/2 to 1/3.
I would certainly accept any argument that shows how this is not a valid implementation of the problem, as stated. Or that my solution is not a valid solution for this implementation. And while this may have implications about how we should treat Elga's, or any other, solution to his implementation? They play no part in evaluating my solution.
This paper starts out with a misrepresentation. "As a reminder, this is the Sleeping Beauty problem:"... and then it proceeds to describe the problem as Adam Elga modified it to enable his thirder solution. The actual problem that Elga presented was:
Some researchers are going to put you to sleep. During the two days[1] that your sleep will last, they will briefly wake you up either once or twice, depending on the toss of a fair coin (Heads: once; Tails: twice). After each waking, they will put you to back to sleep with a drug that makes you forget that waking. When you are first awakened[2], to what degree ought you believe that the outcome of the coin toss is Heads?
There are two hints of the details Elga will add, but these hints do not impact the problem as stated. At [1], Elga suggests that the two potential wakings occur on different days; all that is really important is that they happen at different times. At [2], the ambiguous "first awakened" clause is added. It could mean that SB is only asked the first time she is awakened; but that renders the controversy moot. With Elga's modifications, only asking on the first awakening is telling SB that it is Monday. He appears to mean "before we reveal some information," which is how Elga eliminates one of the three possible events he uses.
Elga's implementation of this problem was to always wake SB on Monday, and only wake her on Tuesday if the coin result was Tails. After she answers the question, Elga then reveals either that it is Monday, or that the coin landed on Tails. Elga also included DAY=Monday or DAY=Tuesday as a random variable, which creates the underlying controversy. If that is proper, the answer is 1/3. If, as Neal argues, it is indexical information, it cannot be used this way and the answer is 1/2.
So the controversy was created by Elga's implementation. And it was unnecessary. There is another implementation of the same problem that does not rely on indexicals.
Once SB is told the details of the experiment and put to sleep, we flip two coins: call them C1 and C2. Then we perform this procedure:
After these steps are concluded, whether that occurred in step 1 or step 3, we turn coin C2 over to show the opposite side. And then repeat the same procedure.
SB will thus be wakened once if coin C1 landed on Heads, and twice if Tails. Either way, she will not recall another waking. But that does no matter. She knows all of the details that apply to the current waking. In step 1, there were four possible, equally-likely combinations of (C1,C2); specifically, (H,H), (H,T), (T,H), and (T,T). But since she is awake, she knows that (H,H) was eliminated in step 1. In only one of the remaining, still equally-likely combinations did coin C1 land on Heads.
The answer is 1/3. No indexical information was used to determine this.
Contrary to what too many want to believe, probability theory does not define what "the probability" is. It only defines these (simplified) rules that the values must adhere to:
Let A="googolth digit of pi is odd", and B="googolth digit of pi is even." These required properties only guarantee that Pr(A)+Pr(B)=1, and that each is a non-zero number. We only "intuitively" say that Pr(A)=Pr(B)=0.5 because we have no reason to state otherwise. That is, we can't assert that Pr(A)>Pr(B) or Pr(A)<Pr(B), so we can only assume that Pr(A)=Pr(B). But given a reason, we can change this.
The point is that there are no "right" or "wrong" statements in probability. Only statements where the probabilities adhere to these requirements. We can never say what a "probability is," but we can rule out some sets of probabilities that violate these rules.