Abstract
Recent results in the literature appear to show that it is impossible for two independent testimonies to jointly raise the probability of a proposition if neither testimony individually has any impact on that probability. I show that these impossibility results do not apply when testimonies agree on incidental details.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
According to the coherence theory of justification, a coherent set of multiple pieces of evidence may provide justification for a belief even though none of the pieces of evidence individually provides any justification for that belief. Among the most important contributions to this theory is Laurence BonJour’s The structure of empirical knowledge 1985.Footnote 1 Advocating the coherentist position, BonJour (pp. 147–148) appeals to the example given by Lewis (1946, p. 346) of ‘relatively unreliable witnesses who independently tell the same circumstantial story’. Lewis uses this example to argue that coherence can amplify the credibility of the witnesses but, contrary to coherentist doctrine, he insists that each witness must have some initial degree of individual credibility that can be amplified. BonJour argues that coherence can generate credibility among testimonies where there was none.
Huemer (1997) provides a formal model in which BonJour’s claims about the witness example collide with the rules of probability theory. Let \(A\) denote a proposition, and \(\lnot A\) its negation. There are two witnesses. Let \(A_{1}\) be the proposition that the testimony of the first witness implies \(A\) and let \(A_{2}\) be the proposition that the testimony of the second witness implies \(A\). Let us suppose that the witnesses do not influence one another and that neither witness alone has any impact upon our belief in \(A\). Is it possible then that the conjunction of \(A_{1}\) and \(A_{2}\) would cause us to revise upwards the probability that \(A\) is true? In other words, are conditions (1)–(3), as given below, mutually compatible?
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11229-013-0310-4/MediaObjects/11229_2013_310_Figa_HTML.gif)
Huemer (1997) proves that these three conditions are not jointly compatible. Generalizations of this impossibility result are proved by Olsson (2005), Shogenji (2005) and Olsson and Shogenji (2004).
Olsson (2002) sets out a different witness model in his discussion of L. Jonathon Cohen’s The probable and the provable 1977. Footnote 2 Olsson and Shogenji (2004) and Olsson (2005) use that model to test Lewis’s theses. Olsson’s model features two propositions that are not in Huemer’s model. One proposition is that both witnesses always tell the truth, and the other is that they always generate their reports at random. Prior probabilities are assigned to these propositions (summing to one). These probabilities can be updated when the witnesses give their testimonies.
An effect of these additional propositions is that the impact of corroboration becomes much more dramatic, particularly when witnesses agree on something previously thought improbable. Even if individual witnesses have just a slight degree of positive credibility, the probability of a proposition being true can rise rapidly as we hear cohering testimonies in support of it. However, without that slight degree of individual credibility this amplification cannot happen.
So both Huemer’s and Olsson’s models support what Olsson and Shogenji call Lewis’s negative thesis that “if \(\ldots \) independent items [of evidence] are irrelevant to the hypothesis when taken singly, then they are also irrelevant when taken together however congruent they may be” (Olsson and Shogenji 2004). This presents a serious challenge to the theory of coherence justification.
2 Reconciliation
In two later contributions, Huemer (2007, 2011) argues that coherentists can escape from his previous impossibility result. Also, Shogenji (2005) demonstrates that recurrent coherence can generate justification from scratch. In this section I give a brief outline of some of the results contained in those papers.
2.1 Quasi independence
Huemer (2007) proves that conditions (2) and (3) imply that \(P(A_{2}\mid A_{1},A)>P(A_{2}\mid A_{1},\lnot A)\). Lets us denote this inequality by (1*). Huemer argues that the coherentist can replace condition (1) with (1*) and thereby circumvent the impossibility result. Huemer makes clear, however, that while this offers an escape from impossibility it does not vindicate the theory of coherence justification. To see why this is the case, consider the following scenario.
Suppose there are two witnesses to the landing of a fair coin. Let \(A\) be the proposition that the coin landed heads up. The witnesses have agreed that if the coin lands heads up then they will either both lie (with a probability of 1/2) or both tell the truth about which way the coin has landed. If the coin lands tails up then each witness will decide individually, at random and without bias, whether to lie or be truthful. Each testimony individually is worthless and yet if both witnesses testify that \(A\) is true then the probability of \(A\) rises from 1/2 to 2/3. Conditions (1*), (2) and (3) are satisfied, and even the second equation of condition (1) is satisfied. The problem is that this scenario is not at all like the example given by Lewis that BonJour appeals to, in which witnesses tell their stories independently. So BonJour’s position is not vindicated by the compatibility of these conditions.
2.2 Weak nonfoundationalism
An interesting feature of the coin example given above is that if both witnesses report that the coin landed tails up then the probability that the coin landed tails up actually falls from 1/2 to 1/3. It turns out that this is not unique to the coin example. Huemer (2011) proves that conditions (2) and (3) imply that \(P(A\mid \lnot A_{1},\lnot A_{2})>P(A)\). This inequality is called negative coherence justification and it is clearly not consistent with coherentism. However, Huemer argues that the coherentist can replace condition (2) with the requirement that \(P(A\mid A_{1},\lnot A_{2})=P(A)\). Let us call this condition (2*). The conjunction of (2*) together with \(P(A\mid A_{1},A_{2})>P(A)\) does not imply \(P(A\mid A_{1})=P(A)\) or \(P(A\mid A_{2})=P(A)\) and so the coherentist is not committed to condition (2). Huemer is again clear that, while (2*) allows us to avoid \(P(A\mid \lnot A_{1},\lnot A_{2})>P(A)\), this does not provide a vindication of coherence justification. This is true despite the fact that (2*) is not only compatible with (1*) and (3), but even with (1) and (3). Consider the following scenario.
Suppose again that there are two witnesses to the landing of a coin. As before, \(A\) is the proposition that the coin landed heads up. In this scenario, each witness gives his or her report independently. Each witness tells the truth with a probability of 2/3, lies with a probability of 1/3 and is silent with a probability of zero. In this case, conditions (1), (2*) and (3) are all satisfied. It is clear, though, that each witness has some individual credibility since each one is more likely to tell the truth than to lie. So we cannot point to the compatibility of (1), (2*) and (3) as support for BonJour’s position, although it does offer an escape from contradiction.
2.3 Recurring coherence
Shogenji (2005) considers a case in which witnesses report on a sequence of events. Colored marbles are drawn randomly from an urn. Each witness always lies about the color of the marble drawn, always tells the truth or always randomizes. There are \(n\) marbles and each witness is \(n-1\) times more likely to be a liar than a truth teller. Suppose we hear two reports from each of two witnesses. Both witnesses assert that the first marble was blue and that the second was green. Shogenji shows that this raises the probability that the first marble was blue, even though neither report individually has any impact on that probability.
However, despite this result, Shogenji concludes, based on a result similar to Huemer’s impossibility result, that “BonJour’s intuitively plausible informal reasoning for [justification by coherence from scratch] is deficient”. The case in which credibility is generated by recurrent coherence seems to differ from the witness scenario that BonJour refers to in that (i) the witnesses report on a sequence of separate events and (ii), as Shogenji demonstrates, the four reports that we considered above (two reports from each of two witnesses) are not conditionally independent relative to the first marble being blue.
My view is that Shogenji’s finding, that recurrent coherence can generate justification from scratch, is very close to a vindication of BonJour’s position on the witness scenario. I argue that via a combination of Huemer’s and Shogenji’s insights we can arrive at that vindication.
3 Circumstantial stories
Key to the intuitive plausibility of coherence justification in the witness scenario is that Lewis refers to witnesses telling the same circumstantial story. I take this to mean that the witnesses agree on details that are not essential but rather incidental to the proposition of primary significance. In order to take account of this feature of the witness scenario let us introduce three additional propositions to the formal model described in the introduction. Let \(T\) be the circumstantial story. More formally, \(T\) is a proposition that implies \(A\), the proposition of primary significance, but is not implied by \(A\). Let \(T_{i}\) be the proposition that the testimony of witness \(i\) implies \(T\). So \(P(A\mid T), P(A_{1}\mid T_{1})\) and \(P(A_{2}\mid T_{2})\) are all equal to one.
Let us consider how the three conditions should be adapted to this model, beginning with condition (1).
3.1 Witness independence
As in the original condition (1), we will require that \(A_{1}\) and \(A_{2}\) are independent when the truth value of \(A\) is fixed. They should also be independent when the truth value of \(T\) is fixed. For brevity, let us denote this requirement by \(A_{1}\perp A_{2}\mid A,\lnot A,T,\lnot T\). By this notation we mean that the two propositions on the left, separated by the symbol \(\perp \), are conditionally independent relative to any one of the propositions that come after the vertical line. So, for example, condition (1) could be written as \(A_{1}\perp A_{2}\mid A,\lnot A\).
We should similarly require that \(A_{1}\) and \(T_{2}\) are conditionally independent relative to each one of the four propositions \(A, \lnot A, T\) and \(\lnot T\). Of course, this goes for the pair \(T_{1}\) and \(A_{2}\) also.
However, I think that \(T_{1}\) and \(T_{2}\) should be required to be conditionally independent relative to each of the three propositions \(T, \lnot A\) and \(A\wedge \lnot T\) only. To see why, let us consider the following scenario.
Two individuals live in the same town but do not know each other. Each day they both decide whether to bring an umbrella to work. They are both influenced by whether it is raining and, if it is raining, whether that rain is light or heavy. There are not jointly influenced by any other factor. Let \(R\) be the proposition that it is raining, and \(H_{R}\) that there is heavy rain. Let \(B_{1}\) be the event that Ann brings her umbrella, and \(B_{2}\) that Bob brings his. The events \(B_{1}\) and \(B_{2}\) are not probabilistically independent since both individuals are influenced by the same weather. However, \(B_{1}\) and \(B_{2}\) are independent when it is given that \(H_{R}\). They are also independent when it is given that \(\lnot R\). But we should not expect them to be independent when it is given that \(R\). This is because both Ann and Bob are influenced by whether the rain is heavy or light and we are not controlling for this factor. Similarly, we should not expect \(B_{1}\) and \(B_{2}\) to be independent relative to \(\lnot H_{R}\) since both individuals are influenced by whether there is light rain or no rain at all. We can, however, expect \(B_{1}\) and \(B_{2}\) to be independent when it is given that \(R\wedge \lnot H_{R}\) (light rain).
Similarly, we should expect \(T_{1}\) and \(T_{2}\) to be conditionally independent relative to \(T, \lnot A\) and \(A\wedge \lnot T\), but not necessarily to \(A\) or \(\lnot T\). If we require \(T_{1}\) and \(T_{2}\) to be conditionally independent relative to \(A\) then we are in effect assuming that a witness’s decision to assert \(T\) is not affected by whether \(A\wedge \lnot T\) or \(T\). This assumption does not seem reasonable. A requirement that \(T_{1}\) and \(T_{2}\) be conditionally independent relative to \(\lnot T\) implies that a witness’s decision to assert \(T\) is not affected by whether \(A\wedge \lnot T\) or \(\lnot A\). This seems unreasonable since, for example, a witness who is intent on lying about \(A\) will consider telling story \(T\) if \(A\) is false, but will not report \(T\) if \(A\) is true. So condition (1) is adapted as follows.
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11229-013-0310-4/MediaObjects/11229_2013_310_Figb_HTML.gif)
3.2 Conditional credibility
According to the coherence theory of justification, the addition of an item of evidence to a set of other items of evidence may raise the probability of a hypothesis supported by that set of evidence if the new item is coherent with the others. Suppose the set \(\{A,T_{i}\}\) raises the probability of \(T\) more than \(A\) alone does. That is, \(P(T\mid A,T_{i})>P(T\mid A)\).This would be consistent with coherence justification since \(T_{i}\) is coherent with \(A\). Credibility can be given to \(T_{i}\) on the condition that it is accompanied by \(A\) in the set of evidence.
Let us suppose that the testimony of witness \(i\) has no impact on the probability of \(A\). That is, \(P(A\mid T_{i})=P(A)\). An implication of \(P(A\mid T_{i})=P(A)\) and \(P(A\mid T)=1\) is that \(P(T\mid A,T_{i})>P(T\mid A)\) and \(P(T\mid T_{i})>P(T)\) are logically equivalent (see Claim 1 in the Appendix). Of course, \(P(T\mid T_{i})>P(T)\) is also consistent with the witness having some foundational, or intrinsic credibility. Crucially, however, if we attach some weight of credibility to the witness irrespective of coherence between the testimony of the witness and other evidence then we have not only \(P(T\mid T_{i})>P(T)\) but also \(P(A\mid T_{i})>P(A)\). Indeed, we may even expect the impact of \(T_{i}\) on the probability of \(A\) to be at least as great as its impact on the probability of \(T\) since \(A\) is the weaker proposition.
On the other hand, the conjunction of \(P(T\mid T_{i})>P(T)\) and \(P(A\mid T_{i})=P(A)\) is compatible with coherence justification. This would be the case if the degree of coherence between \(T_{i}\) and any proposition weaker than \(A\) were deemed to be insufficient for \(T_{i}\) to derive any credibility, while the more impressive degree of coherence between \(T_{i}\) and \(A\) is considered sufficient.
Consider the following example. Let \(\sigma \) denote an arbitrary sequence of six numbers. One morning I wake up and remember a vivid dream of a television lottery draw. So vivid that I can recall the sequence \(\sigma \) of six numbers being drawn from the drum. Let \(D_{6}\) be the proposition that I have this dream. Later in the day I watch the lottery draw on television. As each number is drawn I see that it matches with the sequence I dreamed of. It is only when the fifth number is drawn, matching the fifth number in my dream, that I am sufficiently impressed by the degree of congruence to raise the probability of the sixth number drawn being the sixth number in the sequence \(\sigma \). Let \(V_{5}\) and \(V_{6}\) be the propositions that the first five and all six numbers, respectively, that I see being drawn match with the sequence \(\sigma \). So we have \(P(V_{6}\mid D_{6},V_{5})>P(V_{6}\mid V_{5})\) and \(P(V_{5}\mid D_{6})=P(V_{5})\) and \(P(V_{5}\mid V_{6})=1\). It follows that \(P(V_{6}\mid D_{6})>P(V_{6})\). The inequality \(P(V_{6}\mid D_{6})>P(V_{6})\) makes it appear as though I believe my dream to have some intrinsic degree of credibility. But this is not so, as is evidenced by \(P(V_{5}\mid D_{6})=P(V_{5})\).
Requiring both \(P(A\mid T_{i})=P(A)\) and \(P(T\mid T_{i})=P(T)\) would mean that even if, hypothetically, we were to learn that much of what the witness reported is in fact true we would not give any credibility to the remainder of his or her testimony. I think that this goes beyond the case of a witness with “no antecedent degree of warrant or credibility” that BonJour (1985, p. 148) has in mind, and that we should require just \(P(A\mid T_{i})=P(A)\). The adaption of condition (2) then is as follows.
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11229-013-0310-4/MediaObjects/11229_2013_310_Figc_HTML.gif)
3.3 Coherence justification
I think that BonJour’s claim about the witness scenario, when translated into the language of probability theory, is that conditions (1**) and (2**) are compatible with the following condition.
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11229-013-0310-4/MediaObjects/11229_2013_310_Figd_HTML.gif)
The probability space illustrated in Fig. 1 shows that that (1**), (2**) and (3*) are indeed mutually compatible.Footnote 3 In that figure the large rectangle represents a sample space and each one of the 32 square cells represents an outcome. Each outcome is equally likely. The letter \(A\) above a column indicates that the outcomes in that column are elements of \(A\). So \(A\) is the set of all 16 outcomes in the left half of the rectangle, and \(T\) is the set of outcomes in the third and fourth columns. Similarly, \(A_{1}\) is written next to a row to indicate that the outcomes in that row are elements of \(A_{1}\), and so on. The elements of \(T_{1}\) and \(T_{2}\) are indicated by hatching and solid shading respectively.
Conditions (1**) and (2**) together with \(P(T\mid A,T_{1})>P(T\mid A)\) and \(P(T\mid A,T_{2})>P(T\mid A)\) jointly imply that condition (3*) is true (see Claim 2 in the Appendix).
3.4 Negative coherence justification
As discussed above, Huemer (2011) proves that conditions (2) and (3) together imply \(P(A\mid \lnot A_{1},\lnot A_{2})>P(A)\). This consequent is called negative coherence justification. By the same logical argument, conditions (2**) and (3*) imply \(P(A\mid \lnot T_{1},\lnot T_{2})>P(A)\). In Fig. 1 we have \(P(A)=1/2\) and \(P(A\mid \lnot T_{1},\lnot T_{2})=10/19\). Note, however, that we do not have negative coherence justification since \(P(A\mid \lnot A_{1},\lnot A_{2})=P(A)\).
While \(P(A\mid \lnot A_{1},\lnot A_{2})>P(A)\) would be unacceptable, I think that \(P(A\mid \lnot T_{1},\lnot T_{2})>P(A)\) is acceptable. In Fig. 1 we can see that the conjunction of \(A_{1}\wedge A_{2}\) and \(\lnot T_{1}\wedge \lnot T_{2}\) raises the probability of \(A\) while \(A_{1}\wedge A_{2}\) alone does not. This is consistent with coherence justification. Loosely speaking, adding \(\lnot T_{1}\wedge \lnot T_{2}\) to \(A_{1}\wedge A_{2}\) makes it more likely that both witnesses tell the same circumstantial story in support of \(A\), though a story different from \(T\). Suppose two witnesses agree that the defendant in a criminal trial was in a cafë on a particular afternoon. We ask each witness what beverage the defendant ordered at the cafë, an incidental detail. If it is given that neither witness states that the defendant had tea then the probability that both witnesses state the same beverage is raised. It is because \(\lnot T_{1}\wedge \lnot T_{2}\) raises the probability of the conjunction of \(A_{1}\wedge A_{2}\) and \(\lnot T_{1}\wedge \lnot T_{2}\) that we have \(P(A\mid \lnot T_{1},\lnot T_{2}) >P(A)\).
4 Discussion
We have seen that two independent items of evidence that are individually irrelevant to a given hypothesis can jointly raise the probability of that hypothesis if those items agree on incidental details. For example, suppose that I have a memory of a rock with a patch of moss being in a particular place. And I look at that place and see a rock with a patch of moss on it. I do not trust either this memory or current appearance. If I had knowledge of there being a rock in that location, though did not know whether it was mossy, then I would give some credibility to both the memory and current appearance of a rock with a patch of moss by virtue of their coherence with that knowledge. But I do not have knowledge of there being a rock and, moreover, neither my memory nor sense of sight provides me with any confirmation that there is a rock due to my mistrust in them. Yet, the combination of those two pieces of evidence, which I believe to be independent of one another, does provide me with some degree of confirmation that there is a rock.
Coherence among memories, perceptions and spontaneous beliefs can potentially confirm some of their contents to some degree without us having to bestow them with intrinsic credibility. We need only hold that they each would be deserving of credibility if we knew some substantial part of what they report to be accurate.
One weakness of the argument presented here is that I presuppose a method of assigning prior probabilities. How does one assign a prior probability to there being a rock in a particular place? This point is discussed by Huemer (2007). It may be that the kind of probabilistic analysis presented here is not appropriate for the question of epistemology being addressed. We must also ask how it is possible to establish independence among pieces of evidence. This question is addressed by Shogenji (2002).
Notes
An excellent critique of coherentism is Erik J. Olsson’s Against coherence 2005.
A variation of Olsson’s model is proposed by Bovens et al. (2002).
Condition (1**) requires that \(T_{1}\) and \(T_{2}\) are conditionally independent relative to \(A\wedge \lnot T\), but, in Fig. 1, \(P(T_{1}\wedge A\wedge \lnot T)=0\) which means that \(P(T_{2}\mid T_{1},A,\lnot T)\) is not defined and so we cannot claim that \(P(T_{2}\mid T_{1},A,\lnot T)=P(T_{2}\mid A,\lnot T)\). However, there is a more general, though less intuitive, definition of conditional independence. The more general definition requires \(P(T_{1}\wedge T_{2}\mid A,\lnot T)=P(T_{1}\mid A,\lnot T)P(T_{2}\mid A,\lnot T)\). That equality does hold in Fig. 1.
References
BonJour, L. (1985). The structure of empirical knowledge. Cambridge, MA: Harvard University Press.
Bovens, L., Fitelson, B., Hartmann, S., & Snyder, J. (2002). Too odd (not) to be true: A reply to Erik J. Olsson. British Journal for the Philosophy of Science, 53, 539–63.
Cohen, L. J. (1977). The probable and the provable. Oxford, MS: Clarendon Press.
Huemer, M. (1997). Probability and coherence justification. Southern Journal of Philosophy, 35, 463–72.
Huemer, M. (2007). Weak Bayesian coherentism. Synthese, 157, 337–346.
Huemer, M. (2011). Does probability theory refute coherentism? Journal of Philosophy, 108, 35–54.
Lewis, C. I. (1946). An analysis of knowledge and valuation. La Salle, IL: Open Court.
Olsson, E. J. (2002). Corroborating testimony, probability and surprise. British Journal for the Philosophy of Science, 53, 273–88.
Olsson, E. J. (2005). Against coherence: Truth, probability, and justification. Oxford, MS: Oxford University Press.
Olsson, E. J., & Shogenji, T. (2004). Can we trust our memories? C.I. Lewis’s coherence argument. Synthese, 142, 21–41.
Shogenji, T. (2002). The problem of independence in justification by coherence. In Y. Bouchard (Ed.), Perspectives on coherentism (pp. 129–137). Aylmer, QC: Éditions du Scribe.
Shogenji, T. (2005). Justification by coherence from scratch. Philosophical Studies, 125, 305–325.
Acknowledgments
This work was supported by the Irish Research Council via a postdoctoral fellowship. I wrote this paper while visiting the Centre for Philosophy of Natural and Social Science at the London School of Economics and Political Science. I am grateful for their hospitality. I thank three anonymous reviewers for their insightful comments.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
Claim 1
Assume \(P(A\mid T)=1\) and \(P(A\mid T_{i})=P(A)\). Then \(P(T\mid A,T_{i})>P(T\mid A)\) if and only if \(P(T\mid T_{i})>P(T)\).
Proof
We can write \(P(T\mid A,T_{i})>P(T\mid A)\) as
and, since \(P(A\mid T)=1\), this can be rewritten as
which is equivalent to
and so we have
Therefore, since \(P(A\mid T_{i})=P(A)\), we have
So \(P(T\mid A,T_{i})>P(T\mid A)\) implies \(P(T\mid T_{i})>P(T)\), and by following the same steps in reverse order we can see that the implication goes in the other direction also.
Claim 2
Assume condition (2**) is true and \(T_{1}\perp T_{2}\mid T,\lnot A,A\wedge \lnot T\) [the last line of condition (1**)] and \(P(A\mid T)=1\). Then condition (3*) is true if and only if \(P(T\mid T_{1},A)\) and \(P(T\mid T_{2},A)\) are both strictly greater than, or both strictly less than, \(P(T\mid A)\).
Proof
The probability \(P(T_{1}\wedge T_{2}\mid A)\) is equal to
and, given that \(T_{1}\perp T_{2}\mid T,A\wedge \lnot T\), we can rewrite this as
For brevity, let \(x_{i}=P(T_{i}\mid A,\lnot T), y_{i}=P(T_{i}\mid T)\) and \(t=P(T\mid A)\). So we have
By definition, \(T_{1}\perp T_{2}\mid \lnot A\) implies that \(P(T_{1}\wedge T_{2}\mid \lnot A)\) equals \(P(T_{1}\mid \lnot A)P(T_{2}\mid \lnot A)\). Condition (2**) implies that \(P(T_{i}\mid \lnot A)\) equals \(P(T_{i}\mid A)\). So \(P(T_{1}\wedge T_{2}\mid \lnot A)\) is equal to \(P(T_{1}\mid A)P(T_{2}\mid A)\). Note that \(P(T_{i}\mid A)\) is equal to \(((1-t)x_{i}+ty_{i})\). So
Hence, \(P(T_{1}\wedge T_{2}\mid A)-P(T_{1}\wedge T_{2}\mid \lnot A)\) is
or, equivalently,
We can see that \(P(T_{1}\wedge T_{2}\mid A)-P(T_{1}\wedge T_{2}\mid \lnot A)\) has the same sign as \((y_{1}-x_{1})(y_{2}-x_{2})\). Therefore, \(P(T_{1}\wedge T_{2}\mid A)>P(T_{1}\wedge T_{2}\mid \lnot A)\) if and only if (\(y_{1}>x_{1}\) and \(y_{2}>x_{2}\)) or (\(y_{1}<x_{1}\) and \(y_{2}<x_{2}\)).
The inequality \(P(T_{1}\wedge T_{2}\mid A)>P(T_{1}\wedge T_{2}\mid \lnot A)\) is logically equivalent to \(P(T_{1}\wedge T_{2}\mid A)>P(T_{1}\wedge T_{2})\), which is equivalent to \(P(A\mid T_{1},T_{1})>P(A)\). And, since \(T\) implies \(A\), the inequality \(y_{i}>x_{i}\) is equivalent to \(P(T_{i}\mid T,A)>P(T_{i}\mid A,\lnot T)\) and so also to \(P(T_{i}\mid T,A)>P(T_{i}\mid A)\) and, therefore, to \(P(T\mid T_{i},A)>P(T\mid A)\). Similarly, \(y_{i}<x_{i}\) is equivalent to \(P(T\mid T_{i},A)<P(T\mid A)\).
So we have \((A\mid T_{1},T_{1})>P(A)\) if and only if either \(P(T\mid T_{i},A)>P(T\mid A)\) for both \(i\in \{1,2\}\) or \(P(T\mid T_{i},A)<P(T\mid A)\) for both \(i\in \{1,2\}\).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Duddy, C. Reconciling probability theory and coherentism. Synthese 191, 1075–1084 (2014). https://doi.org/10.1007/s11229-013-0310-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-013-0310-4