The same problem statement does not mention Monday, Tuesday, or describe any timing difference between a “mandatory” waking and an “optional” one. (There is another element that is missing, that I will defer talking about until I finish this thought.) It just says you will be wakened once or twice. Elga added these elements as part of his solution. They are not part of the problem he asked us to solve.
But that solution added more than just the schedule of wakings. After you are “first awakened,” what would change if you are told that the day is Monday? Or that the coin landed on Tails (and you consider what day it is)? This is how Elga avoided any consideration, given his other additions, of what significance to attach to Tuesday, after Heads. That was never used in his solution, yet could be the crux of the controversy.
I have no definitive proof, but I suspect that Elga was already thinking of his solution. He included two hints to the solution: One was “two days,” although days were never mentioned again, and that “when first awakened.” Both apply to the solution, not the problem as posed. I think “first awakened” simply meant before you could learn information.
+++++
You point out that, as you are trying to interpret it, SB cannot make the determination whether this is a “first awakening.” But the last element that is usually included in the problem, but was not in what Elga actually asked, is that the question is posed to you before you are first put to sleep. So the issue you raise—essentially, whether the question is asked on Tuesday, after Heads—is moot. The question already exists, as you wake up. It applies to that moment, regardless of how many times you are wakened.
The same problem statement does not mention Monday, Tuesday, or describe any timing difference between a “mandatory” waking and an “optional” one. (There is another element that is missing, that I will defer talking about until I finish this thought.) It just says you will be wakened once or twice. Elga added these elements as part of his solution. They are not part of the problem he asked us to solve.
But that solution added more than just the schedule of wakings. After you are “first awakened,” what would change if you are told that the day is Monday? Or that the coin landed on Tails (and you consider what day it is)? This is how Elga avoided any consideration, given his other additions, of what significance to attach to Tuesday, after Heads. That was never used in his solution, yet could be the crux of the controversy.
I have no definitive proof, but I suspect that Elga was already thinking of his solution. He included two hints to the solution: One was “two days,” although days were never mentioned again, and that “when first awakened.” Both apply to the solution, not the problem as posed. I think “first awakened” simply meant before you could learn information.
+++++
You point out that, as you are trying to interpret it, SB cannot make the determination whether this is a “first awakening.” But the last element that is usually included in the problem, but was not in what Elga actually asked, is that the question is posed to you before you are first put to sleep. So the issue you raise—essentially, whether the question is asked on Tuesday, after Heads—is moot. The question already exists, as you wake up. It applies to that moment, regardless of how many times you are wakened.