i like Να έχεις μια όμορφη μέρα και να είσαι ζεστά ☺️you are going to meet.
Σάββατο 1 Απριλίου 2017
Here, α is the observer-moment whose subjective probability function is . is the class of all possible
observer-moments about whom h is true; is the class of all possible observer-moments about whom e is true;
is the class of all observer-moments that places in the same reference class as herself; is the possible
world in which is located; and γ is a normalization constant
Pα Ωh
Ωe
Ωα α wα
α
∑∈Ω Ω ∩Ω =
e w
P w
σ σ σ
α σ γ | ( ) |
( )
OE can be generalized to allow for different observer-moments within the reference class having different
“weights”, an option that might be of relevance for instance in the context of the many-worlds version of quantum
theory.
19
6
Redelmeier and Tibshirani (1999)
• “Differential surveillance can occur because drivers look forwards rather than backwards,
so vehicles that are overtaken become invisible very quickly, whereas vehicles that
overtake the index driver remain conspicuous for much longer;” and
• “Human psychology may make being overtaken (losing) seem more salient than the
corresponding gains.”
The authors recommend that drivers should be educated about these effects in order to reduce the
temptation to switch lanes repeatedly. This would reduce the risk of accidents, which are often
caused by poor lane changes.
While all these psychological illusions might indeed occur, there is a more
straightforward explanation for the drivers’ persistent suspicion that cars in the next lane are
moving faster. Namely, that cars in the next lane actually do go faster!
One frequent cause of why a lane (or a segment of a lane) is slow is that there are
too many cars in it. Even if the ultimate cause is something else (for example, road work)
there is nonetheless typically a negative correlation between the speed of a lane and how
densely packed the vehicles driving in it are. This implies that a disproportionate fraction
of the average driver’s time is spent in slow lanes. If you think of your present
observation, when you are driving on the motorway, as a random sample from all
observations made by drivers, then chances are that your observation will be made from
the viewpoint that most such observer-moments have, which is the viewpoint of the slowmoving
lane. In other words, appearances are faithful: more often than not, for most
observer-moments, the “next” lane is faster.
Even when two lanes have the same average speed, it can be advantageous to
switch lanes. For what is relevant to a driver who wants to reach her destination as
quickly as possible is not the average speed of the lane as a whole, but rather the speed of
20
some segment extending maybe a couple of miles forward from the driver’s current
position. More often than not, the next lane has a higher average speed at this scale than
does the driver’s present lane. On average, there is therefore a benefit to switching lanes
(which of course has to be balanced against the costs of increased levels of effort and
risk).
Adopting a thermodynamics perspective, it is also easy to see that (at least in the
ideal case) increasing the “diffusion rate” (that is, the probability of lane-switching) will
speed the approach to “equilibrium” (where there are equal velocities in both lanes),
thereby increasing the road’s throughput and the number of vehicles that reach their
destinations per unit time.
To summarize, in understanding this problem we must not ignore its inherent observation
selection effect. This resides in the fact that if we randomly select an observer-moment of a
driver and ask her whether she thinks the next lane is faster, more often than not we have
selected an observer-moment of a driver who is in a lane which is in fact slower. When we
realize this, we see that no case has been made for recommending that drivers change lanes less
frequently.7
11. Observation selection theory (also known as anthropic reasoning), which aims to help us
detect, diagnose, and cure the biases of observation selection effects, is a philosophical
goldmine. Few branches of philosophy are so rich in empirical implications, touch on so many
7
The above reasoning applies to a driver who is currently on the road wondering why she is in the slow lane. When
considering the problem retrospectively, that is, when you are sitting at home thinking back on your experiences on
the road, the situation is more complicated and requires also taking into account differential recall (psychological
factor may make you more likely to remember and bring to mind certain kinds of experiences) and the fact that
21
important scientific questions, pose such intricate paradoxes, and contain such generous
quantities of conceptual and methodological confusion that need to be sorted out. Working in
this area is a lot of intellectual fun.
The mathematics used in this field, such as conditional probabilities and Bayes’s
theorem, are covered by elementary arithmetic and probability theory. The topic of observation
selection effects is extremely complex, yet the difficulty lies not in the math, but in grasping and
analyzing the underlying principles.
References
Bartha, P. and C. Hitchcock, "No One Knows the Date or the Hour: An Unorthodox Application
of Rev. Bayes's Theorem," Philosophy of Science (Proceedings) 66 (1999): S329-S53.
Bartha, P. and C. Hitchcock, "The Shooting-Room Paradox and Conditionalizing on Measurably
Challenged Sets," Synthese 108(3) (2000): 403-37.
Bostrom, N., "Investigations into the Doomsday argument." Preprint (1997).
Bostrom, N., "The Doomsday argument, Adam & Eve, UN++, and Quantum Joe." Synthese
127(3) (2001): 359-87.
22
while the slow lane contains more observer-moments, it may nevertheless be true that more drivers have passed
through the fast lane.
Bostrom, N., Anthropic Bias: Observation Selection Effects in Science and Philosophy (New
York: Routledge, 2002a).
Bostrom, N., "Self-Locating Belief in Big Worlds: Cosmology's Missing Link toObservation,"
Journal of Philosophy 99(12) (2002 b).
Dieks, D., "Doomsday - Or: the Dangers of Statistics," Philosophical Quarterly 42(166) (1992):
78-84.
Hall, N., "Correcting the Guide to Objective Chance," Mind 103(412) (1994): 505-17.
Leslie, J., The End of the World: The Science and Ethics of Human Extinction (London:
Routledge, 1996).
Lewis, D., Philosophical Papers (New York: Oxford University Press, 1986).
Lewis, D., "Humean Supervenience Debugged," Mind 103(412) (1994): 473-90.
Oliver, J. and K. Korb, A Bayesian analysis of the Doomsday Argument,[is this a book or
article…?] Department of Computer Science, Monash University, 1997.
Olum, K., "The Doomsday Argument and the Number of Possible Observers," Philosophical
23
Quarterly 52(207) (2002): 164-84.
Redelmeier, D. A. and R. J. Tibshirani, "Why cars in the other lane seem to go faster," Nature
401 (1999): 35.
Smith, Q., "Anthropic Explanations in Cosmology," Australasian Journal of Philosophy 72(3)
(1994): 371-82.
Thau, M., "Undermining and Admissibility," Mind 103(412) (1994): 491-503.
Normally, this kind of subtle change in indexical information makes no difference to our
inferences, so they can therefore usually be ignored. In special cases, however, including the
thought experiments considered in this paper, which rely precisely on the peculiar evidential
properties of indexical information, such changes can be highly relevant.
This does not yet show that your beliefs at stage (b) about the outcome of the coin toss
should differ from those obtained by conditionalizing Pr(tails|I’m in cell #1). But it defeats the
15
Bayesian argument for why they should be the same. If you regard these associated epistemic
changes that occur in addition to your obtaining the information that “I’m in cell #1” when you
move from stage (a) to stage (b) as relevant, then you can coherently assign a 1/2 posterior
credence to tails.
Let α be one of your observer-moments that exist before you discover which cell you
are in. Let β be one of your observer-moments that exist after you have discovered that you are
in cell #1 (but before you have learned about the outcome of the coin toss). What probabilities α
and β assign to various hypotheses depends on reference classes in which they place
themselves. For example, α can pick a reference class consisting of the observer-moments who
are ignorant about which cell they are in, while β can pick the reference class consisting of all
observer-moments who know they are in cell #1. α ’s conditional credences are then the same as
before:
Prα (α is in cell #1| tails) = 1
100
1 Prα (α is in cell #1| heads) = .
But β ’s conditional probability of being in cell #1 given heads is now identical to that given
tails:
Prβ (β is in cell #1| tails) = 1
Prβ (β is in cell #1| heads) = 1.
From this, it follows that β ’s posterior credence of tails after conditionalizing on β being in
16
cell #1 is the same as its posterior credence of heads, namely 1/2.
SSSA does not by itself imply that this should be β ’s posterior credence of tails. It just
shows that it is a coherent position to take. The actual credence assignment depends on which
reference classes are chosen. In the case of Incubator, it may not be obvious which choice of
reference class is best. But in the Serpent’s Advice, it is clear that Eve should select a reference
class that puts her observer-moments existing at the time when she is pondering the possible
consequences of the sinful act in a different reference class from those later observer-moments
that may come to exist as a result of her transgression. For her to do otherwise would not be
incoherent, but it would yield the strongly counterintuitive consequence discussed above. By
selecting the more limited reference class, she can reject this consequence.
The question arises whether it is possible to find some general principle that determines
what reference class an observer-moment should use. We may note that the early Eve’s choice of
a reference class that contains only her own early observer-moments and excludes the observermoments
of all the billions of progeny that may come to exist later is not completely arbitrary.
After all, the epistemic situation that the early Eve is in is very different from the epistemic
situation of these later observer-moments. Eve doesn’t know whether she will get pregnant and
whether all these other people will come to exist; her progeny, by contrast, would have no doubts
about these issues. Eve is confronted with a very different epistemic problem than her possible
children would be. It is thus quite natural to place Eve in a different reference class from these
later people, even apart from the fact that this maneuver would explain why the serpent’s
recommendation should be eschewed.
Constraints on what could be legitimate choices of reference class can be established, but
it is an open question whether these will always suffice to single out a uniquely correct reference
class for every observer-moment. My suspicion is that there might remain a subjective element
17
in the choice of reference class in some applications. Furthermore, I suspect that the degree to
which various applications of anthropic reasoning are sensitive to that subjective element is
inversely related to how scientifically robust those applications are. The most rigorous uses of
anthropic reasoning have the property that they give the same result for almost any choice of
reference class (satisfying only some very weak constraints).
In passing, we may note one interesting constraint on the choice of reference class. It
turns out (for reasons that we do not have the space to elaborate on here) that a reference class
definition according to which only subjectively indistinguishable observer-moments are placed in
the same reference class is too narrow. (Two observer-moments are subjectively
indistinguishable if they don’t have any information that enables them to tell which one is
which.) In other words, there are cases in which you should reason as if your current observermoment
were randomly selected from a class of observer-moments that includes ones of which
you know that they are not your own current observer-moment. This fact makes anthropic
reasoning a less simple affair than would otherwise have been the case.
The use of SSSA and the relativization of the reference class that SSSA enables thus
seem to make it possible to coherently reject both the presumptuous philosopher’s and the
serpent’s arguments, while at the same time one can show how to get plausible results in
Dungeon and several other thought experiments as well as in various scientific applications,
some of them novel. The theory can be condensed into one general formula: the Observation
Equation, which specifies the probabilistic bearing on hypotheses of evidence that contains an
indexical component.5
Along with various constrains on permissible choices of reference classes,
5
∑∈Ω ∩Ω Ω ∩Ω =
h e w
P w P h e σ σ σ
α σ
α γ | ( ) |
1 ( ) ( | ) (Observation Equation)
18
this forms the core of a theory of observation selection effects.
10. As a final example, let us consider an easy application of observation selection theory to a
puzzle that many drivers on the motorway may have wondered about (and cursed). Why is it that
the cars in the other lane seem to be getting ahead faster than you?
One might be inclined to account for phenomenon by invoking Murphy’s Law (“If
anything can go wrong, it will,” discovered by Edward A. Murphy, Jr, in 1949). However, a
paper in Nature by Redelmeier and Tibshirani, published a couple of years ago,6
seeks a deeper
explanation. They present some evidence that drivers on Canadian roadways (where faster cars
are not expected to move into more central lanes) think that the next lane is typically faster. They
seek to explain the drivers’ perceptions by appealing to a variety of psychological factors. For
example:
• “A driver is more likely to glance at the next lane for comparison when he is relatively
idle while moving slowly;”
theorem, the risk that she shall bear a child is less than one in a billion. Therefore, my dear
friends, indulge your desires and worry not about the consequences!”
Given the assumption that the same method of reasoning should be applied as in
Incubator, and using some plausible prior probability of pregnancy given carnal embrace (say,
1/100), it is easy to verify that there is nothing wrong with the serpent’s mathematics. The
question, of course, is whether the assumption should be granted.
≈
Let us review some of the differences between Incubator and Serpent’s Advice to see if
any of them are relevant in the sense of providing a rational ground for treating the two cases
differently.
• In the Incubator experiment there was a point in time, stage (a), when the subject was
actually ignorant about her position among the observers. By contrast, Eve presumably
knew all along that she was the first woman.
But it is not clear why that should matter. We can imagine that Eve and Adam were created on a
remote island, and that they didn’t know whether there are other people on Earth, until one day
they were informed that they are thus far the only ones. It is still counterintuitive to say that the
couple needn’t worry about the possibility of Eve getting pregnant.
• When the subject is making the inference in Dungeon, the coin has already been tossed.
In the case of Eve, the relevant chance event has not yet taken place.
This difference does not seem crucial either. We can modify Serpent’s Advice by supposing that
the deciding chance event has already taken place. Let’s say the couple has just sinned and they
are now brooding over the ramifications. Should the serpent’s argument completely reassure
them that nothing bad will happen? It seems not. So the worry remains.
11
• At stage (b) in Dungeon, any observers resulting from the toss have already been created,
whereas Eve’s potential progeny do not yet exist at the time when she is assessing the
odds.
We can consider a variant of Dungeon where each cell exists in a different century. That is, let us
suppose that cell #1, along with its observer, are created in the first century, and destroyed after,
say, 30 years. In each of the subsequent 99 centuries, a new cell is built, allowed to exist for 30
years, and is then destroyed. At some point in the first century a coin is tossed and, depending on
how it lands, these subsequent cells will or will not contain observers. Stage (a) can now be
defined to take place in the first century after the first prisoner has been created but before the
coin has been tossed and before the prisoner has been allowed to come out of his cell to observe
its number. At this stage (stage (a)) it seems that he should assign the same credence to tails and
the same conditional credences of tails given that he is in a particular cell as he did in the original
version—for precisely the same reasons. But then it follows, just as before, that his posterior
credence of tails, after finding that he is in cell #1, should be much greater than the prior
credence of tails. This version of Dungeon is analogous to Serpent’s Advice with respect to the
non-existence of the later humans at the time when the odds are being assessed.
• In Dungeon, the two hypotheses under consideration (heads and tails) have well-defined
known prior probabilities (50%), whereas Eve and Adam must rely on vague subjective
considerations to assess the risk of pregnancy.
True, but would we want to say that if Eve’s getting pregnant were determined by some distinct
microbiological process with a well-defined objective chance which Eve and Adam knew about,
then they ought to accept the serpent’s advice? If anything, the knowledge of such an objective
chance would make the consequence even weirder.
12
8. The mystery that we are facing here is that it seems clear that both the serpent and the
presumptuous philosopher are wrong, yet it seems as if the only model that yields this double
result (model 1) is incoherent. One may be tempted to blame the strength of SSA for these
troubles and think that we should reject it. But that, it appears, would transfix us on another horn
of the dilemma, for we would then have to reject the cogent argument about the Dungeon
thought experiment presented above, and, perhaps even more seriously, we would have failed to
account for a number of very well-founded scientific applications in cosmology and elsewhere
(which I lack the space to fully explore in this article).
There are a number of possible moves and objections that one can try at this point. But
most of these maneuvers and objections rest on simple misunderstandings, or else they fail to
provide a workable alternative to how to reason about the range of problems that need to be
addressed. It is easy enough to come up with a method of reasoning that works in one particular
case, but when one then tests it against other cases—philosophical thought experiments and
legitimate scientific inferences—one usually soon discovers that it yields paradoxes or otherwise
unacceptable results. Yet by seriously confronting this central conundrum of self-locating belief,
we can glean important clues about what a general theory of observation selection effects must
look like.
9. So where do we go from here? The full answer is complicated and difficult and cannot be
fully explored in a relatively short paper like this one. But by helping myself to a fair amount of
hand-waving, I can at least try to indicate the direction in which I think the solution is to be
found.
13
One key to the solution is to realize that the problem with SSA is not that it is too strong
but that it isn’t strong enough. SSA tells you to take into account a certain kind of indexical
information—information about which observer you are. But you have more indexical
information than that about who you are; you also know when you are. That is, you know which
temporal segment—which “observer-moment”—of an observer that you are at the current time.
We can formulate a ‘Strong Self-Sampling Assumption’ that takes this information into account:
(SSSA) Each observer-moment should reason as if it were randomly sampled from its reference
class.
Arguments can be given for SSSA along lines parallel to those of the arguments for SSA
provided above. For example, one can consider cases in which a person is unaware of what time
it is and has to assign credence to different temporal possibilities.
A second key to the solution is to see how the added analytical power of SSSA enables us
to relativize the reference class. What this means is that different observer-moments of the same
observer may use different reference classes without that observer being incoherent over time.
To illustrate, let us again consider the Incubator thought experiment. Before, we rejected model
3 because it seemed to imply that the reasoner should be incoherent. But we can now construct a
new model, model 4, which agrees with the answers that model 3 gave, that is, a credence of 1/2
of heads at both stage (a) and stage (b), but which modifies the reasoning that led to these
answers in a such a way as to avoid incoherency.
Suppose that just as before and for the same reasons, we assign, at stage (a), the credences:
2
1 Pr(tails) =
Pr(I'm in cell #1| tails) = 1
14
100
1 Pr(I'm in cell #1| heads) =
Now, if the only epistemic difference between stage (a) and stage (b) is that at the latter stage
you have the additional piece of information that you are in cell #1, then Bayesian
conditionalization of the above conditional credences entails (as in model 1) that your posterior
credence must be:
101
100 Prposterior (tails) = Pr(tails | I'm in cell #1) = .
However, when we take SSSA into account, we see that there are other epistemic differences
between stages (a) and (b). In addition to gaining the information that you are in cell #1, you also
lose information when you enter stage (b). At stage (a), you knew that you were currently an
observer-moment who is ignorant about which cell you are in and who is pondering different
possibilities. At stage (b), you no longer know this piece of indexical information, because it is
no longer true of you that you currently are such an observer-moment. You do know that you are
an observer who previously was at stage (a), but this is an indexically different piece of
knowledge from knowing that you are currently at stage (a). Since your total information at stage
(b) is not equal to the information you had at stage (a) conjoined with the proposition that you
are in cell #1, there is therefore no requirement that your beliefs at stage (b) be obtained by
conditionalizing your stage (a) credence function on the proposition that you are in cell #1.
=
Therefore, upon learning that you are in cell #1, you should become almost certain (Pr =
100/101) that the coin fell tails. Answer: At stage (a) your credence of tails should be 1/2 and at
stage (b) it should be 100/101.
Now consider a second model that sort of reasons in the opposite direction:
Model 2. Since you know the coin toss to have been fair, and you haven’t got any other
relevant information, your credence of tails at stage (b) should be 1/2. Since we know the
conditional credences (same as in model 1) we can infer, via Bayes’s theorem, what your
credence of tails should be at stage (a), and the result is that your prior credence of tails must
equal 1/101. Answer: At stage (a) your credence of tails should be 1/101 and at stage (b) it
should be 1/2.
Finally, we can consider a model that denies that you gain any relevant information from
finding that you are in cell #1:
Model 3. Neither at stage (a) nor at stage (b) do you have any relevant information as to
how the coin fell. Thus in both instances, your credence of tails should be 1/2. Answer: At stage
(a) your credence of tails should be 1/2 and at stage (b) it should be 1/2.
5. Let us take a critical look at these three models. We shall be egalitarian and present one
problem for each of them.
We begin with model 3. The challenge for this model is that it seems to suffer from
7
incoherency. For it is easy to see (simply by inspecting Bayes’s theorem) that if we want to end
up with the posterior probability of tails being 1/2, and both heads and tails have a 50% prior
probability, then the conditional probability of being in cell #1 must be the same on tails as it is
on heads. But at stage (a) you know with certainty that if the coin fell heads then you are in cell
#1; so this conditional probability must equal 1. In order for model 3 to be coherent, you would
therefore have to set your conditional probability of being in cell #1 given heads equal to 1 as
well. That means you would already know with certainty at stage (a) that you are in cell #1.
Which is simply not the case! Hence we must reject model 3.
Readers who are familiar with David Lewis’s Principal Principle2
may wonder if it is not
the case that model 3 is firmly based on this principle, so that rejecting model 3 would mean
rejecting the Principal Principle as well. That is not so. While this is not the place to delve into
the details of the debates about the connection between objective chance and rational credence,
suffice it to say that the Principal Principle does not state that you should always set your
credence equal to the corresponding objective chance if you know it. Instead, it says that you
should do this unless you have other relevant information that needs to be taken into account.3
There is some controversy about how to specify which sorts of such additional information will
modify reasonable credence when the objective chance is known, and which sorts of additional
information leaves the identity intact. But there is wide agreement that the proviso is needed.
Now, in Incubator you do have such extra relevant information that you need to take into
account, and model 3 fails to do that. The extra information is that, at stage (b), you have
discovered that you were in cell #1. This information is relevant because it bears probabilistically
on whether the coin fell heads or tails; or so, at least, the above argument seems to show.
2
Lewis (1986)
8
3
See, for example, Hall (1994), Lewis (1994), and Thau (1994).
6. Model 1 and model 2 are both all right as far as probabilistic coherence goes. Choosing
between them would therefore be a matter of selecting the most plausible or intuitively appealing
prior credence function.
Model 2 says that at stage (a) you should assign a credence of 1/101 to the coin having landed
tails. That is, just knowing about the setup but having no direct evidence about the outcome of
the toss, you should be virtually certain that the coin fell in such a way as to create 99 additional
observers. This amounts to having an a priori bias towards the world containing many observers.
Modifying the thought experiment by using different numbers, it can be shown that in order for
the probabilities always to work out the way model 2 requires, you would have to subscribe to
the principle that, other things being equal, a hypothesis that implies that there are 2N observers
should be assigned twice the credence of a hypothesis that implies that there are only N
observers. This principle is known as the Self-Indication Assumption (SIA).4
My view is that it is
untenable. To see why, consider the following example (which seems to be closely analogous to
Incubator):
The Presumptuous Philosopher. It is the year 2100 and physicists have narrowed down the
search for a theory of everything to only two remaining plausible candidate theories: T1 and T2
(using considerations from super-duper symmetry). According to T1 the world is very, very big
but finite and there are a total of a trillion trillion observers in the cosmos. According to T2, the
world is very, very, very big but finite and there are a trillion trillion trillion observers. The
super-duper symmetry considerations are indifferent between these two theories. Physicists are
9
4
See Bostrom (2002a). Principles or forms of inferences that are similar to SIA have also been discussed by Dieks
(1992), Smith (1994), Leslie (1996), Oliver and Korb (1997), Bartha and Hitchcock (1999) and (2000), and Olum
(2002).
preparing a simple experiment that will falsify one of the theories. Enter the presumptuous
philosopher: “Hey guys, it is completely unnecessary for you to do the experiment, because I can
already show you that T2 is about a trillion times more likely to be true than T1!” (whereupon the
philosopher explains model 2 and appeals to SIA).
Somehow one suspects that the Nobel Prize committee would be reluctant to award the
philosopher the big one for this contribution. Yet it is hard to see what the relevant difference is
between this case and Incubator. If there is no relevant difference, and we are not prepared to
accept the argument of the presumptuous philosopher, then we are not justified in using model 2
in Incubator either.
7. What about model 1, then? In this model, after finding that you are in cell #1, you should set
your credence of tails equal to 100/101. In other words, you should be almost certain that the
world does not contain the extra 99 observers. This might seem like the least unacceptable of the
alternatives and therefore the one we ought to go for. However, before we uncork the bottle of
champagne, ponder what this option entails.
Serpent’s Advice. Eve and Adam, the first two humans, knew that if they gratified their flesh,
Eve might bear a child, and that if she did, they would both be expelled from Eden and go on to
spawn billions of progeny that would fill the Earth with misery. One day a serpent approached
them and spoke thus: “Pssst! If you hold each other, then either Eve will have a child or she
won’t. If she has a child, you will have been among the first two out of billions of people. Your
conditional probability of having such early positions in the human species given this hypothesis
is extremely small. If, on the other hand, Eve does not become pregnant then the conditional
probability, given this, of you being among the first two humans is equal to one. By Bayes’s
im in cell tails tails heasd heads
These considerations support the initial intuition about Dungeon: that it is a situation in
which one should reason in accordance with SSA.
One thing worth noting about Dungeon is that we didn’t specify how the prisoners
arrived in their cells. The prisoners’ history is irrelevant so long as they don’t know anything
about it that gives them clues about the color of their cells. For example, they may have been
allocated to their respective cells by some objectively random process such as by drawing balls
from an urn (while blindfolded so they couldn’t see where they ended up). Or they may have
been allowed to choose cells for themselves, a fortune wheel subsequently being spun to
determine which cells should be painted blue and which red. But the thought experiment doesn’t
depend on there being a well-defined randomization mechanism. One may just as well imagine
that prisoners have been in their cells since the time of their birth, or indeed since the beginning
of the universe. If there is a possible world in which the laws of nature determine, without any
appeal to initial conditions, which individuals are to appear in which cells and how each cell is
painted, then the inmates would still be rational to follow SSA, provided only that they did not
have knowledge of the laws or were incapable of deducing what the laws implied about their
own situation. Objective chance, therefore, is not an essential ingredient of the thought
experiment; it runs on low-octane subjective uncertainty.
4. So far, so good. In Dungeon, the number of observers featuring in the experiment was fixed.
Now let us consider a variation where the total number of observers depends on which
hypothesis is true. This is where the waters begin to get treacherous.
Incubator. Stage (a): The world consists of a dungeon with one hundred cells. The cells
are numbered on the outside consecutively from 1 to 100. The numbers cannot be seen
5
from inside the cells. There is also a mechanism called “the incubator”. The incubator
first creates one observer in cell #1. It then flips a coin. If the coin lands tails, the
incubator does nothing more. If the coin lands heads, the incubator creates one observer
in each of the remaining ninety-nine cells as well. It is now a time well after the coin was
tossed, and everyone knows all the above.
Stage (b): A little later, you are allowed to see the number on your cell door, and you find that
you are in cell #1.
Question: What credence should you give to tails at stages (a) and (b)? We shall consider three
different models for how to reason, each giving a different answer. These three models may
appear to exhaust the range of plausible solutions, although we shall later outline a fourth model
which is the one that in fact I think points to the way forward.
Model 1. At stage (a) you should set your credence of tails equal to 50%, since you know
that the coin toss was fair. Now consider the conditional credence you should assign at stage (a)
to being in a certain cell given a certain outcome of the coin toss. For example, the conditional
probability of being in cell #1 given tails is 1, since that is the only cell you can be in if that
happened. And by applying SSA to this situation, we get that the conditional probability of being
in cell #1 given heads is 1/100. Plugging these values into the well-known mathematical result
known as Bayes’s theorem, we get
Pr(tails | I am in cell #1)
Pr( #1| ) Pr( ) Pr( #1| ) Pr( )
The Mysteries of Self-Locating Belief and Anthropic Reasoning
Nick Bostrom
Oxford University, Faculty of Philosophy
1. How big is the smallest fish in the pond? You take your wide-meshed fishing net and catch
one hundred fishes, every one of which is greater than six inches long. Does this evidence
support the hypothesis that no fish in the pond is much less than six inches long? Not if your
wide-meshed net can’t actually catch smaller fish.
The limitations of your data collection process affect the inferences you can draw from
the data. In the case of the fish-size-estimation problem, a selection effect—the net’s being able
to sample only the big fish—invalidates any attempt to extrapolate from the catch to the
population remaining in the water. Had your net had a finer mesh, allowing it to sample
randomly from all the fish, then finding a hundred fishes all greater than a foot long would have
been good evidence that few if any fish remaining were much smaller.
In the fish net example, a selection effect is introduced by the fact that the instrument you
used to collect data sampled from only a subset of the target population. Analogously, there are
selection effects that arise not from the limitations of the measuring device but from the fact that
all observations require the existence of an appropriately positioned observer. These are known
as observation selection effects.
The study of observation selection effects is a relatively new discipline. In my recent
book Anthropic Bias, I have attempted to develop the first mathematically explicit theory of
observation selection effects. In this article, I will attempt to convey a flavor of some of the
mysteries that such a theory must resolveThe theory of observation selection effects may have implications for a number of fields
in both philosophy and science. One example is evolutionary biology, where observation
selection effects must be taken into account when addressing questions such as the probability of
intelligent life developing on any given earth-like planet. We know that intelligent life evolved
on Earth. Naively, one might think that this piece of evidence suggests that life is likely to evolve
on most Earth-like planets, but that would overlook an observation selection effect. No matter
how small the proportion of all Earth-like planets that evolve intelligent life, we must be from a
planet that did (or we must be able to trace our origin to a planet that did, if we were born in a
space colony) in order to be an observer ourselves.
Our evidence—that intelligent life arose on our planet—is therefore predicted equally
well by the hypothesis that intelligent life is very improbable even on Earth-like planets, as it is
by the hypothesis that intelligent life is highly probable on Earth-like planets. The evidence does
not distinguish between the two hypotheses, provided that in both hypotheses intelligent life
would very likely have evolved somewhere.
2. Another example comes from cosmology, where observation selection effects are crucial
considerations in deriving empirical predictions from the currently popular so-called ‘multiverse
theories’, according to which our universe is but one out of a vast ensemble of physically real
universes out there.
Some cases are relatively straightforward. Consider a simple theory that says that there
are 100 universes, and that 90 of these are lifeless and 10 contain observers. What does such a
theory predict that we should observe? Obviously not that we should observe a lifeless universe.
Because lifeless universes contain no observers, an observation selection effect precludes them
1
from being observed. So although the theory says that the majority of universes are lifeless, it
nevertheless predicts that we should observe one of the atypical ones that contain observers.
Now let’s take on a slightly more complicated case. Suppose a theory says that there are
100 universes of the following description:
90 type-A universes; they are lifeless.
9 type-B universes; they contain one million observers each.
1 type-C universe; it contains one billion observers.
What does this theory predict that we should observe? (We need to know that in order to
determine whether it is confirmed or disconfirmed by our observations.) As before, an obvious
observation selection effect precludes type-A universes from being observed, so the theory does
not predict that we should observe one of those. But what about type-B and type-C universes? It
is logically compatible with the theory that we should be observing a universe of either of these
kinds. However, probabilistically, it is more likely, conditional on the theory, that we should
observe the type-C universe, because that’s what the theory says that 99% of all observers
observe.
Couldn’t we hold instead that the theory predicts that we should observe a type-B
universe? After all, it says that type-B universes are much more common than those of type-C.
There are various arguments that show that this line of reasoning is untenable. We lack the space
to review them all here, but we can hint at one of the underlying intuitions by considering an
analogy. Suppose you wake up after having been sedated and find yourself blindfolded and with
earplugs. Let’s say for some reason you come to consider two rival hypotheses about your
location: that you are somewhere on the landmass of Earth, or that you at sea. You have no
evidence in particular to suggest that you should be at sea, but you are aware that there are more square meters of sea than of land. Clearly, this does not give you ground for thinking you are at
sea. For you know that the vast majority of observers are on land, and in the absence of more
specific relevant evidence to the contrary, you should think that you probably are where the
overwhelming majority of people like you are.
In a similar vein, the cosmological theory that says that almost all people are in type-C
universes predicts that you should find yourself in such a universe. Finding yourself in a type-C
universe would in many cases tend to confirm such a theory, to at least some degree, compared
to other theories that imply that most observers live in type-A or type-B universes.
3. Let us now look a little more systematically at the reasoning alluded to in the foregoing
paragraphs. Consider the following thought experiment:
Dungeon. The world consists of a dungeon that has one hundred cells. In each cell there is one
prisoner. Ninety of the cells are painted blue on the outside and the other ten are painted red.
Each prisoner is asked to guess whether he is in a blue or a red cell. (And everybody knows all
this.) You find yourself in one of these cells. What color should you think it is? – Answer: Blue,
with 90% probability.
Since 90% of all observers are in blue cells, and you don’t have any other relevant information, it
seems that you should set your credence (that is, your subjective probability, or your degree of
belief) of being in a blue cell to 90%. Most people seem to agree that this is the correct answer.
Since the example does not depend on the exact numbers involved, we have the more general
principle that in cases like this, your credence of having property P should be equal to the
fraction of observers who have P. You reason as if you were a randomly selected observer. This
3
4
principle is known as the Self-Sampling Assumption:
1
(SSA) One should reason as if one were a random sample from the set of all observers in one’s
reference class.
For the time being, we can assume that the reference class consists of all intelligent observers,
although this is an assumption that needs to be revised, as we shall see later.
While many accept without further argument that SSA is applicable to Dungeon, let’s
briefly consider how one might seek to defend this view if challenged to do so. One argument
one can adduce is the following. Suppose that everyone accepts SSA and everyone has to bet on
whether they are in a blue or a red cell. Then 90% of the prisoners will win their bets; only 10% will lose. If, on the other hand, SSA is rejected and the prisoners think that one is no more likely
to be in a blue cell than in a red cell, and they bet, for example, by flipping a coin, then on
average merely 50% of them will win and 50% will lose. It seems better that SSA be accepted.
What allows the people in Dungeon to do better than chance is that they have a relevant
piece of empirical information regarding the distribution of observers over the two types of cells;
they have been informed that 90% are in blue cells. It would be irrational not to take this
information into account. We can imagine a series of thought experiments where an increasingly
large fraction of observers are in blue cells—91%, 92%, …, 99%. As the situation gradually
degenerates into the limiting 100%-case where they are simply told, “You are all in blue cells,”
from which each prisoner can deductively infer that he is in a blue cell, it is plausible to require
that the strength of prisoners’ beliefs about being in a blue cell should gradually approach
probability one. SSA has this property.
1
For further explorations of this and related principles, see Bostrom (1997), (2001), and (2002b).
Sleeping Beauty and Self-Location: A Hybrid Model
(2006) Nick Bostrom
Faculty of Philosophy, Oxford University
ABSTRACT
The Sleeping Beauty problem is test stone for theories about self-locating belief, i.e.
theories about how we should reason when data or theories contain indexical information.
Opinion on this problem is split between two camps, those who defend the “1/2 view”
and those who advocate the “1/3 view”. I argue that both these positions are mistaken.
Instead, I propose a new “hybrid” model, which avoids the faults of the standard views
while retaining their attractive properties. This model appears to violate Bayesian
conditionalization, but I argue that this is not the case. By paying close attention to the
details of conditionalization in contexts where indexical information is relevant, we
discover that the hybrid model is in fact consistent with Bayesian kinematics. If the
proposed model is correct, there are important lessons for the study of self-location,
observation selection theory, and “anthropic reasoning”.
Introduction
Sleeping Beauty
On Sunday, Beauty is put to sleep. She is awakened once on Monday, and put to
sleep again after being administered a memory-erasing drug that causes her to
forget her awakening. A fair coin is tossed. If and only if the coin falls tails,
Beauty is awakened again on Tuesday. She knows all this. When she awakes on
Monday, what should her credence be that the coin will fall heads?
The Sleeping Beauty problem is a variation of some very similar problems of
“imperfect recall” that have been discussed for some time in the game theoretic
literature.1
It was named by Robert Stalnaker, who had learnt about similar cases from
Arnold Zuboff. The problem was brought to the attention of the philosophical community
through an exchange between Adam Elga, who argued for the answer 1/3 (hereafter the
“1/3 view”), and David Lewis, who defended the 1/2 view. The last few years have seen
a burst of publications advocating one or the other of the two competing doctrines. To
date, neither side seems to have gained a decisive advantage.
Sleeping Beauty is an example of a problem involving self-locating beliefs, i.e.,
beliefs that an agent, or a temporal part of an agent, might have about its own location.
An agent-part that knew exactly which possible world is actual can still be ignorant about
its own location in that world. That can happen if the world contains two or more agentparts
whose evidential states are subjectively indistinguishable. These agent-parts would
then be unable to determine with certainty their own spatiotemporal location. (Even if
1
Robert Stalnaker gave the problem its name, after having of examples of a similar kind in unpublished
work by Arnold Zuboff. Closely related problems have also been discussed in the game theory literature;
see volume 20 of the journal Games and Economic Behavior (1997).
1
Beauty knew that the outcome of the coin toss would be tails, she could not know
whether it was currently Monday or Tuesday.) Another way of expressing this is by
saying that the agent-parts would be ignorant about which centered possible world they
are in even though they know which possible world they are in. Yet another formulation
is that agent-parts, or “observer-moments”, possess all non-indexical information about
the world but lack some indexical information. Here we shall use these expressions
interchangeably.
The Sleeping Beauty problem is but one piece of the larger puzzle of how to
relate indexical to non-indexical information in our reasoning. If one studies the problem
in isolation from this wider context, one risks coming up with answers and principles that
do not fit with the other parts of the puzzle. I will first argue that both the 1/3 view and
the 1/2 view suffer from such a misfit. That done, I will propose a new “hybrid” model
which incorporates aspects of both the 1/3- and the 1/2-view but is identical to neither.
The hybrid view overcomes the problems associated with the purebred answers. It also
suggests an explanation for why the 1/3- and the 1/2-view have both managed to appeal
to their fan bases: they each capture a part of the truth.
The 1/3 view
The 1/3 view is that upon awakening, Beauty should assign credence 1/3 to HEADS.
Elga’s argument for this view is as follows.2
When Beauty wakes up, she knows that she is in one of three situations:
H1 HEADS and it is Monday
T1 TAILS and it is Monday
T2 TAILS and it is Tuesday
Given that the Monday and the Tuesday awakening would be evidentially
indistinguishable, we have
P(T1) = P(T2) [By an indifference principle]
If Beauty were to learn that it is Monday, her credence in HEADS should be 1/2 because
this is then just the credence that a coin that is about to be tossed, and is known to be fair,
will fall heads. Hence,
P(H1 | H1 ∨ T1) = 1/2 [By appeal to intuition]
Since P(H1 | H1 ∨ T1) can be rewritten as P(H1) / [P(H1) + P(T1)], we thus have
P(H1) = P(T1) = P(T2)
These credences sum to 1, so it follows that P(H1) = 1/3.
The argument replies on an appeal to intuition in the middle step. One could try to
support this step by invoking the Principal Principle. This principle says, roughly, that
2
(Elga 2000). For some other defenses of the 1/3 view, see (Dorr 2002; Monton 2002; Weintraub 2004).
one’s credences should accord with one’s estimates of objective chances. As formulated
by David Lewis, the Principal Principle came with a proviso: one’s credences are
constrained by one’s beliefs about objective chances according to the principle only if one
does not have relevant “inadmissible” information.3
Lewis’s reason for introducing the
proviso was to bracket off cases involving oracles, time travel, and the like, where one
might get information about the future that is not mediated by information about current
chances. It is possible to maintain, however that some problems involving self-location
also include inadmissible information and should hence be excepted from the Principal
Principle’s domain of applicability. In light of the positive argument against the 1/3 view,
which I will present below, we do in fact have strong grounds for regarding Beauty’s
indexical information as inadmissible.
Given Lewis’s own “best-system” analysis of chance, it would be unsurprising to
find that indexical information can be sometimes inadmissible. According to the bestsystem
analysis, chances are a kind of concise partial summary of patterns of local, nonmodal,
occurrent facts. Since chances, defined in this way, do not even purport to
summarize indexical information, there is no reason to suppose that all relevant
information about future events is always implied by knowledge of the chances – not if
we have reason for thinking that indexical information might also be relevant. (This is, in
fact, the stance that Lewis adopted in his critique of Elga’s argument.4
)
Since our intuitions about what information is admissible in this type of case are
no more secure than our direct intuitions about what credence Beauty should assign to
HEADS, the Principal Principle fails to settle the Sleeping Beauty controversy. What
counts as admissible information in the Sleeping Beauty problem must emerge from its
solution – which needs to be independently justified – rather than assumed at the outset.
Another way in which one may attempt to support the middle step in Elga’s
argument is by invoking Bas van Fraassen’s Reflection Principle. 5
(The Reflection
Principle, in its simplest form, postulates that your credence at a time t is constrained by
your credence at a later time t’ according to Pt(X | Pt’ (X) = x) = x.) Here we encounter the
same problem again: the applicability of the principle to Sleeping Beauty is at least as
problematic as the 1/3 view itself. The Sleeping Beauty problem postulates a breakdown
of rationality. Beauty faces the possibility of drug-induced amnesia. Even if we ask about
Beauty’s credence on Monday, before the drug has been administered, she will not at that
point know whether or not her memory has already been tampered with. It is
independently known, from other cases, that the Reflection Principle should not be
followed where forgetting takes place or is suspected. For example, if I knew that one
year from now I will have credence 1/2 in the proposition that it rained today, that plainly
does not imply that I should assign the same credence now – when I still vividly
remember spending the day reading in the garden. The Reflection Principle, therefore, is
of no more avail to the 1/3 view than is the Principal Principle.
We are left with the unsupported appeal to intuition in the step of the argument
that assumes that P(H1 | H1 ∨ T1) = 1/2. How are we to evaluate this intuition? One way
is to examine what else we are led to accept if we adopt the 1/3 view. If the consequences
3
See (Lewis 1980; Lewis 1994). A precursor to the Principal Principle was formulated by Hugh Mellor
(Mellor 1971).
4
See (Lewis 2001). A similar point was made, independently, in (Bostrom 2001).
5
See (van Fraassen 1984).
3
are unacceptable, we should revise our intuition. Let us therefore consider some
variations of the original Sleeping Beauty to explore the wider ramifications of the 1/3
view.
If we set P(H1) = P(T1) = P(T2), it follows that Beauty should, upon awakening,
assign P(HEADS) = 1/3 and P(TAILS) = 2/3. The only relevant difference between
HEADS and TAILS is that there would be more awakenings of Beauty on the latter
hypothesis. Since the structure of the situation does not depend on the particular numbers
involved, we can test our intuitions by considering a more extreme version of the
problem.
Extreme Sleeping Beauty
This is like the original problem, except that here, if the coin falls tails, Beauty
will be awakened on a million subsequent days. As before, she will be given an
amnesia drug each time she is put to sleep that makes her forget any previous
awakenings. When she awakes on Monday, what should be her credence in
HEADS?
By reasoning exactly parallel to that which Elga used to support the 1/3 view in
the original version, we obtain
P(H1) = P(T1) = P(T2) = P(T3) = … = P(T1,000,001).
That is, upon awakening, Beauty should assign P(HEADS) = 1/1,000,002. The result can
be generalized: following this line of reasoning, Beauty takes her observation “I am
awake now” as evidence in favor of hypotheses that imply that there are many such
awakenings of her. The degree of support is proportional to the number of awakenings
postulated by the hypotheses. This consequence in Extreme Sleeping Beauty is
counterintuitive. It seems like a rather excessive confidence in the proposition that a fair
coin, yet to be tossed, will fall tails.
We can bring out even worse implications if we consider cases in which more
than one agent is involved. Suppose that a possible world contains several agent-parts
{ai}i∈R that are subjectively indistinguishable, that is, these agent-parts are in such similar
evidential situations that individual agent-parts cannot tell which one they are in. Elga has
argued for an indifference principle stating that one should assign the same credence to
each centered proposition of the form “My current agent-part is ai”, for i∈R, and this is
supposed to hold whether or not the agent-parts in {ai}i∈R all belong to the same agent or
to different agents.6
This highly restricted indifference principle follows as a special case
from a somewhat stronger indifference principle that appears to be needed to make sense
of many seemingly legitimate scientific inferences.7
The principle is thus well supported.
But if we use it together with the reasoning in the 1/3 view, we obtain implausible results.
Beauty and Doppelganger
This is like the original Sleeping Beauty problem, except here Beauty is never
woken up after being put to sleep on Monday. Instead, if the coin falls tails,
6
See (Elga 2004).
7
See (Bostrom 2002).
4
another person is created and awoken on Tuesday. This new person will spend her
Tuesday wakening in a state that is subjectively indistinguishable from Beauty’s
Monday state (she will have the same apparent memories and have experiences
that feel just the same as Beauty’s). When Beauty awakes on Monday, what
should be her credence in HEADS?
By Elga’s weak indifference principle, Beauty should have the same conditional
credence, given TAILS, in her being Beauty and Doppelganger. And by the same
reasoning that the 1/3 view relies on in the original version of the problem, Beauty should
have the same conditional credence, given MONDAY, in being Beauty as in being
Doppelganger. From this we can derive, just as before, that the awakened Beauty should
assign an equal credence in three centered propositions:
P(“I am Beauty and HEADS”)
= P(“I am Beauty and TAILS”)
= P(“I am Doppelganger and TAILS”)
Since the credence given to these three centered propositions sum to 1, it follows that
upon awakening, Beauty should hold P(HEADS) = 1/3.
Now consider the extreme version of Sleeping Beauty and Her Doppelganger,
where on tails there will be a million different doppelgangers, each having an awakening
on some subsequent day that will be subjectively indistinguishable from Beauty’s
Monday awakening. It is easy to show, by the same steps as before, that Beauty should
upon awaking have credence P(HEADS) = 1/1,000,002.
The argument does not depend on whether the coin is tossed before the
experiment starts or only after Beauty has been put back to sleep on Monday. It is, in fact,
irrelevant what the objective chance of HEADS is when Beauty is making her
assessment.8
The relevant factor is Beauty’s prior credence in HEADS (relative to her
non-indexical background information). For example, Beauty’s posterior credence in
HEADS would thus be unaffected if the existence of additional awakenings by her
doppelgangers were made to depend, not on the outcome of a coin toss, but instead on
whether the trillionth digit in the decimal expansion of π is even – provided only that
Beauty’s prior credence in this proposition is 1/2. We can therefore generalize the
foregoing thought experiment:
Beauty and Doppelganger (generalized)
Let ϕ be a (non-indexical) proposition, to which Beauty assigns a prior credence
of 1/2. Beauty is never woken up again after being put to sleep on Monday. If ϕ is
true then there will be a total of N > 0 awakenings of doppelgangers in states that
are subjectively indistinguishable from Beauty’s Monday awakening.
As before, we get P(HEADS) = 1/(N +2). Let us consider what this
recommendation amounts too. Each (awake) agent-part, merely by taking into account
the indexical fact that “I am currently an agent-part of this kind”, should give a greater
8
If the coin were tossed before she woke up, the chance of HEADS would not be 1/2, but either 1 or 0.
5
credence to hypotheses in proportion as they imply that there is a greater number of
subjectively indistinguishable agent-parts of that kind. At this point, those familiar with
the literature on observation selection theory may notice an uncanny similarity between
the reasoning behind this position and the so-called “Self-Indication Assumption”. That
assumption states that each observer should regard her own existence as evidence
supporting hypotheses that imply the existence of a greater total population of observers
in the world, the degree of support being proportional to the implied (expected) number
of observers.
The Self-Indication Assumption was originally introduced in discussions about
the Doomsday argument, as an attempt to neutralize that argument. It turns out, however,
that the assumption has implications of its own that are perhaps even more
counterintuitive than those of the Doomsday argument. It seems that the following
thought experiment, in particular, gives us fairly strong grounds for rejecting the SelfIndication
Assumption.
Presumptuous Philosopher
It is the year 2100 and physicists have narrowed down the search for a theory of
everything to only two remaining plausible candidate theories, T1 and T2 (using
considerations from super-duper symmetry). According to T1 the world is very,
very big but finite and there are a total of a trillion trillion observers in the
cosmos. According to T2, the world is very, very, very big but finite and there are
a trillion trillion trillion observers. The super-duper symmetry considerations are
indifferent between these two theories. Physicists are preparing a simple
experiment that will falsify one of the theories. Enter the presumptuous
philosopher: “Hey guys, it is completely unnecessary for you to do the
experiment, because I can already show to you that T2 is about a trillion times
more likely to be true than T1!” (Whereupon the presumptuous philosopher
explains the Self-Indication Assumption.)9
By modifying this example slightly, we can substitute the reasoning embodied in
the 1/3-view for that of the presumptuous philosopher. To do this, suppose that the two
theories that the physicists have come up with differ not only in regard to how many
observers there are but also in regard to how many agent-parts there are that are
subjectively indistinguishable from your own current one. Elga’s 1/3 view can now take
the place of the Self-indication Assumption.
It is worth noting that the situation described in this modified version of
Presumptuous Philosopher is by no means a farfetched possibility. Contemporary
cosmologists face essentially that predicament. They are trying to determine whether the
universe is finite or infinite. Given the standard Big Bang model and the assumption that
spacetime is singly connected, the universe is infinite if and only if it is either open or
flat. Whether it is open or flat, or closed, depends on whether the cosmic energy density,
Ω, exceeds a certain threshold value. Current measurements indicate that the actual
density is very close to the critical value, Ω ≈ 1. It is an important open empirical
question whether the actual value is above, below, or exactly at the critical level.
9
See (Bostrom 2002; Bostrom 2003).
Measurements are being conducted to obtain a better estimate of the cosmic energy
density. If the universe is infinite then with probability one there are an infinite number of
agent-moments in states subjectively indistinguishable to your current one.10 Therefore,
if Elga’s 1/3 view is correct, we could conclude that we already have “infinitely strong”
evidence that the universe is infinite. The consequence that it would be a waste of money
to carry out the planned experiments because we can predict the outcome from our
armchair (with probability 1), is extremely implausible. Somebody wishing to toe this
line should be willing to bet at practically any odds on the outcome of these future
experiments.11
We have seen that the original argument given for the 1/3 view is inconclusive,
that neither the Principal Principle nor the Reflection Principle could be successfully
invoked to buttress it, and that when we unfold the reasoning embedded in the 1/3 view,
we find that highly counterintuitive consequences follow. We have good reason to reject
the 1/3 view.
We have not yet considered another argument in favor of the 1/3 view, one that is
based on long-run frequency or betting considerations. We will discuss this argument in a
later section. But first, let us turn our gaze to the 1/2 view. We shall argue that this view,
too, should be rejected.
The 1/2 view
According to the 1/2 view presented by David Lewis, Beauty should upon awakening
have credence 1/2 in HEADS, and her conditional credence in HEADS given MONDAY
should be 2/3.
P(H1) = 1/2
P(H1 | H1 ∨ T1) = 2/3
Suppose that Beauty is informed that it is Monday, and let P+ be her new credence
function after she has obtained this information. Lewis claims that P+ should be obtained
by conditionalizing P on MONDAY. Thus,
P+(HEADS) = P(HEADS | MONDAY) = 2/3
Lewis’s argument for this claim is simple: Before the experiment, Beauty should
assign credence 1/2 to the proposition that a fair coin to be tossed in the future will fall
heads. She already knows that she will be awakened. Therefore, when she awakes, she
obtains no new relevant information; so her credence in HEADS should remain 1/2.
This argument starts to look peculiar when we compare it to Lewis’s explanation
of why Beauty should increase her credence in HEADS upon being informed that it is
Monday:
10 See (Bostrom 2002).
11 Even if during the next two hundred years we obtained overwhelming empirical evidence that the
universe is finite, we should, on this view, continue to assign credence 1 to the universe being infinite.
7
Now when Beauty is told during her Monday awakening that it’s Monday, … she
is getting evidence – centered evidence – about the future: namely that she is not
now in it. That’s new evidence: before she was told that it is Monday, she did not
yet have it…. This new evidence is relevant to HEADS, since it raises her
credence in it by 1/6 [i.e. from 1/2 to 2/3].12
On this reasoning, it would seem, one could similarly argue that when Beauty awakes on
Monday (but before she is informed that it is Monday) she likewise gets relevant
evidence – centered evidence – about the future: namely that she is now in it. Since it
makes no difference whether the coin is tossed before the experiment begins or on
Monday evening (a point of agreement between Lewis and Elga), let us suppose the case
where the coin is tossed just before Beauty awakens on Monday. If being in “the future”
means being in the period after the coin has been tossed, Beauty now has new relevant
information about her current location relative to this period (namely, that she is in it
now). Lewis is thus committed to the view that one’s beliefs about a chance event such as
a coin toss can be affected by obtaining evidence that is purely about one’s own current
location. Yet he offers no argument for why only centered evidence that it is Monday, but
not centered evidence that one is currently in the “experimental phase” (i.e. that it is
either Monday or Tuesday, rather than, say, the preceding Sunday) can be relevant to
HEADS. Absent such an argument, his claim that Beauty upon awakening should assign
credence 1/2 to HEADS is a completely unsupported assumption, one which those who
disagree with the 1/2 view should feel free to reject. Opponents of the 1/2 view can
simply insist that Beauty does get centered relevant evidence when she finds herself
awake in the experimental (Monday or Tuesday) phase. Lewis’s argument for the 1/2
view therefore fails.
If we unpack the implications of accepting the 1/2 view, we find that it has
implications no less counterintuitive than those of the 1/3 view. Let us begin by
considering again the amplified version of the Sleeping Beauty problem.
Extreme Sleeping Beauty
This is like the original problem, except that here, if the coin falls tails, Beauty
will be awakened on a million subsequent days. As before, she will be given an
amnesia drug each time she is put to sleep that makes her forget any previous
awakenings. When she awakes on Monday, what should be her credence in
HEADS?
The adherent of the 1/2 view will maintain that Beauty, upon awakening, should retain
her credence of 1/2 in HEADS, but also that, upon being informed that it is Monday, she
should become extremely confident in HEADS:
P+(HEADS) = 1,000,001/1,000,002
This consequence is itself quite implausible. It is, after all, rather gutsy to have credence
0.999999% in the proposition that an unobserved fair coin will fall heads.
12 (Lewis 2001), p. 175
8
We can extract an even more counterintuitive consequence by modifying the
example slightly. Instead of using a single coin toss, with a prior probability of heads
equal to 1/2, we could stipulate a sequence of 10 independent tosses of the same coin.
The prior probability that all of these tosses will come up heads is 2-10, which is less than
one in a thousand (≈ 0.00098%). Suppose that unless the coin comes up heads all ten
times, Beauty will not be awakened again after the Monday awakening. If, however, the
tossing does yield ten heads, then Beauty will be awakened on a million subsequent days.
We can then ask what odds Beauty could reasonably accept if offered to bet on such a
sequence of coin tosses.
Beauty the High Roller
Beauty is awakened on Monday and after having been awake for an hour she is
offered a bet. She is told that a fair coin will be tossed ten times. If it lands heads
all ten times then Beauty wins $1,000. If it lands tails at least once, then Beauty
loses $100,000. But there is a twist: If Beauty wins, the experiment ends at that
point. If Beauty loses, she will be put to sleep, given an amnesia drug that causes
her to forget her awakening, and then awoken again the next day; and this
procedure will be repeated for a total of one million days. (On each of these
subsequent awakenings, Beauty will spend an hour in a state of ignorance about
what day it is before she is put to sleep. No bet is offered after the initial Monday
awakening.)
Beauty awakes on Monday and prudently decides to reject the bet that she is
offered. But just as she is about to declare her decision, David Lewis’s ghost appears in a
puff of smoke. The ghost explains the 1/2-view reasoning and argues that Beauty’s
credence in the proposition that all ten tosses will come up heads should be very close to
unity. In fact, the ghost calculates that, even taking into account the low prior probability
of this proposition, Beauty should nevertheless assign it a posterior credence of 99.8%
after taking into account that she has just learnt that her current awakening is the initial
Monday awakening.13 The expected value of the gamble to Beauty is therefore positive:
EV ≈ 0.998 * $1,000 + 0.002 * (– $100,000) = $998 – $200 = $798
So according to the ghost’s reckoning, Beauty ought to take the bet. But surely it would
be crazy for Beauty to follow the ghost’s advice.14 Hence we should reject the 1/2 view.
13 Let H* be the proposition that the coin falls heads all ten times. Let M be the centered proposition stating
that Beauty’s is currently awake on the first Monday. We then have
*)(*)|(*)(*)|(
*)(*)|( )|*( HPHMPHPHMP
HPHMP MHP
¬¬+ = .
With P(H*) = 2-10, P(¬H*) = 1 - P(H*), P(M | H*) = 1, and P(M | ¬H*) = 2/1,000,002, it easy to check the
ghost’s calculation.
14 We assume that Beauty is risk-neutral and that her utility function is linear in money. If she has a
diminishing marginal utility of money, or is risk-averse, we can simply adjust the stakes or the number of
awakenings that would occur so that the calculation still favors her taking the gamble, without affecting the
basic point of the thought experiment.
9
A hybrid model?
If the 1/3- and the 1/2-view both have unacceptable consequences, how can we build a
better model for reasoning with indexical information?
Consider again the 1/3 view. The problem with that view was that it led to a bias
in favor of hypotheses entailing that there are many subjectively indistinguishable
duplicates of one’s current agent-part. When all the hypotheses under consideration agree
on the number of such duplicates, the bias does not manifest itself; but it causes trouble in
cases like Sleeping Beauty. The obvious way to correct this “many-duplicates” bias is to
divide one’s credence in being any one particular duplicate with the total number of
duplicates.
Consider the following two possible worlds, in which the only agent-parts are
those in the Sleeping Beauty experiment. (We shall assume throughout that all “agentparts”
are of equal duration.)
w1: h1 [The “heads” world]
w2: t1 t2 [The “tails” world]
As before, H1, T1, and T2 are the centered propositions expressing that one is
currently h1, t1, and t2, respectively; HEADS is the proposition that the actual world is
w1; and TAILS the proposition that the actual world is w2. The proposal for removing
the many-duplicate bias is that we set
P(H1) = 1/2
P(T1) = P(T2) = 1/4
Of course, we still have
P(H1 | HEADS) = 1
P(T1 | TAILS) = P(T2 | TAILS) = 1/2
It follows that P(HEADS) = P(TAILS) = 1/2. Thus, there is no general tendency, upon
finding oneself awakened in the experiment, to favor hypotheses implying that there are
many such awakenings. This means that we are immune from objections of the
“Presumptuous Philosopher”-type. Our new de-biasing postulate implies that the
conditional probability of HEADS given that it is MONDAY is greater than 50%:
P(HEADS | H1 ∨ T1) = 2/3 Constraint P
Now, if the credence function P+ that Beauty should have upon learning that it is
MONDAY were obtained by conditionalizing P on (H1 ∨ T1), then we would fall into
the trap illustrated in Beauty the High Roller. To avoid falling into this trap, it seems as
though we require that
P+(HEADS | H1 ∨ T1) = 1/2 Constraint P+
“Presumptuous Philosopher” and “Beauty the High Roller” form a Scylla and a
Charybdis, which we must avoid, and yet it looks like the only way to satisfy the
constraints from these thought experiments involves violating Bayesian
conditionalization.15 I believe, however, that this sacrifice is not necessary. The matter is
somewhat subtle.
Suppose that Beauty will be told after awakening on Monday that it is Monday.
The situation is then different from the one described above. It must instead be
represented as follows:
w1: h1 h1m [The “heads” world]
w2: t1 t1m t2 [The “tails” world]
The situation we are confronting involves five possible agent-parts, not three. The added
terms, “h1m” and “t1m”, denote the agent-parts of Beauty that know that it is Monday (in
the heads and the tails world, respectively). Let us retain the P unchanged (i.e. the
credence function for Beauty at the times when she is unaware that it is Monday). Now
consider more carefully Constraint P+, which seemed like it was a constraint on the P+
(i.e. the credence function that Beauty has when she knows that it is Monday). Constraint
P+ contains the expression “H1 ∨ T1”. But this expression does not describe what Beauty
knows after she has learnt that it is Monday, for at that point she should set:
P+(H1) = 0 P+(T1) = 0
This is because at that point Beauty knows that her current agent-part is either h1m or
t1m. The information she has just obtained is therefore not (H1 ∨ T1), but rather (H1M ∨
T1M), where H1M is the centered proposition expressed by “My current agent-part is
h1m” and T1M is the centered proposition expressed by “My current agent-part is t1m”.
The correct formulation of Constraint P+ is therefore as follows:
P+(HEADS | H1M ∨ T1M) = 1/2 Constraint P+ [corrected]
This correction eliminates the conflict with Constraint P and allows us to avoid violating
Bayesian conditionalization. The corrected Constraint P+ is precisely what we need to
save Beauty from ruin in the High Roller thought experiment.
One may still wonder what conditional credence Beauty should assign, before
being informed about it being Monday, to HEADS given that she is currently an agentpart
that knows that it is Monday:
P(HEADS | H1M ∨ T1M) = ?
However, there is no need to assign a value to this expression. Note that
15 It has been argued that we should indeed violate conditionalization in the Sleeping Beauty problem
(Kierland and Monton). Kierland and Monton argue for the 1/3 answer on grounds which they claim do not
lead to the counterintuitive result in the Beauty and Doppelganger. Their position thus diverges
significantly from Lewis’s 1/2 view.
11
P(HEADS | H1M ∨ T1M) = P(HEADS & [H1M ∨ T1M]) / P(H1M ∨ T1M)
Since P(H1M ∨ T1M) = 0, this expression is undefined. And so it should be.16
Let us take a step back and consider the point more generally. Whenever an agent
receives some evidence E, we could distinguish the earlier agent-part, α–
, that lacked this
evidence, and the later agent-part, α+
, which has come to possess it. According to the
reasoning just described, we cannot automatically conclude that the conditional
probability P(X | E & “I am currently α– “), conditionalized on E, yields the correct
posterior credence that α+
should assign to X. Only if
P(X | E & “I am currently α– “) = P+
(X | E & “I am currently α+ ”),
can the kinematics be represented in the simplified form P+
(X) = P(X | E). This standard
representation is thus elliptic as it omits some changes in indexical information.
In ordinary cases, such changes in indexical information are irrelevant to the
hypotheses being considered and can hence be safely ignored. The standard elliptic
representation of Bayesian conditionalization can then be used without danger. In certain
special cases, however, such delicate changes in indexical information can be relevant,
and it is then crucial to recognize and make explicit the hidden intermediary step.
Sleeping Beauty, on the model proposed here, turns out to be just such a special case.
To recapitulate, I have argued that a Bayesian can coherently accept both
Constraint P and the corrected Constraint P+, even though superficially this seems to
violate Bayesian conditionalization. The reason why we not only can but should accept
both these constraints was given earlier: to avoid the counterintuitive consequences that
follow if either of these constraints is violated, as shown by the “Presumptuous
Philosopher” and the “Beauty the High Roller” thought experiments.
The long-run frequency argument
One other important argument for the 1/3 view needs to be examined as it might be
thought to pose a problem for the hybrid model. The discussion of this argument will also
serve to further elucidate how the proposed model works.
A proponent of the 1/3 view could argue that Sleeping Beauty awakened ought to
have credence 1/3 in HEADS because if the experiment were repeated many times, then
approximately 1/3 of all her awakenings would be heads-awakenings (and 2/3 would be
tails-awakenings). In the infinite limit, this ratio would, with probability 1, be approached
arbitrarily closely. This argument could be buttressed by introducing betting
considerations. In the infinite limit, Beauty would have to assign credence 1/3 to
HEADS, else she would be guaranteed a loss if she put her money where her mouth is.
For a betting argument to have any bite, the hypothesized bookie must have the
same information as Beauty. If a bet were only offered on the Monday awakening in each
run of the experiment, and if both the bookie and Beauty knew this, then Beauty could
16 The model used here presupposes that agent-parts know what their evidence is. This simplifying
assumption may be inappropriate in certain cases, but we shall not here discuss how such cases should be
modeled.
12
infer from the fact that she was offered a bet that it was Monday. According to the hybrid
model, she should then assign credence 1/2 to the proposition that the coin will fall heads
in that trial. This will match the long-run frequency of bets that she will win, so in this
case betting considerations pose no problem.
The betting argument therefore requires that Beauty be offered a bet each time she
is awakened. Then she cannot infer what day it is from the fact that she is being offered a
bet. In this case, in the long run, Beauty would be expected to lose 2/3 of her bets if she
consistently bet on heads. How does this square with the prescription of the hybrid model
that Beauty, upon awakening (but before learning which day it is) assigns credence 1/2 to
heads?
One possible response to this argument is to deny that betting considerations
provide a valid guide to credence assignment in the present case. Since there would be a
different number of bets placed depending on how the coin fell, one might regard the test
as unfair.17 In support of this response one may note that the presumptuous philosopher
would also be vindicated if we assumed that an agent-part’s credence should be
determined by the betting-odds at which the expected net gains and losses of the
collective of all his duplicate agent-parts would be zero. Since there would be a trillion
times more duplicates of the agent-part if theory T2 is true then if T1 is true, each agentpart
would have to assign a trillion times greater odds to T2 than to T1 in order for the
expected value of all the bets made by the collective of agent-parts to be zero. And yet we
argued that it seems wrong for an agent-part to assign a trillion times greater credence to
T2 than to T1.
However, this response does not address the case of the repeated Sleeping Beauty
problem. For in this case, in the infinite limit, there is no uncertainty about the total
proportion of awakenings in tails- and heads-runs of the experiment. Beauty knows that
(with probability one) there will actually be two times as many awakenings in tails-trials
as in heads-trials. In this case, therefore, betting considerations unambiguously suggest
that Beauty upon awakening should assign the 2/3 credence to tails. Here one could not
justify a divergence of credence assignment from betting odds by saying that there would
be a different number of bets placed depending on which of the hypotheses under
consideration is true, because the total number of bets placed is not (significantly)
variable when Beauty is put through a large number of repetitions of the experiment.
There is, consequently, strong reason for recommending that Beauty assign
credence 1/3 to heads when she knows that the experiment will be repeated very many
times. This, however, is not an objection to the hybrid model proposed above. The hybrid
model, as we shall now see, implies the very same credence assignment as the betting
considerations suggest. Betting considerations, far from being an embarrassment to the
hybrid model, actually agree with its implications and support it.
Up until this section, our discussion has focused on (variations of) the single-shot
Sleeping Beauty problem, where there are no repetitions of the experiment. This is the
simplest case: the world contains no other relevant agent-parts than those existing within
a single implementation of the Sleeping Beauty experiment. Let us now apply the hybrid
model to the situation that arises if the experiment is repeated many times. But first, as an
intermediary step, consider the following case.
17 See also (Arntzenius 2002).
13
Three Thousand Weeks (non-random)
Beauty lives for three thousand weeks. On odd-numbered weeks she is awakened
once, on Mondays. On even-numbered weeks she is awakened twice, on Mondays
and Tuesdays. After each awakening she is given an amnesia drug that causes her
to forget her previous awakenings. Beauty knows all this.
The hybrid model that I propose implies that in this case, Beauty should have
credence 1/3 in the centered proposition “My current awakening is taking place in an
odd-numbered week” (or “ODD” for short). This is because Beauty, when she wakes up,
knows that ODD is true for one third of all the agent-parts that are in the same subjective
evidential state as her current agent-part. (The credence assignment follows from the very
weak indifference principle which Lewis, Elga, and I all accept.) Crucially, these agentparts
are all actual agent-parts, as opposed merely possible ones. We thus have
P(ODD) = 1/3
Further, it is easy to show that
P(ODD | MONDAY) = 1/2
If we suppose that every Monday, just before being put to sleep, Beauty is told that it is
Monday, we also have
P+(ODD | MONDAY) = 1/2
Note that, for the reasons explained earlier, “MONDAY” denotes a different centered
proposition in each of these two conditional credence expressions. (In the first
expression, “MONDAY” refers to a proposition that is centered on an agent-part that
does not know that it is Monday; in the second expression, specifying Constraint P+,
“MONDAY” refers to a proposition centered on an agent-part that does know that it is
Monday.) In the present case, however, the conditional credences work out the same. The
hybrid view therefore coincides with the 1/3 view in this example.
The key difference between the original Sleeping Beauty problem and ThreeThousand
Weeks and is that in the latter case – but not in the former – there are twice as
many actual awakenings of one type as of the other. This means that in Three Thousand
Weeks, the prior credence in ODD, before Beauty learns that it is Monday, is unaffected
by the correction we made to eliminate the bias in favor of hypotheses entailing the
existence of more duplicates. (Such a bias would result from applying the indifference
principle to a class of agent-parts that included merely possible as well as actual agentparts.)
In Three-Thousand Weeks, ODD is true for one-third of the agent-parts that are
ignorant about whether it is Monday, and for one half of the agent-parts who know that it
is Monday; correspondingly, the credence in ODD is 1/3 for the first type of agent-part
and 1/2 for the second type.18
18 We say that ODD “is true for” an agent-part if the centered proposition which that agent-part would
express by saying “ODD” is true. When writing down a symbol like “ODD”, we need to be careful about
whether we take this to refer to a specific centered proposition or to a function that yields a centered
Let us now apply this analysis to a more straightforwardly repeated version of the
original Sleeping Beauty problem:
The N-fold Sleeping Beauty Problem
This is like the original Sleeping Beauty problem repeated N times on consecutive
weeks. Beauty knows that the experiment is repeated N times, but she is unable to
determine which run of the experiment she is currently in.
For N = 1, this reduces to the original Sleeping Beauty problem, and Beauty’s
credence in HEADS should be 1/2, both before and after learning that it is Monday. If N
is some large number, such as N = 3,000, then the case approximates Three Thousand
Weeks, and Beauty’s credence in HEADS should be approximately 1/3 before learning
that it is Monday, and 1/2 after being told that it is Monday. (“HEADS” here stands for
“My current awakening is in one of the trials where the coin fell heads”.) The larger N is,
the more exact will the approximation be. The credences in the 3,000-fold Sleeping
Beauty Problem are not exactly equal to those in Three-Thousand Weeks because the
total number of awakenings is not strictly fixed. There is, however, a very high chance
that there will be roughly 3,000 tails-awakenings and 1,500 heads-awakenings in the
3,000-fold Sleeping Beauty Problem, so it closely approximates Three-Thousand Weeks.
Illustration: the hybrid model to the N = 2 case
It may be instructive to calculate the exact credences for the N = 2 case. There are four
possible outcomes of the coin tosses: heads-heads, heads-tails, tails-heads, and tails-tails.
We can represent these four possibilities along with the possible agent-parts they would
realize as follows:
Week 1 | Week 2
w1: h1 | h2
w2: h3 | t1 t2
w3: t3 t4 | h4
w4: t5 t6 | t7 t8
Each of these four possibilities has an equal chance of occurring (p = 1/4). Since each of
these agent-parts are in the same evidential situation, Beauty’s conditional credence,
given one of the four possibilities, is divided equally between the agent-parts that that
possibility would realize. Hence, her unconditional credence in being any particular
possible agent-part is obtained by multiplying this conditional credence with her prior
credence in the possibility in question (i.e. 1/4). Thus we get the following assignment of
credence to the centered propositions that she is currently a particular agent-part:
Week 1 | Week 2
w1: 1/8 | 1/8
w2: 1/12 | 1/12 1/12
proposition when given an agent-part as an argument. In the text, the context should make it clear what is
intended in each case.
15
w3: 1/12 1/12 | 1/12
w4: 1/16 1/16 | 1/16 1/16
We obtain P(HEADS) by summing the credences of the centered propositions that imply
HEADS (indicated with boldface):
P(HEADS) = 1/8 + 1/8 + 1/12 + 1/12 = 5/12
Since P(HEADS | MONDAY ) = P(HEADS & MONDAY) / P(MONDAY), we likewise
get
P(HEADS | MONDAY) = (5/12) / (17/24) = 10/17
This, however, is not the credence that Beauty should assign to HEADS if she
were told that it is Monday. For the same reasons as noted above in the discussion of the
original (1-fold) Sleeping Beauty problem, the relevant quantity is instead P+(HEADS |
MONDAY). To determine this quantity, we again represent four possibilities, but these
now include agent-parts that know that it is Monday (these are the agent-parts in the
middle columns, whose names end with the letter ‘m’):
Week 1 | Week 2
w1: h1 h1m | h2 h2m
w2: h3 h3m | t1 t1m t2
w3: t3 t2m t4 | h4 h4m
w4: t5 t3m t6 | t7 t4m t8
Since the number of agent-moments that know that it is Monday is the same in all four
possibilities (i.e., two in each case), each of these agent-parts (who are in the same
evidential situation) should assign the same credence to being a particular one of these
agent-parts, namely (1/4)(1/2) = 1/8, and they should assign zero credence to being some
other agent-part. Thus:
Week 1 | Week 2
w1: 0 1/8 | 0 1/8
w2: 0 1/8 | 0 1/8 0
w3: 0 1/8 0 | 0 1/8
w4: 0 1/8 0 | 0 1/8 0
To obtain P+(HEADS | MONDAY), we sum the credences of the centered propositions
that imply both HEADS and MONDAY (indicated in boldface), and divide this by the
sum of the credences that imply MONDAY:
P+(HEADS | MONDAY) = (1/8 +1/8 +1/8 +1/8) / 1 = 1/2
16
The hybrid model thus implies that when Beauty learns that it is Monday, she
should have credence 1/2 in HEADS. This is so both in the original one-shot version of
the Sleeping Beauty problem and in the repeated (“N-fold”) versions where N ≥ 1.
Discussion
We have argued that the standard arguments for the standard positions on the Sleeping
Beauty problem, the 1/2 view and the 1/3 view, are, if not directly question-begging then
at least inconclusive in that they rely on eminently deniable premises. To evaluate the
standard positions, therefore, we need to seek for further constraints. We presented two
such constraints in the form of two thought experiments. The Presumptuous Philosopher
thought experiment, in a version adapted for application to the Sleeping Beauty case,
strongly suggests that the 1/3-view is wrong. The Beauty the High Roller thought
experiment strongly suggests that the 1/2-view is wrong. On these grounds, we concluded
that both the standard models for reasoning about self-location are unacceptable.
In the second, constructive part of the paper we proposed a new model. This
model seeks to combine the most attractive features of the 1/3- and the 1/2-view, so we
termed it the hybrid model. It implies that Beauty should not take the fact that she is
currently awake as evidence that there are large numbers of awakenings. But it also
implies that when Beauty discovers that it is currently Monday, she should not take this
as evidence against the hypothesis that there will be many more awakenings in the future.
If the hybrid model is correct, it might explain the fact that both the 1/3- and the
1/2-views have some intuitive appeal. According to the hybrid model, both these views
get something right. The 1/3-view is right that Beauty’s posterior credence in HEADS
after being informed that it is Monday should be one-half. The 1/2-view is right that
Beauty’s prior credence in HEADS, after awakening but before learning that it is
Monday, should be one-half.
The 1/3 view is also right that in the version of the Sleeping Beauty where the
experiment is repeated a large number of times, Beauty should (in the infinite limit), upon
awakening, assign a prior credence of 1/3 to the centered proposition that the coin fell
heads in that particular trial. The hybrid view distinguishes between actual and merely
possible agent-parts. In the N-fold Sleeping Beauty problem, for N >> 1, it is (almost
certainly) the case that approximately one-third of all actual agent-parts of Beauty are in
trials in which the coin fell heads, and the total number of awakenings is (with high
probability) approximately determined in advance. By contrast, in the 1-fold version, it is
not the case that one-third of all actual agent-parts of Beauty are in a heads-trial. There,
either all are, or none. Moreover, in the 1-fold version, the total number of awakenings is
strongly correlated with which hypothesis, HEADS or TAILS, is true. The hybrid model
corrects for the bias in favor of many awakenings that is inherent in the 1/3 view. (In
cases where N is small but larger than 1, the hybrid model gives a prior credence that is
intermediate between the that of the 1/3 view and the 1/2 view, thus avoiding any sharp
discontinuity. In general, for N ≥ 1, we have 1/3 ≤ P(HEADS) ≤ 1/2.)
The main concern about the hybrid model is that it appears to violate Bayesian
conditionalization. I argued, however, that this violation is merely apparent. If we pay
close attention to the changing indexical information available to different agentsegments,
we find that the model does not violate Bayesian conditionalization. A lesson
here is that while indexical evidence is irrelevant and can be ignored in most ordinary
17
cases of Bayesian updating, there are special cases – Sleeping Beauty included – where
such evidence is relevant. In these special cases, certain implicit assumptions in the
common way of applying Bayesian conditionalization are false.
In closing, I will address one challenge that could be directed at the hybrid
model.19 If Beauty follows this model and agrees to betting odds matching her credence
function, she can be Dutch-booked.
The Beauty and the Bookie
This is like the original one-shot version but with an added bookie, who is put to
sleep at the same time as Beauty and given the same amnesia drug. (We put the
bookie through this procedure to make sure that he does not have any relevant
information that Beauty lacks.) Upon awakening, on both Monday and Tuesday,
before either knows what day it is, the bookie offers Beauty the following bet:
Beauty gets $10 if HEADS and MONDAY.
Beauty pays $20 if TAILS and MONDAY.
(If TUESDAY, then no money changes hands.)
On Monday, after both the bookie and Beauty have been informed that it is
Monday, the bookie offers Beauty a further bet:
Beauty gets $15 if TAILS.
Beauty pays $15 if HEADS.
If Beauty accepts these bets, she will emerge $5 poorer.
Since Beauty is able to anticipate the result of accepting all the bets, it is clear that she
should not do so.
Following the hybrid model, Beauty should have no objection to accepting the
second Monday bet. The hybrid model implies that P+(HEADS | MONDAY) = P+(TAILS
| MONDAY) = 1/2. Being offered a single straightforward bet on HEADS at even odds,
knowing that it is Monday, she has no reason to refuse it.
It is the other set of bets that she should reject. The hybrid model implies that
Beauty, before learning that it is Monday, assigns P(HEADS | MONDAY) = 2/3. This
appears to justify her accepting the bookie’s first offer. But here the situation is more
complicated. Since neither party knows whether it is Monday, the Bookie cannot offer
this bet only on Monday. He must offer it on both awakenings. This means that the total
number of bets will vary depending on how the coin falls: if heads, the first type of bet is
offered only once; but if tails, it is offered twice. Moreover, we may assume that Beauty
will either accept it on both occasions or reject it on both occasions, as she has no
effective way of telling which occasion she is currently encountering.20 So Beauty knows
that she would be accepting two bets if TAILS and one bet if HEADS.
19 I’m grateful here to one anonymous referee. A similar Dutch-book argument has recently been advanced
in (Hitchcock 2004).
20 If Beauty could opt for a mixed strategy, she could decide to accept the bet at a given occasion with a
certain probability. This would complicate the argument but would not affect the conclusion.
18
Now, we already know from other examples that when the number of bets
depends on whether the proposition betted on is true, then the fair betting odds can
diverge from the correct credence assignment. For instance, suppose you assign credence
9/10 to the proposition that the trillionth digit in the decimal expansion of π is some
number other than 7. A man from the city wants to bet against you: he says he has a gut
feeling that the digit is number 7, and he offers you even odds – a dollar for a dollar.
Seems fine, but there is a catch: if the digit is number 7, then you will have to repeat
exactly the same bet with him one hundred times; otherwise there will just be one bet. If
this proviso is specified in the contract, the real bet that is being offered you is one where
you get $1 if the digit is not 7 and you lose $100 if it is 7. That you should reject this bet
is quite unproblematic and does not in any way undermine your original assessment that
the probability of the trillionth digit being 7 is 1/10.
A similar situation can arise in a more subtle way. We can construct a scenario
where, even though no “catch” is explicitly part of the contract, you nevertheless know
that you will be put in a position where you will end up betting a hundred times if you are
wrong but only one time if you are right. This could happen e.g. if there is a machine that
will determine the correct answer and then, on the basis of what this answer is, will
decide whether to repeatedly administer an amnesia drug to you that makes you forget
whether you have already betted. The machine could do this in such a way that you end
up making a larger number of bets if you are wrong. If you believe that you are facing a
situation of this kind, you should take corrective action to limit the distortive effects of
the memory erasure on your decision-making. In particular, you may decide to reject bets
that seem fair to you and that may have been perfectly acceptable in the absence of the
forced irrationality constraint.
Let us return to the case of Beauty and the Bookie. Beauty knows that she faces
the risk of having her memory erased and thus of becoming irrational. (Memory erasure
entails a form of irrationality.) For reasons such as those described above, Beauty may
therefore reject the bookie’s first set of bets as a form of damage control to minimize the
impact of the failures of rationality from which she knows she is at risk. If the deviation
of her optimal betting odds from her credence assignment can be justified on these
grounds, then she can use the hybrid model and still avoid being Dutch booked.
It is interesting that in Beauty and the Bookie, Beauty’s betting odds should
deviate from her credence assignment even though the bet that might be placed on
Tuesday would not result in any money switching hands. In a sense, the bet that Beauty
and the bookie would agree to on Tuesday is void. Nevertheless, it is essential that this
bet is included in the example. The bookie is unable to pursue the policy of only offering
bets on Monday since he does not know which day it is when he wakes up. If we changed
the example so that the bookie knew that is was Monday immediately upon awakening,
then Beauty and the bookie would no longer have the same relevant information, and the
Dutch book argument would fail. If instead we changed the example so that Beauty as
well as the bookie knew that it was Monday immediately upon awakening, then Beauty’s
credence in HEADS & MONDAY would be 1/2 throughout Monday, so again she would
avoid a Dutch book.21
21 If Beauty would know on Monday that it is Monday, then she would also be able to infer on Tuesday –
from the fact that she does not know then that it is Monday – that it is Tuesday. So she would always know
what day it is. (We assume that Beauty always know the general setup of the experiment she is in.)
19
In conclusion, the hybrid model combines the comely aspects of the 1/2 view and
the 1/3 view while avoiding their faults. The main concern with the hybrid model is that
it may appear to violate Bayesian conditionalization. I have presented (tentative)
arguments suggesting that the violation is merely apparent. At any rate, one might hope
that having a third contender for how Beauty should reason will help stimulate new ideas
in the study of self-location.22
References
Arntzenius, F. (2002). "Reflections on Sleeping Beauty." Analysis 62(1): 53-62.
Bostrom, N. (2001). "The Doomsday argument, Adam & Eve, UN++, and Quantum Joe."
Synthese 127(3): 359-387.
Bostrom, N. (2002). Anthropic Bias: Observation Selection Effects in Science and
Philosophy. New York, Routledge.
Bostrom, N. (2002). "Self-Locating Belief in Big Worlds: Cosmology's Missing Link to
Observation." Journal of Philosophy 99(12): 607–623.
Bostrom, N. (2003). "The Mysteries of Self-Locating Belief and Anthropic Reasoning."
Harvard Review of Philosophy 11: 59-74.
Dorr, C. (2002). "Sleeping Beauty: In Defense of Elga." Analysis 62(4): 292-296.
Elga, A. (2000). "Self-locating Belief and the Sleeping Beauty problem." Analysis 60.2:
143-147.
Elga, A. (2004). "Defeating Dr. Evil with self-locating belief." Philosophy and
Phenomenological Research 69(2).
Hitchcock, C. (2004). "Beauty and the Bets." Synthese 139: 405-420.
Kierland, B. and B. Monton (2005). "Minimizing Inaccuracy for Self-Locating Belief."
Philosophy and Phenomenological Research forthcoming.
Lewis, D. (1980). A Subjectivist Guide to Objective Chance. Studies in Inductive Logic
and Probability. R. C. Jeffrey. Berkeley, University of California Press. 2.
Lewis, D. (1994). "Humean Supervenience Debugged." Mind 103(412): 473-490.
Lewis, D. (2001). "Sleeping Beauty: reply to Elga." Analysis 61(271): 171-176.
Mellor, H. (1971). The Matter of Chance. Cambridge, Cambridge University Press.
Monton, B. (2002). "Sleeping Beauty and the Forgetful Bayesian." Analysis 62(1): 47-53.
van Fraassen, B. (1984). "Belief and the Will." Journal of Philosophy 81: 235-256.
Weintraub, R. (2004). "Sleeping Beauty: A Simple Solution." Analysis 64(1): 8-10.
22 For comments and discussions, I am grateful to Adam Elga, Bradley Monton, Brian Kierland, Simon
Saunders, and anonymous referees.
Πέμπτη 30 Μαρτίου 2017
https://edmund.vuodatus.net/ apuuva onko miulla sielu, kirjoitat vain ihmisen nälkökulmast
https://twitter.com/cassandrax2jm/status/847017913873809408 utube skyros Tein #Kansalliskävely-kirjastani diilin @intokustannus'n kanssa. Ja nyt ne lanseerasi sivuttoman kirjan. Mokasinko? e it might be slightly noteworthy that the bookie and the people in the group are rationally required to disagree in the above scenario, it isn’t the least bit paradoxical, as they have different information. For instance, the bookie knows that “I am the bookie”. This piece of information is clearly different from the corresponding one
Τετάρτη 1 Μαρτίου 2017
https://www.google.gr/search?q=ko+lanta+sunset&source=lnms&tbm=isch&sa=X&ved=0ahUKEwitoq-Zp7XSAhXidpoKHWoDAf0Q_AUICCgB&biw=1034&bih=541 sador, he represented Iran at the UN for twelve successive sessions of 1957 to 1971. He was Commissioner of the United Nations in Rwanda and Burundi in 1959, for elections and the referendum that led these countries to independence. He also served on the University Council of the United Nations from 1974 to 1978, and also resident representative of the United Nations in Mali [1].
Between 1967 and 1971 he was Minister of Science and Higher Education in Iran under the Shah. In 1971, he created an Institute for Studies of Endogenous Development, inspired by the educational ideas of Paulo Freire, to begin a development project basis with the farmers of Lorestan [2].
After his retirement in 1985 he taught at the University of California at Berkeley for six years, then, from 1993, to Claremont Pitzer Colleges. He then settled in France, where he teaches at the American University of Paris [3].
His many diplomatic activities in the third world led him to reflect on the development, particularly on poverty. He comes to distinguish the "poverty" (lifestyle based on moderation, which may be voluntary cf. Voluntary simplicity) of the "misery" (lack of access to livelihood). The reflection of twenty years will lead to the publication of his book When poverty forces Poverty (2003). In this book, the author summarizes his approach:
The spread of widespread misery and poverty is a social scandal obviously unacceptable, especially in companies perfectly capable of avoiding it. And the visceral rebellion it provokes in us is quite understandable and justified. But this is not by increasing the machine power to create goods and hardware products that this scandal will end, because the machine put into operation this effect is the same one that consistently produces misery.
'He is now trying to understand the many reasons and causes of scandal. It is this research that brings me now to show how a radical transformation of our lifestyle, including a reinvention of the chosen poverty, has now become the sine qua non of any serious struggle against new forms of production misery.'
A friend of Ivan Illich, he participated in his reflections on develop
Παρασκευή 3 Φεβρουαρίου 2017
Retkipaikka @Retkipaikka 1 t1 tunti sitten Lisää Hei helmikuu! Valo palaa pohjolaan ja Suomessa vietetään ensimmäistä luonnon päivää http://retkipaikka.fi/vapaa/hei-helmikuu-valo-palaa-pohjolaan-ja-suomessa-vietetaan-ensimmaista-luonnon-paivaa/ …
Kansikuva painoa varten
Japanilaiset eivät vanhene, eivätkä liho
Moriyama, Naomi
Kustantaja: readme.fi
Ilmoitettu julkaisupäivä/vuosi: 08.2006
ISBN: 9789525592627
Kieli: Suomi
Sivuja: 300
Εγγραφή σε:
Αναρτήσεις (Atom)