Epistemology and informal logic have overlapping and broadly similar subject matters. A principle of methodological symmetry is: philosophical theories of sufficiently similar subject matters should engage similar methods. Suppose the best way to do epistemology is in highly formalized ways, with a large role for mathematical methods. The symmetry principle suggests this is also the best way to do the logic of the reasoning and argument, the subject matter of informal logic. A capitulation to mathematics is inimical to informal logicians, (...) yet formal methods and mathematical models are an emerging force in epistemology. What is to be done? What’s sauce for the goose of epistemology is sauce for the gander of informal logic. (shrink)

The likelihood principle (LP) is a core issue in disagreements between Bayesian and frequentist statistical theories. Yet statements of the LP are often ambiguous, while arguments for why a Bayesian must accept it rely upon unexamined implicit premises. I distinguish two propositions associated with the LP, which I label LP1 and LP2. I maintain that there is a compelling Bayesian argument for LP1, based upon strict conditionalization, standard Bayesian decision theory, and a proposition I call the practical relevance principle. In (...) contrast, I argue that there is no similarly compelling argument for or against LP2. I suggest that these conclusions lead to a restrictedly pluralistic view of Bayesian confirmation measures. (shrink)

According to influential accounts of scientific method, such as critical rationalism, scientific knowledge grows by repeatedly testing our best hypotheses. But despite the popularity of hypothesis tests in statistical inference and science in general, their philosophical foundations remain shaky. In particular, the interpretation of non-significant results—those that do not reject the tested hypothesis—poses a major philosophical challenge. To what extent do they corroborate the tested hypothesis, or provide a reason to accept it? Popper sought for measures of corroboration that could (...) adequately answer this question. According to Popper, corroboration is different from probability-raising, and grounded in the predictive success and testability of a hypothesis. As such, corroboration becomes an indicator of the scientific value of a hypothesis and guides our practical preferences over hypotheses that have been subjected to severe tests. This article proves two impossibility results for corroboration measures based on statistical relevance. The generality of these results shows that Popper’s qualitative characterization of corroboration must be misguided. I explore what a more promising and scientifically useful concept of corroboration could look like. (shrink)

Tacking by conjunction is a well-known problem for Bayesian confirmation theory. In the first section, disadvantages of existing Bayesian solution proposals to this problem are pointed out and an alternative solution proposal is presented: that of genuine confirmation. In the second section, the notion of GC is briefly recapitulated and three versions of GC are distinguished: full GC, partial GC and quantitative GC. In the third section, the application of partial GC to pure post-facto speculations is explained. In the fourth (...) section it is demonstrated that full GC is a necessary condition for Bayesian convergence to certainty based on the accumulation of conditionally independent pieces of evidence. It is found that whenever a hypothesis is equivalent to a disjunction of more fine-grained hypotheses conveying different probabilities to the evidence, then conditional independence of the evidence fails. This failure occurs typically for unspecific negations of hypotheses. A refined version of the convergence to certainty theorem that overcomes this difficulty is developed in the final section. (shrink)

Tacking by conjunction is a deep problem for Bayesian confirmation theory. It is based on the insight that to each hypothesis h that is confirmed by a piece of evidence e one can ‘tack’ an irrelevant hypothesis h′ so that h∧h′ is also confirmed by e. This seems counter-intuitive. Existing Bayesian solution proposals try to soften the negative impact of this result by showing that although h∧h′ is confirmed by e, it is so only to a lower degree. In this (...) article we outline some problems of these proposals and develop an alternative solution based on a new concept of confirmation that we call genuine confirmation. After pointing out that genuine confirmation is a necessary condition for cumulative confirmation we apply this notion to the tacking by conjunction problem. We consider both the question of what happens when irrelevant hypotheses are added to a hypothesis h that is confirmed by e as well as the question of what happens when h is disconfirmed. The upshot of our discussion will be that genuine confirmation provides a robust solution for each of the different perspectives. _1_ Introduction _2_ Tacking by Conjunction: Existing Solution Proposals _3_ Genuine Confirmation _3.1_ Content elements and content parts _3.2_ Qualitative genuine confirmation _3.3_ Quantitative genuine confirmation _4_ Tacking by Conjunction: The Case of Confirmation _5_ Tacking by Conjunction: The Case of Disconfirmation _6_ Tacking by Conjunction: Adding Multiple Hypotheses _7_ Conclusion Appendix. (shrink)

The concepts of coherence and confirmation are closely intertwined: according to a prominent proposal coherence is nothing but mutual confirmation. Accordingly, it should come as no surprise that both are confronted with similar problems. As regards Bayesian confirmation measures these are illustrated by the problem of tacking by conjunction. On the other hand, Bayesian coherence measures face the problem of belief individuation. In this paper we want to outline the benefit of an approach to coherence and confirmation based on content (...) elements. It will be shown that the resulting concepts, called genuine coherence and genuine confirmation, can be used in order to solve the two mentioned problems. In a final section we present some results on degrees of genuine coherence and genuine confirmation. (shrink)

Bayesian confirmation theories might be the best standing theories of confirmation to date, but they are certainly not paradox-free. Here I recognize that BCTs’ appeal mainly comes from the fact that they capture some of our intuitions about confirmation better than those the- ories that came before them and that the superiority of BCTs is suffi- ciently justified by those advantages. Instead, I will focus on Sylvan and Nola’s claim that it is desirable that our best theory of confirmation be (...) as paradox-free as possible. For this reason, I will show that, as they respond to different interests, the project of the BCTs is not incompatible with Sylvan and Nola’s project of a paradox-free confirmation logic. In fact, it will turn out that, provided we are ready to embrace some degree of non-classicality, both projects complement each other nicely. (shrink)

Hempel‘s paradox of the ravens, and his take on it, are meant to be understood as being restricted to situations where we have no additional background information. According to him, in the absence of any such information, observations of FGs confirm the hypothesis that all Fs are G. In this paper I argue against this principle by way of considering two other paradoxes of confirmation, Goodman‘s 'grue‘ paradox and the 'tacking‘ (or 'irrelevant conjunct‘) paradox. What these paradoxes reveal, I argue, (...) is that a presumption of causal realism is required to ground any confirmation; but once we grant causal realism, we have no reason to accept the central principles giving rise to the paradoxes. (shrink)

It is widely believed that one should not become more confident that all swans are white and all lions are brave simply by observing white swans. Irrelevant conjunction or “tacking” of a theory onto another is often thought problematic for Bayesianism, especially given the ratio measure of confirmation considered here. It is recalled that the irrelevant conjunct is not confirmed at all. Using the ratio measure, the irrelevant conjunction is confirmed to the same degree as the relevant conjunct, which, it (...) is argued, is ideal: the irrelevant conjunct is irrelevant. Because the past’s really having been as it now appears to have been is an irrelevant conjunct, present evidence confirms theories about past events only insofar as irrelevant conjunctions are confirmed. Hence the ideal of not confirming irrelevant conjunctions would imply that historical claims are not confirmed. Confirmation measures partially realizing that ideal make the confirmation of historical claims by present evidence depend strongly on the (presumably subjective) degree of belief in the irrelevant conjunct. The unusually good behavior of the ratio measure has a bearing on the problem of measure sensitivity. For non-statistical hypotheses, Bayes’ theorem yields a fractional linear transformation in the prior probability, not a linear rescaling, so even the ratio measure arguably does not aptly measure confirmation in such cases. (shrink)

This research article revisits Hempel’s logic of confirmation in light of recent developments in categorical proof theory. While Hempel advocated several logical conditions in favor of a purely syntactical definition of a general non-quantitative concept of confirmation, we show how these criteria can be associated to specific logical properties of monoidal modal deductive systems. In addition, we show that many problems in confirmation logic, such as the tacked disjunction, the problem of weakening with background knowledge and the problem of irrelevant (...) conjunction, are also associated with specific logical properties and, incidentally, with some of Hempel’s logical conditions of adequacy. We discuss the raven paradox together with further objections against Hempel’s approach, showing how our analysis enables a clear understanding of the relationships between Hempel’s conditions, the problems in confirmation logic, and the properties of deductive systems. (shrink)

Bayesian confirmation theory offers an explicatum for a pretheoretic concept of confirmation. The “problem of irrelevant conjunction” for this theory is that, according to some people's intuitions, the pretheoretic concept differs from the explicatum with regard to conjunctions involving irrelevant propositions. Previous Bayesian solutions to this problem consist in showing that irrelevant conjuncts reduce the degree of confirmation; they have the drawbacks that (i) they don't hold for all ways of measuring degree of confirmation and (ii) they don't remove the (...) conflict with intuition but merely “soften the impact” (as Fitelson has written). A better solution, which avoids both these drawbacks, is to show that the intuition is wrong. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

The aim of this paper is to argue for a revised and precisified version of the infamous Verifiability Criterion for the meaningfulness of declarative sentences. The argument is based on independently plausible premises concerning probabilistic confirmation and meaning as context-change potential, it is shown to be logically valid, and its ramifications for potential applications of the criterion are being discussed. Although the paper is not historical but systematic, the criterion thus vindicated will resemble the original one(s) in some important ways. (...) At the same time, it will also be more modest insofar as meaningfulness will turn out to be relativized linguistically and probabilistically, and different choices of the linguistic and probabilistic parameters may lead to different verdicts on meaningfulness. (shrink)

Bayesians regard their solution to the paradox of confirmation as grounds for preferring their theory of confirmation to Hempel’s. They point out that, unlike Hempel, they can at least say that a black raven confirms “All ravens are black” more than a white shoe. However, I argue that this alleged advantage is cancelled out by the fact that Bayesians are equally committed to the view that a white shoe confirms “All non-black things are non-ravens” less than a black raven. In (...) light of this, I reexamine the dialectic between Hempel and the Bayesians. (shrink)

Likelihoodists and Bayesians seem to have a fundamental disagreement about the proper probabilistic explication of relational (or contrastive) conceptions of evidential support (or confirmation). In this paper, I will survey some recent arguments and results in this area, with an eye toward pinpointing the nexus of the dispute. This will lead, first, to an important shift in the way the debate has been couched, and, second, to an alternative explication of relational support, which is in some sense a "middle way" (...) between Likelihoodism and Bayesianism. In the process, I will propose some new work for an old probability puzzle: the "Monty Hall" problem. (shrink)

has proposed an interesting and novel Bayesian analysis of the Quine-Duhem (Q–D) problem (i.e., the problem of auxiliary hypotheses). Strevens's analysis involves the use of a simplifying idealization concerning the original Q–D problem. We will show that this idealization is far stronger than it might appear. Indeed, we argue that Strevens's idealization oversimplifies the Q–D problem, and we propose a diagnosis of the source(s) of the oversimplification. Some background on Quine–Duhem Strevens's simplifying idealization Indications that (I) oversimplifies Q–D Strevens's argument (...) for the legitimacy of (I). (shrink)

Jonah N. Schupbach and Jan Sprenger and Vincenzo Crupi and Katya Tentori have recently proposed measures of explanatory power and have shown that they are characterized by certain arguably desirable conditions or axioms. I further examine the properties of these two measures, and a third measure considered by I. J. Good and Timothy McGrew . This third measure also has an axiomatic representation. I consider a simple coin-tossing example in which only the Crupi–Tentori measure does not perform well. The Schupbach–Sprenger (...) and Good–McGrew measures are based on different notions of explanatory power, but both are tenable. 1 Introduction2 Measures of Explanatory Power3 The Schupbach–Sprenger Measure4 The Crupi–Tentori Measure5 The Good–McGrew Measure6 Affirmative versus Comprehensive Explanatory Power7 Coin-Flipping Examples8 Decomposition9 Conclusion. (shrink)

The traditional Bayesian qualitative account of evidential support (TB) takes assertions of the form 'E evidentially supports H' to affirm the existence of a two-place relation of evidential support between E and H. The analysans given for this relation is $C(H,E) =_{def} Pr(H\arrowvertE) \models Pr(H)$ . Now it is well known that when a hypothesis H entails evidence E, not only is it the case that C(H,E), but it is also the case that C(H&X,E) for any arbitrary X. There is (...) a widespread feeling that this is a problematic result for TB. Indeed, there are a number of cases in which many feel it is false to assert 'E evidentially supports H&X', despite H entailing E. This is known, by those who share that feeling, as the 'tacking problem' for Bayesian confirmation theory. After outlining a generalization of the problem, I argue that the Bayesian response has so far been unsatisfactory. I then argue the following: (i) There exists, either instead of, or in addition to, a two-place relation of confirmation, a three-place, 'contrastive' relation of confirmation, holding between an item of evidence E and two competing hypotheses H₁ and H₂. (ii) The correct analysans of the relation is a particular probabilistic inequality, abbreviated C(H₁, H₂, E). (iii) Those who take the putative counterexamples to TB discussed to indeed be counterexamples are interpreting the relevant utterances as implicitly contrastive, contrasting the relevant hypothesis H₁ with a particular competitor H₂. (iv) The probabilistic structure of these cases is such that ∼C(H₁, H₂, E). This solves my generalization of the tacking problem. I then conclude with some thoughts about the relationship between the traditional Bayesian account of evidential support and my proposed account of the three-place relation of confirmation. (shrink)

Fitelson (1999) demonstrates that the validity of various arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. The present paper adds to the results set out in Fitelson (1999), expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the paper reviews the ramifications that this "strengthened problem of measure (...) sensitivity" has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation. (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)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

Handbook of the History of Logic, vol. 10, eds. Dov Gabbay, Stephan Hartmann, and John Woods, forthcoming.

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...) does not re- place it or aim at replacing it. (shrink)

It is argued that the relation of instance confirmation has a role to play in scientific methodology that complements, rather than competing with, a modern account of inductive support such as Bayesian confirmation theory. When an instance confirms a hypothesis, it provides inductive support, but it also provides two things that other inductive supporters normally do not: first, a connection to “empirical data” that makes science epistemically special, and second, inductive support not only for the hypothesis as a whole, but (...) for its parts. Further, when it is conceived in the right way, instance confirmation can duck the arguments most often thought to refute it. A causal account of instantiation, thus of instance confirmation, is offered that looks to deliver on all of the foregoing promises. (shrink)

The problem adressed in this paper is “the main epistemic problem concerning science”, viz. “the explication of how we compare and evaluate theories [...] in the light of the available evidence” (van Fraassen 1983, 27).