What happens when you’ve observed that “it’s not Tuesday”, and the next day it’s Tuesday? Have you encountered an event of zero probability?
If you update on your knowledge that “it’s not Tuesday”, it means that you’ve thrown away the parts of your sample space that contain the territory corresponding to Tuesday, marked them impossible, no longer part of what you can think about, what you can expect to observe again (interpret as implied by observations). Assuming the model is honest, that you really do conceptualize the world through that model, your mind is now blind to the possibility of Tuesday. Come Tuesday, you’ll be able to understand your observations in any way but as implying that it’s Tuesday, or that the events you observe are the ones that could possibly occur on Tuesday.
This is not a way to treat your mind. (But then again, I’m probably being too direct in applying the consequences of really believing what is being suggested, as in the case of Pascal’s Wager, for it to reflect the problem statement you consider.)
I don’t see how this is related to the problem of observer-moments—the argument above holds for any event X: “What if you’ve observed ~X, and then you find that X”. What’s the connection?
In a probability space where you have distinct (non-intersecting) “Monday” and “Tuesday”, it is expected (in the informal sense, outside the broken model) that you’ll observe Tuesday after observing Monday, that upon observing Monday you rule out Tuesday, and that upon observing Tuesday you won’t be able to recognize it as such because it’s already ruled out. “Observer-moments” can be located on the same history, and a probability space that distinguishes them will tear down your understanding of the other observer-moments once you’ve observed one of them and excluded the rest. This model promises you a map disconnected from reality.
It is not the case with a probability space based on possible worlds that after concluding ~X, you expect (in the informal sense) to observe X after that. Possible worlds model is in accordance with this (informal) axiom. Sample space based on “observer-moments” is not.
I humbly apologize for my inability to read (may the Values of Less Wrong be merciful).
Ah, OK. But I still don’t understand this:
Hmm, my argument is summarized in this phrase:
If you update on your knowledge that “it’s not Tuesday”, it means that you’ve thrown away the parts of your sample space that contain the territory corresponding to Tuesday, marked them impossible, no longer part of what you can think about, what you can expect to observe again (interpret as implied by observations). Assuming the model is honest, that you really do conceptualize the world through that model, your mind is now blind to the possibility of Tuesday. Come Tuesday, you’ll be able to understand your observations in any way but as implying that it’s Tuesday, or that the events you observe are the ones that could possibly occur on Tuesday.
This is not a way to treat your mind. (But then again, I’m probably being too direct in applying the consequences of really believing what is being suggested, as in the case of Pascal’s Wager, for it to reflect the problem statement you consider.)
I don’t see how this is related to the problem of observer-moments—the argument above holds for any event X: “What if you’ve observed ~X, and then you find that X”. What’s the connection?
In a probability space where you have distinct (non-intersecting) “Monday” and “Tuesday”, it is expected (in the informal sense, outside the broken model) that you’ll observe Tuesday after observing Monday, that upon observing Monday you rule out Tuesday, and that upon observing Tuesday you won’t be able to recognize it as such because it’s already ruled out. “Observer-moments” can be located on the same history, and a probability space that distinguishes them will tear down your understanding of the other observer-moments once you’ve observed one of them and excluded the rest. This model promises you a map disconnected from reality.
It is not the case with a probability space based on possible worlds that after concluding ~X, you expect (in the informal sense) to observe X after that. Possible worlds model is in accordance with this (informal) axiom. Sample space based on “observer-moments” is not.