On Sunday, before the experiment begins Beauty makes observation O1(a). She knows that O1 was made on a Sunday. She says to herself “I know what day it is now” (an indexical statement pointing to O1(a)) She also predicts the coin will flip heads with P=0.5 and predicts the next experience she has after going to sleep will be O2. Then she wakes up and makes observation O2(a). It is Monday but she doesn’t know this because it could just as easily be Tuesday since her memory of waking up on Monday will be erased. “I know what day it is now” is now false, not because knowledge was deleted but because of the indexical shift of ‘now’ which no longer refers to O1(a) but to O2(a). She still knows what day it was at O1(a), that knowledge has not been lost. Then she goes back to sleep and her memory of O2(a) is erased. But O2(a) includes no knowledge of what day it is (thought combined with other information Beauty could have inferred what day it was, she never had that information). Beauty wakes up on Tuesday and has observation O2(b). This observation is type-identical to O2(a) and exactly what she anticipated experiencing. If her memory had not been erased she would have had observation O3-- waking up along with the memory of having woken up the previous day. This would not have been an experience Beauty would have predicted with P=1 and therefore would require her to update her belief P(heads) from 0.5 to 0 as she would know it was Tuesday. But she doesn’t get to do that she just has a token of experience O2. She still knows what day it was at O1(a), no knowledge has been lost. And she still doesn’t know what day it is ‘now’.
[For those following this, note that spatio-temporality is a strictly property of tokens (though we have a linguistic convention of letting types inherit the properties of tokens like “the red-breasted woodpecker can be found in North America”… what that really means is that tokens of they type ‘red-breasted woodpecker’ can be found in North America). This, admittedly, might lead to confusing results that need clarification and I’m still working on that.]
I’ve been following, but I’m still nonplussed as to your use of the type-token distinction in this context. The comment of mine which was the parent for your type-token observation had a specific request: show me the specific mistake in my math, rather than appeal to a verbal presentation of a non-formal, intuitive explanation.
Take a bag with 1 red marble and 9 green marbles. There is a type “green marble” and it has 9 tokens. The experiences of drawing any particular green marble, while token-distinct are type-identical. It seems that what matters when we compute our credence for the proposition “the next marble I draw will be green” is the tokens, not the types. When you formalize the bag problem accordingly, probability theory gives you answers that seem quite robust from a math point of view.
If you start out ignorant of how many marbles the bag has of each color, you can ask questions like “given that I just took two green marbles in a row, what is my credence in the proposition ‘the next marble I draw will be green’”. You can compute things like the expected number of green marbles left in the bag. In the bag problem, IOW, we are quantifying our uncertainty over tokens, while taking types to be a fixed feature of the situation. (Which of course is only a convention of this kind of exercise: with precise enough instruments we could distinguish all ten individual marbles.)
Statements like “information is gained” or “information is lost” are vague and imprecise, with the consequence that a motivated interpretation of the problem statement will support whichever statement we happen to favor. The point of formalizing probability is precisely that we get to replace such vague statements with precisely quantifiable formalizations, which leave no wiggle room for interpretation.
If you have a formalism which shows, in that manner, why the answer to the Sleeping Beauty question is 1⁄2, I would love to see it: I have no attachment any longer to “my opinion” on the topic.
My questions to you, then, are: a) given your reasons for “worrying about types rather than tokens” in this situation, how do you formally quantify your uncertainty over various propositions, as I do in the spreadsheet I’ve linked to earlier? b) what justifies “worrying about types rather than tokens” in this situation, where every other discussion of probability “worries about tokens” in the sense I’ve outlined above in reference to the bag of marbles? c) how do you apply the type-token distinction in other problems, say, in the case of the Tuesday Boy?
show me the specific mistake in my math, rather than appeal to a verbal presentation of a non-formal, intuitive explanation.
My point was that I didn’t think anything was wrong with your math. If you count tokens the answer you get is 1⁄3. If you count types the answer you get is 1⁄2 (did you need more math for that?). Similarly, you can design payouts where the right choice is 1⁄3 and payouts where the right choice is 1⁄2.
You can compute things like the expected number of green marbles left in the bag. In the bag problem, IOW, we are quantifying our uncertainty over tokens, while taking types to be a fixed feature of the situation.
b) what justifies “worrying about types rather than tokens” in this situation, where every other discussion of probability “worries about tokens” in the sense I’ve outlined above in reference to the bag of marbles?
This was a helpful comment for me. What we’re dealing with is actually a special case of the type-token ambiguity: the tokens are actually indistinguishable. Say I flip a coin. I, If tails I put six red marbles in a bag which already contains three red marbles bag, if heads do nothing to the bag with three red marbles. I draw a marble and tell Beauty “red”. And then I ask Beauty her credence for the coin landing heads. I think that is basically isomorphic to the Sleep Beauty problem. In the original she is woken up twice if heads, but thats just like having more red marbles to choose from, the experiences are indistinguishable just like the marbles.
Statements like “information is gained” or “information is lost” are vague and imprecise,
I don’t really think they are. That’s my major problem with the 1⁄3 answer. No one has ever shown me the unexpected experience Beauty must have to update from 0.5. But if you feel that way I’ll try other methods.
c) how do you apply the type-token distinction in other problems, say, in the case of the Tuesday Boy?
Off hand there is no reason to worry about types, as the possible answers to the questions “Do you have exactly two children?” and “Is one of them a boy born on a Tuesday?” are all distinguishable. But I haven’t thought really hard about that problem, maybe there is something I’m missing. My approach does suggest a reason for why the Self-Indication Assumption is wrong: the necessary features of an observer are indistinguishable. So it returns 0.5 for the Presumptuous Philosopher problem.
I’ll come back with an answer to (a). Bug me about it if I don’t. There is admittedly a problem which I haven’t worked out: I’m not sure how to relate the experience-type to the day of the week (time is a property of tokens). Basically, the type by itself doesn’t seem to tell us anything about the day (just like picking the red marble doesn’t tell us whether or not it was added after the coin flip. And maybe that’s a reason to reject my approach. I don’t know.
Memories are knowledge—they are knowledge about past perceptions. They have been lost—because they have been chemically deleted by the amnesia-inducing drug. If they had not been lost, Beauty’s probability estimates would be very different at each interview—so evidently the lost information was important in influencing Beauty’s probability estimates.
That should be all you need to know to establish that the deletion of Beauty’s memories changes her priors, and thereby alters her subjective probability estimates. Beauty awakens, not knowing if she has previously been interviewed—because of her memory loss. She knew whether she had previously been interviewed at the start of the experiment—she hadn’t. So: that illustrates which memories have been deleted, and why her uncertainty has increased.
Yes. The memories have been lost (and the knowledge that accompanies them). The knowledge of what day of the week it is has not been lost because she never had this… as I’ve said four times. I’m just going to keep referring you back to my previous comments because I’ve addressed all this already.
You seem to have got stuck on this “day of the week” business :-(
The point is that beauty has lost knowledge that she once had—and that is why her priors change. That that knowledge is “what day of the week it currently is” seems like a fine way of thinking about what information beauty loses to me. However, it clearly bugs you—so try thinking about the lost knowledge another way: beauty starts off knowing with a high degree of certainty whether or not she has previously been interviewed—but then she loses this information as the experiment progresses—and that is why her priors change.
This example, like the last one, is indexed to a specific time. You don’t lose knowledge about conditions at t1 just because it is now t2 and the conditions are different.
Beauty loses information about whether she has previously attended interviews because her memories of them are chemically deleted by an amnesia-inducing drug—not because it is later on.
I’m going to try this one more time.
On Sunday, before the experiment begins Beauty makes observation O1(a). She knows that O1 was made on a Sunday. She says to herself “I know what day it is now” (an indexical statement pointing to O1(a)) She also predicts the coin will flip heads with P=0.5 and predicts the next experience she has after going to sleep will be O2. Then she wakes up and makes observation O2(a). It is Monday but she doesn’t know this because it could just as easily be Tuesday since her memory of waking up on Monday will be erased. “I know what day it is now” is now false, not because knowledge was deleted but because of the indexical shift of ‘now’ which no longer refers to O1(a) but to O2(a). She still knows what day it was at O1(a), that knowledge has not been lost. Then she goes back to sleep and her memory of O2(a) is erased. But O2(a) includes no knowledge of what day it is (thought combined with other information Beauty could have inferred what day it was, she never had that information). Beauty wakes up on Tuesday and has observation O2(b). This observation is type-identical to O2(a) and exactly what she anticipated experiencing. If her memory had not been erased she would have had observation O3-- waking up along with the memory of having woken up the previous day. This would not have been an experience Beauty would have predicted with P=1 and therefore would require her to update her belief P(heads) from 0.5 to 0 as she would know it was Tuesday. But she doesn’t get to do that she just has a token of experience O2. She still knows what day it was at O1(a), no knowledge has been lost. And she still doesn’t know what day it is ‘now’.
[For those following this, note that spatio-temporality is a strictly property of tokens (though we have a linguistic convention of letting types inherit the properties of tokens like “the red-breasted woodpecker can be found in North America”… what that really means is that tokens of they type ‘red-breasted woodpecker’ can be found in North America). This, admittedly, might lead to confusing results that need clarification and I’m still working on that.]
I’ve been following, but I’m still nonplussed as to your use of the type-token distinction in this context. The comment of mine which was the parent for your type-token observation had a specific request: show me the specific mistake in my math, rather than appeal to a verbal presentation of a non-formal, intuitive explanation.
Take a bag with 1 red marble and 9 green marbles. There is a type “green marble” and it has 9 tokens. The experiences of drawing any particular green marble, while token-distinct are type-identical. It seems that what matters when we compute our credence for the proposition “the next marble I draw will be green” is the tokens, not the types. When you formalize the bag problem accordingly, probability theory gives you answers that seem quite robust from a math point of view.
If you start out ignorant of how many marbles the bag has of each color, you can ask questions like “given that I just took two green marbles in a row, what is my credence in the proposition ‘the next marble I draw will be green’”. You can compute things like the expected number of green marbles left in the bag. In the bag problem, IOW, we are quantifying our uncertainty over tokens, while taking types to be a fixed feature of the situation. (Which of course is only a convention of this kind of exercise: with precise enough instruments we could distinguish all ten individual marbles.)
Statements like “information is gained” or “information is lost” are vague and imprecise, with the consequence that a motivated interpretation of the problem statement will support whichever statement we happen to favor. The point of formalizing probability is precisely that we get to replace such vague statements with precisely quantifiable formalizations, which leave no wiggle room for interpretation.
If you have a formalism which shows, in that manner, why the answer to the Sleeping Beauty question is 1⁄2, I would love to see it: I have no attachment any longer to “my opinion” on the topic.
My questions to you, then, are: a) given your reasons for “worrying about types rather than tokens” in this situation, how do you formally quantify your uncertainty over various propositions, as I do in the spreadsheet I’ve linked to earlier? b) what justifies “worrying about types rather than tokens” in this situation, where every other discussion of probability “worries about tokens” in the sense I’ve outlined above in reference to the bag of marbles? c) how do you apply the type-token distinction in other problems, say, in the case of the Tuesday Boy?
My point was that I didn’t think anything was wrong with your math. If you count tokens the answer you get is 1⁄3. If you count types the answer you get is 1⁄2 (did you need more math for that?). Similarly, you can design payouts where the right choice is 1⁄3 and payouts where the right choice is 1⁄2.
This was a helpful comment for me. What we’re dealing with is actually a special case of the type-token ambiguity: the tokens are actually indistinguishable. Say I flip a coin. I, If tails I put six red marbles in a bag which already contains three red marbles bag, if heads do nothing to the bag with three red marbles. I draw a marble and tell Beauty “red”. And then I ask Beauty her credence for the coin landing heads. I think that is basically isomorphic to the Sleep Beauty problem. In the original she is woken up twice if heads, but thats just like having more red marbles to choose from, the experiences are indistinguishable just like the marbles.
I don’t really think they are. That’s my major problem with the 1⁄3 answer. No one has ever shown me the unexpected experience Beauty must have to update from 0.5. But if you feel that way I’ll try other methods.
Off hand there is no reason to worry about types, as the possible answers to the questions “Do you have exactly two children?” and “Is one of them a boy born on a Tuesday?” are all distinguishable. But I haven’t thought really hard about that problem, maybe there is something I’m missing. My approach does suggest a reason for why the Self-Indication Assumption is wrong: the necessary features of an observer are indistinguishable. So it returns 0.5 for the Presumptuous Philosopher problem.
I’ll come back with an answer to (a). Bug me about it if I don’t. There is admittedly a problem which I haven’t worked out: I’m not sure how to relate the experience-type to the day of the week (time is a property of tokens). Basically, the type by itself doesn’t seem to tell us anything about the day (just like picking the red marble doesn’t tell us whether or not it was added after the coin flip. And maybe that’s a reason to reject my approach. I don’t know.
“No knowledge has been lost”?!?
Memories are knowledge—they are knowledge about past perceptions. They have been lost—because they have been chemically deleted by the amnesia-inducing drug. If they had not been lost, Beauty’s probability estimates would be very different at each interview—so evidently the lost information was important in influencing Beauty’s probability estimates.
That should be all you need to know to establish that the deletion of Beauty’s memories changes her priors, and thereby alters her subjective probability estimates. Beauty awakens, not knowing if she has previously been interviewed—because of her memory loss. She knew whether she had previously been interviewed at the start of the experiment—she hadn’t. So: that illustrates which memories have been deleted, and why her uncertainty has increased.
Yes. The memories have been lost (and the knowledge that accompanies them). The knowledge of what day of the week it is has not been lost because she never had this… as I’ve said four times. I’m just going to keep referring you back to my previous comments because I’ve addressed all this already.
You seem to have got stuck on this “day of the week” business :-(
The point is that beauty has lost knowledge that she once had—and that is why her priors change. That that knowledge is “what day of the week it currently is” seems like a fine way of thinking about what information beauty loses to me. However, it clearly bugs you—so try thinking about the lost knowledge another way: beauty starts off knowing with a high degree of certainty whether or not she has previously been interviewed—but then she loses this information as the experiment progresses—and that is why her priors change.
This example, like the last one, is indexed to a specific time. You don’t lose knowledge about conditions at t1 just because it is now t2 and the conditions are different.
Beauty loses information about whether she has previously attended interviews because her memories of them are chemically deleted by an amnesia-inducing drug—not because it is later on.