A Note on Deterministic Updating and van Fraassen's symmetry argument for Conditionalization. Philosophical Studies.

In a recent paper, Pettigrew (Philos Stud, 2019. https://doi.org/10.1007/ s11098-019-01377-y) argues that the pragmatic and epistemic arguments for Bayesian updating are based on an unwarranted assumption, which he calls deterministic updating, and which says that your updating plan should be deterministic. In that paper, Pettigrew did not consider whether the symmetry arguments due to Hughes and van Fraassen make the same assumption (Hughes and van Fraassen in: Proceedings of the Biennial Meeting of the Philosophy of Science Association. pp. 851–869, 1984; van Fraassen in: Rescher N (ed) Scientiﬁc inquiry in philosophical perspective. University Press of America, Lanham, pp. 183–223, 1987). In this note, I show that they do. , ,

According to Bayesians, when I learn a proposition to which I assign a positive credence, I should plan to update my credences so that my new unconditional credence in a proposition is my old conditional credence in that proposition conditional on the proposition I learned. In other words, if P is my credence function before I learn E, and P H is the credence function I plan to adopt in response to learning E, and PðEÞ [ 0, then it ought to be the case that, for all X in F , P H ðXÞ ¼ P E ðXÞ :¼ PðXjEÞ :¼ PðXEÞ PðEÞ : There are many arguments for this Bayesian norm of updating. Some pay attention to the pragmatic costs of updating any other way (Brown 1976;Lewis 1999); others pay attention to the epistemic costs, which are spelled out in terms of the inaccuracy of the credences that result from the updating plans (Oddie 1997;Greaves and Wallace 2006;Briggs and Pettigrew 2018); some show that updating as the Bayesian requires, and only updating that way, preserves as much as possible about the prior credences while still respecting the new evidence (Diaconis and Zabell 1982;Dietrich et al. 2016). And then there are the symmetry arguments that are our focus here (Hughes and van Fraassen 1984;van Fraassen 1987;Grove and Halpern 1998).
In a recent paper, I argued that the pragmatic and epistemic arguments for Bayesian updating are based on an unwarranted assumption, which I called deterministic updating, and which says that your updating plan should be deterministic (Pettigrew 2019). An updating plan specifies how you'll update in response to a specific piece of evidence. Such a plan is deterministic if there's a single credence function that it says you'll adopt in response to that evidence, rather than a range of different credence functions that you might adopt in response. That is, if E is a proposition you might learn, deterministic updating says that your plan for responding to receiving E as evidence should take the form: It should not take the form: If I learn E, I'll adopt P H or I'll adopt P y or ... or I'll adopt P .
In that paper, I did not consider whether the symmetry arguments due to Hughes and van Fraassen make the same assumption. In this note, I show that they do.

The symmetry argument for conditionalization
Let's start by laying out the symmetry argument. Suppose W is a set of possible worlds, and F is an algebra over W. Then an updating plan on M ¼ ðW; F Þ is a function U M that takes a credence function P defined on F and a proposition E in F and returns the set of credence functions that the updating plan endorses as responses to learning E for those with credence function P. A family of updating plans contains an updating plan for each M ¼ ðW; F Þ. Then we impose four conditions on a family of updating plans U.
Coherence An updating plan should take a probabilistic credence function and a proposition and return a set of probabilistic credence functions.
More precisely: If P is a probabilistic credence function, and P H is in U M ðP; EÞ, then P H is a probabilistic credence function.
Deterministic Updating An updating plan should endorse only one credence function as a correct response to learning a piece of evidence to which the prior assigned positive credence.
Certainty Any credence function that an updating plan endorses as a response to learning E should be certain of E.
More precisely: If P H is in U M ðP; EÞ, then P H ðEÞ ¼ 1.
Symmetry The way that an updating plan would have you update should not be sensitive to the way the possibilities are represented.
More precisely: Let M ¼ ðW; F Þ and M 0 ¼ ðW 0 ; F 0 Þ. Suppose f : W ! W 0 is a surjective function. That is, for each w 0 in W 0 , there is w in W such that f ðwÞ ¼ w 0 . And suppose for each X in F 0 , f À1 ðXÞ ¼ fw 2 W j f ðwÞ 2 Xg is in F . Then the worlds in W 0 are coarse-grained versions of the worlds in W, and the propositions in F 0 are coarse-grained versions of those in F . Now, given a credence function P on F , let f(P) be the credence function over F 0 such that f ðPÞðXÞ ¼ Pðf À1 ðXÞÞ. Then the set of credence functions that U M 0 endorses as responses to learning E 0 for someone with prior f(P) is the image under f of the set of credence functions that U M endorses as responses to learning f À1 ðE 0 Þ for someone with prior P. That is, Now, van Fraassen proves that these four conditions together entail the Bayesian rule of updating: Conditionalization An updating plan should exhort you to update by conditionalizing on any piece of evidence to which your prior assigns positive credence.

The role of Deterministic Updating
The problem with van Fraassen's argument is that, while Coherence and Certainty are uncontroversial, and Symmetry is very plausible, there is no good reason to assume Deterministic Updating. After all, there's nothing irrational about making non-deterministic plans in general. On Friday, I might plan as follows: If it rains on Saturday, I'll do the laundry or I'll darn my socks. This plan is non-deterministic; but it seems quite reasonable. And the same goes for non-deterministic updating plans. However, the symmetry argument cannot go through without assuming Deterministic Updating. To see this, consider the following updating rule, which I'll call V. To define it, we must first introduce some notation. Suppose Then, if P is a credence function on F and E is in F , let: That is, V M takes P and E and returns the set of valuation functions of those worlds in W at which E is true.
Theorem 2 V satisfies Coherence ? Certainty ? Symmetry, but not Deterministic Updating or Conditionalization.
Proof in Appendix. So V satisfies Coherence, Certainty, and Symmetry, but, it is not the Bayesian updating rule. And this is possible because it does not satisfy Deterministic Updating. The apparent upshot is that we must assume Deterministic Updating if we are to use van Fraassen's symmetry considerations to establish Conditionalization. But, as I pointed out in my previous paper, there does not seem to be any principled reason to require it.

Other conditions on updating rules
But perhaps this is a little quick. After all, we have no reason to think that Coherence, Certainty, and Symmetry exhaust the conditions we should impose on updating rules. Van Fraassen lists only those because, together with Deterministic Updating, they are sufficient to pin down Conditionalization-he has no need to look for any further conditions. But if we drop Deterministic Updating and find that Conditionalization doesn't follow, then perhaps we can nonetheless add further well-motivated conditions to make up for the shortfall.
So, is there some further condition that V fails to satisfy? Yes, there are some. But we can easily find closely related updating plans that do satisfy these further conditions, as well as Coherence, Certainty, and Symmetry, but which do not satisfy Deterministic Updating or Conditionalization. We'll describe these below. After we've done this, we'll look at a further condition that, along with the others, entails Deterministic Updating and Conditionalization. But we'll note that it might well be too strong. Its intuitive force can be captured by a weaker principle that our amended versions of V satisfy.
Here's the first of our further conditions: Stationarity Updating on E should have no effect if you are already certain of E. Evidential Regularity If you assign positive credence to a possibility before updating, and the evidence you learn doesn't rule out that possibility, then the updating rule should demand that you assign positive credence to that possibility after learning.
More precisely: If PðwÞ [ 0, and E is true at w, and P H is in U M ðP; EÞ, then P H ðwÞ [ 0.
Responsiveness It should at least be possible for your prior to make a difference to your posterior.
More precisely: There are P 1 ; P 2 such that P 1 ðEÞ; P 2 ðEÞ [ 0, and UðP 1 ; EÞ 6 ¼ UðP 2 ; EÞ. W does not satisfy Evidential Regularity or Responsiveness. But we can alter it so that it does. Given 0 k 1, let X k be the following family of updating plans: , then X k satisfies Coherence ? Certainty ? Symmetry ? Stationarity ? Evidential Regularity ? Responsiveness.
To state the next property, we need a measure of distance between credence functions defined on the same algebra F . There are many we could use, but for our purposes it will suffice to use the most natural, which sums up the differences between the credences that they assign. Clearly, this only works if F is finite.

Proof in Appendix.
Next, we come to a condition that, together with Stationarity, entails Deterministic Updating.
Strong order invariance Updating first on E and then on EF should always result in the same posteriors as updating first on F and then on EF. Proof in Appendix. How should we respond to this? We might simply accept Strong Order Invariance and use it, Stationarity, and Certainty in place of Deterministic Updating to plug the hole in van Fraassen's symmetry argument for Conditionalization. But another possibility is that we find Strong Order Invariance too strong. We might find that it is too much to ask that whichever choice you make after learning E will then lead to the same options after you then learn EF as if you first learn F, make any choice in response to that, and then learn EF. Instead, we might think: Weak Order Invariance Updating first on E and then on EF should sometimes result in the same posteriors as updating first on F and then on EF.
More precisely: If PðEFÞ [ 0, then there are P y in U M ðP; EÞ and P yy in U M ðP y ; EFÞ as well as P H in U M ðP; FÞ and P HH in U M ðP H ; EFÞ such that P yy ¼ P HH . Now, note that Y satisfies Coherence ? Certainty ? Symmetry ? Stationarity ? Evidential Regularity ? Responsiveness ? Continuity ? Weak Order Invariance. So those conditions do not entail Deterministic Updating or Conditionalization.
There are no doubt further conditions on updating rules we might consider that would plug the gap left in the symmetry argument for Conditionalization when we reject Deterministic Updating, but I will not consider them. I will leave our investigation here, noting that, relative to the conditions we've considered, the success of the symmetry argument turns on the choice between Strong and Weak Order Invariance.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creativecommons.org/licenses/by/4.0/.

Appendix: Proofs of results
Theorem 2 V satisfies Coherence ? Certainty ? Symmetry, but not Deterministic Updating.
Proof It is easy to see that V satisfies Coherence and Certainty, since each v w is a probabilistic credence function, and since each v w is certain of E for each w at which E is true. To see that V satisfies Symmetry, the crucial fact is this: for each w in W, f ðv w Þ ¼ v f ðwÞ . Proof of this little fact: for any X in F 0 , f ðv w ÞðXÞ ¼ 1 , v w ðf À1 ðXÞÞ ¼ 1 , w 2 f À1 ðXÞ , f ðwÞ 2 X , v f ðwÞ ðXÞ ¼ 1.
Back to the main proof. First, take a credence function in Proof Y satisfies Coherence because P E and v w are both probabilistic credence functions, and thus any mixture of them is as well. Y satisfies Certainty because P E is certain of E and so is v w , whenever E is true at w, and so any mixture of them is certain of E. The proof that Y satisfies Symmetry proceeds similarly to the proof that V does. We simply add the fact that f ðP E Þ ¼ f ðPÞ f ðEÞ . Y satisfies Stationarity because, if PðEÞ ¼ 1, then PðEÞP E þ ð1 À PðEÞÞv w ¼ P E ¼ P, for all w. Y satisfies Evidential Regularity, because if PðwÞ [ 0 and E is true at w, then PðEÞP E ðwÞ [ 0 and so PðEÞP E ðwÞ þ ð1 À PðEÞÞv w 0 ðwÞ [ 0. Y satisfies Responsiveness, because P 1 ðEÞP 1 ðÀjEÞ þ ð1 À P 1 ðEÞÞv w ðÀÞ 6 ¼ P 2 ðEÞP 2 ðÀjEÞ þ ð1 À P 2 ðEÞÞv w ðÀÞ for many priors P 1 ; P 2 . Y satisfies Continuity, because if e [ 0, we let d ¼ e 2jF j . Then, if DðP 1 ; P 2 Þ\d, then jð1 À P 1 ðEÞÞ À ð1 À P 2 ðEÞÞj ¼ jP 1 ðEÞ À P 2 ðEÞj\ e 2jF j and jP 1 ðXEÞ À P 2 ðXEÞj\ e 2jF j . So X X2F j½ðP 1 ðEÞP 1 ðXjEÞ þ ð1 À P 1 ðEÞÞv w ðXÞÞ À ½ðP 2 ðEÞP 2 ðXjEÞ þ ð1 À P 2 ðEÞÞv w ðXÞÞj ¼ X X2F jðP 1 ðXEÞ À P 2 ðXEÞÞ þ ðð1 À P 1 ðEÞÞ À ð1 À P 2 ðEÞÞÞv w ðXÞj \ X X2F jP 1 ðXEÞ À P 2 ðXEÞj þ jP 1 ðEÞ À P 2 ðEÞj \ X Proof Suppose U satisfies Strong Order Invariance and Stationarity. Suppose E is in F and > is the top element of F , so that > is true at all worlds; and suppose P is defined on F . We're going to consider what happens when you update first on E, then on E> (which is, of course, E), and what happens when you update first on > and then on E>. Take P y from U M ðP; EÞ. By Certainty, P y ðEÞ ¼ 1. Then, by Stationarity, U M ðP y ; E>Þ ¼ fP y g. Also by Stationarity, U M ðP; >Þ ¼ fPg, since Pð>Þ ¼ 1. So, by Strong Order Invariance U M ðP; EÞ ¼ U M ðP; E>Þ ¼ U M ðP y ; E>Þ ¼ fP y g as required. h