Skip to main content

Probabilistic measures of coherence: from adequacy constraints towards pluralism

Abstract

The debate on probabilistic measures of coherence flourishes for about 15 years now. Initiated by papers that have been published around the turn of the millennium, many different proposals have since then been put forward. This contribution is partly devoted to a reassessment of extant coherence measures. Focusing on a small number of reasonable adequacy constraints I show that (i) there can be no coherence measure that satisfies all constraints, and that (ii) subsets of these adequacy constraints motivate two different classes of coherence measures. These classes do not coincide with the common distinction between coherence as mutual support and coherence as relative set-theoretic overlap. Finally, I put forward arguments to the effect that for each such class of coherence measures there is an outstanding measure that outperforms all other extant proposals. One of these measures has recently been put forward in the literature, while the other one is based on a novel probabilistic measure of confirmation.

This is a preview of subscription content, access via your institution.

Fig. 1

Notes

  1. However, see Roche and Schippers (2013) for arguments directed against Siebel (2011), and Schippers (2014a) for an approach to measuring coherence that is immune to the criticisms raised by Moretti and Akiba (2007) and Siebel (2005).

  2. Another methodological approach for evaluating coherence measures is based on test cases, i.e. paradigmatic situations featuring clearcut intuitions regarding the coherence ordering of sets of propositions. For a systematic evaluation of a great number of test cases see Koscholke (2013).

  3. A proposition \(\varphi \) is called contingent iff it is neither tautologous nor contradictory; under a regular probability, \(0 < \Pr (\varphi )< 1\) for any contingent \(\varphi \).

  4. Further measures are considered in the sequel of the paper.

  5. The distinction between absolute confirmation and incremental confirmation is akin to Carnap’s (1962) distinction between measures of firmness and measures of increase in firmness.

  6. More precisely, there are probability distributions such that \(\Pr (\varphi _1\wedge \ldots \wedge \varphi _n)=\prod _{i\le n}\Pr (\varphi _i)\) and \(\Pr (\varphi _{i_1}\wedge \ldots \wedge \varphi _{i_k})\not =\prod _{j\le k}\Pr (\varphi _{i_j})\) for some set \(\{i_1,\ldots ,i_k\}\subsetneq \{1,\ldots ,n\}\).

  7. For more on this point see Roche (2013); Schippers (2014b), and Schippers and Siebel (2014).

  8. Bovens and Olsson concede that “one could argue that coherence is an ambiguous notion. One can think of coherence as a measure of agreement or as a measure of striking agreement. Coherence is sensitive to the specificity of the information on the latter but not on the former notion” (2000, p. 688f). As argued in the sequel of the paper, I do partly agree with respect to the ambiguity of the notion of coherence. However, part of the argument above against criticism of the equivalence-condition also applies to the view of coherence as striking agreement (cf. Schippers 2014c).

  9. For simplicity we assume that \(\Pr (\varphi |\psi )=0\) whenever \(\psi \) is logically inconsistent. For a discussion of this and related approaches to measure the coherence of inconsistent sets of propositions see Schippers and Siebel (2014).

  10. By now, there is neither a proof to the effect that \(\mathcal{O}\) and \(\mathcal{O}^{*}\) satisfy (Agreement) for all \(n\ge 3\) nor any known counterexample. Indeed, I have tried to find such an example by means of two computer programs that allow to search for probability distributions that violate a given number of constraints. The one is Branden Fitelson’s PrSAT (see Fitelson 2008), the other one has recently been written by Jakob Koscholke. This seems to constitute at least some evidence that both measures might satisfy (Agreement).

  11. A proof is given in Appendix 1.

  12. A proof is given in Appendix 2.

  13. \(\Gamma \) is a maximally consistent subset of \({\Delta }\) iff (i) \(\Gamma \subseteq {\Delta }\), (ii) \(\Gamma \) is consistent, and (iii) there is no other consistent subset \(\Gamma '\) such that \(\Gamma \subsetneq \Gamma '\subseteq {\Delta }\).

  14. Cf. Crupi et al. (2007) and Crupi and Tentori (2013, 2014).

  15. This assertion has been corroborated by a simulation study. In a sample of one million probability distributions over a triple of propositions, in each distribution such that \(\mathcal{RO}\) exceeds 0.7, the coherence value assigned by \(\mathcal{F}\) was always larger than the one assigned by \(\mathcal{RO}\).

  16. This is in line with Glass’ intended reading of his test case (personal communication).

  17. Given the distinction between MIC- and MAC-measures of coherence, it is not initially clear why MAC-coherence measures ought to comply with intuitions in the Tweety example. Might it be the case that what drives our intuition in this example is solely due to the relevance-part of MIC-measures? I think that this is not the case. What makes the pair of propositions incoherent is simply the fact that the probability that Tweety is a bird given that it is a ground-dweller is nearly nil (and vice versa). In a similar vein, Siebel (2005) argues as follows: “Why does the proposition ‘Tweety is a bird’ fit ‘Tweety has wings’ much better than ‘Tweety cannot fly’? Because, one might argue, the probability that Tweety has wings, given that it is a bird, strongly exceeds the probability that Tweety cannot fly, given that it is a bird” (2005, p. 335). Thus, in Siebel’s argument there is no resort to unconditional probabilities whatsoever. Furthermore, Meijs’ (2006) discussion of the Tweety example presupposes that MAC-measures of coherence, like his \(\mathcal{O}^{*}\), can reasonably be applied to this example, although he himself argues for the existence of different classes of coherence measures [see his dissertation (2005)]. Thus, I conclude that in the absence of any persuasive argument to the contrary, MAC-measures of coherence ought to comply with intuitions in the Tweety-example. I thank an anonymous reviewer for pressing me to be clearer on this point.

  18. This latter verdict might be considered somewhat controversial. The overlap measures \(\mathcal{O}\) and \(\mathcal{O}^{*}\) do not have a clear-cut threshold separating coherent and incoherent sets of propositions. To some extent, they only allow for ordinal rankings of higher or lower degrees of coherence. However, given that all assigned degrees of coherence are ‘close’ to the minimum possible degree of coherence, zero, it seems reasonable to infer that both sets are judged incoherent. On the other hand, the posterior probability \(\Pr (\varphi |\psi )\), considered as a measure of the absolute degree of confirmation that \(\psi \) provides for \(\varphi \) clearly suggests \(.5\) as the demarcation value above which a positive degree of confirmation is assigned. This value transfers to the corresponding coherence measure \(\mathcal{C}_f\).

References

  • Akiba, K. (2000). Shogenji’s probabilistic measure of coherence is incoherent. Analysis, 60, 356–9.

    Article  Google Scholar 

  • BonJour, L. (1985). The structure of empirical knowledge. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Bovens, L., & Hartmann, S. (2003). Bayesian epistemology. Oxford: Oxford University Press.

    Google Scholar 

  • Bovens, L., & Hartmann, S. (2005). Coherence and the role of specificity: A response to Meijs and Douven. Mind, 114, 365–69.

    Article  Google Scholar 

  • Bovens, L., & Olsson, E. J. (2000). Coherentism, reliability and Bayesian networks. Mind, 109, 685–719.

    Article  Google Scholar 

  • Carnap, R. (1962). Logical foundations of probability (2nd ed.). Chicago: University of Chicago Press.

    Google Scholar 

  • Christensen, D. (1999). Measuring confirmation. Journal of Philosophy, 96, 437–61.

    Article  Google Scholar 

  • Crupi, V., Tentori, K., & Gonzalez, M. (2007). On Bayesian measures of evidential support: Theoretical and empirical issues. Philosophy of Science, 74, 229–52.

    Article  Google Scholar 

  • Crupi, V., & Tentori, K. (2013). Confirmation as partial entailment: A representation theorem in inductive logic. Journal of Applied Logic, 11, 364–72.

    Article  Google Scholar 

  • Crupi, V., & Tentori, K. (2014). Erratum to “Confirmation as partial entailment” [Journal of Applied Logic 11 (2013) 364–372]. Journal of Applied Logic, 12, 230–1.

    Article  Google Scholar 

  • Douven, I., & Meijs, W. (2007). Measuring coherence. Synthese, 156, 405–25.

    Article  Google Scholar 

  • Finch, H. A. (1960). Confirming power of observations metricized for decisions among hypotheses. Philosophy of Science, 27, 293–307.

    Article  Google Scholar 

  • Fitelson, B. (2003). A probabilistic theory of coherence. Analysis, 63, 194–199.

    Article  Google Scholar 

  • Fitelson, B. (2004). Two technical corrections to my coherence measure. Retrieved from http://www.fitelson.org/coherence2.pdf.

  • Fitelson, B. (2008). A decision procedure for probability calculus with applications. Review of Symbolic Logic, 1, 111–25.

    Article  Google Scholar 

  • Gillies, D. (1986). In defense of the Popper–Miller argument. Philosophy of Science, 53, 110–113.

    Article  Google Scholar 

  • Glass, D. H. (2002). Coherence, explanation, and Bayesian networks. In M. ONeill, et al. (Eds.), Artificial intelligence and cognitive science (pp. 177–182). Berlin: Springer.

    Chapter  Google Scholar 

  • Glass, D. H. (2005). Problems with priors in probabilistic measures of coherence. Erkenntnis, 63, 375–85.

    Article  Google Scholar 

  • Good, I. J. (1984). The best explicatum for weight of evidence. Journal of Statistical Computation and Simulation, 19, 294–299.

    Article  Google Scholar 

  • Heckerman, D. (1988). An axiomatic framework for belief updates. In L. Kanal & J. Lemmer (Eds.), Uncertainty in artificial intelligence (Vol. 2, pp. 11–22). New York: Elsevier Science Publishers.

    Chapter  Google Scholar 

  • Horwich, P. (1982). Probability and evidence. Cambridge, MA: Cambridge University Press.

    Google Scholar 

  • Iranzo, V., & Martínez de Lejarza, I. (2013). On ratio measures of confirmation. Journal for General Philosophy of Science, 44, 193–200.

    Article  Google Scholar 

  • Jeffrey, R. (1992). Probability and the art of judgment. Cambridge, MA: Cambridge University Press.

    Book  Google Scholar 

  • Joyce, J. (1999). The foundations of causal decision theory. Cambridge, MA: Cambridge University Press.

    Book  Google Scholar 

  • Joyce, J. (2008). Bayes’ theorem. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy (Fall 2008 edition). Retrieved from http://plato.stanford.edu/archives/fall2008/entries/bayes-theorem/.

  • Keynes, J. (1921). A treatise on probability. London: Macmillan.

    Google Scholar 

  • Kemeny, J., & Oppenheim, P. (1952). Degrees of factual support. Philosophy of Science, 19, 307–24.

    Article  Google Scholar 

  • Koscholke, J. (2013). Last measure standing. Evaluating test cases for probabilistic coherence measures. Manuscript.

  • Kuipers, T. A. F. (2000). From instrumentalism to constructive realism. Dordrecht: Springer.

    Book  Google Scholar 

  • Lewis, I. C. (1946). An analysis of knowledge and valuation. Chicago: Open Court.

    Google Scholar 

  • Meijs, W. (2005). Probabilistic measures of coherence (Ph.D. dissertation, University of Rotterdam, 2005).

  • Meijs, W. (2006). Coherence as generalized logical equivalence. Erkenntnis, 64, 231–52.

    Article  Google Scholar 

  • Milne, P. (1996). \(\log [p(h|eb) /p(h|b)]\) is the one true measure of confirmation. Philosophy of Science, 63, 21–6.

    Article  Google Scholar 

  • Moretti, L., & Akiba, K. (2007). Probabilistic measures of coherence and the problem of belief individuation. Synthese, 154, 73–95.

    Article  Google Scholar 

  • Mortimer, H. (1988). The logic of induction. Paramus, NJ: Prentice Hall.

    Google Scholar 

  • Nozick, R. (1981). Philosophical explanations. Oxford: Clarenden.

    Google Scholar 

  • Olsson, E. J. (2002). What is the problem of coherence and truth? The Journal of Philosophy, 99, 246–72.

    Article  Google Scholar 

  • Olsson, E. J. (2005). Against coherence: Truth, probability and justification. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Roche, W. (2013). Coherence and probability. A probabilistic account of coherence. In M. Araszkiewicz & J. Savelka (Eds.), Coherence: Insights from philosophy, jurisprudence and artificial intelligence (pp. 59–91). Dordrecht: Springer.

    Google Scholar 

  • Roche, W., & Schippers, M. (2013). Coherence, probability, and explanation. Erkenntnis. doi:10.1007/s10670-013-9566-9.

  • Rosenkrantz, R. (1994). Bayesian confirmation: Paradise regained. The British Journal for the Philosophy of Science, 45, 467–76.

    Article  Google Scholar 

  • Schippers, M., & Siebel, M. (2012). Reassessing probabilistic measures of coherence. Unpublished manuscript.

  • Schippers, M. (2014a). On the impossibility of measuring coherence. Manuscript.

  • Schippers, M. (2014b). Inconsistency and incoherence. The Review of Symbolic Logic. doi:10.1017/S1755020314000203.

  • Schippers, M. (2014c). Coherence, striking agreement, and reliability. On a putative vindication of the Shogenji measure. Synthese. doi:10.1007/s11229-014-0488-0.

  • Schippers, M., & Siebel, M. (2014). Inconsistent testimonies as a touchstone for coherence measures. Manuscript.

  • Schlesinger, G. (1995). Measuring degrees of confirmation. Analysis, 55, 208–12.

    Article  Google Scholar 

  • Schubert, S. (2012). Coherence reasoning and reliability: A defense of the Shogenji measure. Synthese, 187, 305–319.

    Article  Google Scholar 

  • Schupbach, J. N. (2011). New hope for Shogenji’s coherence measure. The British Journal for the Philosophy of Science, 62, 125–42.

    Article  Google Scholar 

  • Shogenji, T. (1999). Is coherence truth conducive? Analysis, 59, 338–45.

    Article  Google Scholar 

  • Siebel, M. (2004). On Fitelson’s measure of coherence. Analysis, 64, 189–90.

    Article  Google Scholar 

  • Siebel, M. (2005). Against probabilistic measures of coherence. Erkenntnis, 63, 335–60.

    Article  Google Scholar 

  • Siebel, M. (2011). Why explanation and thus coherence cannot be reduced to probability. Analysis, 71, 264–6.

    Article  Google Scholar 

  • Siebel, M., & Wolff, W. (2008). Equivalent testimonies as a touchstone of coherence measures. Synthese, 161, 167–82.

    Article  Google Scholar 

  • Zalabardo, J. (2009). An argument for the likelihood-ratio measure of confirmation. Analysis, 69, 630–5.

    Article  Google Scholar 

Download references

Acknowledgments

I owe special thanks to David H. Glass, Jakob Koscholke, Tomoji Shogenji, Mark Siebel and two anonymous reviewers for very helpful discussion or comments. This work was supported by Grant SI 1731/1-1 to Mark Siebel from the Deutsche Forschungsgemeinschaft (DFG) as part of the priority program “New Frameworks of Rationality” (SPP 1516).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Michael Schippers.

Appendices

Appendix 1: Proof of Theorem 1

Theorem 1

There cannot be a probabilistic measure of coherence that satisfies both (Independence) and (Agreement).

Proof

Consider the following probability distributions over the set \(\{A_1, A_2\}\):

figure a

Straightforward calculations yield that \(A_1\) and \(A_2\) are probabilistically independent on both distributions \(\Pr \) and \(\Pr '\). Thus, a measure satisfying (Independence) will assign equal degrees of coherence to \(\{A_1,A_2\}\) on both probability distributions. On the other hand, \(\Pr (A_1|A_2)=1/2>1/4=\Pr '(A_1|A_2)\) and \(\Pr (A_2|A_1)=1/2>1/4=\Pr '(A_2|A_1)\). Hence, a measure satisfying (Agreement) will assign a higher degree of coherence to the set \(\{A_1,A_2\}\) on \(\Pr \) than on \(\Pr '\), i.e. it will assign different degrees of coherence to the set depending on which distribution is chosen. Thus, there cannot be a measure that satisfies both constraints. \(\square \)

Appendix 2: Proof of Theorem 2

Theorem 2

There are two maximally consistent subsets of the set of all constraints:

  • \(\Sigma _1\)={(Dependence), (Independence), (Equivalence), (Inconsistency)}

  • \(\Sigma _2\)={(Equivalence), (Inconsistency), (Agreement)}

Proof

In order to prove theorem 2, we have to show that (i) \(\Sigma _1\) and \(\Sigma _2\) are maximally consistent subsets of the set of all constraints and that (ii) there is no other maximally consistent subset.

  1. (i)

    Obviously, \(\Sigma _1\) is a subset of all considered constraints. Furthermore, the fact that the coherence measure \(\mathcal{C}_{\lambda }\) satisfies all constraints in \(\Sigma _1\) establishes the consistency of \(\Sigma _1\). The only constraint that is not a member of \(\Sigma _1\) is (Agreement). By theorem 1, we know that (Agreement) and (Independence) are logically inconsistent. Hence, there is no consistent superset \(\Sigma _1\subsetneq \Sigma '\) of constraints. Therefore, \(\Sigma _1\) is a maximally consistent subset of all considered constraints. Now consider \(\Sigma _2\): consistency is established by measure \(\mathcal{C}_f\), and the fact that (Independence) and (Agreement) are inconsistent shows that we cannot add (Independence) to \(\Sigma _2\) without loosing consistency. But the same holds for (Dependence) as there cannot be a measure that satisfies both (Dependence) and (Agreement). To see this, consider the following probability distributions:

    figure b

    Straightforward calculations yield the following probabilities: \(\Pr (A_1|A_2)=1/2>1/4=\Pr (A_1)\) and \(\Pr (A_2|A_1)=1/2>1/4=\Pr (A_2)\). On the other hand, \(\Pr '(A_1|A_2)=399/655<655/912=\Pr '(A_1)\) and \(\Pr '(A_2|A_1)=399/655<655/912=\Pr '(A_2)\). Thus, for each possible coherence measure \(\mathcal{C}\) satisfying (Dependence) with neutrality threshold \(\beta _\mathcal{C}\), \(\mathcal{C}_{\Pr }(A_1,A_2)>\beta _\mathcal{C}>\mathcal{C}_{\Pr '}(A_1,A_2)\). However, since \(\Pr (A_1|A_2)<\Pr '(A_1|A_2)\) and \(\Pr (A_2|A_1)<\Pr '(A_2|A_1)\), we get the opposite coherence ordering for each measure \(\mathcal{C}'\) satisfying (Agreement), i.e. \(\mathcal{C}'_{\Pr }(A_1,A_2)<\mathcal{C}'_{\Pr '}(A_1,A_2)\). Thus, there cannot be a coherence measure that satisfies (Agreement) and (Dependence). Hence, there is no consistent superset \(\Sigma '\) of \(\Sigma _2\), so that \(\Sigma _2\) is a maximally consistent subset of all considered constraints.

  2. (ii)

    Assume that \(\Sigma \) is a maximally consistent subset of the set of all considered constraints, and assume furthermore that (Independence) is an element of \(\Sigma \). Than we can consistently add all constraints except (Agreement). Hence, by being maximally consistent, \(\Sigma \) must be identical to \(\Sigma _1\). The same holds if (Dependence) is assumed to be an element of \(\Sigma \). On the other hand, if we assume (Agreement) to be in \(\Sigma \), then we can consistently add (Equivalence) and (Inconsistency). Hence, both should be in \(\Sigma \), turning \(\Sigma \) identical to \(\Sigma _2\). Finally, if either (Equivalence) or (Inconsistency) are in \(\Sigma \), then by consistency, both of them should be in \(\Sigma \). Furthermore, we can either add (Independence) and (Dependence) yielding \(\Sigma _1\) or (Agreement), thereby yielding \(\Sigma _2\). Hence, \(\Sigma _1\) and \(\Sigma _2\) are the only maximally consistent subsets of considered constraints.

Appendix 3: Proofs for Table 3

We prove the satisfaction and dissatisfaction of considered constraints by cases:

(Independence) Being based on probabilistic measures of confirmation, each of the coherence measures \(\mathcal{C}_{d1}, \mathcal{C}_{d2}, \mathcal{C}_{r1}\) and \(\mathcal{C}_{r2}\) satisfies (Independence). This is due to the fact that each confirmation measure \(\mathfrak {s}\) assigns a neutral degree of coherence to probabilistically independent pairs of propositions. Accordingly, the assigned degree of coherence by measure \(\mathcal{C}_{\mathfrak {s}}\) will, again, be equal to the confirmation measures neutrality threshold \(\beta _{\mathfrak {s}}\). Furthermore, if a set \({\Delta }=\{\varphi _1, \ldots ,\varphi _n\}\) satisfies mutual independence, then \(\Pr (\varphi _1\wedge \ldots \wedge \varphi _n)=\prod _{i\le n}\Pr (\varphi _i)\). Hence, \(\mathcal{D}(S)=1\) and \(\mathcal{D}^{*}(S)=0\). Since both are the neutrality thresholds for these measures, both satisfy (Independence). On the other hand, it is not totally clear what should be considered the neutrality threshold for any of the measures \(\mathcal{O}, \mathcal{O}^{*}\) or \(\mathcal{C}_f\) (see footnote 18). However, it can be shown that whatever threshold is chosen, it is not the case that probabilistically independent sets of propositions are always assigned a coherence degree in line with this threshold. To see this, consider again the probability distributions given in the proof of theorem 1. The corresponding degrees of coherence are as follows: \(\mathcal{O}_{\Pr }(A_1,A_2)=\mathcal{O}^{*}_{\Pr }(A_1,A_2)=1/3\), \(\mathcal{C}_{f,\Pr }(A_1,A_2)=1/2\), and \(\mathcal{O}_{\Pr '}(A_1,A_2)=\mathcal{O}^{*}_{\Pr }(A_1,A_2)=1/7\), \(\mathcal{C}_{f,\Pr '}(A_1,A_2)=1/4\). Thus, whatever the chosen threshold, all these measures will violate (Independence).

(Dependence) If each pair of non-empty, disjoint subsets is mutually confirmatory/disconfirmatory, then each confirmation measure \(\mathfrak {s}\) will assign a degree of confirmation above/ below \(\beta _{\mathfrak {s}}\). Accordingly, \(\mathcal{C}_{d1}, \mathcal{C}_{d2}, \mathcal{C}_{r1}\) and \(\mathcal{C}_{r2}\) satisfy (Dependence). Furthermore, let \({\Delta }=\{\varphi _1,\ldots ,\varphi _n\}\) be a set of mutually confirmatory/disconfirmatory propositions. The deviation measure \(\mathcal{D}\) can equivalently be represented as follows (proof omitted):

$$\begin{aligned} \mathcal{D}(\varphi _1,\ldots ,\varphi _n)=\frac{\Pr (\varphi _2|\varphi _1)}{\Pr (A_2)} \times \frac{\Pr (\varphi _3|\varphi _1\wedge \varphi _2)}{\Pr (\varphi _3)}\times \cdots \times \frac{\Pr (\varphi _n|\varphi _1 \wedge \ldots \wedge \varphi _{n-1})}{\Pr (\varphi _n)} \end{aligned}$$

Thus, given that \({\Delta }\) is mutually confirmatory/disconfirmatory, the assigned degree of coherence, i.e. \(\mathcal{D}({\Delta })\) will exceed/ undercut 1, and analogously, \(\mathcal{D}^{*}(S)\) will exceed/ undercut 0. On the other hand, assume that \(\mathcal{C}\) is either \(\mathcal{O}, \mathcal{O}^{*}\) of \(\mathcal{C}_f\). Now consider the following probability distribution:

figure c

Given probability distribution \(\Pr \), we calculate that \(\Pr (A_i|A_j)=5/22>11/85=\Pr (A_i)\) for \(1\le i\not =j\le 2\), so that \(A_1\) and \(A_2\) are mutually confirmatory. However, \(\mathcal{O}(A_1,A_2)=\mathcal{O}^{*}(A_1,A_2)=5/39\approx 0.13\) and \(\mathcal{C}_f(A_1,A_2)=5/22\approx 0.23\). Thus, both sets are assigned incoherent (given that the threshold separating coherence and incoherence should be equal to or above \(1/2\)). On the other hand, on \(\Pr '\) we get: \(\Pr (A_i|A_j)=27/29<29/31=\Pr (A_i)\) for \(1\le i\not = j\le 2\), so that \(A_1\) and \(A_2\) are mutually disconfirmatory. However, \(\mathcal{O}(A_1,A_2)=\mathcal{O}^{*}(A_1,A_2)=27/31\approx 0.87\) and \(\mathcal{C}_f(A_1,A_2)=27/29\approx 0.93\). Thus, both sets are assigned coherent.

(Equivalence) A proof for all considered measures except \(\mathcal{C}_{r2}, \mathcal{D}^{*}, \mathcal{O}^{*}\) and \(\mathcal{C}_f\) is given by Siebel and Wolff (2008). Now assume that \(\varphi _1\) and \(\varphi _2\) are logically equivalent, then

$$\begin{aligned} \mathcal{C}_{r2}(\varphi _1,\varphi _2)=1/2\cdot \left( \frac{\Pr (\varphi _1| \varphi _2)}{\Pr (\varphi _1|\lnot \varphi _2)}+\frac{\Pr (\varphi _2|\varphi _1)}{\Pr (\varphi _2|\lnot \varphi _1)}\right) \end{aligned}$$

is simply undefined since \(\Pr (\varphi _1|\lnot \varphi _2)=\Pr (\varphi _2|\lnot \varphi _1)=0\). For \(\mathcal{D}^{*}\) we get the following result:

$$\begin{aligned} \log \mathcal{D}(\varphi _1,\varphi _2)=\log [1/\Pr (\varphi _1)]=-\log \Pr (\varphi _1) \end{aligned}$$

Thus, the assigned degree of coherence is sensitive to \(\varphi _1\)’s prior probability and a fortiori not maximal for every set of equivalent propositions. Next we turn to \(\mathcal{O}^{*}\). It is easy to see that \(\mathcal{O}^{*}\) satisfies (Equivalence) given that \(\mathcal{O}\) does since it is only an average of \(\mathcal{O}\) values. Eventually, given that \({\Delta }=\{\varphi _1,\ldots ,\varphi _n\}\) is a set of logically equivalent propositions, each posterior probability that enters the calculation for \(\mathcal{C}_f({\Delta })\) equals 1. Hence, \(\mathcal{C}_f({\Delta })\) is maximal for every set of logically equivalent propositions.

(Inconsistency) Let \(\varphi _1\) and \(\varphi _2\) be contingent propositions such that the set \(\{\varphi _1, \varphi _2\}\) is inconsistent. Then we get the following result for \(\mathcal{C}_{d1}\):

$$\begin{aligned} \mathcal{C}_{d1}(\varphi _1,\varphi _2)&=1/2\cdot \left[ \Pr (\varphi _1|\varphi _2)-\Pr (\varphi _1)+\Pr (\varphi _2| \varphi _1)-\Pr (\varphi _2)\right] \\&=-1/2\cdot \left[ \Pr (\varphi _1)+\Pr (\varphi _2)\right] \end{aligned}$$

Thus, the assigned degree of coherence is sensitive to the propositions’ prior probabilities, and so \(\mathcal{C}_{d1}\) violates (Independence). Now let us turn to \(\mathcal{C}_{d2}\). By Bayes’ theorem we calculate:

$$\begin{aligned} \mathcal{C}_{d2}(\varphi _1,\varphi _2)&=1/2\cdot \left[ \Pr (\varphi _1| \varphi _2)-\Pr (\varphi _1|\lnot \varphi _2)+\Pr (\varphi _2|\varphi _1) -\Pr (\varphi _2|\lnot \varphi _1)\right] \\&=1/2\cdot \left[ {\Pr (\varphi _1)}/{\Pr (\lnot \varphi _2)}+{\Pr (\varphi _2)}/{\Pr (\lnot \varphi _1)}\right] \end{aligned}$$

Hence, \(\mathcal{C}_{d2}\) is also sensitive to prior probabilities. Next we consider the ratio-based measures \(\mathcal{C}_{r1}\) and \(\mathcal{C}_{r2}\). Let \({\Delta }=\{\varphi _1,\ldots ,\varphi _n\}\) be a set of contingent propositions such that all subsets with at least two propositions are unsatisfiable. Then we get:

$$\begin{aligned} \mathcal{C}_{r1}({\Delta })=(m)^{-1}\sum _{({\Delta '},{\Delta ''}) \subseteq [{\Delta }]}r1({{\Delta '}}, {\Delta ''})=(m)^{-1}\sum _{({\Delta '},{\Delta ''}) \subseteq [{\Delta }]}\frac{\Pr ({{\Delta '}}|{\Delta }'')}{ \Pr ({\Delta }')} \end{aligned}$$
$$\begin{aligned} \mathcal{C}_{r2}({\Delta })=(m)^{-1}\sum _{({\Delta '},{\Delta ''}) \subseteq [{\Delta }]}r2({{\Delta '}}, {\Delta ''})=(m)^{-1}\sum _{({\Delta '},{\Delta ''})\subseteq [{\Delta }]}\frac{\Pr ({{\Delta '}}|{\Delta }'')}{ \Pr ({\Delta }'|\lnot {\Delta }'')} \end{aligned}$$

These latter terms are undefined for all \(S'\) with at least two propositions (since in this case \(\Pr (S')=\Pr (S'|S'')=0\) and therefore we would have to divide by \(0\)). Now we turn to the \(\mathcal{D}\) and \(\mathcal{O}\) and their refined versions \(\mathcal{D}^{*}\) and \(\mathcal{O}^{*}\). To do so, let again \({\Delta }=\{\varphi _1,\ldots ,\varphi _n\}\) be a set of contingent propositions such that all non-singleton subsets of \({\Delta }\) are unsatisfiable. Then

$$\begin{aligned} \mathcal{D}({\Delta })=\frac{\Pr (\varphi _1\wedge \ldots \wedge \varphi _n)}{\Pr (\varphi _1)\cdot \ldots \cdot \Pr (\varphi _n)} =0=\frac{\Pr (\varphi _1\wedge \ldots \wedge \varphi _n)}{\Pr (\varphi _1\vee \ldots \vee \varphi _n)}=\mathcal{O}({\Delta }) \end{aligned}$$

On the other hand, \(\mathcal{D}^{*}\) is not even defined in these cases. However, if we stipulate that \(log(0)=-\infty \), then \(\mathcal{D}^{*}\) passes the inconsistency test. \(\mathcal{O}^{*}(S)\) is an average of \(\mathcal{O}\) values for all subsets with at least two propositions. Since it is assumed that all those subsets are unsatisfiable, we get

$$\begin{aligned} \mathcal{O}^{*}({\Delta })=\frac{1}{l}\sum _{2\le k\le n} \sum _{{\Delta }_i\in [{\Delta }]^k}\mathcal{O}({\Delta }_i)=0 \qquad \qquad l=\sum _{k=2}^{n}\left( {\begin{array}{c}n\\ k\end{array}}\right) \end{aligned}$$

Finally, we consider the firmness-based coherence measure \(\mathcal{C}_f\):

$$\begin{aligned} \mathcal{C}_f({\Delta })=(m)^{-1}\sum _{({\Delta '},{\Delta ''}) \subseteq [{\Delta }]}\Pr ({{\Delta '}}| {\Delta ''}) \end{aligned}$$

Since all posterior probabilities are equal to zero (remember that we stipulated that \(\Pr (\varphi |\psi )=0\) for all inconsistent \(\psi \)), the assigned degree of coherence is equal to the minimum possible degree \(0\).

(Agreement) By Theorem 1 we know that there cannot be a probabilistic measure of coherence that satisfies both (Independence) and (Agreement). Thus, given that \(\mathcal{C}_{d1}, \mathcal{C}_{d2}, \mathcal{C}_{r1}, \mathcal{C}_{r2}\), \(\mathcal{D}\) and \(\mathcal{D}^{*}\) satisfy the former, they necessarily have to violate the latter. The case for \(\mathcal{O}\) and \(\mathcal{O}^{*}\) is so far unsettled, i.e. we were neither able to prove that these measures satisfy (Agreement) nor to find a counterexample.

Next, given that \(\mathcal{C}_f\) is an average of posterior probabilities, it must necessarily be the case that if all relevant posterior probabilities for \(\Pr \) exceed their counterparts on \(\Pr '\), then the assigned degree of \(\mathcal{C}_f\)-coherence on \(\Pr \) exceeds the one on \(\Pr '\).

Appendix 4: Proofs for Table 6

Being based on probabilistic measures of confirmation, each of the coherence measures \(\mathcal{C}_{z}, \mathcal{C}_{\lambda }\) satisfies (Independence) and (Dependence). Now let \({\Delta }=\{\varphi _1,\ldots ,\varphi _n\}\) be a set of equivalent propositions, then given that \(\Pr ({\Delta }'|{\Delta }'')=1\ge \Pr ({\Delta '})\) we get:

$$\begin{aligned} \mathcal{C}_{z}({\Delta })=(m)^{-1}\sum _{({\Delta '},{\Delta ''})\subseteq [{\Delta }]}z({{\Delta '}}, {\Delta ''})=(m)^{-1}\sum _{({\Delta '},{\Delta ''})\subseteq [{\Delta }]} \frac{\Pr ({{\Delta '}}|{\Delta }'')-\Pr ({\Delta '})}{1- \Pr ({\Delta }')}=1 \end{aligned}$$

and accordingly

$$\begin{aligned} \mathcal{C}_{\lambda }({\Delta })=(m)^{-1}\!\!\! \sum _{({\Delta '},{\Delta ''}) \subseteq [{\Delta }]}\!\!\!\!\!\lambda ({{\Delta '}}, {\Delta ''})=(m)^{-1}\!\!\!\!\!\sum _{({\Delta '},{\Delta ''})\subseteq [{\Delta }]}\!\!\! \frac{\Pr ({{\Delta '}}|{\Delta }'')-\Pr ({\Delta '}|\lnot {\Delta }'')}{1- \Pr ({\Delta }'|{\Delta }'')}=1 \end{aligned}$$

Thus, both measures satisfy (Equivalence). Now we turn to the inconsistency-constraint. First, consider \(z\). If \(\Pr ({\Delta }'|{\Delta }'')=0<\Pr ({\Delta }')\), then

$$\begin{aligned} z({\Delta }',{\Delta }'')=\frac{\Pr ({\Delta }'|{\Delta }'')-\Pr ({\Delta }')}{\Pr ({\Delta }')}=-1 \end{aligned}$$

On the other hand, if \(\Delta '\models \bot \), then \({\Delta }'\models \lnot {\Delta }''\) and therefore by means of the underlying case distinction we get \(z({\Delta }',{\Delta }'')=-1\). Thus, \(\mathcal{C}_z\) satisfies (Inconsistency). Finally consider \(\lambda \). If \(\Pr ({\Delta }'|{\Delta }'')=0<\Pr ({\Delta }')\), then

$$\begin{aligned} \lambda ({\Delta }',{\Delta }'')=\frac{\Pr ({\Delta }'|{\Delta }'')-\Pr ({\Delta }'|\lnot {\Delta }'')}{\Pr ({\Delta }'|\lnot {\Delta }'')}=-1 \end{aligned}$$

On the other hand, if \(\Delta '\models \bot \), then \({\Delta }'\models \lnot {\Delta }''\) and therefore we get \(\lambda ({\Delta }',{\Delta }'')=-1\) by definition. Thus, \(\mathcal{C}_{\lambda }\) satisfies (Inconsistency). Finally, given the inconsistency of (Independence) and (Agreement), we conclude that \(\mathcal{C}_z\) and \(\mathcal{C}_{\lambda }\) violate (Agreement).

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Schippers, M. Probabilistic measures of coherence: from adequacy constraints towards pluralism. Synthese 191, 3821–3845 (2014). https://doi.org/10.1007/s11229-014-0501-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-014-0501-7

Keywords

  • Probabilistic measures of coherence
  • Confirmation measures
  • Probabilistic support