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)

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.

This article proposes a new interpretation of mutual information. We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the problem of (...) measure sensitivity and fails to justify the use of MI in giving definitive answers to questions of information. We propose a fourth interpretation of MI by reduction in expected inaccuracy, where inaccuracy is measured by a strictly proper monotonic scoring rule. It is shown that the answers to questions of information given by MI are definitive whenever this interpretation is appropriate, and that it is appropriate in a wide range of applications with epistemic implications. _1_ Introduction _2_ Formal Analyses of the Three Interpretations _2.1_ Reduction in doubt _2.2_ Reduction in uncertainty _2.3_ Divergence _3_ Inconsistency with Epistemic Value of Information _4_ Problem of Measure Sensitivity _5_ Reduction in Expected Inaccuracy _6_ Resolution of the Problem of Measure Sensitivity _6.1_ Alternative measures of inaccuracy _6.2_ Resolution by strict propriety _6.3_ Range of applications _7_ Global Scoring Rules _8_ Conclusion. (shrink)

This paper proposes a new interpretation of mutual information (MI). We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information (EVI) assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the (...) problem of measure sensitivity and fails to justify the use of MI in giving definitive answers to questions of information. We propose a fourth interpretation of MI by reduction in expected inaccuracy, where inaccuracy is measured by a strictly proper monotonic scoring rule. It is shown that the answers to questions of information given by MI are definitive whenever this interpretation is appropriate, and that it is appropriate in a wide range of applications with epistemic implications. (shrink)

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)

It is often thought that presentism is incompatible with time travel. I will argue that this common view is incorrect. Specifically, I will argue that presentism is compatible with some stories that involve closed timelike curves, and that some of these stories are time-travel stories.

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)

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)

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)

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)