Any perfectly rational agent who is sequentially offered bets A and B in the above circumstances (full disclosure in advance about the whole setup, no change of belief in H during the whole process, utilities linear in dollars) will ac- cept at least one of the bets.
I kind of struggle to understand what “full disclosure in advance” really means and how it does not invalidate the sequential structure itself. Perhaps I’m missing something.
Any agent who knows the entire set up in advance could just interpret this as “if you take both bets you will get $5 regardless of your probability estimates of anything or lack thereof” so it would be irrational not to do so. Is this in the “Plan” or “Sequence” category? I suspect “full disclosure” is less strict than what I’m interpreting it to be here?
Hi Simon. Below is what Claude has to say about that.
Hi Simon. I think you’ve actually put your finger on the load-bearing feature rather than missed something — but the tension you’re sensing resolves once you separate two things that “full disclosure” runs together in your reading: what the agent knows, and when she chooses.
Full disclosure only fixes the first. At the A-node she knows the whole tree: that B will follow, the payoffs, and that her credence in H won’t move. What it does not do is collapse the two choices into one simultaneous package-choice. She still acts twice, at two separate moments — accept/reject A, and then, after that’s settled, accept/reject B. Foreknowledge isn’t simultaneity. So the sequential structure survives full disclosure intact; the agent is fully informed and still makes two timed decisions.
That distinction is exactly why your “just interpret it as: take both, get $5, so it’s irrational not to” doesn’t invalidate the setup — and here’s the part that I think will unstick you. That reasoning isn’t a competitor to Elga’s argument; it’s Elga’s own premise. The paper’s central claim is precisely that a rational agent “will accept at least one of the bets” because rejecting both is dominated and she can see this in advance. He is not disagreeing that reject-both is irrational. He’s asserting it. Your intuition and his premise are the same sentence.
So the question the paper is asking is one notch more subtle than the one you’re answering. It’s not “is it irrational to reject both?” (everyone says yes). It’s: “what account of how unsharp credences guide action actually delivers that verdict, given that the unsharp agent’s rule makes each bet, taken on its own, merely optional?” With an interval straddling 60%, rejecting A is permitted at the A-node; with the interval straddling 40%, rejecting B is permitted at the B-node. A rule that just evaluates each bet locally therefore licenses reject-both — the two “optional”s compose into the dominated outcome, foreknowledge notwithstanding. The challenge is to find a rule that blocks that without wrecking the optionality elsewhere.
Now to your direct question — is your move PLAN or SEQUENCE? Once you try to turn “take both, it’s $5” from an observation into a decision rule the agent runs, you land in the global-rules family, and closest to SEQUENCE (equivalently, the “treat it as one choice among {A, B, BOTH, NEITHER} and eliminate the dominated NEITHER” reframe that Evan proposed in the other thread [here]). That rule does give the right verdict here — Elga grants that. His objection is that as a rule it fails the Sally test: it has to call “reject B” impermissible when A-was-just-rejected but permissible when B is offered alone, even though a money-only agent faces identical money-consequences at the B-node in both cases. So your reasoning isn’t a fourth escape hatch; it’s a restatement of what a global rule has to deliver, and Elga’s argument is aimed precisely at whether any such rule survives.
On your suspicion that full disclosure “must be weaker than I’m interpreting” — I’d say the opposite. It’s exactly as strong as you’re reading it, and that strength is the point. Full disclosure, plus no-belief-change, plus linear-in-dollars, is Elga removing every excuse the unsharp theorist could offer for reject-both: she wasn’t surprised, she didn’t learn anything mid-sequence that shifted her credence, and she has no non-monetary reasons. With all the confounders stripped out, any residual permission to reject both traces to the unsharp decision rule alone — which is the whole rhetorical purpose of piling on those stipulations.
One last thing that I think will make the sequential structure feel less suspicious: Elga needs it to be sequential, and this is why he can’t just let it be a simultaneous package. If the offer were genuinely one simultaneous choice (“accept both / reject both / mix”), the puzzle evaporates — even a maximally permissive rule picks BOTH over NEITHER by straight dominance, and the unsharp theorist wins for free. The problem only has teeth in the sequential version, because that’s the only structure where a local rule can manufacture reject-both out of two individually-permitted rejections. So the sequential framing and full disclosure aren’t in tension; they’re doing complementary jobs — disclosure kills the “she didn’t see it coming” defense, sequentiality is what generates the difficulty in the first place.
I burned some tokens iterating with Claude fable and ended up learning quite a bit here:
**The background: two ways of describing one problem**
A sequential decision problem can be written in *extensive form* — a tree with choice nodes (where you act) and chance nodes (where nature acts), with consequences at the leaves — or in *normal form*, where you list every complete contingency plan (“strategy”) and treat the problem as a single one-shot choice among those plans. Elga’s two-bet setup in extensive form is: choose accept/reject A, then choose accept/reject B. In normal form it’s one choice among four strategies: {BOTH, A-only, B-only, NEITHER}.
The anti-sequentialist move you were making in this thread is: since nothing happens between Elga’s nodes, the extensive form is a misleading picture and the normal form is the *real* problem. Call this **normal-form reduction**: rational choice in a tree must agree with rational choice among the tree’s strategies. It feels like a free, innocent principle — surely how a problem is *typeset* can’t matter.
Hammond’s theorem is the demonstration that it is not free. It is roughly the most expensive principle in decision theory.
**Hammond’s conditions**
In “Consequentialist Foundations for Expected Utility” (*Theory and Decision*, 1988), Peter Hammond starts not from preference axioms but from *behavior*: a “behavior norm” that specifies, for every finite decision tree, which moves are acceptable at each node. He then imposes three structural conditions:
*Consequentialism.* Acceptable behavior in a tree depends only on the consequences the available strategies deliver — not on the tree’s shape. Two trees whose strategies map to the same consequences must license the same consequences. This *is* normal-form reduction, stated as an axiom.
*Dynamic consistency.* The plan you’d endorse at the start is the plan your later selves actually continue; there is no predictable defection from your own strategy.
*Separability.* Behavior at a node in the middle of a tree is the same as behavior in the “snipped-off” subtree treated as a standalone problem starting there. Your past — the branch you traveled to get here — is normatively inert.
Plus an *unrestricted domain* assumption: the norm must deliver verdicts for every finite tree, not just convenient ones.
**The theorem, and why completeness falls out**
Hammond proves that any behavior norm satisfying these conditions is representable as maximization of expected utility: a complete, transitive preference ordering satisfying the independence axiom and — once chance nodes with subjective uncertainty enter — a single, precise probability function. Sharp credences, derived, not assumed.
The philosophically interesting part is where *completeness* comes from, since that’s what the imprecise probabilist denies. It comes almost embarrassingly cheaply, and seeing why is the heart of the counterattack. Behavior, unlike preference, is always decisive: put an agent in a tree offering x or y and she leaves the room having done *something*. Define “x is weakly preferred to y” as “x is choosable from some tree offering exactly {x, y}.” Since something is always choosable, this revealed relation is complete *by construction*. That’s trivial so far — a genuinely conflicted agent also picks something, perhaps arbitrarily, and we shouldn’t read a considered ranking off one forced pick.
Here’s the catch: incompleteness that can’t show up in any single choice can only ever show up as a *pattern across contexts* — choosing x over y inside one tree but y over x inside another, or refusing at a later node to complete a sequence your earlier choice began. Those context-sensitive patterns are precisely what consequentialism and separability forbid. Consequentialism says the embedding tree can’t matter; separability says your history can’t matter; dynamic consistency says your plan can’t come apart from your conduct. Jointly they seal every exit through which incomparability could behaviorally *express itself*. Whatever tie-breaking the agent does under conflict gets laminated, by the consistency conditions, into a single coherent ordering across all trees — and Hammond shows the standard money-pump/Dutch-book tree constructions then force transitivity, independence, and precise probabilities. An agent who satisfies all of Hammond’s conditions is *behaviorally indistinguishable from a sharp expected-utility maximizer*, whatever fuzzy inner life she reports.
**Why this is a counterattack on the anti-sequential polemic specifically**
Recall your polemic’s shape: Elga’s tree has no decision-relevant events between nodes, so reduce it to the normal form, pick from {BOTH, A-only, B-only, NEITHER} by policy-level maximality, exclude only NEITHER, and declare that imprecision survives with exactly the permissiveness Elga demanded.
Hammond’s theorem says: you just endorsed consequentialism (the reduction) and dynamic consistency (your policy-follow-through). If you *also* accept separability and unrestricted domain, the theorem grinds forward and hands you back completeness — and with it sharp probabilities. Your hammer, swung with full force, rebuilds Elga’s conclusion from the opposite direction. The reduction move is therefore not a safe harbor; it’s the first premise of a proof of SHARP.
So the anti-sequentialist *must* locate a Hammond condition to reject, and the only live candidate is **separability** — she must say that what’s rationally choosable at the B-node genuinely depends on the tree it sits in (whether an A-node preceded it). And now look at what Elga’s Sally argument actually is: it is a direct intuition pump *for separability*. Sally at the B-node after rejecting A, and Sally offered B alone, are stipulated identical in beliefs, options, and everything she cares about; Elga insists rationality must treat them alike. That is separability, stated in a vignette. The dialectic thus closes into a perfect circle: the polemic escapes Sally by reduction, Hammond shows reduction-plus-separability yields sharpness, so the escape requires denying separability, and Sally is the argument for separability. The whole debate was never about probabilities at all. It is a debate about one axiom of dynamic choice, and both sides’ machinery is downstream of it.
This is exactly the lesson of Teddy Seidenfeld’s companion paper from the same year (“Decision Theory Without ‘Independence’ or Without ‘Ordering’,” *Economics and Philosophy* 1988): once you take dynamic coherence seriously, you face a forced trilemma — give up completeness/ordering, give up independence, or give up one of the dynamic conditions (separability or consistency or reduction). You cannot keep everything, and no position gets to win by framing. McClennen’s resolute choice keeps ordering and reduction but drops separability; Levi and Seidenfeld keep separability-ish structure but drop ordering and accept lumpy behavior; Hammond keeps all the dynamic conditions and is thereby *committed* to sharp EU.
**The honest bottom line**
Hammond doesn’t refute the anti-sequentialist. His conditions are premises, and separability in particular is deniable — plenty of serious people deny it. What the theorem does is strip the polemic of its air of costlessness. “It’s obviously one decision typeset on two lines” presents normal-form reduction as bookkeeping; Hammond shows it is one third of an engine that manufactures completeness, so anyone wielding it owes an account of which sibling condition they’re rejecting and why the money-pump constructions that enforce it are toothless against them. That’s a real debt, payable in the separability literature — Seidenfeld, McClennen, Rabinowicz, Steele — rather than in polemic. The promotion I mentioned before stands, though: “which of Hammond’s axioms is false?” is a far better fight for the imprecise probabilist than “why did you burn $5?”
from the paper:
I kind of struggle to understand what “full disclosure in advance” really means and how it does not invalidate the sequential structure itself. Perhaps I’m missing something.
Any agent who knows the entire set up in advance could just interpret this as “if you take both bets you will get $5 regardless of your probability estimates of anything or lack thereof” so it would be irrational not to do so. Is this in the “Plan” or “Sequence” category?
I suspect “full disclosure” is less strict than what I’m interpreting it to be here?
Hi Simon. Below is what Claude has to say about that.
Hi Simon. I think you’ve actually put your finger on the load-bearing feature rather than missed something — but the tension you’re sensing resolves once you separate two things that “full disclosure” runs together in your reading: what the agent knows, and when she chooses.
Full disclosure only fixes the first. At the A-node she knows the whole tree: that B will follow, the payoffs, and that her credence in H won’t move. What it does not do is collapse the two choices into one simultaneous package-choice. She still acts twice, at two separate moments — accept/reject A, and then, after that’s settled, accept/reject B. Foreknowledge isn’t simultaneity. So the sequential structure survives full disclosure intact; the agent is fully informed and still makes two timed decisions.
That distinction is exactly why your “just interpret it as: take both, get $5, so it’s irrational not to” doesn’t invalidate the setup — and here’s the part that I think will unstick you. That reasoning isn’t a competitor to Elga’s argument; it’s Elga’s own premise. The paper’s central claim is precisely that a rational agent “will accept at least one of the bets” because rejecting both is dominated and she can see this in advance. He is not disagreeing that reject-both is irrational. He’s asserting it. Your intuition and his premise are the same sentence.
So the question the paper is asking is one notch more subtle than the one you’re answering. It’s not “is it irrational to reject both?” (everyone says yes). It’s: “what account of how unsharp credences guide action actually delivers that verdict, given that the unsharp agent’s rule makes each bet, taken on its own, merely optional?” With an interval straddling 60%, rejecting A is permitted at the A-node; with the interval straddling 40%, rejecting B is permitted at the B-node. A rule that just evaluates each bet locally therefore licenses reject-both — the two “optional”s compose into the dominated outcome, foreknowledge notwithstanding. The challenge is to find a rule that blocks that without wrecking the optionality elsewhere.
Now to your direct question — is your move PLAN or SEQUENCE? Once you try to turn “take both, it’s $5” from an observation into a decision rule the agent runs, you land in the global-rules family, and closest to SEQUENCE (equivalently, the “treat it as one choice among {A, B, BOTH, NEITHER} and eliminate the dominated NEITHER” reframe that Evan proposed in the other thread [here]). That rule does give the right verdict here — Elga grants that. His objection is that as a rule it fails the Sally test: it has to call “reject B” impermissible when A-was-just-rejected but permissible when B is offered alone, even though a money-only agent faces identical money-consequences at the B-node in both cases. So your reasoning isn’t a fourth escape hatch; it’s a restatement of what a global rule has to deliver, and Elga’s argument is aimed precisely at whether any such rule survives.
On your suspicion that full disclosure “must be weaker than I’m interpreting” — I’d say the opposite. It’s exactly as strong as you’re reading it, and that strength is the point. Full disclosure, plus no-belief-change, plus linear-in-dollars, is Elga removing every excuse the unsharp theorist could offer for reject-both: she wasn’t surprised, she didn’t learn anything mid-sequence that shifted her credence, and she has no non-monetary reasons. With all the confounders stripped out, any residual permission to reject both traces to the unsharp decision rule alone — which is the whole rhetorical purpose of piling on those stipulations.
One last thing that I think will make the sequential structure feel less suspicious: Elga needs it to be sequential, and this is why he can’t just let it be a simultaneous package. If the offer were genuinely one simultaneous choice (“accept both / reject both / mix”), the puzzle evaporates — even a maximally permissive rule picks BOTH over NEITHER by straight dominance, and the unsharp theorist wins for free. The problem only has teeth in the sequential version, because that’s the only structure where a local rule can manufacture reject-both out of two individually-permitted rejections. So the sequential framing and full disclosure aren’t in tension; they’re doing complementary jobs — disclosure kills the “she didn’t see it coming” defense, sequentiality is what generates the difficulty in the first place.
Yeah good point I should’ve asked Claude, too!
My sense is that (perhaps similar to others in the comment section?) I don’t buy that this problem set up is a sequential problem at all.
I burned some tokens iterating with Claude fable and ended up learning quite a bit here:
Very interesting. Thanks. Relatedly, you may be interested in this comment.