Skip to main content
Log in

On the proper formulation of conditionalization

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

Conditionalization is a norm that governs the rational reallocation of credence. I distinguish between factive and non-factive formulations of Conditionalization. Factive formulations assume that the conditioning proposition is true. Non-factive formulations allow that the conditioning proposition may be false. I argue that non-factive formulations provide a better foundation for philosophical and scientific applications of Bayesian decision theory. I furthermore argue that previous formulations of Conditionalization, factive and non-factive alike, have almost universally ignored, downplayed, or mishandled a crucial causal aspect of Conditionalization. To formulate Conditionalization adequately, one must explicitly address the causal structure of the transition from old credences to new credences. I offer a formulation of Conditionalization that takes these considerations into account, and I compare my preferred formulation with some prominent formulations found in the literature.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

Notes

  1. I discuss cases where P(E) = 0 in (Rescorla 2018).

  2. The possibility of misplaced certainty bears upon some well-known arguments that seek to justify credal norms. The familiar Dutch Book arguments for Conditionalization and Reflection—as presented, say, by Skyrms (1987)—assume that the agent becomes newly certain of a true proposition. Furthermore, Schoenfield (2017) shows that expected accuracy arguments for Conditionalization go through only if we assume that the agent is certain she will become newly certain of a true proposition. My discussion suggests that these arguments are problematic. I will discuss the implications of misplaced certainty for Dutch book arguments and expected accuracy arguments in future work.

  3. (5) incorporates a “total evidence” requirement: E is the strongest proposition with Pnew(E) = 1. This requirement is the usual way that authors specify a unique privileged conditioning proposition (up to logical equivalence) among all those propositions that receive new credence 1. The total evidence requirement favors E rather than some weaker logical consequence of E as the conditioning proposition. (6) incorporates no total evidence requirement. Instead, (6) specifies a unique privileged conditioning proposition by invoking the causal structure of credal evolution. If the new credal assignment to E mediates the transition from Pold to Pnew, then no distinct proposition plays that same mediating role. (6) therefore pinpoints E rather than any weaker logical consequence as the appropriate conditioning proposition.

  4. To capture the intuitive thought more fully, one must strengthen I.4 so as to prohibit any sequence of arrows from C to Y that bypasses X. This is one reason why I.1–I.4 are necessary but not sufficient for C = c to be an intervention on X with respect to Y.

  5. In (Rescorla 2014), I argue that interventions shed light upon mental causation.

  6. One can imagine an agent who automatically assigns credence 1 to any logical truth, without bothering to recompute that credence in light of new evidence. For such an agent, Pnew({E, ¬E}) is not causally relevant to Pnew(H) when H contains only logical truths. This alternative causal structure is also consistent with (10).

  7. In the modified Jeffrey counterexample, D = 1 controls Pnew({E1, E2}), so Fig. 11 contains no arrow into Pnew({E1, E2}) from any variable other than D. One can also construct counterexamples in which D = 1 does not control Pnew({E1, E2}) but is still an actual cause of Pnew({E1, E2}) having the value it has. For reasons of space, I will not explore such counterexamples here.

  8. Theorists who reject the selective approach may consider revising my definition of “mediation” in an effort to achieve similar results. One idea is to supplement M.2 with a further clause M.2.g along the following lines: If the causal link between D and Pnew(H) had been broken, so that D was no longer causally relevant to Pnew(H), and if Pold and Pnew(E) had had the same values as they in fact do, then Pnew(H) would not have had value α. The effect of M.2.g is to allow actual causes that make no real difference to Pnew(H). To illustrate, let D be a binary variable whose two values reflect whether you take a pill that sets Pnew(H) = β ≠ α (1 signifies that you take the pill; 0 signifies that you do not). Suppose that D = 0. Then D violates M.2.g: you could break D’s causal influence on Pnew(H) by ingesting a second pill that counteracts the credence-altering properties of the first pill, and doing so would not change Pnew(H) because you did not in fact ingest the first pill. Thus, even if we count D = 0 as an actual cause of Pnew(H) = α, the revised definition of “mediation” still allows us to say that the new credal assignment over E mediates the credal transition. I leave further exploration of such revisionary stratagems to those who reject the selective approach.

  9. Williamson’s proof requires the assumption that, for all propositions H, Pnew(H) = 1 if PE (H) = 1. The assumption is satisfied here, since E is the strongest proposition F such that Pnew (F) = 1 and the strongest proposition F such that PE (F) = 1. Diaconis and Zabell (1982) prove a result along the same lines for probability measures over subsets of a countable outcome space. In this setting, the requisite partition {Ei} may be countably infinite.

  10. Elsewhere, Joyce (2019) uses similar causal language to formulate Conditionalization. He says that you should conditionalize on E when you have “a learning experience whose sole immediate effect” is to render you certain of E. This formulation is relatively close to my own: it uses causal language, and it seems to be non-factive. However, it does not handle modified Jeffrey-style counterexamples along the lines of Fig. 11.

  11. When explaining Jeffrey Conditionalization, Jeffrey (1983, p. 173) assumes that the change from Pold to Pnew “originates” in the partition propositions {Ei}. He then defines “origination” in terms of the invariance condition: Pold( . \(|\) Ei) = Pnew( . \(|\) Ei), for all i. Jeffrey’s discussion epitomizes how authors often recognize that causal structure is important yet balk at incorporating explicitly causal vocabulary into the official formulation of Conditionalization or Jeffrey Conditionalization.

  12. Titelbaum calls this requirement “Limited Conditionalization.” He reserves the label “Conditionalization” simpliciter for a similar requirement that omits the subset clause Ck ⊆ Cj (p. 52). He also articulates a generalized requirement, “Generalized Conditionalization,” designed to cover the cases of memory loss and apparent memory loss discussed in Sect. 7 below. None of Titelbaum’s three formulations attempts to handle Jeffrey-style shifts. Thus, my criticism in the main text applies equally well to all three formulations.

  13. Here we see a major advantage of my formulation over Meacham’s evidence-based formulation. Whatever conception of “evidence” one adopts, memory loss cases look like counterexamples to Meacham’s formulation. Take Talbott’s breakfast example, and let E be the cumulative evidence acquired between July 15, 2015 and July 15, 2016. Meacham’s formulation requires that your new credences on July 15, 2016 be given by conditionalizing on E. Conditionalizing on E would yield credence 1 in the proposition I ate granola for breakfast on July 15, 2015, which seems inappropriate given that you cannot remember what you ate for breakfast that day. Thus, Meacham’s approach yields implausible results in memory loss cases.

References

  • Arntzenius, F. (2003). Some problems for conditionalization and reflection. The Journal of Philosophy, 100, 356–370.

    Article  Google Scholar 

  • Berger, J. (1980). Statistical decision theory and Bayesian analysis. New York: Springer.

    Book  Google Scholar 

  • Briggs, R. (2009). Distorted reflection. Philosophical Review, 118, 59–85.

    Article  Google Scholar 

  • Christensen, D. (2000). Diachronic coherence versus epistemic impartiality. Philosophical Review, 109, 349–371.

    Article  Google Scholar 

  • de Finetti, B. (1970/1974). Theory of probability, (A. Machi and A Smith, Trans.) (Vol. 1). New York: Wiley.

  • Diaconis, P., & Zabell, S. (1982). Updating subjective probability. The Journal of the American Statistical Association, 77, 822–830.

    Article  Google Scholar 

  • Eagle, A. (2011). Introduction. In A. Eagle (Ed.), Philosophy of probability: Contemporary readings. New York: Routledge.

    Google Scholar 

  • Earman, J. (1992). Bayes or bust?. Cambridge: MIT Press.

    Google Scholar 

  • Easwaran, K. (2011). Bayesianism I: Introduction and arguments in favor. Philosophy Compass, 6, 312–320.

    Article  Google Scholar 

  • Fudenberg, D., & Tirole, J. (1991). Game theory. Cambridge: MIT Press.

    Google Scholar 

  • Greaves, H., & Wallace, D. (2006). Justifying conditionalization: Conditionalization maximizes expected epistemic utility. Mind, 115, 607–632.

    Article  Google Scholar 

  • Hacking, I. (1967). Slightly more realistic personal probability. Philosophy of Science, 34, 311–325.

    Article  Google Scholar 

  • Hájek, A. (2009). Dutch book arguments. In P. Anand, P. Pattanaik, & C. Puppe (Eds.), The handbook of rational and social choice. Oxford: Oxford University Press.

    Google Scholar 

  • Hall, N. (2004). Two concepts of causation. In J. Collins, N. Hall, & L. A. Paul (Eds.), Causation and counterfactuals. Cambridge: MIT Press.

    Google Scholar 

  • Halpern, J., & Hitchcock, C. (2015). Graded causation and defaults. The British Journal for the Philosophy of Science, 66, 413–457.

    Article  Google Scholar 

  • Howson, C., & Franklin, A. (1994). Bayesian conditionalization and probability kinematics. The British Journal for the Philosophy of Science, 45, 451–466.

    Article  Google Scholar 

  • Huber, F. (2016). Formal representations of belief. In E. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring 2016). http://plato.stanford.edu/archives/spr2016/entries/formal-belief/.

  • Jeffrey, R. (1983). The logic of decision (2nd ed.). Chicago: University of Chicago Press.

    Google Scholar 

  • Jeffrey, R. (2004). Subjective probability: The real thing. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Jeffreys, H. (1948). Theory of probability (2nd ed.). Oxford: Clarendon Press.

    Google Scholar 

  • Joyce, J. (2009). The development of subjective Bayesianism. In D. Gabbay, S. Hartman, & J. Woods (Eds.), Handbook of the history of logic (Vol. 10). New York: Elsevier.

    Google Scholar 

  • Joyce, J. (2019). Bayes’ theorem. In E. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring 2019). http://plato.stanford.edu/archives/win2016/entries/bayes-theorem/.

  • Lewis, D. (1986). Causation. In Philosophical papers (Vol. 2). Oxford: Oxford University Press.

  • Lewis, D. (1999). Papers in metaphysics and epistemology. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Meacham, C. (2008). Sleeping beauty and the dynamics of de se beliefs. Philosophical Studies, 138, 245–270.

    Article  Google Scholar 

  • Meacham, C. (2016). Understanding conditionalization. Canadian Journal of Philosophy, 45, 767–797.

    Article  Google Scholar 

  • Pearl, J. (2000). Causality: Models, reasoning, and inference. Cambridge: Cambridge University Press.

    Google Scholar 

  • Ramsey, F. P. (1931/1990). Truth and probability. Rpt. in D. H. Mellor (Ed.), Philosophical papers. Cambridge: Cambridge University Press.

  • Rescorla, M. (2014). The causal relevance of content to computation. Philosophy and Phenomenological Research, 88, 173–208.

    Article  Google Scholar 

  • Rescorla, M. (2018). A Dutch book theorem and converse Dutch book theorem for Kolmogorov conditionalization. The Review of Symbolic Logic, 11, 705–735.

    Article  Google Scholar 

  • Savage, L. (1954/1972). The foundations of statistics. Dover: New York.

  • Schaffer, J. (2005). Contrastive causation. Philosophical Review, 114, 297–328.

    Article  Google Scholar 

  • Schoenfield, M. (2017). Conditionalization does not (in general) maximize expected accuracy. Mind, 504, 1155–1187.

    Article  Google Scholar 

  • Skyrms, B. (1987). Dynamic coherence and probability kinematics. Philosophy of Science, 54, 1–20.

    Article  Google Scholar 

  • Talbott, W. (1991). Two principles of Bayesian epistemology. Philosophical Studies, 62, 135–150.

    Article  Google Scholar 

  • Talbott, W. (2015). Bayesian epistemology. In E. Zalta (Ed.), The Stanford encyclopedia of philosophy (Summer 2015). http://plato.stanford.edu/archives/sum2015/entries/epistemology-bayesian/.

  • Titelbaum, M. (2013). Quitting certainties. Oxford: Oxford University Press.

    Google Scholar 

  • van Fraassen, B. (1999). Conditionalization, a new argument for. Topoi, 18, 93–96.

    Article  Google Scholar 

  • Vineberg, S. (2011). Dutch book arguments. In E. Zalta (Ed.), The Stanford encyclopedia of philosophy (Summer 2011), http://plato.stanford.edu/archives/sum2011/entries/dutch-book/.

  • Weisberg, J. (2009). Varieties of Bayesianism. In D. Gabbay, S. Hartman, & J. Woods (Eds.), Handbook of the history of logic (Vol. 10). New York: Elsevier.

    Google Scholar 

  • Williamson, T. (2000). Knowledge and its limits. Oxford: Oxford University Press.

    Google Scholar 

  • Woodward, J. (2003). Making things happen. Oxford: Oxford University Press.

    Google Scholar 

  • Woodward, J. (2015). Interventionism and causal exclusion. Philosophy and Phenomenological Research, 91, 303–347.

    Article  Google Scholar 

Download references

Acknowledgements

I presented versions of this material at Carnegie Mellon University and Stanford University. I thank all the audience members present on those occasions, especially Dmitri Gallow, Clark Glymour, Thomas Icard, and Teddy Seidenfeld. I also thank Christopher Meacham and two anonymous referees for this journal for comments that improved the paper significantly.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Michael Rescorla.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rescorla, M. On the proper formulation of conditionalization. Synthese 198, 1935–1965 (2021). https://doi.org/10.1007/s11229-019-02179-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-019-02179-9

Keywords

Navigation