With this treatise, an insightful exploration of the probabilistic connection between philosophy and the history of science, the famous economist breathed new life into studies of both disciplines. Originally published in 1921, this important mathematical work represented a significant contribution to the theory regarding the logical probability of propositions. Keynes effectively dismantled the classical theory of probability, launching what has since been termed the “logical-relationist” theory. In so doing, he explored the logical relationships between classifying a proposition as “highly probable” (...) and as a “justifiable induction.” Unabridged republication of the classic 1921 edition. (shrink)

1 Knowledge and Justification This book is an investigation of one central problem which arises in the attempt to give a philosophical account of empirical ...

Epistemologists and philosophers of science have often attempted to express formally the impact of a piece of evidence on the credibility of a hypothesis. In this paper we will focus on the Bayesian approach to evidential support. We will propose a new formal treatment of the notion of degree of confirmation and we will argue that it overcomes some limitations of the currently available approaches on two grounds: (i) a theoretical analysis of the confirmation relation seen as an extension of (...) logical deduction and (ii) an empirical comparison of competing measures in an experimental inquiry concerning inductive reasoning in a probabilistic setting. (shrink)

Bayes' Theorem is a simple mathematical formula used for calculating conditional probabilities. It figures prominently in subjectivist or Bayesian approaches to epistemology, statistics, and inductive logic. Subjectivists, who maintain that rational belief is governed by the laws of probability, lean heavily on conditional probabilities in their theories of evidence and their models of empirical learning. Bayes' Theorem is central to these enterprises both because it simplifies the calculation of conditional probabilities and because it clarifies significant features of subjectivist position. Indeed, (...) the Theorem's central insight — that a hypothesis is confirmed by any body of data that its truth renders probable — is the cornerstone of all subjectivist methodology. (shrink)

Probabilistic models have much to offer to philosophy. We continually receive information from a variety of sources: from our senses, from witnesses, from scientific instruments. When considering whether we should believe this information, we assess whether the sources are independent, how reliable they are, and how plausible and coherent the information is. Bovens and Hartmann provide a systematic Bayesian account of these features of reasoning. Simple Bayesian Networks allow us to model alternative assumptions about the nature of the information sources. (...) Measurement of the coherence of information is a controversial matter: arguably, the more coherent a set of information is, the more confident we may be that its content is true, other things being equal. The authors offer a new treatment of coherence which respects this claim and shows its relevance to scientific theory choice. Bovens and Hartmann apply this methodology to a wide range of much discussed issues regarding evidence, testimony, scientific theories, and voting. Bayesian Epistemology is an essential tool for anyone working on probabilistic methods in philosophy, and has broad implications for many other disciplines. (shrink)

If coherence is to have justificatory status, as some analytical philosophers think it has, it must be truth-conducive, if perhaps only under certain specific conditions. This paper is a critical discussion of some recent arguments that seek to show that under no reasonable conditions can coherence be truth-conducive. More specifically, it considers Bovens and Hartmann’s and Olsson’s “impossibility results,” which attempt to show that coherence cannot possibly be a truth-conducive property. We point to various ways in which the advocates of (...) a coherence theory of justification may attempt to divert the threat of these results. (shrink)

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

It is tempting to think that, if a person's beliefs are coherent, they are also likely to be true. This truth conduciveness claim is the cornerstone of the popular coherence theory of knowledge and justification. Erik Olsson's new book is the most extensive and detailed study of coherence and probable truth to date. Setting new standards of precision and clarity, Olsson argues that the value of coherence has been widely overestimated. Provocative and readable, Against Coherence will make stimulating reading for (...) epistemologists and anyone with a serious interest in truth. (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)

This paper describes a formal measure of epistemic justification motivated by the dual goal of cognition, which is to increase true beliefs and reduce false beliefs. From this perspective the degree of epistemic justification should not be the conditional probability of the proposition given the evidence, as it is commonly thought. It should be determined instead by the combination of the conditional probability and the prior probability. This is also true of the degree of incremental confirmation, and I argue that (...) any measure of epistemic justification is also a measure of incremental confirmation. However, the degree of epistemic justification must meet an additional condition, and all known measures of incremental confirmation fail to meet it. I describe this additional condition as well as a measure that meets it. The paper then applies the measure to the conjunction fallacy and proposes an explanation of the fallacy. (shrink)

The debate on probabilistic measures of coherence has focused on evaluating sets of consistent propositions. In this paper we draw attention to the largely neglected question of whether such measures concur with intuitions on test cases involving inconsistent propositions and whether they satisfy general adequacy constraints on coherence and inconsistency. While it turns out that, for the vast majority of measures in their original shape, this question must be answered in the negative, we show that it is possible to adapt (...) many of them in order to improve their performance. (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)

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..

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)

This is a study of the logic of the concept of evidence. Two distinct concepts of evidence will be explicated and analyzed: confirming evidence by means of which an hypothesis is established, and supporting evidence which does not establish the hypothesis, but merely renders it more tenable. The formal characteristics of each of these concepts of evidence will be examined in detail in Part II. In Part III these considerations are used as a basis for a survey of rules of (...) evidence in order to establish the systematic character of the evidential relationship from the standpoint of formal logic. Finally, the Conclusion appends a brief indication of the methodological bearing of the logical theory of evidence. (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)

Experimental observations are often taken in order to assist in making a choice between relevant hypotheses ~H and H. The power of observations in this decision is here metrically defined by information-theoretic concepts and Bayes' theorem. The exact of a new observation to increase or decrease Pr the prior probability that H is true; the power of that observation to modify the total amount of uncertainty involved in the choice between ~H and H: the power of a new observation to (...) reduce uncertainty toward the ideal amount, zero; all these powers are systematically shown to be exact metrical functions ofwhere the numerator is the likelihood of the new observation given H, and the denominator is the “expectedness” of the observation. (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)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)

Confirmation of a hypothesis by evidence can be measured by one of the so far known incremental measures of confirmation. As we show, incremental measures can be formally defined as the measures of confirmation satisfying a certain small set of basic conditions. Moreover, several kinds of incremental measure may be characterized on the basis of appropriate structural properties. In particular, we focus on the so-called Matthew properties: we introduce a family of six Matthew properties including the reverse Matthew effect; we (...) further prove that incremental measures endowed with reverse Matthew effect are possible; finally, we shortly consider the problem of the plausibility of Matthew properties. (shrink)

We wish to give a precise formulation of the intuitive concept: The degree to which the known facts support a given hypothesis.

Experimental observations are often taken in order to assist in making a choice between relevant hypotheses ∼ H and H. The power of observations in this decision is here metrically defined by information-theoretic concepts and Bayes' theorem. The exact (or maximum power) of a new observation to increase or decrease Pr(H) the prior probability that H is true; the power of that observation to modify the total amount of uncertainty involved in the choice between ∼ H and H: the power (...) of a new observation to reduce uncertainty toward the ideal amount, zero; all these powers are systematically shown to be exact metrical functions of Pr(H) and Pr(o/H)/Pr(o)-1 where the numerator is the likelihood of the new observation given H, and the denominator is the "expectedness" of the observation. (shrink)

Note: This is not an ad hoc change at all. It’s simply the natural thing say here – if one thinks of F as a generalization of classical logical entailment. The extra complexity I had in my original (incorrect) definition of F was there because I was foolishly trying to encode some non-classical, or “relavant” logical structure in F. I now think this is a mistake, and that I should go with the above, classical account of F. Arguments about relevance (...) logic need to be handled in a different way (and a different context!). And, besides, as Luca Moretti has shown (see below), the original definition of F cannot be the right basis for C ! OK, now on to C. (shrink)

How can we determine the adequacy of a probabilistic coherence measure? A widely accepted approach to this question besides formulating adequacy constraints is to employ paradigmatic test cases consisting of a scenario providing a joint probability distribution over some specified set of propositions coupled with a normative coherence assessment for this set. However, despite the popularity of the test case approach, a systematic evaluation of the proposed test cases is still missing. This paper’s aim is to change this. Using a (...) custom written computer program for the necessary probabilistic calculations a large number of coherence measures in an extensive collection of test cases is examined. The result is a detailed overview of the test case performance of any probabilistic coherence measures proposed so far. It turns out that none of the popular coherence measures such as Shogenji’s, Glass’ and Olsson’s, Fitelson’s or Douven and Meijs’ but two rather unnoticed measures perform best. This, however, does not mean that the other measures can be rejected straightforwardly. Instead, the results presented here are to be understood as a contribution among others to the project of finding adequate probabilistic coherence measures. (shrink)

Over the past years, a number of probabilistic measures of coherence have been proposed. As shown in the paper, however, many of them do not conform to the intuitition that equivalent testimonies are highly coherent, regardless of their prior probability.