Abstract
This paper considers a problem for Bayesian epistemology and proposes a solution to it. On the traditional Bayesian framework, an agent updates her beliefs by Bayesian conditioning, a rule that tells her how to revise her beliefs whenever she gets evidence that she holds with certainty. In order to extend the framework to a wider range of cases, Jeffrey (1965) proposed a more liberal version of this rule that has Bayesian conditioning as a special case. Jeffrey conditioning is a rule that tells the agent how to revise her beliefs whenever she gets evidence that she holds with any degree of confidence. The problem? While Bayesian conditioning has a foundationalist structure, this foundationalism disappears once we move to Jeffrey conditioning. If Bayesian conditioning is a special case of Jeffrey conditioning, then they should have the same normative structure. The solution? To reinterpret Bayesian updating as a form of diachronic coherentism.
Similar content being viewed by others
Notes
Thanks to Jonathan Weisberg for this last example.
A couple of notes about terminology. First, I will for the most part use the expressions ‘belief transitions’ and ‘updates’ interchangeably. Notably both expressions will sometimes be used in contexts where their standing as diachronically coherent is what is at issue. Relatedly, I will use the term ‘evidence’ a little ambiguously throughout. For instance, I will talk about ‘uncertain evidence’ in contexts where whether uncertain information meets the relevant normative constraint on evidence is, again, the question we are trying to decide. While the ambiguity here isn’t ideal, context should make clear enough what is being intended.
For the proof of this, see Blackwell and Girshick (1979, p. 218) and Diaconis and Zabell (1982, p. 824). As Diaconis and Zabell note, there will be cases where our conditional probabilities are undefined for some partition—namely, where we assign a member of our partition a credence of zero. However, their result still holds for all updates if we take a sufficient partition to be a partition that is sufficient to represent a probabilistic belief transition as an update that is conditional on every proposition in this partition for which a conditional probability is defined (Cf. Blackwell and Girshick (1979, §8.4.3)).
Perhaps an easier way of understanding what makes knowledge and access and reliability substantive, rather than formal, requirements is that they can be made sense of out of context. They can be defined independently of the other epistemic commitments one happens to hold. Formal norms are different in this regard. Take, for instance, the formal norm of consistency. The way that a Bayesian defines consistency will differ from the way that a defender of Dempster-Shafer theory does this. While the Bayesian will spell out her notion of consistency by means of probability functions (e.g., “X is consistent if it treats these probability functions in this way”), a Dempster-Shafer theorist, who trades in belief functions, will define her notion of consistency in terms of those. Unlike knowledge or access or reliability, the norm of consistency is so thin that it isn’t complete without a framework already in place to fill it in.
A consequence of this is that the Normative Approach is more perspicuously formulated in terms of a set of evidence partitions, instead of just one. How this can be done will become clearer in Sect. 5.
Despite this, I will continue to speak more loosely in terms of ‘norms’ and ‘oughts’. I do this mainly for ease of exposition, but also because it seems plausible that this language can be appropriately applied, in an evaluative way, to states of affairs. (For this point, see, for instance, Chrisman (2008)).
I continue to take ‘Bayesian conditioning’ to refer, very generally as in Sect. 1, to Bayesian updating on certain evidence. Those who have explicitly taken Bayesian conditioning to instantiate a foundationalist structure include Christensen (1992), Bradley (2005), Weisberg (2009) and Titelbaum (forthcoming), among others, though these discussions do not necessarily take this foundationalism to provide the sort of formal account of evidence I have in mind.
By contrast, many non-classical foundationalist accounts, like Goldman (1988)’s reliabilism, Plantinga (1991)’s proper basicality, Pryor (2000)’s dogmatism and Huemer (2007)’s phenomenal conservativism defend some form of fallible foundationalism. Each of these accounts maintains that the property that makes beliefs basic is something other than their infallibility. We’ll return to consider the relevance of these accounts in the next section.
One might object that to identify a certain belief with an infallible one is to make precisely the sort of substantive assumption that a formal account of evidence is supposed to avoid. However, this assumption seems less divisive than the ones that we appealed to earlier as paradigmatically substantive assumptions, e.g., that internalism or externalism is the correct theory of justification, etc. Moreover, if one is uncomfortable with this assumption, one can do without it since, as we’ve already said, (3) is not a necessary component of a foundationalist account. As I will go on to argue in the next section, it doesn’t matter much how we think about the property that makes a state foundational. In assuming that the property that makes some state a foundation is certainty, I am simply following other Bayesians who have made this assumption (see fn. 9).
I take this to be consistent with the idea that before a belief becomes evidence—when it is merely a proposition that the agent has some credence in—it is able to receive some inferential support.
Thanks to an anonymous referee for raising this objection.
Thanks to an anonymous referee for drawing my attention to this proposal.
Of course, there are many coherentist accounts, and not all of them endorse all three of these constraints. Ewing (1934), for instance, takes coherence to be a matter of logical coherence alone, while Lewis (1946) takes coherence to be a matter of evidential coherence. Notably, BonJour (1985) takes coherence to be a matter of logical and probabilistic coherence, as well as a number of other requirements that might be held to fall under the heading of evidential coherence (see pp. 97-99 for the details).
Many contemporary coherentist accounts spell this out probabilistically [for one notable account, see Fitelson (2003)]. For instance, a very simple view might hold that, in the previous case, what accounts for the increased coherence provided by \(\textit{P}_{3}\) is that \(\textit{p}(\textit{P}_{1}|\textit{P}_{2})<\textit{p}(\textit{P}_{1}|\textit{P}_{2}\wedge \textit{P}_{3}\)) and \(\textit{p}(\textit{P}_{2}|\textit{P}_{1})<\textit{p}(\textit{P}_{2}|\textit{P}_{1}\wedge \textit{P}_{3}\)).
Thanks to an anonymous referee for raising this objection.
Thanks to an anonymous referee for raising this objection.
This follows from standard deontic logic, which says that a norm can’t require X if X is logically impossible.
For a more detailed discussion of this point, see Cassell (2020).
Can we reject one of these two claims? I’ve already suggested that (1) seems unimpeachable. What about (2)? Perhaps one might want to argue that the kind of defect the non-commutativity of Jeffrey conditioning represents is not a defect of particular updates, but is a sort of defect that inheres in the framework in general. However, it’s difficult to imagine what it could mean for a framework to be defective in a way that doesn’t directly derive from the particular updates that it produces.
Thanks to an anonymous referee for raising this concern.
The necessity claim is easy to see. Since Jeffrey updating fixes the probabilities on the partition (i.e., \(\textit{P}_\mathcal {EF}(F_{j})=\textit{q}_{j}\) and \(\textit{P}_\mathcal {FE}(E_{i})=\textit{p}_{i}\)), an update will be commutative only if \(\textit{P}_\mathcal {EF}(E_{i})=\textit{p}_{i}\) and \(\textit{P}_\mathcal {FE}(F_{j})=\textit{q}_{j}\), for all i and j (p.825). Diaconis and Zabell don’t give a proof of the sufficiency claim, but note that it follows from Csiszar (1975, theorem 3.2).
Of course, Jeffrey himself did not defend this account of evidence. However, our discussion assumes that there are different ways of interpreting the core commitments of Jeffrey conditioning, and of the Bayesian updating framework more generally, that have different consequences for how we should think about evidence. This assumption seems especially plausible in light of the fact that Jeffrey’s own views about his updating rule seem to have evolved over time.
See Diaconis and Zabell (1982, §4) for a similar proposal.
References
Blackwell, D. A., & Girshick, M. A. (1979). Theory of games and statistical decisions. North Chelmsford: Courier Corporation.
BonJour, L. (1985). The structure of empirical knowledge. Cambridge: Harvard University Press.
Bradley, R. (2005). Radical probabilism and Bayesian conditioning. Philosophy of Science, 72(2), 342–364.
Broome, J. (1999). Normative requirements. Ratio, 12(4), 398–419.
Cassell, L. (2020). Commutativity, normativity and holism: Lange revisited. Canadian Journal of Philosophy, 50(2), 159–173.
Chrisman, M. (2008). Ought to believe. Journal of Philosophy, 105(7), 346–370.
Christensen, D. (1992). Confirmation holism and Bayesian epistemology. Philosophy of Science, 59(4), 540–57.
Csiszar, I. (1975). Divergence geometry of probability distributions and minimization problems. The Annals of Probability, 3(1), 146–158.
de Finetti, B. (1937). Foresight: Its logical laws, its subjective sources. In H. E. Kyburg & H. E. K. Smokler (Eds.), Studies in Subjective Probability. Huntington, NY: Robert E. Kreiger Publishing Co.
de Finetti, B. (1972). Probability, induction and statistics. New York: Wiley.
Diaconis, P., & Zabell, S. (1982). Updating subjective probability. Journal of the American Statistical Association, 77(380), 822–830.
Domotor, Z. (1980). Probability kinematics and representation of belief change. Philosophy of Science, 47, 384–403.
Doring, F. (1999). Why Bayesian psychology is incomplete. Philosophy of Science (Proceedings), 66, 379–389.
Earman, J. (1992). Bayes or bust? A critical examination of bayesian confirmation theory. Cambridge: MIT Press.
Ewing, A. C. (1934). Idealism: A critical survey. London: Methuen.
Field, H. (1978). A note on Jeffrey conditionalization. Philosophy of Science, 45(3), 361–367.
Fitelson, B. (2003). A probabilistic measure of coherence. Analysis, 63, 194–199.
Goldman, A. (1988). Strong and weak justification. In J. Tomberlin (Ed.), Philosophical perspectives 2: Epistemology (pp. 51–69). Atascadero, CA: Ridgeview Publishing Co.
Greaves, H., & Wallace, D. (2006). Justifying conditionalization: Conditionalization maximizes expected epistemic utility. Mind, 115(459), 607–632.
Harman, G. (1986). Change in view: Principles of reasoning. Cambridge: MIT Press.
Hawthorne, J. (2004). Three models of sequential belief updating on uncertain evidence. Journal of Philosophical Logic, 33(1), 89–123.
Howson, & Urbach, (1989). Scientific reasoning: The Bayesian approach. Chicago: Open Court Publishing Co.
Huemer, M. (2007). Compassionate phenomenal conservativism. Philosophy and Phenomenological Research, 74(1), 30–55.
Jeffrey, R. (1965). The logic of decision. Chicago: Chicago University Press.
Jeffrey, R. (1975). Carnap’s empiricism. In G. Maxwell & R. M. Anderson Jr. (Eds.), Minnesota studies in the philosophy of science. Induction, probability, and confirmation (Vol. 6, pp. 37–49). Minneapolis: University of Minnesota Press.
Jeffrey, R. (1983). Bayesianism with a human face. In J. Earman (Ed.), Testing scientific theories, 133–56. Minneapolis: University of Minnesota Press.
Jeffrey, R. (1992). Probability and the art of judgment. Cambridge University Press.
Joyce, J. (2009). Accuracy and coherence: Prospects for an alethic epistemology of partial belief. In F. Huber & C. Schmidt-Petri (Eds.), Degrees of belief (pp. 263–297). New York: Synthese, Springer.
Joyce, J. M. (1998). A nonpragmatic vindication of probabilism. Philosophy of Science, 65(4), 575–603.
Kolodny, N. (2007). How does coherence matter? Proceedings of the Aristotelian Society (Hardback), 107(1), 229–263.
Lange, M. (2000). Is Jeffrey conditioning defective in virtue of being non-commutative. Synthese, 123(3), 393–403.
Leitgeb, H., & Pettrigrew, R. (2010a). An objective justification of bayesianism I: Measuring inaccuracy. Philosophy of Science, 77(2), 201–235.
Leitgeb, H., & Pettigrew, R. (2010b). An objective justification of Bayesianism II: The consequences of minimizing inaccuracy. Philosophy of Science, 77(2), 236–272.
Lewis, C. I. (1946). An analysis of knowledge and valuation. Chicago: Open Court.
Lewis, D. (1999). Papers in metaphysics and epistemology (Vol. 2). Cambridge: Cambridge University Press.
McGrew, L. (2010). Probability kinematics and probability dynamics. Journal of Philosophical Research, 35, 89–105.
McGrew, L. (2014). Jeffrey conditioning, rigidity and the defeasible red jelly bean. Philosophical Studies, 168(2), 569–582.
Pettigrew, R. (2016). Accuracy and the laws of credence. Oxford: Oxford University Press.
Plantinga, A. (1991). Warrant and designing agents: A reply to James Taylor. Philosophical Studies, 64(2), 203–215.
Pryor, J. (2000). The skeptic and the dogmatist. Nous, 34(4), 517–549.
Schervish, M. J., Seidenfeld, T., & Kadane, J. B. (2000). How sets of coherent probabilities may serve as models for degrees of incoherence. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 8, 347–355.
Schervish, M. J., Seidenfeld, T., & Kadane, J. B. (2002). Measuring incoherence. Sankhya: The Indian Journal of Statistics, 64, 561–587.
Schervish, M. J., Seidenfeld, T., & Kadane, J. B. (2003). Measures of incoherence: How not to gamble if you must. Bayesian statistics, 7, 385–402.
Skyrms, B. (1987). Dynamic coherence and probability kinematics. Philosophy of Science, 54(1), 1–20.
Staffel, J. (2015). Measuring the overall incoherence of credence functions. Synthese, 192(5), 1467–1493.
Teller, P. (1973). Conditionalization and observation. Synthese, 26, 218–258.
Titelbaum, M. (forthcoming). Normative modeling. In Horvath, J. (Ed.), Methods in analytic philosophy: A contemporary reader. Bloomsbury Academic Press.
Weisberg, J. (2009). Commutativity or holism? A dilemma for conditionalizers. British Journal for the Philosophy of Science, 60(4), 793–812.
Weisberg, J. (2015). Updating, undermining and independence. British Journal for the Philosophy of Science, 66(1), 121–159.
Acknowledgements
Thanks to Eric Campbell, Pete Graham, Sophie Horowitz, Thomas Icard, Hilary Kornblith, Mike Nance, Luis Oliveira, Alejandro Pérez Carballo, Jessica Pfeifer, Joel Pust, Jonah Schupbach, Whitney Schwab, Julia Staffel, Mike Titelbaum, Steve Yalowitz and audiences at the University of Delaware, the Pacific APA, the Formal Epistemology Workshop, the Society for Exact Philosophy, the Canadian Philosophical Association annual meeting and the Northern New England Philosophical Association annual meeting for very helpful comments and suggestions. Special thanks to Chris Meacham, Willam Talbott, Jonathan Weisberg and two anonymous referees for the journal for detailed written feedback on earlier versions of this paper that helped improve it considerably.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Cassell, L. Bayesian coherentism. Synthese 198, 9563–9590 (2021). https://doi.org/10.1007/s11229-020-02656-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-020-02656-6