TL;DR
Yes, the halfer position in all the Sleeping Beauty problems (such as the classical Sleeping Beauty or the Sailor's Child or the Orphaned Child, each of which is a variation on the identical underlying problem) makes for an irrational gambler who can be exploited by a bookie who is a thirder, giving the bookie an expected net gain (though not an assured net gain in each single experiment run).
The Sleeping Beauty Problem (SBP) remains controversial among the "tutored". Phil Paper Survey shows that in 2020 about 28% of professional philosophers accepted (or leaned towards) the thirder position, while about 19% chose the halfer position. Unfortunately, the halfers will probably not want to put their money where their mouth is, otherwise a thirder bookie can be expected to get rich. (Expected in 'the long run' in repeated experiments, though not guaranteed in any single round.)
I will assume the SBP description as given on Wikipedia (the coin toss of heads leads to one awakening, tails leads to two). At each awakening Beauty, who is fully aware of the experiment setup, is asked what her credence is that the coin came up heads. Credence is defined as degree of belief, degree of certainty about an event.
The question then is really what event? What are we talking about when describing the event as "the coin came up heads". In particular, what does Beauty know about this and what is she (un)certain about?
A probability measure requires a partitioning (by some agent) of the world into basic possible events, where each basic possible event gets some probability assigned. This partitioning (with probabilities) is an epistemic universe. The epistemic universe for Beauty during the run of the experiment is the set of (possible) awakenings which we can describe as {MoH, MoT, TuT}. This is the set of three possible basic events. Those events can only be distinguished from each other by the Experimenter, but not by Beauty (during the experiment). Beauty knows the universe of possible events, she knows the names of the events, but does not know how to identify or recognize them. Her uncertainty arises from this epistemic inability.
By the principle of indifference Beauty can only assign an equal probability of 1/3 to each of the basic events. Note that (as @Feryll pointed out in a comment) this only applies if the coin is indeed a fair coin and if Beauty knows this (also knows it in her epistemic universe). If Beauty has no information at all about whether or not the coin is fair, she can still only assign 1/3 equal probability to each of the basic events (to start with, as a priori priors), but knowing that she has no knowledge about the fairness of the coin implies that she will have no certainty about her own credence answers. In a way, this would make it "impossible" for her to answer the question. Any answer would be rationally justified. C
Now, by design, the event "the coin came up heads" is in this epistemic universe equal to the subset {MoH}, while "the coin came up tails" is equal to {MoT, TuT}. This implies, directly, without further necessary calculations, that for Beauty, during the awakenings, the probability she will assign to "the coin came up heads" is 1/3. (She will assign this if she is rational, based on her probability assignment to the basic events.)
It really does not matter that the whole experiment was started off by a coin flip. The initial coin flip is (mostly) an irrelevant nuisance aspect of the problem. (It's a little similar to a "nuisance parameter" on which we sometimes condition in statistical modeling.) It's also a nuisance in the sense that, in my opinion, it's the main reason why even the tutored can get confused by the problem statement.
The initial coin flip has only one function, which is to set up the three possible events in Beauty's epistemic world (that is: to ensure there are only three possible events, and to give them a name, similar to what I did above). Any other way to set up the branching (or initialize this world) would also be fine, as long as Beauty has no knowledge (and can not discover any new knowledge) that could make her more (or less) certain that one of those three possibilities is the one she is dealing with. (However, the a priori assignment of probabilties to the basic events is part of the experiment setup -- as known to Beauty during the run. In the classical version it's crucial that the coin is fair. The information that the coin is fair gives Beauty the knowledge that each basic event has the same probability of 1/3. In alternative versions, where the branching might be done very differently, Beauty still needs to be informed somehow about those basic probabilities. See note C. In other words, the fact that branching is used or that a coin is flipped is irrelevant to the problem, but if the setup is determined by coin flip, then it is very relevant that a fair coin is used -- relevant for getting to the 1/3 credence answer. Perhaps it's really this distinction that makes the problem confusing to some...)
If the thirder position is correct, then the halfer position is incorrect. It's also possible to show that the halfer position is incorrect by using a (kind of) Dutch Book argument, as the OP suggested in point (1).
A Dutch Book is defined as a betting strategy, usually over a series of bets, in which a gambler has a guaranteed loss. Note that all the offered bets need to apply to the same epistemic universe.
Playing as bookie against a halfer, it's not possible to force a guaranteed gain for the bookie in each single experiment run. But it is possible to get an expected net gain.A
It's not possible to set up a similar (expected gain) Dutch Book against the thirder position. (This follows from the fact that there is a Dutch Book of a thirder bookie against the halfer position and against other non-thirder positions.)
A Dutch Strategy is far more complicated stratagem in which a bettor who changes their credence about the odds is offered a series of bets that seem fair to the bettor -- given their credence at a particular time -- but that guarantees an overall loss to the bettor. (It's a contentious issue whether or not acceptance of a Dutch Strategy implies irrationality on the side of the gambler. Personally, I don't think it's a persuasive kind of argument. The whole approach seems very dubious to me. See below.)
Titelbaum's Ten Reasons to Care about the Sleeping Beauty Problem quotes Hitchcock who gives (not a Dutch Book but) a Dutch Strategy argument against the thirder position:
Hitchcock (2004) proposes that on Sunday night, the bookie sells Beauty a bet that costs $15 and pays $30 if the coin comes up heads. Since Beauty is 1/2 confident in heads on Sunday night, she will accept this bet as fair. The bookie also tells Beauty on Sunday night that when she awakens Monday morning, he will sell her a bet for $20 that pays $30 if the coin comes up tails. If Beauty plans on being a thirder, she is certain that she will accept this bet as fair on Monday morning. (Notice that the bookie places this bet only once – on Monday morning – however the coin flip comes out.) Yet now Beauty is guaranteed to shell out a total of $35 for two bets which together will pay her $30, no matter the flip outcome. Planning to be a thirder exposes Beauty to a sure loss of $5.
The first bet expresses odds of 1:1, has an expected gain of $0 so is acceptable for someone who believes the odds are 1:1. The second bet expresses odds of 2:1 for tails up. This bet is not acceptable, of course, if it is only offered once on Mondays. The bet is in principle acceptable to a thirder (since the thirder believes in those odds), but only if the bet is offered either at each awakening or at a randomly selected awakening. Only in the last two cases will this bet have an expected non-negative gain (of $0) and thus be acceptable for the thirder.
If a bet is only offered on Mondays, however, then the thirder will only accept odds of 1:1! (See also the answer on the math stackexchange by Qiaochu Yuan.)
To come back to the OP's question - The Orphaned Child problem as sketched by the OP is a little bit different from the Sailor's Child Problem as described on Wikipedia, but essentially the same. Both problems are, as far as the abstract problem goes, also identical to Sleeping Beauty Problem.
In the Orphaned Child Problem there are again, not two, but three distinct basic 'events':
- I (the child) am the first born (only) child (MoH)
- I am the first born child, but have a younger sibling (MoT)
- I am the second born child, and have an older sibling (TuT)
This is the assumed epistemic universe. The problem in this case is that I don't know which of these three events describes me now. So, I can only assign 1/3 probability to each (this uses the assumption that my parents flipped a fair coin to decide whether to have only one or two children). The event then of "being the only child" is exactly analogous to "the coin having come up heads", with a probability of 1/3. So, contrary to what the OP wrote
This game is such that one will not be constrained to lose twice if wrong
you will lose twice when wrong, since you don't know if you are the younger or older sibling (if you have a sibling).B
(A) Dutch Book against halfer (not as guaranteed, but as expected)
A halfer may accept a bet on "heads up"
with odds 1:1. A rational halfer will therefore consider a bet with stake $1 and prize (at least) $2 a fair bet (the expected
gain is in this case greater than or equal to $0; note that the prize includes the stake which was payed when accepting the bet).
In the sample bet of the OP, the stake is $40 and the prize is $100 ($40 + $60).
If the odds would truly be 1:1, the expected gain would then be $10 (per run): about half of the time you gain $60, half of the time
you lose $40. However, it's easy to see, by taking the average over repeated runs, that the actual expected gain is -$10.
Note that there is a rather fundamental difference between this Dutch Book-like argument and actual Dutch Books. In an actual Dutch Book, the bookie is guaranteed a net gain no matter what. There is no risk involved. The promised expected gain here is "merely" what can be expected "in the long run" (and as we know, in the long run we'll all be dead). For someone who is risk averse, it is perfectly rational to refuse these bets. The risk might be infinitesimal small 'in the long run', but there is still some risk.
"Perfectly rational" is of course an overstatement. In "real life" we would probably not consider someone to be "perfectly rational", but rather "phobic" or "not in their right mind", if they would not be willing to accept any risk whatsoever ever.
(B) After writing the first version of my post, I noticed that Radford M. Neal (professor emeritus at the Dep. of Statistics and Computer Science in Tortonto) comes to the same conclusion as me in his article
Puzzles of Anthropic Reasoning Resolved Using Full Non-indexical Conditioning (2006):
Do the Sailor’s Child and Sleeping Beauty problems differ in any important way? In the Sleeping Beauty problem, the instances of Beauty awakening on Monday and Tuesday can be visualized as “children” of the Beauty who existed on Sunday. That these “children” are much more closely related than are real children of the same father seems inessential, particularly since the only information transferred from Beauty-on-Sunday to Beauty-awakened-later is “common knowledge” about the setup, such as that the coin is fair. In this light, we can see that contrary to many treatments in the literature, the Sleeping Beauty problem is not really about updating of beliefs as new information is received — a procedure that in any case seems dubious when actual or suspected memory loss is an issue.
(C) If Beauty doesn't know whether or not the coin is fair, then to start with she can only assign equal probabibilites of 1/3 to each of the basic events {MoH, MoT, TuT}. However, her most honest answer to the question would then be "If I'm forced to make a bet, then I'd say that the probability that this is a MoH awakening is 1/3, but really I cannot tell, it could be anything from 0 to 1". While if the coin is fair and she knows the coin if fair, she can tell with certainty "I know that this being a MoH awakening has a probability of 1/3, so my credence for heads having come up is 1/3. I'm in principle willing to take a bet on that". ("In principle willing..." means that if Beauty is willing to take fair bets at odds 1:1 for $1 (stake $1, prize $2), then, being rational, she is or should be willing to also take the bet on MoH with a stake of $1 and prize of at least $3. If Beauty is totally risk averse, she would not take any bets, of course, but "in principle" only expresses a conditional
willingness.)
If Beauty's amnesia only applies within each experiment run, and if she can remember results of repeated runs,
then she can through repeated experiment, with the same coin, gain (or lose) certainty about the probability of heads having come up. She can in that case apply Bayes' rule, given new evidence. She would only be able to update the priors between experiment runs. Each new experiment would then simply start with the updated priors.
If the coin is unfair and Beauty knows in advance (and during the experiment) what the probability is of it coming up heads (on Sunday night), then that will determine the probabilities she can/should assign to the basic events.
UPDATE
It turns out that above answer is essentially the same as the answer given by Berry Groisman in The End of Sleeping Beauty's Nightmare (2008). Groisman gives a very intuitive, clean description of the solution and explains the confusion of the halfers. Halfers conflate "The coin landed Heads under the setup of coin tossing" (which has probability 1/2) with "This awakening is a Head-awakening under the setup of wakening" (which has probability 1/3). Thirders (even Elga) are also not completely clear about that. In fact, anyone who thinks that some kind of "update" of credences is happening missed the crucial point that we're talking about different probabilistic events. Quote from Groisman's summary:
The concept of an event is central and crucial in Probability Theory. The Sleeping Beauty Problem arises due to improper use of the notion of an event. The setup under which the event takes place must always be taken into account. If we do so, then we realize that the original question posed to SB can be interpreted in two different ways. The first interpretation is ‘What is your credence that the coin landed Heads under the setup of coin tossing?’, and the answer should be 1⁄2. The second interpretation is ‘What is your credence that this awakening is a Head-awakening under the setup of wakening?’, and the answer should be 1/3. Thus there is no paradox!
The only criticism I would have is that according to me, the most natural, default interpretation of the question, it the second one.
But that's a minor quibble.
Even though some people still contest this claim, I believe that Groisman's reduction of the SBP to a balls-in-urns problem (also decribed on the Wikipedia page) is completely correct. In fact, we can also represent the filling of the urn in such a way that the probability of adding a green ball in any randomly selected step of the procedure is 1/3. If we define the protocol of filling the urn as
Toss a fair coin and observe the outcome. On H, select a green ball, s = {g}
. On T, select two red balls, s = {r1, r2}
. Then, while you still have balls in s
, remove a ball from s
and drop it into the urn.
Then define the "steps" as those events that remove one ball from the current selection, and drop them into the urn. It's clear then that, given that the coin toss was fair, the probability that at any randomly selected "step" a green ball was dropped into the urn, is 1/3.
Now imagine that the balls are conscious little creatures who don't know their own color, but are fully aware of the whole setup and this protocol. At each step in our protocol we ask them, "What is your certainty that you are green?" The only rational answer is 1/3. -- This is the "anthropic" version of the question. And it's clear that this anthropic version is just a colorful way of presenting the question, without further meaning (apart from making the question more confusing to some people).
If we describe the filling differently -- in other words, define the sample space of events differently --, the probability is different. If we define a step as "drop a green ball into the urn or drop two red balls into it", then there are only two possible steps, {g}
and {r1, r2}
, rather than three possibilities g, r1, r2
. So, in that case "the probability that at any random step a green ball is added" is 1/2. The difference between the two views is simply that in one case we look at the sets and in the other we look at the elements. The confusing part of SBP is that people fail to take into account that a set of one element is not the same "thing" as that element (a conundrum with which, surprisingly, logicians and mathematicians also still struggeled around 1900).
Another way of explaining the confusing is: People tend to forget that when they are counting or selecting items, they are implicitly performing a mapping. Selecting a ball (also selecting just one ball) can be thought of as creating a set, making a mapping, applying a function. Then in one context, we can only consider the elements (to determine Beauty's credence during the experiment), while in another context we look at the sets that were initially created by the coin toss. When we equate g
(prob 1/3) with {g}
(prob 1/2) we get confused.