I’ve been spending some time lately thinking about the Sleeping Beauty paradox, which is one of the well-known paradoxes in epistemology and Bayesian probability theory.
Here’s the description from Wikipedia:
There are two common answers to this paradox. Some argue that she should give a credence of 1/2. Others argue that she should give a credence of 1/3. The former are called “halfers”, and the latter are called “thirders”.
I have a response of my own, but I’m curious to see what other people here think of the paradox. Of course, I’m especially interested to hear reactions to my answer.
Here’s how I think of the paradox.
[spoiler]My response to the paradox depends on whether, upon awakening, Sleeping Beauty (SB) has an objective means of indicating the current day. If she does, then I’m a thirder. But if she doesn’t, then I’m a halfer.
I have a perhaps idiosyncratic view about when SB can indicate the current day. I hold that SB can’t indicate that day merely by saying “today” or “the day of this very utterance”. She at least needs to have (what I call) a “random calendar” for the duration of the experiment, or something equivalent.
A random calendar is a device with a display that shows one symbol per day in random order from a known finite set of symbols, never repeating a symbol. Hence, such a calendar has a finite span of days during which it is active. SB’s random calendar must be known to be active throughout the longest-possible duration of the experiment. (It doesn’t matter, but, for simplicity, let’s suppose that her random calendar is active for precisely that duration.)
With a random calendar, SB can now indicate the current day by referring to it as “the day on which my calender displays <blah>”, where <blah> is the name of the symbol that she’s looking at. We assume that the first thing that SB does upon awakening is to look at the display on her random calendar. Only then does she determine her credence that the coin-flip came up heads.
Briefly, I’m a thirder in this case because SB’s credence that the coin came up heads should be the probability that the coin came up heads conditioned on the fact that the experiment’s duration included the day corresponding to the symbol on the calendar. This makes it more probable that the experiment lasted longer, and hence less probable that the coin came up heads.
On the other hand, if she doesn’t have a random calendar (or equivalent), she is not, on my view, able to condition on something like “the experiment’s duration included today”, because she has no way to make any particular day the referent of “today”. Hence, her credence that the coin came up heads remains the unconditioned probability of 1/2.
Incidentally, it follows from my view that, in the calendar-less case, she’s not able to assign a credence to the statement “It’s Monday” at all. If she uttered this statement, it would fail to refer to any particular day. Even though her utterance happens on a particular day, she has no way of specifying that day, so she can’t imbue her utterance with that meaning.[/spoiler]
(Self-plagarism alert: I posted much of the above earlier in this thread.)