In recent years, some authors have proposed quantitative measures of the coherence of sets of propositions. Such probabilistic measures of coherence (PMCs) are, in general terms, functions that take as their argument a set of propositions (along with some probability distribution) and yield as their value a number that is supposed to represent the degree of coherence of the set. In this paper, I introduce a minimal constraint on PMC theories, the weak stability principle, and show that any correct, coherent, (...) and complete PMC cannot satisfy it. As a matter of fact, the argument offered in this paper can be applied to any coherence theory that uses a priori procedures. I briefly explore some consequences of this fact. (shrink)

It is shown that the probabilistic theories of coherence proposed up to now produce a number of counter-intuitive results. The last section provides some reasons for believing that no probabilistic measure will ever be able to adequately capture coherence. First, there can be no function whose arguments are nothing but tuples of probabilities, and which assigns different values to pairs of propositions {A, B} and {A, C} if A implies both B and C, or their negations, and if P(B)=P(C). But (...) such sets may indeed differ in their degree of coherence. Second, coherence is sensitive to explanatory relations between the propositions in question. Explanation, however, can hardly be captured solely in terms of probability. (shrink)

In this paper we make three points about justification of propositions by coherence “from scratch”, where pieces of evidence that are coherent have no individual credibility. First, we argue that no matter how many pieces of evidence are coherent, and no matter what relation we take coherence to be, coherence does not make independent pieces of evidence with no individual credibility credible. Second, we show that an intuitively plausible informal reasoning for justification by coherence from scratch is deficient since it (...) relies on an understanding of “individual credibility” inappropriate for justification from scratch. Third, we show that coherence, when it is recurrent, can make independent sources of evidence with no individual credibility credible. We describe specifically a case in which the same group of independent witnesses with no individual credibility repeatedly produce reports that are in agreement with each other, and their reports become credible as a result. (shrink)

This paper examines how coherence of the contents of evidence affects the transmission of probabilistic support from the evidence to the hypothesis. It is argued that coherence of the contents in the sense of the ratio of the positive intersection reduces the transmission of probabilistic support, though this negative impact of coherence may be offset by other aspects of the relations among the contents. It is argued further that there is no broader conception of coherence whose impact on the transmission (...) of probabilistic support is never offset by other aspects of the relations among the contents. The paper also examines reasons for the contrary impression that coherence of the contents increases the transmission of probabilistic support, especially in the special case where the hypothesis to evaluate is the conjunction of the contents of evidence. (shrink)

In “What price coherence?”, Klein and Warfield put forward a simple argument that triggered an extensive debate on the epistemic virtues of coherence. As is well-known, this debate yielded far-reaching impossibility results to the effect that coherence is not conducive to truth, even if construed in a ceteris paribus sense. A large part of the present paper is devoted to a re-evaluation of these results. As is argued, all explications of truth-conduciveness leave out an important aspect: while it might not (...) be the case that coherence is truth-conducive, it might be conducive to verisimilitude or epistemic utility. Unfortunately, it is shown that the answer for both these issues must be in the negative, again. Furthermore, we shift the focus from sets of beliefs to particular beliefs: as is shown, neither is any of the extant probabilistic measures of coherence truth-conducive on the level of particular beliefs, nor does weakening these measures to quasi-orderings establish the link between coherence and truth for an important amount of measures. All in all, the results in this paper cast a serious doubt on the approach of establishing a link between coherence and truth. Finally, recent arguments that shift the focus from the relationship between coherence and truth to the one between coherence and confirmation are assessed. (shrink)

One of the integral parts of Bayesian coherentism is the view that the relation of ‘being no less coherent than’ is fully determined by the probabilistic features of the sets of propositions to be ordered. In the last one and a half decades, a variety of probabilistic measures of coherence have been put forward. However, there is large disagreement as to which of these measures best captures the pre-theoretic notion of coherence. This paper contributes to the debate on coherence measures (...) by considering three classes of adequacy constraints. Various independence and dependence relations between the members of each class will be taken into account in order to reveal the ‘grammar’ of probabilistic coherence measures. Afterwards, existing proposals are examined with respect to this list of desiderata. Given that for purely mathematical reasons there can be no measure that satisfies all constraints, the grammar allows the coherentist to articulate an informed pluralist stance as regards probabilistic measures of coherence. (shrink)

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. (shrink)

Striving for a probabilistic explication of coherence, scholars proposed a distinction between agreement and striking agreement. In this paper I argue that only the former should be considered a genuine concept of coherence. In a second step the relation between coherence and reliability is assessed. I show that it is possible to concur with common intuitions regarding the impact of coherence on reliability in various types of witness scenarios by means of an agreement measure of coherence. Highlighting the need to (...) separate the impact of coherence and specificity on reliability it is finally shown that a recently proposed vindication of the Shogenji measure qua measure of coherence vanishes. (shrink)

I argue that coherence is truth-conducive in that coherence implies an increase in the probability of truth. Central to my argument is a certain principle for transitivity in probabilistic support. I then address a question concerning the truth-conduciveness of coherence as it relates to (something else I argue for) the truth-conduciveness of consistency, and consider how the truth-conduciveness of coherence bears on coherentist theories of justification.

I show that the two most devastating objections to Shogenji's formal account of coherence necessarily involve information sets of cardinality . Given this, I surmise that the problem with Shogenji's measure has more to do with his means of generalizing the measure than with the measure itself. I defend this claim by offering an alternative generalization of Shogenji's measure. This alternative retains the intuitive merits of the original measure while avoiding both of the relevant problems that befall it. In the (...) light of all of this, I suggest that there is new hope for Shogenji's analysis: Shogenji's early and influential attempt at measuring coherence, when generalized in a subset-sensitive way, is able to clear its most troubling objections. (shrink)

Coherentism in epistemology has long suffered from lack of formal and quantitative explication of the notion of coherence. One might hope that probabilistic accounts of coherence such as those proposed by Lewis, Shogenji, Olsson, Fitelson, and Bovens and Hartmann will finally help solve this problem. This paper shows, however, that those accounts have a serious common problem: the problem of belief individuation. The coherence degree that each of the accounts assigns to an information set (or the verdict it gives as (...) to whether the set is coherent tout court) depends on how beliefs (or propositions) that represent the set are individuated. Indeed, logically equivalent belief sets that represent the same information set can be given drastically different degrees of coherence. This feature clashes with our natural and reasonable expectation that the coherence degree of a belief set does not change unless the believer adds essentially new information to the set or drops old information from it; or, to put it simply, that the believer cannot raise or lower the degree of coherence by purely logical reasoning. None of the accounts in question can adequately deal with coherence once logical inferences get into the picture. Toward the end of the paper, another notion of coherence that takes into account not only the contents but also the origins (or sources) of the relevant beliefs is considered. It is argued that this notion of coherence is of dubious significance, and that it does not help solve the problem of belief individuation. (shrink)

In this paper I consider whether there is a measure of coherence that could be rightly claimed to generalize the notion of logical equivalence. I show that Fitelson’s (2003) proposal to that effect encounters some serious difficulties. Furthermore, there is reason to believe that no mutual-support measure could ever be suitable for the formalization of coherence as generalized logical equivalence. Instead, it appears that the only plausible candidate for such a measure is one of relative overlap. The measure I propose (...) in this paper is quite similar to Olsson’s (2002) proposal but differs from it by not being susceptible to the type of counterexample that Bovens and Hartmann (2003) have devised against it. (shrink)

Bovens and Hartmann (Bayesian Epistemology, Oxford: Oxford University Press, 2003) propose to analyze coherence as a confidence-boosting property. On the basis of this idea, they construct a new probabilistic theory of coherence. In this paper, I will attempt to show that the resulting measure of coherence clashes with some of the intuitions that motivate it. Also, I will try to show that this clash is not due to the view on coherence as a confidence-boosting property or to the general features (...) of the model that Bovens and Hartmann use to analyze coherence. It will turn out that there is at least one other measure that is similarly based on the concept of a confidence-boosting property, but does not have the same counterintuitive results. (shrink)

When we talk about the coherence of a story, we seem to think of how well its individual pieces fit together—how to explicate this notion formally, though? We develop a Bayesian network based coherence measure with implementation in _R_, which performs better than its purely probabilistic predecessors. The novelty is that by paying attention to the network structure, we avoid simply taking mean confirmation scores between all possible pairs of subsets of a narration. Moreover, we assign special importance to the (...) weakest links in a narration, to improve on the other measures’ results for logically inconsistent scenarios. We illustrate and investigate the performance of the measures in relation to a few philosophically motivated examples, and (more extensively) using the real-life example of the Sally Clark case. (shrink)

Over the years several non-equivalent probabilistic measures of coherence have been discussed in the philosophical literature. In this paper we examine these measures with respect to their empirical adequacy. Using test cases from the coherence literature as vignettes for psychological experiments we investigate whether the measures can predict the subjective coherence assessments of the participants. It turns out that the participants’ coherence assessments are best described by Roche’s coherence measure based on Douven and Meijs’ average mutual support approach and the (...) conditional probability. (shrink)

Relative overlap measures of coherence have recently been shown to have two devastating properties: according to the plain relative overlap measure, the degree of coherence of any set of propositions cannot be increased by adding further propositions, and according to the refined relative overlap measure, no set can be more coherent than its most coherent two-element subset. This result has been taken to rule out relative overlap as a foundation for a probabilistic explication of coherence. The present paper shows that (...) this view is premature: we propose a relative overlap measure that does not fall victim to the two properties. The guiding idea is to employ a well-established recipe for the construction of coherence measures and to adapt it to the idea of relative overlap. We show that this new measure keeps up with, or even outperforms, former overlap measures in a set of desiderata for coherence measures and a collection of popular test cases. This result re-establishes relative overlap as a candidate for a proper formalization of coherence. (shrink)

Tomoji Shogenji is generally assumed to be the first author to have presented a probabilistic measure of coherence. Interestingly, Rudolf Carnap in his Logical Foundations of Probability discussed a function that is based on the very same idea, namely his well-known relevance measure. This function is largely neglected in the coherence literature because it has been proposed as a measure of evidential support and still is widely conceived as such. The aim of this paper is therefore to investigate Carnap’s measure (...) regarding its plausibility as a candidate for a probabilistic measure of coherence by comparing it to Shogenji’s. It turns out that both measures satisfy and violate the same adequacy constraints, despite not being ordinally equivalent exhibit a strong correlation with each other in a Monte Carlo simulation and perform similarly in a series of test cases for probabilistic coherence measures. (shrink)

Coherence is the property of propositions hanging or fitting together. Intuitively, adding a proposition to a set of propositions should be compatible with either increasing or decreasing the set’s degree of coherence. In this paper we show that probabilistic coherence measures based on relative overlap are in conflict with this intuitive verdict. More precisely, we prove that according to the naive overlap measure it is impossible to increase a set’s degree of coherence by adding propositions and that according to the (...) refined overlap measure no set’s degree of coherence exceeds the degree of coherence of its maximally coherent subset. We also show that this result carries over to all other subset-sensitive refinements of the naive overlap measure. As both results stand in sharp contrast to elementary coherence intuitions, we conclude that extant relative overlap measures of coherence are inadequate. (shrink)

Coherence is a key concept in many accounts of epistemic justification within ‘traditional’ analytic epistemology. Within formal epistemology, too, there is a substantial body of research on coherence measures. However, there has been surprisingly little interaction between the two bodies of literature. The reason is that the existing formal literature on coherence measure operates with a notion of belief system that is very different from—what we argue is—a natural Bayesian formalisation of the concept of belief system from traditional epistemology. Therefore, (...) formal epistemology has so far only been concerned with one particular—arguably not even very natural—way of formalising coherence of belief systems; it has by no means refuted the viability of coherentism. In contrast to the existing literature, we formalise belief systems as families of assignments of (conditional) degrees of belief (which may be compatible with several subjective probability measures). Within this framework, we propose a Bayesian formalisation of the thrust of BonJour’s coherence concept in The structure of empirical knowledge (Harvard University Press, Cambridge, 1985), using a combination of Bayesian confirmation theory and basic graph theory. In excursions, we introduce graded notions for both logical and probabilistic consistency of belief systems—the latter being based on certain geometrical structures induced by probabilistic belief systems. For illustration, we reconsider BonJour’s “ravens” challenge (op. cit., p. 95f.). Finally, potential objections to our proposed formal coherence notion are explored. (shrink)

Two of the probabilistic measures of coherence discussed in this paper take probabilistic dependence into account and so depend on prior probabilities in a fundamental way. An example is given which suggests that this prior-dependence can lead to potential problems. Another coherence measure is shown to be independent of prior probabilities in a clearly defined sense and consequently is able to avoid such problems. The issue of prior-dependence is linked to the fact that the first two measures can be understood (...) as measures of coherence as striking agreement, while the third measure represents coherence as agreement. Thus, prior (in)dependence can be used to distinguish different conceptions of coherence. (shrink)

Let E be a set of n propositions E1, ..., En. We seek a probabilistic measure C(E) of the ‘degree of coherence’ of E. Intuitively, we want C to be a quantitative, probabilistic generalization of the (deductive) logical coherence of E. So, in particular, we require C to satisfy the following..

This paper aims to contribute to our understanding of the notion of coherence by explicating in probabilistic terms, step by step, what seem to be our most basic intuitions about that notion, to wit, that coherence is a matter of hanging or fitting together, and that coherence is a matter of degree. A qualitative theory of coherence will serve as a stepping stone to formulate a set of quantitative measures of coherence, each of which seems to capture well the aforementioned (...) intuitions. Subsequently it will be argued that one of those measures does better than the others in light of some more specific intuitions about coherence. This measure will be defended against two seemingly obvious objections. (shrink)

In this paper, we identify a new and mathematically well-defined sense in which the coherence of a set of hypotheses can be truth-conducive. Our focus is not, as usual, on the probability but on the confirmation of a coherent set and its members. We show that, if evidence confirms a hypothesis, confirmation is “transmitted” to any hypotheses that are sufficiently coherent with the former hypothesis, according to some appropriate probabilistic coherence measure such as Olsson’s or Fitelson’s measure. Our findings have (...) implications for scientific methodology, as they provide a formal rationale for the method of indirect confirmation and the method of confirming theories by confirming their parts. (shrink)

According to an influential Enlightenment ideal, one shouldn't rely epistemically on other people's say-so, at least not if one is in a position to evaluate the relevant evidence for oneself. However, in much recent work in social epistemology, we are urged to dispense with this ideal, which is seen as stemming from a misguided focus on isolated individuals to the exclusion of groups and communities. In this paper, I argue that that an emphasis on the social nature of inquiry should (...) not lead us to entirely abandon the Enlightenment ideal of epistemically autonomous agents. Specifically, I suggest that it is an appropriate ideal for those who serve as experts in a given epistemic community, and develop a notion of expert acceptance to make sense of this. I go on to show that, all other things being equal, this kind of epistemic autonomy among experts makes their joint testimony more reliable, which in turn brings epistemic benefits both to laypeople and to experts in other fields. (shrink)

To understand something involves some sort of commitment to a set of propositions comprising an account of the understood phenomenon. Some take this commitment to be a species of belief; others, such as Elgin and I, take it to be a kind of cognitive policy. This paper takes a step back from debates about the nature of understanding and asks when this commitment involved in understanding is epistemically appropriate, or ‘acceptable’ in Elgin’s terminology. In particular, appealing to lessons from the (...) lottery and preface paradoxes, it is argued that this type of commitment is sometimes acceptable even when it would be rational to assign arbitrarily low probabilities to the relevant propositions. This strongly suggests that the relevant type of commitment is sometimes acceptable in the absence of epistemic justification for belief, which in turn implies that understanding does not require justification in the traditional sense. The paper goes on to develop a new probabilistic model of acceptability, based on the idea that the maximally informative accounts of the understood phenomenon should be optimally probable. Interestingly, this probabilistic model ends up being similar in important ways to Elgin’s proposal to analyze the acceptability of such commitments in terms of ‘reflective equilibrium’. (shrink)

The impossibility results of Bovens and Hartmann (2003) and Olsson (2005) call into question the strength of the connection between coherence and truth. As part of the inquiry into this alleged link, I define a notion of degree of truth-conduciveness, relevant for measuring the usefulness of coherence measures as rules-of-thumb for assigning probabilities in situations of partial knowledge. I use the concept to compare the viability of some of the measures of coherence that have been suggested so far under different (...) circumstances. It turns out that all of these, including the prior, are just about equally good in cases of very little knowledge. Nevertheless, there are differences in when they are applicable, and they also depart more from each other when more knowledge is added. CiteULike Connotea Del.icio.us What's this? (shrink)

Special issue. With contributions by Luc Bovens and Stephan Hartmann, David Glass, Keith Lehrer, Erik Olsson, Tomoji Shogenji, Mark Siebel, and Paul Thagard.

This thesis is a collection of three self-contained papers on related themes in the area of formal and social epistemology. The first paper explores the possibility of measuring the coherence of a set with multiplicative averaging. It has been pointed out that all the existing probabilistic measures of coherence are flawed for taking the relevance between a set of propositions as the primary factor which determines the coherence of the set. What I show in this paper is that a group (...) of measures, namely the confirmation-based ones, can be saved from this problem if we adopt a nonlinear averaging function to measure the coherence of a set. The second paper discusses how people should conciliate in disagreements. Some epistemologists take linear averaging as the only way of conciliating and claim that conciliating leads to fallacious results. In the paper, I show that the problem is not conciliating, but taking linear averaging as the only way to conciliate. Since there is no reason for us to insist on conciliating with linear averaging, we can adopt nonlinear averaging functions for conciliating and thereby avoid the formal deficiencies. The third paper focuses on the pragmatic results of taking conciliating as a general strategy in disagreements. There is a potential dilemma about conciliating: if everyone always conciliates, it is likely for an epistemic bubble to arise. If everyone refuses to conciliate, an epistemic echo chamber may appear. A possible way of solving the dilemma is to develop a diachronic strategy which tells people how to both conciliate and update their estimate of their interlocutors’ reliability. Although the three papers differ in the subject, they jointly offer some unifying reflections on the way we approach philosophical problems with formal tools. From 5 the first two papers, we see that a formal analysis of a philosophical position is incomplete if philosophers fail to consider a sufficiently wide range of formal tools. The third paper, on the contrary, shows that we should change the ordinary way of modelling a notion if required. This thesis concludes by proposing a pluralistic view of formal methods in formal epistemology. (shrink)