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

Bayesian confirmation theory—abbreviated to in these notes—is the predominant approach to confirmation in late twentieth century philosophy of science. It has many critics, but no rival theory can claim anything like the same following. The popularity of the Bayesian approach is due to its flexibility, its apparently effortless handling of various technical problems, the existence of various a priori arguments for its validity, and its injection of subjective and contextual elements into the process of confirmation in just the places where (...) critics of earlier approaches had come to think that subjectivity and sensitivity to context were necessary. (shrink)

The Paradox of the Ravens (a.k.a,, The Paradox of Confirmation) is indeed an old chestnut. A great many things have been written and said about this paradox and its implications for the logic of evidential support. The first part of this paper will provide a brief survey of the early history of the paradox. This will include the original formulation of the paradox and the early responses of Hempel, Goodman, and Quine. The second part of the paper will describe attempts (...) to resolve the paradox within a Bayesian framework, and show how to improve upon them. This part begins with a discussion of how probabilistic methods can help to clarify the statement of the paradox itself. And it describes some of the early responses to probabilistic explications. We then inspect the assumptions employed by traditional (canonical) Bayesian approaches to the paradox. These assumptions may appear to be overly strong. So, drawing on weaker assumptions, we formulate a new-and-improved Bayesian confirmation-theoretic resolution of the Paradox of the Ravens. (shrink)

The canonical Bayesian solution to the ravens paradox faces a problem: it entails that black non-ravens disconfirm the hypothesis that all ravens are black. I provide a new solution that avoids this problem. On my solution, black ravens confirm that all ravens are black, while non-black non-ravens and black non-ravens are neutral. My approach is grounded in certain relations of epistemic dependence, which, in turn, are grounded in the fact that the kind raven is more natural than the kind black. (...) The solution applies to any generalization “All F’s are G” in which F is more natural than G. (shrink)

Hempel first introduced the paradox of confirmation in (Hempel 1937). Since then, a very extensive literature on the paradox has evolved (Vranas 2004). Much of this literature can be seen as responding to Hempel’s subsequent discussions and analyses of the paradox in (Hempel 1945). Recently, it was noted that Hempel’s intuitive (and plausible) resolution of the paradox was inconsistent with his official theory of confirmation (Fitelson & Hawthorne 2006). In this article, we will try to explain how this inconsistency affects (...) the historical dialectic about the paradox and how it illuminates the nature of confirmation. In the end, we will argue that Hempel’s intuitions about the paradox of confirmation were (basically) correct, and that it is his theory that should be rejected, in favor of a (broadly) Bayesian account of confirmation. (shrink)

Abstract The purpose of this paper is twofold: (i) we will argue that formal semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts, namely ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of, and relations between, objects of various ontological types; and (ii) we show that accounting for these differences amounts to a new formal semantics; one that integrates lexical and (...) compositional semantics in one coherent framework and one where formal semantics is embedded with a strongly typed ontology; an ontology that reflects our commonsense knowledge of the world and the way we talk about it in ordinary language. We will show how in such a framework a number of challenges in the semantics of natural language are adequately and systematically treated. (shrink)

The (recent, Bayesian) cognitive science literature on the Wason Task (WT) has been modeled largely after the (not-so-recent, Bayesian) philosophy of science literature on the Paradox of Confirmation (POC). In this paper, we apply some insights from more recent Bayesian approaches to the (POC) to analogous models of (WT). This involves, first, retracing the history of the (POC), and, then, re-examining the (WT) with these historico-philosophical insights in mind.

Simple random sampling resolutions of the raven paradox relevantly diverge from scientific practice. We develop a stratified random sampling model, yielding a better fit and apparently rehabilitating simple random sampling as a legitimate idealization. However, neither accommodates a second concern, the objection from potential bias. We develop a third model that crucially invokes causal considerations, yielding a novel resolution that handles both concerns. This approach resembles Inference to the Best Explanation (IBE) and relates the generalization’s confirmation to confirmation of an (...) associated law. We give it an objective Bayesian formalization and discuss the compatibility of Bayesianism and IBE. (shrink)

According to a widespread but implicit thesis in Bayesian confirmation theory, two confirmation measures are considered equivalent if they are ordinally equivalent—call this the “ordinal equivalence thesis”. I argue that adopting OET has significant costs. First, adopting OET renders one incapable of determining whether a piece of evidence substantially favors one hypothesis over another. Second, OET must be rejected if merely ordinal conclusions are to be drawn from the expected value of a confirmation measure. Furthermore, several arguments and applications of (...) confirmation measures given in the literature already rely on a rejection of OET. I also contrast OET with stronger equivalence theses and show that they do not have the same costs as OET. On the other hand, adopting a thesis stronger than OET has costs of its own, since a rejection of OET ostensibly implies that people’s epistemic states have a very fine-grained quantitative structure. However, I suggest that the normative upshot of the paper in fact has a conditional form, and that other Bayesian norms can also fruitfully be construed as having a similar conditional form. (shrink)

Wason’s selection task is a paramount experimental problem in the study of human reasoning, often connected with the celebrated ravens paradox in the philosophical literature. Various normative accounts of the selection task rely on a Bayesian approach. Some claim vindication of participants’ rationality. Others don’t, thus following Wason’s original intuition that observed responses are mistaken. In this article we argue that despite claims to the contrary, all these accounts actually speak to the same effect: Wason was right. First, we provide (...) a new accuracy-based analysis of the selection task that includes the existing proposals as special cases. We then show on this basis that none can actually vindicate participants’ rationality. We conclude that all normative renditions considered eventually concur: all in all, Bayesians should follow Wason in the selection task. (shrink)

I argue that the standard Bayesian solution to the ravens paradox— generally accepted as the most successful solution to the paradox—is insufficiently general. I give an instance of the paradox which is not solved by the standard Bayesian solution. I defend a new, more general solution, which is compatible with the Bayesian account of confirmation. As a solution to the paradox, I argue that the ravens hypothesis ought not to be held equivalent to its contrapositive; more interestingly, I argue that (...) how we formally represent hypotheses ought to vary with the context of inquiry. This explains why the paradox is compelling, while dealing with standard objections to holding hypotheses inequivalent to their contrapositives. (shrink)

To clarify and illuminate the place of probability in science Ellery Eells and James H. Fetzer have brought together some of the most distinguished philosophers ...

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

The discussion about the Raven Paradox is ever-renewing: after nearly 70 years, many authors propose from time to time new solutions, and many authors state that these solutions are unsatisfactory. It is worthy to be carefully noted that though most arguments in favor or against the paradox are based on the notion of “probability” and on the application of Bayes’ law, not one of them makes use of the Kolmogorov axiomatic theory of probability and on the subsequent notion of “random (...) variable”. This seems to be due to a preference for the purely logical interpretation of the notion of “probability” which makes it possible to assign a probability value to propositions expressing natural (universal) laws. This paper aims at presenting an attempt to contribute a solution to the paradox by the proposal of a different way to express universal natural laws and by the use of a language which does not allow one to apply probability to universal statements. (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)

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)

According to Hempel’s raven paradox, the observation of one non-black non-raven confirms the hypothesis that all ravens are black. Bayesians such as Howson and Urbach (Scientific reasoning: the Bayesian approach, 2nd edn. Open Court, Chicago, 1993 ) claim that the raven paradox can be solved by spelling out the concept of confirmation in the sense of the relevance criterion. Siebel (J Gen Philos Sci 35:313–329, 2004 ) disputes the adequacy of this Bayesian solution. He claims that spelling out the concept (...) of confirmation in the relevance sense lets the raven paradox reappear as soon as numerous non-black non-ravens are observed. It is shown in this paper that Siebel’s objection to the Bayesian solution is flawed. Nevertheless, the objection made by Siebel may give us an idea of how Bayesians can successfully handle situations in which we observe more than one non-black non-raven. (shrink)

Using the concept of purity to reflect on the relationship between chemical practice and the philosophy of science, this article considers the philosophical significance of the chemical manipulations that aim to purify or otherwise transform matter. Starting from a consideration of the nature and role of pure (or idealised) examples in philosophy of science, the article underlines the temptation towards abstraction and theory for both scientists and philosophers. The article goes on to argue that chemistry, despite its increasing theoretical sophistication, (...) is a science that remains particularly close to laboratory manipulations. This point is made in reference to the work of Gaston Bachelard on the production of purity and with the aid of historical examples, notably exploring the interplay between techniques of purification and the definition of elements, with special attention paid to Lavoisier’s definition of elements as the final limit of analysis. The closing section concerns the manufacture of steel from iron ore in the eighteenth century, illustrating this process using texts by Pierre-Joseph Macquer and Denis Diderot. Steel production is used to illustrate the kinds of philosophical question that are raised by paying attention to the details of chemical practice rather than jumping straight to chemical theory and also suggests how scientific theory can emerge from this practice itself. (shrink)