I’ve been thinking a bit recently about the following position, and I couldn’t see any obvious reason why it was _incoherent_, so I was wondering whether (a) it might be true or (b) I was missing something obvious about why it was incoherent. So feedback on it is more than welcomed.
Many Bayesians model rational agents using the following two principles
* At any moment, the agent’s credal states are represented by a probability function.
* From moment to moment, the agent’s credal states are updated by conditionalisation on the evidence received.
Of course these are idealisations, and many other people have been interested in relaxing them. One relaxation that has got a lot of attention in recent years is the idea that we should represent agents not by single probability functions, but by _sets_ of probability functions. We then say that the agent regards q as more probable than r iff for all probability functions Pr in the set, Pr(q) > Pr(r). This allows that the agent need not hold that q is more probable than r, or r more probable than q, or that q and r are equally probable, for arbitrary q and r. And that’s good because it isn’t a rationality requirement that agents make pairwise probability judgments about all pairs of propositions.
Now what effect on the model does this relaxation have on the principle about updating? The standard story (one that I’ve appealed to in the past) is that the ideal agent updates by conditionalising all the functions in the set. So if we write PrE for the function such that PrE(x) = Pr(x | E), and S is the set of probability functions representing the agents credal state before the update, then {PrE: Pr is in S} is the set we get after updating.
Heres the option I now think should be taken seriously. Sometimes getting evidence E is a reason for the agent to have more determinate probabilistic opinions than she previously had. (I’m using ‘determinate’ in a sense such that the agent represented by a single probability function has maximally determinate probabilistic opinions, and the agent represented by the set of all probability functions has maximally indeterminate opinions.) In particular, it can be a reason for culling the set down a little, as well as conditionalising on what remains. So we imagine that updating on E involves a two-step process.
* Replace S with U(S, E)
* Update U(S, E) to {PrE: Pr is in U(S, E)}
In this story, U is a function that takes two inputs: a set of probability functions and a piece of evidence, and returns a set of probability functions that is a subset of the original set. (The last constraint might want to be weakened for some purposes.) Intuitively, it tells the agent that she neednt have worried that certain probability functions were the ones she should be using. We can put forward formal proposals for U, such as the following
bq. Pr is in U(S, E) iff Pr is in S and there is no Pr* in S such that Pr*(E) > 2Pr(E)
Thats just an illustration, but its one kind of thing I have in mind. (Im particularly interested in theories where U is only knowable a posteriori, so it isnt specifiable by such an abstract rule that isnt particularly responsive to empirical evidence. So dont take that example too seriously.) The question is, what could we say against the coherence of such an updating policy?
One thing we certainly cant say is that it is vulnerable to a Dutch Book. As long as U(S, E) is always a subset of S, it is easy to prove that there is no sequence of bets such that the agent regards each bet as strictly positive when it is offered and such that the sequence ends in sure loss. In fact, as long as U(S, E) overlaps S, this is easy to show. Perhaps there is some way in which such an agent turns down a sure gain, though I cant myself see such an argument.
In any case, the original Dutch Book argument for conditionalisation always seemed fairly weak to me. As Ramsey pointed out, the point of the Dutch Book argument was to dramatise an underlying inconsistency in credal states, and theres nothing inconsistent about adopting any old updating rule you like. (At the Dutch Book symposium last August this point was well made by Colin Howson.) So the threshold for endorsing a new updating rule might be fairly low.
It might be that the particular version of U proposed above is non-commutative. Even if thats true, Im not 100% sure its a problem, and in any case Im sure there are other versions of U that are commutative.
In the absence of better arguments, Im inclined to think that this updating proposal is perfectly defensible. Below the fold Ill say a little about why this is philosophically interesting because of its connection to externalist epistemologies and to dogmatism.
Continue reading →