In the first chapter of his book Logical Foundations of Probability, Rudolf Carnap introduced and endorsed a philosophical methodology which he called the method of ‘explication’. P.F. Strawson took issue with this methodology, but it is currently undergoing a revival. In a series of articles, Patrick Maher has recently argued that explication is an appropriate method for ‘formal epistemology’, has defended it against Strawson’s objection, and has himself put it to work in the philosophy of science in further clarification of (...) the very concepts on which Carnap originally used it (degree of confirmation, and probability), as well as some concepts to which Carnap did not apply it (such as justified degree of belief). We shall outline Carnap’s original idea, plus Maher’s recent application of such a methodology, and then seek to show that the problem Strawson raised for it has not been dealt with. The method is indeed, we argue, problematic and therefore not obviously superior to the ‘descriptive’ method associated with Strawson. Our targets will not only be Carnapians, though, for what we shall say also bears negatively on a project that Paul Horwich has pursued under the name ‘therapeutic’, or ‘Wittgensteinian’ Bayesianism. Finally, explication, as we shall suggest and as Carnap recognised, is not the only route to philosophical enlightenment. (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)

In the course of theorising, it can be appropriate to replace one concept—a folk concept, or one drawn from an earlier stage of theorising—with a more precise counterpart. The best-known account of concept replacement is Rudolf Carnap’s ‘explication’. P.F. Strawson famously critiqued explication as a method in philosophy. As the critique is standardly construed, it amounts to the objection that explication is ‘irrelevant’, fails to be ‘illuminating’, or simply ‘changes the subject’. In this paper, I argue that this is an (...) unfair characterisation of Strawson’s critique, spelling out the critique in more detail and showing that, fully understood, it is not undermined by extant responses. In light of both the critique and extant responses, I close by making some substantive comments about what explication can, and cannot, be used to do in philosophy. (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)

Philosophers such as Goodman, Scheffler and Glymour aim to answer the Paradox of the Ravens by distinguishing between confirmation simpliciter and selective confirmation. In the latter concept, the evidence both supports a hypothesis and undermines one of its "rivals". In this article, I argue that while selective confirmation does seem to be an important scientific notion, no attempt to formalise it thus far has managed to solve the Paradox of the Ravens.

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

This paper argues that just as full beliefs can constitute knowledge, so can properties of your credence distribution. The resulting notion of probabilistic knowledge helps us give a natural account of knowledge ascriptions embedding language of subjective uncertainty, and a simple diagnosis of probabilistic analogs of Gettier cases. Just like propositional knowledge, probabilistic knowledge is factive, safe, and sensitive. And it helps us build knowledge-based norms of action without accepting implausible semantic assumptions or endorsing the claim that knowledge is interest-relative.

The word ‘probability’ in ordinary language has two different senses, here called inductive and physical probability. This paper examines the concept of inductive probability. Attempts to express this concept in other words are shown to be either incorrect or else trivial. In particular, inductive probability is not the same as degree of belief. It is argued that inductive probabilities exist; subjectivist arguments to the contrary are rebutted. Finally, it is argued that inductive probability is an important concept and that it (...) is a mistake to try to replace it with the concept of degree of belief, as is usual today. (shrink)

How can formal methods be applied to philosophical problems that involve informal concepts of ordinary language? Carnap answered this question by describing a methodology that he called “explication." Strawson objected that explication changes the subject and does not address the original philosophical problem; this paper shows that Carnap’s response to that objection was inadequate and offers a better response. More recent criticisms of explication by Boniolo and Eagle are shown to rest on misunderstandings of the nature of explication. It is (...) concluded that explication is an appropriate methodology for formal philosophy. (shrink)

Inductive probability is the logical concept of probability in ordinary language. It is vague but it can be explicated by defining a clear and precise concept that can serve some of the same purposes. This paper presents a general method for doing such an explication and then a particular explication due to Carnap. Common criticisms of Carnap's inductive logic are examined; it is shown that most of them are spurious and the others are not fundamental.

Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...) analogy are discussed in the introductory material. Electronic resources for conducting research on analogy are listed as well. (shrink)

There is a distinction between merely having the right belief, and further basing that belief on the right reasons. Any adequate epistemology needs to be able to accommodate the basing relation that marks this distinction. However, trouble arises for Bayesianism. I argue that when we combine Bayesianism with the standard approaches to the basing relation, we get the result that no agent forms their credences in the right way; indeed, no agent even gets close. This is a serious problem, for (...) it prevents us from making epistemic distinctions between agents that are doing a reasonably good job at forming their credences and those that are forming them in clearly bad ways. I argue that if this result holds, then we have a problem for Bayesianism. However, I show how the Bayesian can avoid this problem by rejecting the standard approaches to the basing relation. By drawing on recent work on the basing relation, we can develop an account of the relation that allows us to avoid the result that no agent comes close to forming their credences in the right way. The Bayesian can successfully accommodate the basing relation. (shrink)

Eliminative reasoning seems to play an important role in the sciences, but should it be part of our best theory of science? Statistical evidence, prevalent across the sciences, causes problems for eliminative inference, supporting the view that probabilistic theories of confirmation provide a better framework for reasoning about evidence. Here I argue that deductive elimination has an important inferential role to play in science, one that is compatible with probabilistic approaches to evidence. Eliminative inferences help frame testing problems, an essential (...) step that determines the context for evaluating statistical evidence. I illustrate this process with examples from molecular evolutionary biology. (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, reexamining the (WT) with these historico-philosophical insights in mind.

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)

First, a brief historical trace of the developments in confirmation theory leading up to Goodman's infamous "grue" paradox is presented. Then, Goodman's argument is analyzed from both Hempelian and Bayesian perspectives. A guiding analogy is drawn between certain arguments against classical deductive logic, and Goodman's "grue" argument against classical inductive logic. The upshot of this analogy is that the "New Riddle" is not as vexing as many commentators have claimed. Specifically, the analogy reveals an intimate connection between Goodman's problem, and (...) the "problem of old evidence". Several other novel aspects of Goodman's argument are also discussed. (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)

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)

Any theory of confirmation must answer the following question: what is the purpose of its conception of confirmation for scientific inquiry? In this article, we argue that no Bayesian conception of confirmation can be used for its primary intended purpose, which we take to be making a claim about how worthy of belief various hypotheses are. Then we consider a different use to which Bayesian confirmation might be put, namely, determining the epistemic value of experimental outcomes, and thus to decide (...) which experiments to carry out. Interestingly, Bayesian confirmation theorists rule out that confirmation be used for this purpose. We conclude that Bayesian confirmation is a means with no end. 1 Introduction2 Bayesian Confirmation Theory3 Bayesian Confirmation and Belief4 Confirmation and the Value of Experiments5 Conclusion. (shrink)

Rudolf Carnap introduced and endorsed a philosophical methodology which he called the method of ‘explication’. P.F. Strawson took issue with this methodology, but it is currently undergoing a revival. In a series of articles, Patrick Maher has recently argued that explication is an appropriate method for ‘formal epistemology’, has defended it against Strawson’s objection, and has himself put it to work in the philosophy of science in further clarification of the very concepts on which Carnap originally used it (degree of (...) confirmation, and probability), as well as some concepts to which Carnap did not apply it (such as justified degree of belief. We outline Carnap’s original idea, plus Maher’s recent application of such a methodology, and then seek to show that the problem Strawson raised for it has not been dealt with. The method is indeed, we argue, problematic and therefore not obviously superior to the ‘descriptive’ method associated with Strawson. (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 ...

‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive logic. (...) The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

Predictions about the future and unrestricted universal generalizations are never logically implied by our observational evidence, which is limited to particular facts in the present and past. Nevertheless, propositions of these and other kinds are often said to be confirmed by observational evidence. A natural place to begin the study of confirmation theory is to consider what it means to say that some evidence E confirms a hypothesis H.

In October 2009 I decided to stop doing philosophy. This meant, in particular, stopping work on the book that I was writing on the nature of probability. At that time, I had no intention of making my unfinished draft available to others. However, I recently noticed how many people are reading the lecture notes and articles on my web site. Since this draft book contains some important improvements on those materials, I decided to make it available to anyone who wants (...) to read it. That is what you have in front of you. The account of Laplace’s theory of probability in Chapter 4 is very different to what I said in my seminar lectures, and also very different to any other account I have seen; it is based on a reading of important texts by Laplace that appear not to have been read by other commentators. The discussion of von Mises’ theory in Chapter 7 is also new, though perhaps less revolutionary. And the final chapter is a new attempt to come to grips with the popular, but amorphous, subjective theory of probability. The material in the other chapters has mostly appeared in previous articles of mine but things are sometimes expressed differently here. I would like to say again that this is an incomplete draft of a book, not the book I would have written if I had decided to finish it. It no doubt contains poor expressions, it may contain some errors or inconsistencies, and it doesn’t cover all the theories that I originally intended to discuss. Apart from this preface, I have done no work on the book since October 2009. (shrink)

According to all traditional theories of confirmation, statements such as “E confirms H” (where H is a hypothesis and E is the evidence that supports H) are a priori. Peter Achinstein has recently challenged this orthodox position. He claims that at least some confirmation statements are empirical. In this paper I criticize this thesis. I first show that Achinstein´s arguments are either flawed or inconclusive. I then argue that there are strong reasons to conceive of all confirmation statements as a (...) priori. I conclude that inductive logic, if possible, must be a priori knowledge. (shrink)

The article reviews Christopher Hitchcock’s Contemporary Debates in Philosophy of Science, aims to present contemporary issues in philosophy of science through a series of eight debates between leading analytic philosophers in the given specialist field. Each contributor argues for or against a proposed motion of the debate, ranging from issues of metaphysics and epistemology of science to specific philosophical questions in physics, biology and psychology. In that they draw on a wealth of techniques from the practice of philosophy of science (...) from conceptual clarifications to invocation of examples from scientific practice. Nonethless, against the background of philosophical work associated with contemporary scientific practice the topics selected for this volume seem limited in both depth and scope. The volume’s great worth is in presenting ‘philosophy of science in action’ by exercising many tricks of the trade in several self-contained chapters. (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 purpose of this dissertation is to contribute to our understanding of scientific theory pursuit by providing a detailed case study on the development of early quantum theory, from roughly 1900 to 1916. I first elaborate on why this case should be considered an instance of piecemeal pursuit by presenting the historical quantum conjectures that were being used in different contexts. These conjectures gave varied interpretations of quantization. By comparing these conjectures, I identify a general quantum postulate that captures the (...) underlying assumption common to all the cases. I argue that it is possible to consider a general postulate about quantization even when its proper application is ambiguous in a given context, and that the postulate can be separated from different elements of the framework being used to investigate it. I show that the quantum postulate can be deemed promising by analysing the support it gains using a Bayesian framework. I first defend the use of such a framework by considering the purported inconsistencies in Planck's introduction of his quantum conjecture and how we should handle these. I then explicate two cases of support for the postulate. First, I show how we can use a particular solution to the Bayesian problem of old evidence to interpret the support the quantum postulate received by accounting for phenomena that had no previous explanation. Finally, I show that the quantum postulate is also supported by a unification argument, where unification is interpreted as informational relevance between the different domains of inquiry. (shrink)