IN THE COURSE OF "CONFIRMABILITY AND FACTUAL MEANINGFULNESS" ("ANALYSIS" VOL. 33) I ARGUED THAT THE CONFIRMATIONIST PRINCIPLE IS FALSE. THIS IS THE PRINCIPLE THAT A STATEMENT IS FACTUALLY MEANINGFUL IF AND ONLY IF IT IS AN OBSERVATION STATEMENT OR CONFIRMABLE BY OBSERVATION STATEMENTS. MY ARGUMENT CONSISTED IN PRODUCING EXAMPLES OF FACTUALLY MEANINGFUL STATEMENTS WHICH FAIL TO SATISFY THE PRINCIPLE. IN "CONFIRMABILITY AND MEANINGFULNESS" ("ANALYSIS" VOL. 34) R I SIKORA ARGUED THAT MY EXAMPLES DO NOT SUPPORT MY CONCLUSION. HERE (...) I REPHRASE THE EXAMPLES SO AS TO MEET SIKORA’S OBJECTIONS. THEY ARE EXAMPLES OF STATEMENTS WHICH ASSERT THE TRUTH OF STATEMENTS WHICH HAVE A CERTAIN FIXED PROBABILITY ON THE BEST EVIDENCE WHICH WILL EVER BE OBTAINED. (shrink)
THIS ARTICLE EXAMINES THE CONFIRMATIONIST PRINCIPLE, THAT A STATEMENT IS FACTUALLY MEANINGFUL IF AND ONLY IF IT IS AN OBSERVATION-STATEMENT, OR THERE ARE OBSERVATION STATEMENTS WHICH WOULD CONFIRM OR DISCONFIRM IT. THIS PRINCIPLE IS THE FINAL WEAK CLAIM OF VERIFICATIONISM. EVEN IF TRUE, IT WOULD NOT BE OF GREAT USE IN SORTING OUT THE MEANINGFUL FROM THE MEANINGFULNESS, BUT IT IS SHOWN CONCLUSIVELY TO BE FALSE. A CLAIM THAT THERE IS A DISCREPANCY BETWEEN THE BEST EVIDENCE THAT MEN WILL EVER (...) HAVE ABOUT WHETHER SOME STATE OF AFFAIRS HOLDS AND WHETHER IT DOES HOLD IS FACTUALLY MEANINGFUL BUT NEITHER CONFIRMABLE NOR DISCONFIRMABLE. (shrink)
In this thesis, I argue that a good historical science will have the following characteristics: Firstly, it will seek to construct causal histories of the past. Secondly, the construction of these causal histories will utilise well-tested regularities of science. Additionally, well-tested regularities will secure the link between observations of physical traces and the causal events of interest. However, the historical sciences cannot use these regularities in a straightforward manner. The regularities must accommodate the idiosyncrasies of the past, and the degradation (...) of evidence over time. Through an examination of how the historical sciences work in practice, I show how they can confirm these unique causal histories, and the limits to their confirmatory strategies. (shrink)
Confirmation is commonly identified with positive relevance, E being said to confirm H if and only if E increases the probability of H. Today, analyses of this general kind are usually Bayesian ones that take the relevant probabilities to be subjective. I argue that these subjective Bayesian analyses are irremediably flawed. In their place I propose a relevance analysis that makes confirmation objective and which, I show, avoids the flaws of the subjective analyses. What I am proposing is in some (...) ways a return to Carnap's conception of confirmation, though there are also important differences between my analysis and his. My analysis includes new accounts of what evidence is and of the indexicality of confirmation claims. Finally, I defend my analysis against Achinstein's criticisms of the relevance concept of confirmation. (shrink)
I argue that so-called 'background knowledge' in confirmation theory has little, if anything, to do with 'knowledge' in the sense of mainstream epistemology. I argue that it is better construed as 'background information', which need not be believed in, justified, or true.
Franz Huber’s (2008a) attempt to unify inductivist and hypothetico-deductivist intuitions on confirmation by means of a single measure are examined and compared with previous work on the theory of verisimilitude or truthlikeness. The idea of connecting ‘the logic of confirmation’ with ‘the logic of acceptability’ is also critically discussed, and it is argued that ‘acceptability’ takes necessarily into account some pragmatic criteria, and that at least two normative senses of ‘acceptability’ must be distinguished: ‘acceptable’ in the sense of ‘being allowed (...) to accept’, and ‘acceptable’ in the sense of ‘being obliged to accept’. Lastly, some connections of confirmation theory with naturalism, intertheoretic reduction, and explanation vs. understanding are explored. (shrink)
Focused correlation compares the degree of association within an evidence set to the degree of association in that evidence set given that some hypothesis is true. A difference between the confirmation lent to a hypothesis by one evidence set and the confirmation lent to that hypothesis by another evidence set is robustly tracked by a difference in focused correlations of those evidence sets on that hypothesis, provided that all the individual pieces of evidence are equally, positively relevant to that hypothesis. (...) However, that result depends on a very strong equal relevance condition on individual pieces of evidence. In this essay, we prove tracking results for focused correlation analogous to Wheeler and Scheines’s results but for cases involving unequal relevance. Our result is robust as well, and we retain conditions for bidirectional tracking between incremental confirmation measures and focused correlation. (shrink)
We use recently developed approaches in argumentation theory in order to revamp the hypothetico-deductive model of confirmation, thus alleviating the well-known paradoxes the H-D account faces. More specifically, we introduce the concept of dialectic confirmation on the background of the so-called theory of dialectical structures (Betz 2010, 2012b). Dialectic confirmation generalises hypothetico-deductive confirmation and mitigates the raven paradox, the grue paradox, the tacking paradox, the paradox from conceptual difference, and the problem of surprising evidence.
Coherentism maintains that coherent beliefs are more likely to be true than incoherent beliefs, and that coherent evidence provides more confirmation of a hypothesis when the evidence is made coherent by the explanation provided by that hypothesis. Although probabilistic models of credence ought to be well-suited to justifying such claims, negative results from Bayesian epistemology have suggested otherwise. In this essay we argue that the connection between coherence and confirmation should be understood as a relation mediated by the causal relationships (...) among the evidence and a hypothesis, and we offer a framework for doing so by fitting together probabilistic models of coherence, confirmation, and causation. We show that the causal structure among the evidence and hypothesis is sometimes enough to determine whether the coherence of the evidence boosts confirmation of the hypothesis, makes no difference to it, or even reduces it. We also show that, ceteris paribus, it is not the coherence of the evidence that boosts confirmation, but rather the ratio of the coherence of the evidence to the coherence of the evidence conditional on a hypothesis. (shrink)
Fodor and Lepore, in their recent book "Holism," maintain that if an inference from semantic anatomism to semantic holism is allowed, certain fairly deleterious consequences follow. In Section 1 Fodor and Lepore's terminology is construed and amended where necessary with the result that the aforementioned deleterious consequences are neither so apparent nor straightforward as they had suggested. In Section 2 their "Argument A" is considered in some detail. In Section 3 their "argument attributed to Quine" is examined at length and (...) a shorter and more perspicacious argument suggested which avoids their charge that the Quinean argument is guilty of an equivocation on the word 'statement'. (shrink)
Many philosophers of science have argued that a set of evidence that is "coherent" confirms a hypothesis which explains such coherence. In this paper, we examine the relationships between probabilistic models of all three of these concepts: coherence, confirmation, and explanation. For coherence, we consider Shogenji's measure of association (deviation from independence). For confirmation, we consider several measures in the literature, and for explanation, we turn to Causal Bayes Nets and resort to causal structure and its constraint on probability. All (...) else equal, we show that focused correlation, which is the ratio of the coherence of evidence and the coherence of the evidence conditional on a hypothesis, tracks confirmation. We then show that the causal structure of the evidence and hypothesis can put strong constraints on how coherence in the evidence does or does not translate into confirmation of the hypothesis. (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)
Whereas an inference (deductive as well as inductive) is usually viewed as being valid in virtue of its argument form, the present paper argues that scientific reasoning is material inference, i.e., justified in virtue of its content. A material inference is licensed by the empirical content embodied in the concepts contained in the premises and conclusion. Understanding scientific reasoning as material inference has the advantage of combining different aspects of scientific reasoning, such as confirmation, discovery, and explanation. This approach explains (...) why these different aspects (including discovery) can be rational without conforming to formal schemes, and why scientific reasoning is local, i.e., justified only in certain domains and contingent on particular empirical facts. The notion of material inference also fruitfully interacts with accounts of conceptual change and psychological theories of concepts. (shrink)
Much contemporary epistemology is informed by a kind of confirmational holism, and a consequent rejection of the assumption that all confirmation rests on experiential certainties. Another prominent theme is that belief comes in degrees, and that rationality requires apportioning one's degrees of belief reasonably. Bayesian confirmation models based on Jeffrey Conditionalization attempt to bring together these two appealing strands. I argue, however, that these models cannot account for a certain aspect of confirmation that would be accounted for in any adequate (...) holistic confirmation theory. I then survey the prospects for constructing a formal epistemology that better accommodates holistic insights. (shrink)
Recently in epistemology a number of authors have mounted Bayesian objections to dogmatism. These objections depend on a Bayesian principle of evidential confirmation: Evidence E confirms hypothesis H just in case Pr(H|E) > Pr(H). I argue using Keynes’ and Knight’s distinction between risk and uncertainty that the Bayesian principle fails to accommodate the intuitive notion of having no reason to believe. Consider as an example an unfamiliar card game: at first, since you’re unfamiliar with the game, you assign credences based (...) on the indifference principle. Later you learn how the game works and discover that the odds dictate you assign the very same credences. Examples like this show that if you initially have no reason to believe H, then intuitively E can give you reason to believe H even though Pr(H|E) ≤ Pr(H). I show that without the principle, the objections to dogmatism fail. (shrink)
I.1. Introduction Confirmation theory is intended to codify the evidential bearing of observations on hypotheses, characterizing relations of inductive “support” and “countersupport” in full generality. The central task is to understand what it means to say that datum E confirms or supports a hypothesis H when E does not logically entail H.
The defining insight of evolutionary psychology consists of bringing considerations drawn from evolutionary biology to bear on the study of human psychology. So characterized, evolutionary psychology encompasses a large range of views about the nature and evolution of human psychology as well as diverging opinions about the proper method for studying them.1 In this article, I propose to clarify and evaluate various aspects of evolutionary psychologists’ methodology, with a special focus on their heuristics of discovery—i.e., their methods for developing plausible (...) hypotheses—and their strategies of confirmation—i.e., their methods for providing empirical support for these hypotheses.2 I will also evaluate several well-known objections raised against evolutionary psychology. Note that because views about psychology and evolution differ among evolutionary psychologists, I do not pretend to cover every method used in evolutionary psychology.3. (shrink)
Lloyd (2009) contends that climate models are confirmed by various instances of fit between their output and observational data. The present paper argues that what these instances of fit might confirm are not climate models themselves, but rather hypotheses about the adequacy of climate models for particular purposes. This required shift in thinking—from confirming climate models to confirming their adequacy-for-purpose—may sound trivial, but it is shown to complicate the evaluation of climate models considerably, both in principle and in practice.
The conjunction fallacy has been a key topic in debates on the rationality of human reasoning and its limitations. Despite extensive inquiry, however, the attempt to provide a satisfactory account of the phenomenon has proved challenging. Here we elaborate the suggestion (first discussed by Sides, Osherson, Bonini, & Viale, 2002) that in standard conjunction problems the fallacious probability judgements observed experimentally are typically guided by sound assessments of _confirmation_ relations, meant in terms of contemporary Bayesian confirmation theory. Our main formal (...) result is a confirmation-theoretic account of the conjunction fallacy, which is proven _robust_ (i.e., not depending on various alternative ways of measuring degrees of confirmation). The proposed analysis is shown distinct from contentions that the conjunction effect is in fact not a fallacy, and is compared with major competing explanations of the phenomenon, including earlier references to a confirmation-theoretic account. (shrink)
The early twentieth century witnessed a shift in the way philosophers of science thought about traditional 'problems of induction'. Keynes championed the idea that Hume's Problem was not a problem about causation (which had been the traditional reading of Hume) but rather a problem about induction. Moreover, Keynes (and later Nicod) viewed such problems as having both logical and epistemological components. Hempel picked up where Keynes and Nicod left off, by formulating a rigorous formal theory of inductive logic. This spawned (...) a new branch of philosophy of science called confirmation theory. Hempel's theory of confirmation was based on a few very simple (and seemingly plausible) assumptions about (instantial) 'inductive-logical support'. However, as Hempel himself was keenly aware, even such simple and seemingly plausible assumptions give rise to various puzzles and paradoxes. The two most famous paradoxes of confirmation were discovered by Hempel and Goodman. This article discusses Hempel's paradox (which is known as 'the' paradox of confirmation, since it was discovered first). However, many of the historical developments surrounding Hempel's paradox (also known as the 'raven paradox') are also crucial for understanding Goodman's later ('grue') paradox. Author Recommends: Branden Fitelson, 'The Paradox of Confirmation', Philosophy Compass 1/1 (2006): 95–113, doi: [DOI link]. In this article, I explain how the inconsistency between Hempel's intuitive resolution and his official theory of confirmation affects the historical dialectic about the paradox and how it illuminates the nature of confirmation. After the survey, I 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. C. G. Hempel, 'Studies in the Logic of Confirmation' (I and II), Mind 54 (1945): 1–26, 97–121, dois: [DOI link]; [DOI link]. This is the locus classicus of traditional (instantial) confirmation theory. It is here that original motivations for, traditional approaches to, and paradoxes of confirmation are discussed in depth for the first time, under the rubric 'confirmation theory'. Hempel's discussion (which picks up where Keynes and Nicod left off) is chock full of crucial historical, logical, and epistemological insights. J. M. Keynes, A Treatise on Probability (London: Macmillan, 1921). Keynes does not get enough credit in this context. But, basically, chapters 18 to 23 of this classic book planted the seeds for almost all of modern confirmation theory. Nicod and Hempel (as well as Hosiasson-Lindenbaum, Carnap, and others) were, basically, just picking-up where Keynes left off. J. Nicod, The Logical Problem of Induction (1923), reprinted in Foundations of Geometry and Induction (London: Routledge, 2000). Nicod's essay expands upon Keynes's work. Nicod is the first to use the term 'confirmation', in connection with a relation of 'inductive-logical support'. Nicod endorses several key confirmation-theoretic principles (which were already advanced by Keynes). In the hands of Hempel, Nicod's work later becomes an important historical foil. J. Hosiasson–Lindenbaum, 'On Confirmation', Journal of Symbolic Logic 5 (1940): 133–48. This essay contains most (if not all) of the basic ingredients of the 'Bayesian' approaches to the paradox of confirmation that appeared later. It also sheds much light on an important dispute between Keynes and Nicod concerning one of the claims Keynes makes (in his Treatise) about 'long-run convergence' in certain (instantial) confirmation-theoretic problems. This paper also contains one of the earliest rigorous axiomatizations of conditional (subjective or logical) probability. R. Carnap, Logical Foundations of Probability (Chicago, IL: University of Chicago, 1950). This is Carnap's encyclopaedic work on inductive logic and probability. There is a tremendous amount of wisdom in here. For present purposes, the sections on Hempel's theory of confirmation (in contrast to probabilistic approaches to confirmation, such as Hosiasson–Lindenbaum's and Carnap's) are probably most important and salient (see §§87–8). I. J. Good, 'The Paradox of Confirmation', British Journal for the Philosophy of Science 11 (1960): 145–9. C. Chihara, 'Quine and the Confirmational Paradoxes', in Midwest Studies in Philosophy. Vol. 6: The Foundations of Analytic Philosophy, eds. Peter A. French, Theodore E. Uehling, Jr., and Howard K. Wettstein (Minneapolis, MN: University of Minnesota Press, 1981), 425–52. J. Earman, Bayes or Bust: A Critical Examination of Bayesian Confirmation Theory (Cambridge, MA: MIT Press, 1992), specifically: pp. 63–73. R. M. Royall, Statistical Evidence: A Likelihood Paradigm (New York, NY: Chapman & Hall, 1997), specifically: the Appendix on 'The Paradox of the Ravens'. C. McKenzie and L. Mikkelsen, 'The Psychological Side of Hempel's Paradox of Confirmation', Psychonomic Bulletin & Review 7 (2000): 360–6. P. Maher, 'Probability Captures the Logic of Scientific Confirmation', in Contemporary Debates in the Philosophy of Science, ed. Christopher Hitchcock (Oxford: Blackwell, 2004), 69–93. P. Vranas, 'Hempel's Raven Paradox: A Lacuna in the Standard Bayesian Solution', British Journal for the Philosophy of Science 55 (2004): 545–60. This is a list of seven of my favourite papers on the paradox of confirmation, since 1950 (listed in chronological order). Most of these are coming from a broadly 'Bayesian' perspective. In particular, I recommend Vranas as a good starting point here. Online Materials: http://fitelson.org/probability/ Probability & Induction (PHIL 148, UC-Berkeley, Spring 2008) This is the Web site for an undergraduate course on probability and induction that I taught at UC-Berkeley in Spring 2008. Much of the course focuses on confirmation theory (including the paradoxes of confirmation). There are many links there to lecture notes, papers, books and other salient online resources. http://fitelson.org/confirmation/ Confirmation (graduate seminar, UC-Berkeley, Fall 2007) This is the Web site for a graduate seminar on confirmation that I taught at UC-Berkeley in Fall 2007. This seminar is a historical trace of induction/confirmation, from Aristotle to Goodman (mostly, focusing on the 20th century and the paradoxes of confirmation). Sample Syllabus: See the online syllabi for Confirmation and/or Probability & Induction (above). Note: those online syllabi contain electronic copies of many of the salient readings. (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)
This brief annotated bibliography is intended to help students get started with their research. It is not a substitute for personal investigation of the literature, and it is not a comprehensive bibliography on the subject. For those just beginning to study probabilistic confirmation theory and Bayesian reasoning, I suggest the starred items as good places to start your reading.
James Hawthorne (2011). Confirmation Theory. In Prasanta S. Bandyopadhyay & Malcolm Forster (eds.), Philosophy of Statistics, Handbook of the Philosophy of Science, Volume 7. Elsevier.score: 4.0
Confirmation theory is the study of the logic by which scientific hypotheses may be confirmed or disconfirmed, or even refuted by evidence. A specific theory of confirmation is a proposal for such a logic. Presumably the epistemic evaluation of scientific hypotheses should largely depend on their empirical content – on what they say the evidentially accessible parts of the world are like, and on the extent to which they turn out to be right about that. Thus, all theories of confirmation (...) rely on measures of how well various alternative hypotheses account for the evidence.1 Most contemporary confirmation theories employ probability functions to provide such a measure. They measure how well the evidence fits what the hypothesis says about the world in terms of how likely it is that the evidence should occur were the hypothesis true. Such hypothesis-based probabilities of evidence claims are called likelihoods. Clearly, when the evidence is more likely according to one hypothesis than according to an alternative, that should redound to the credit of the former hypothesis and the discredit of the later. But various theories of confirmation diverge on precisely how this credit is to be measured? (shrink)
Today's climate models are supported in a couple of ways that receive little attention from philosophers or climate scientists. In addition to standard 'model fit', wherein a model's simulation is compared to observational data, there is an additional type of confirmation available through the variety of instances of model fit. When a model performs well at fitting first one variable and then another, the probability of the model under some standard confirmation function, say, likelihood, goes up more than under each (...) individual case of fit alone. Thus, two instances of fit of distinct variables of a global climate model using distinct data sets considered collectively will provide stronger evidence for a model than either one of the instances considered individually. This has consequences for model robustness. Sets of models that produce robust results will, if their assumptions vary enough and they each are observationally sound, provide reasons to endorse common structures found in those models. Finally, independent empirical support for aspects and assumptions of the model provides an additional confirmational virtue for climate models, contrary to what is implied by some current philosophical writing on this topic. (shrink)
Quine and Putnam argued for mathematical realism on the basis of the indispensability of mathematics to science. They claimed that the mathematics that is used in physical theories is confirmed along with those theories and that scientific realism entails mathematical realism. I argue here that current theories of confirmation suggest that mathematics does not receive empirical support simply in virtue of being a part of well confirmed scientific theories and that the reasons for adopting a realist view of scientific theories (...) do not support realism about mathematical entities, despite the use of mathematics in formulating scientific theory. (shrink)
In this paper I examine Quine''s indispensability argument, with particular emphasis on what is meant by ''indispensable''. I show that confirmation theory plays a crucial role in answering this question and that once indispensability is understood in this light, Quine''s argument is seen to be a serious stumbling block for any scientific realist wishing to maintain an anti-realist position with regard to mathematical entities.
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.
So far no known measure of confirmation of a hypothesis by evidence has satisfied a minimal requirement concerning thresholds of acceptance. In contrast, Shogenji’s new measure of justification (Shogenji, Synthese, this number 2009) does the trick. As we show, it is ordinally equivalent to the most general measure which satisfies this requirement. We further demonstrate that this general measure resolves the problem of the irrelevant conjunction. Finally, we spell out some implications of the general measure for the Conjunction Effect; in (...) particular we give an example in which the effect occurs in a larger domain, according to Shogenji justification, than Carnap’s measure of confirmation would have led one to expect. (shrink)
Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for ten different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.
Bayesian epistemology postulates a probabilistic analysis of many sorts of ordinary and scientific reasoning. Huber ([2005]) has provided a novel criticism of Bayesianism, whose core argument involves a challenging issue: confirmation by uncertain evidence. In this paper, we argue that under a properly defined Bayesian account of confirmation by uncertain evidence, Huber's criticism fails. By contrast, our discussion will highlight what we take as some new and appealing features of Bayesian confirmation theory. Introduction Uncertain Evidence and Bayesian Confirmation Bayesian Confirmation (...) by Uncertain Evidence: Test Cases and Basic Principles CiteULike Connotea Del.icio.us What's this? (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)
According to Bayesian confirmation theory, evidence E (incrementally) confirms (or supports) a hypothesis H (roughly) just in case E and H are positively probabilistically correlated (under an appropriate probability function Pr). There are many logically equivalent ways of saying that E and H are correlated under Pr. Surprisingly, this leads to a plethora of non-equivalent quantitative measures of the degree to which E confirms H (under Pr). In fact, many non-equivalent Bayesian measures of the degree to which E confirms (or (...) supports) H have been proposed and defended in the literature on inductive logic. I provide a thorough historical survey of the various proposals, and a detailed discussion of the philosophical ramifications of the differences between them. I argue that the set of candidate measures can be narrowed drastically by just a few intuitive and simple desiderata. In the end, I provide some novel and compelling reasons to think that the correct measure of degree of evidential support (within a Bayesian framework) is the (log) likelihood ratio. The central analyses of this research have had some useful and interesting byproducts, including: (i ) a new Bayesian account of (confirmationally) independent evidence, which has applications to several important problems in con- firmation theory, including the problem of the (confirmational) value of evidential diversity, and (ii ) novel resolutions of several problems in Bayesian confirmation theory, motivated by the use of the (log) likelihood ratio measure, including a reply to the Popper-Miller critique of probabilistic induction, and a new analysis and resolution of the problem of irrelevant conjunction (a.k.a., the tacking problem). (shrink)
Among Bayesian confirmation theorists, several quantitative measures of the degree to which an evidential proposition E confirms a hypothesis H have been proposed. According to one popular recent measure, s , the degree to which E confirms H is a function of the equation P(H|E) − P(H|~E). A consequence of s is that when we have two evidential propositions, E1 and E2, such that P(H|E1) = P(H|E2), and P(H|~E1) ≠ P(H|~E2), the confirmation afforded to H by E1 does not equal (...) the confirmation afforded to H by E2. I present several examples that demonstrate the unacceptability of this result, and conclude that we should reject s (and other measures that share this feature) as a measure of confirmation. (shrink)
In his discussion of the paradox of the ravens,1 Mark Sainsbury takes the paradox to show the falsity of the following principle: G1. A generalisation is confirmed by any of its instances. The other possibilities, he argues, are to accept the paradoxical conclusion, or to reject the other principle involved.
Recent work on inference to the best explanation has come to an impasse regarding the proper way to coordinate the theoretical virtues in explanatory inference with probabilistic confirmation theory, and in particular with aspects of Bayes's Theorem. I argue that the theoretical virtues are best conceived heuristically and that such a conception gives us the resources to explicate the virtues in terms of ceteris paribus theorems. Contrary to some Bayesians, this is not equivalent to identifying the virtues with likelihoods or (...) priors per se; the virtues may be more accessible epistemically than likelihoods or priors. I then prove a ceteris paribus theorem regarding theoretical consilience, use it to correct a recent application of Reichenbach's common cause principle, and apply it to a test case of scientific reasoning. Explanation and confirmation The heuristic conception of theoretical virtues Abduction and the accessibility of explanatory power Evidential and theoretical consilience A test case: gravitational lensing Conclusion Thus natural science appears completely to lose from sight the large and general questions; but all the more splendid is the success when, groping in the thicket of special questions, we suddenly find a small opening that allows a hitherto undreamt of outlook on the whole. (L. Boltzmann, Theoretical Physics and Philosophical Problems). (shrink)
Tom Stoneham put forward an argument purporting to show that coherentists are, under certain conditions, committed to the conjunction fallacy. Stoneham considers this argument a reductio ad absurdum of any coherence theory of justification. I argue that Stoneham neglects the distinction between degrees of confirmation and degrees of probability. Once the distinction is in place, it becomes clear that no conjunction fallacy has been committed.
This paper presents a new analysis of C.G. Hempel’s conditions of adequacy for any relation of confirmation [Hempel C. G. (1945). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press, pp. 3–51.], differing from the one Carnap gave in §87 of his [1962. Logical foundations of probability (2nd ed.). Chicago: University of Chicago Press.]. Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true hypotheses and another (...) aiming at informative hypotheses. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative hypotheses. I then show that one can have Hempel’s cake and eat it too. There is a logic that takes into account both of these two conflicting aspects. According to this logic, a sentence H is an acceptable hypothesis for evidence E if and only if H is both sufficiently plausible given E and sufficiently informative about E. Finally, the logic sheds new light on Carnap’s analysis. (shrink)
In this paper I criticize one of the most convincing recent attempts to resist the underdetermination thesis, Laudan’s argument from indirect confirmation. Laudan highlights and rejects a tacit assumption of the underdetermination theorist, namely that theories can be confirmed only by empirical evidence that follows from them. He shows that once we accept that theories can also be confirmed indirectly, by evidence not entailed by them, the skeptical conclusion does not follow. I agree that Laudan is right to reject this (...) assumption, but I argue that his explanation of how the rejection of this assumption blocks the skeptical conclusion is flawed. I conclude that the argument from indirect confirmation is not effective against the underdetermination thesis. (shrink)
The attempt to explicate the intuitive notions of confirmation and inductive support through use of the formal calculus of probability received its canonical formulation in Carnap's The Logical Foundations of Probability. It is a central part of modern Bayesianism as developed recently, for instance, by Paul Horwich and John Earman. Carnap places much emphasis on the identification of confirmation with the notion of probabilistic favorable relevance. Notoriously, the notion of confirmation as probabilistic favorable relevance violates the intuitive transmittability condition that (...) if e confirms h and h' is part of the content of h then e confirms h'. This suggests that, pace Carnap, it cannot capture our intuitive notions of confirmation and inductive support. Without transmittability confirmation losses much of its intrinsic interest. If e, say a report of past observations, can confirm h, say a law-like generalization, without that confirmation being transmitted to those parts of h dealing with the as yet unobserved, then it is not clear why we should be interested in whether h is confirmed or not. The following paper rehearses these difficulties and then proposes a new probabilistic account of confirmation that does not violate the transmittability condition. (shrink)
In From Instrumentalism to Constructive Realism Theo Kuipers presents a theory of qualitative confirmation that is supposed to not assume the existence of quantitative probabilities. He claims that this theory is able to resolve some paradoxes in confirmation theory, including the ravens paradox. This paper shows that there are flaws in Kuipers' qualitative confirmation theory and in his application of it to the ravens paradox.
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)
Some of the concerns which motivate attempts to provide a philosophical reduction of nomological necessity are briefly introduced in I. In II, Hempel's treatment of the paradoxes is contrasted with a position which holds that nomological necessity is a pragmatic dimension of laws of nature, and that this pragmatic dimension is of such a type that it prevents laws of nature from contraposing. Such a position is, however, untenable unless (i) the sense of 'pragmatics' at issue is specified, and the (...) possibility of pragmatic differences resulting in differences in confirmation is defended, and (ii) a relevant pragmatic difference between contrapositives is indicated. III attempts to satisfy condition (i) by developing a new sense of pure pragmatics and argues that some remarks by Goodman and Scheffler together with work on the logic of explanation by Dr. Rescher and myself suggest that nomological contrapositives are not pragmatically equivalent (i.e. substitutable salva veritate in the pure pragmatics of an ideal scientific language). If such is the case, condition (ii) is also satisfied. (shrink)
Does the Bayesian theory of confirmation put real constraints on our inductive behavior? Or is it just a framework for systematizing whatever kind of inductive behavior we prefer? Colin Howson (Hume's Problem) has recently championed the second view. I argue that he is wrong, in that the Bayesian apparatus as it is usually deployed does constrain our judgments of inductive import, but also that he is right, in that the source of Bayesianism's inductive prescriptions is not the Bayesian machinery itself, (...) but rather what David Lewis calls the ``Principal Principle''. (shrink)
Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of each other. We (...) then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)
Bayesian models of human learning are becoming increasingly popular in cognitive science. We argue that their purported confirmation largely relies on a methodology that depends on premises that are inconsistent with the claim that people are Bayesian about learning and inference. Bayesian models in cognitive science derive their appeal from their normative claim that the modeled inference is in some sense rational. Standard accounts of the rationality of Bayesian inference imply predictions that an agent selects the option that maximizes the (...) posterior expected utility. Experimental confirmation of the models, however, has been claimed because of groups of agents that probability match the posterior. Probability matching only constitutes support for the Bayesian claim if additional unobvious and untested (but testable) assumptions are invoked. The alternative strategy of weakening the underlying notion of rationality no longer distinguishes the Bayesian model uniquely. A new account of rationality—either for inference or for decision-making—is required to successfully confirm Bayesian models in cognitive science. (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)
Two types of idealization in theory construction are distinguished, and the distinction is used to give a critique of Ron Laymon's account of confirming idealized theories and his argument for scientific realism.
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 argument from analogy is examined from the point of view of Carnap's confirmation theory. It is argued that if inductive arguments are to be applicable to the real world, they must contain elementary analogical inferences. Carnap's system as originally developed (theλ -system) is not strong enough to take account of analogical arguments, but it is shown that the new system, which he has announced but not published in detail (theη -system), is capable of satisfying the conditions of inductive analogy. (...) Finally it is shown that an elementary analysis of analogical inference yields postulates of the η -system with a minimum of arbitrary assumptions. (shrink)
Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) solution to this problem would be a significant achievement. The problem is of central importance to philosophy of science, for, in the end, what distinguishes science from myth making is that we have good evidence for the content of science, or at least of mature sciences, whereas myths are evidentially ungrounded fictions. The core ideas shared by all versions of Bayesian confirmation theory are, at a good first approximation, that a scientist’s beliefs are or should conform to a probability measure; and that the incorporation of new evidence is through conditionalization using Bayes’ theorem. While the burden of this chapter will be to inventory why critics believe this theory may not be the solution after all, it is worthwhile first to summarize here the most appealing virtues of this simple account. There are three. First, the theory reduces the often nebulous notion of a logic of.. (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)
It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the philosophical interpretation (...) of the technical conditions these accounts describe. What does it mean to say that E confirms H "relative to B"? How should we interpret the relation we are trying to analyze? (shrink)
The central problem with Bayesian philosophy of science is that it cannot take account of the relevance of simplicity and unification to confirmation, induction, and scientific inference. The standard Bayesian folklore about factoring simplicity into the priors, and convergence theorems as a way of grounding their objectivity are some of the myths that Earman's book does not address adequately. 1Review of John Earman: Bayes or Bust?, Cambridge, MA. MIT Press, 1992, £33.75cloth.
Crupi et al. (Think Reason 14:182–199, 2008) have recently advocated and partially worked out an account of the conjunction fallacy phenomenon based on the Bayesian notion of confirmation. In response, Schupbach (2009) presented a critical discussion as following from some novel experimental results. After providing a brief restatement and clarification of the meaning and scope of our original proposal, we will outline Schupbach’s results and discuss his interpretation thereof arguing that they do not actually undermine our point of view if (...) properly construed. Finally, we will foster such a claim by means of some novel data. (shrink)
Contemporary Bayesian confirmation theorists measure degree of (incremental) confirmation using a variety of non-equivalent relevance measures. As a result, a great many of the arguments surrounding quantitative Bayesian confirmation theory are implicitly sensitive to choice of measure of confirmation. Such arguments are enthymematic, since they tacitly presuppose that certain relevance measures should be used (for various purposes) rather than other relevance measures that have been proposed and defended in the philosophical literature. I present a survey of this pervasive class of (...) Bayesian confirmation-theoretic enthymemes, and a brief analysis of some recent attempts to resolve the problem of measure sensitivity. (shrink)
Glymour’s theory of bootstrap confirmation is a purely qualitative account of confirmation; it allows us to say that the evidence confirms a given theory, but not that it confirms the theory to a certain degree. The present paper extends Glymour’s theory to a quantitative account and investigates the resulting theory in some detail. It also considers the question how bootstrap confirmation relates to justification.
This paper begins by distinguishing intrinsic and extrinsic contributions of mathematics to scientific representation. This leads to two investigations into how these different sorts of contributions relate to confirmation. I present a way of accommodating both contributions that complicates the traditional assumptions of confirmation theory. In particular, I argue that subjective Bayesianism does best accounting for extrinsic contributions, while objective Bayesianism is more promising for intrinsic contributions.
Existing accounts of hypothetico-deductive confirmation are able to circumvent the classical objections (e.g. the tacking problems), but the confirmation of conjunctions of hypotheses brings them into trouble. Therefore this paper develops a new, falsificationist account of qualitative confirmation by means of Ken Gemes' theory of content parts. The new approach combines the hypothetico-deductive view with falsificationist and instance confirmation principles. It is considerably simpler than the previous suggestions and gives a better treatment of conjunctive hypotheses while solving the tacking (...) problems equally well. (shrink)
Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for nine different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.
The tendency to test outcomes that are predicted by our current theory (the confirmation bias) is one of the best-known biases of human decision making. We prove that the confirmation bias is an optimal strategy for testing hypotheses when those hypotheses are deterministic, each making a single prediction about the next event in a sequence. Our proof applies for two normative standards commonly used for evaluating hypothesis testing: maximizing expected information gain and maximizing the probability of falsifying the current hypothesis. (...) This analysis rests on two assumptions: (a) that people predict the next event in a sequence in a way that is consistent with Bayesian inference; and (b) when testing hypotheses, people test the hypothesis to which they assign highest posterior probability. We present four behavioral experiments that support these assumptions, showing that a simple Bayesian model can capture people's predictions about numerical sequences (Experiments 1 and 2), and that we can alter the hypotheses that people choose to test by manipulating the prior probability of those hypotheses (Experiments 3 and 4). (shrink)
To solve the highly counterintuitive paradox of confirmation represented by the statement, “A pair of red shoes confirms that all ravens are black,” Hempel employed a strategy that retained the equivalence condition but abandoned Nicod’s irrelevance condition. However, his use of the equivalence condition is fairly ad hoc, raising doubts about its applicability to this problem. Furthermore, applying the irrelevance condition from Nicod’s criterion does not necessarily lead to paradoxes, nor does discarding it prevent the emergence of paradoxes. Hempel’s approach (...) fails to adequately resolve the paradox. (shrink)
Surprisingly enough, modified versions of the confirmation theory of Carnap and Hempel and the truth approximation theory of Popper turn out to be smoothly synthesizable. The glue between confirmation and truth approximation appears to be the instrumentalist methodology, rather than the falsificationist one.By evaluating theories separately and comparatively in terms of their successes and problems (hence even if they are already falsified), the instrumentalist methodology provides – both in theory and in practice – the straight route for short-term empirical progress (...) in science in the spirit of Laudan. However, it is 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 dynamic of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (van Fraassen), referential realism (Hacking and Cartwright), and theory realism of a non-essentialist nature (Popper), here called constructive realism.In From Instrumentalism to Constructive Realism (2000) the above story is presented in great detail. The present synopsis highlights the main ways of theory evaluation presented in that book, viz. evaluation in terms of confirmation (or falsification), empirical progress and truth approximation. (shrink)
Crupi et al. (2008) offer a confirmation-theoretic, Bayesian account of the conjunction fallacy—an error in reasoning that occurs when subjects judge that Pr( h 1 & h 2 | e ) > Pr( h 1 | e ). They introduce three formal conditions that are satisfied by classical conjunction fallacy cases, and they show that these same conditions imply that h 1 & h 2 is confirmed by e to a greater extent than is h 1 alone. Consequently, they suggest (...) that people are tracking this confirmation relation when they commit conjunction fallacies. I offer three experiments testing the merits of Crupi et al.’s account specifically and confirmation-theoretic accounts of the conjunction fallacy more generally. The results of Experiment 1 show that, although Crupi et al.’s conditions do seem to be causally linked to the conjunction fallacy, they are not necessary for it; there exist cases that do not meet their three conditions in which subjects still tend to commit the fallacy. The results of Experiments 2 and 3 show that Crupi et al.’s conditions, and those offered by other confirmation-theoretic accounts of the fallacy, are not sufficient for the fallacy either; there exist cases that meet all three of CFT’s conditions in which subjects do not tend to commit the fallacy. Additionally, these latter experiments show that such confirmation-theoretic conditions are at best only weakly causally relevant to the presence of the conjunction fallacy. Given these findings, CFT’s account specifically, and any general confirmation-theoretic account more broadly, falls short of offering a satisfying explanation of the presence of the conjunction fallacy. (shrink)
Philosophically, one of the most important questions in the enterprise termed confirmation theory is this: Why should one stick to well confirmed theories rather than to any other theories? This paper discusses the answers to this question one gets from absolute and incremental Bayesian confirmation theory. According to absolute confirmation, one should accept ''absolutely well confirmed'' theories, because absolute confirmation takes one to true theories. An examination of two popular measures of incremental confirmation suggests the view that one should stick (...) to incrementally well confirmed theories, because incremental confirmation takes one to (the most) informative (among all) true theories. However, incremental confirmation does not further this goal in general. I close by presenting a necessary and sufficient condition for revealing the confirmational structure in almost every world when presented separating data. (shrink)
: In this paper I argue that belief in the greater confirmatory value of prediction over accommodation can best be understood as a function of the practice rather than the logic of science. Attempts to account for this asymmetry within the logic of science have revealed no non-arbitrary way to address the problem of underdetermination as it applies to prediction and thus have failed to account for the preference for prediction over accommodation on logical grounds. Instead, I propose a model (...) that not only justifies and explains this preference, but allows for a richer taxonomy of the types of evidential confirmation that are employed in scientific reasoning. (shrink)
In the nineteenth century, William Whewell claimed that his confirmation criterion of consilience was a truth-guarantor: we could, he believed, be certain that a consilient theory was true. Since that time Whewell has been much ridiculed for this claim by critics such as J. S. Mill and Bas van Fraassen. I have argued elsewhere that, while Whewell's claim that consilience can guarantee the truth of a theory is clearly wrong, consilience is indeed quite useful as a confirmation criterion (Snyder 2005). (...) Here I will show that, even when consilience gives evidence for a theory that turns out to be false, there is an important sense in which consilience shows that the theory has captured something correct about the natural-kind structure of the physical world. Whewell was therefore correct to claim that consilience provides a "criterion of reality" (Whewell [1847] 1967, vol. 2, 68). Consilience provides this by giving justification for the claim that we have really `cut nature at its causal joints', to adapt Plato's famous phrase. Because of this, consilience can play a role in an argument for scientific realism. (shrink)
William Whewell was clearly wrong to claim that his confirmation criterion of consilience was a truth-guarantor. I argue here, however, that even when consilience gives evidence for a theory that turns out to be false, there is an important sense in which consilience shows that the theory has gotten something right. Consilience is a sign that a theory has uncovered something about the natural-kind structure of the physical world. Because of this, Whewell was correct to claim that consilience provides a (...) “criterion of reality.” In this way consilience can play a role in an argument for scientific realism. (shrink)
Realists have responded to challenges from the historical record of successful but ultimately rejected theories with what I call the selective confirmation strategy: arguing that only idle parts of past theories have been rejected, while truly success‐generating features have been confirmed by further inquiry. I argue first, that this strategy is unconvincing without some prospectively applicable criterion of idleness for theoretical posits, and second, that existing efforts to provide one either convict all theoretical posits of idleness (Kitcher) or stand refuted (...) by detailed consideration of the very examples (optical/electromagnetic ether, caloric fluid) to which they appeal (Psillos). I also argue that available avenues for improving on these proposals are unpromising. (shrink)
Confirmation theorists seek to define a function that will take into account the various factors relevant in determining the degree to which an hypothesis is confirmed by its evidence. Among confirmation theorists, only Rudolf Carnap has constructed a system which purports to consider factors in addition to the number of instances, viz. the variety manifested by the instances and the amount of analogy between the instances. It is the purpose of this paper to examine the problem which these additional factors (...) raise for confirmation theory, and to prove that, despite Carnap's claim, no confirmation function satisfying the requirements he has specified can take account of variety and analogy. This result is first proved for a special case, and then, in a subsequent section, is generalized through the introduction of a theorem (the proof of which is given in Appendix I). In the final section of the paper it is shown that, contrary to a claim which Carnap has made, not even the concept of the "logical width" of a predicate will enable confirmation functions satisfying his requirements to take adequate account of analogies between instances. (shrink)
This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G. Hempel's conditions of adequacy (Hempel 1945), differing from the one Carnap gave in §87 of his Logical Foundations of Probability (1962). Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true theories and another aiming at informative theories. However, he also realized that these two concepts (...) are conflicting, and he gave up the concept of confirmation aiming at informative theories. We then show that one can have Hempel's cake and eat it, too: There is a (rank-theoretic and genuinely nonmonotonic) logic of confirmation -- or rather, theory assessment -- that takes into account both of these two conflicting aspects. According to this logic, a statement H is an acceptable theory for the data E if and only if H is both sufficiently plausible given E and sufficiently informative about E. Finally, the logic sheds new light on Carnap's analysis (and solves another problem of confirmation theory). (shrink)
Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities will (...) be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)
This paper examines the role of coherence of evidence in what I call the non-dynamic model of confirmation. It appears that other things being equal, a higher degree of coherence among pieces of evidence raises to a higher degree the probability of the proposition they support. I argue against this view on the basis of three related observations. First, we should be able to assess the impact of coherence on any hypothesis of interest the evidence supports. Second, the impact of (...) coherence among the pieces of evidence can be different on different hypotheses of interest they support. Third, when we assess the impact of coherence on a hypothesis of interest, other conditions that should be held equal for a fair assessment include the degrees of individual support which the propositions directly supported by the respective pieces of evidence provide for the hypothesis. Once we take these points into consideration, the impression that coherence of evidence plays a positive role in confirmation dissipates. In some cases it can be shown that other things being equal, a higher degree of coherence among the pieces of evidence reduces the degree of confirmation for the hypothesis they support. (shrink)
The idea that human cognitive capacities are explainable by computational models is often conjoined with the idea that, while the states postulated by such models are in fact realized by brain states, there are no type-type correlations between the states postulated by computational models and brain states (a corollary of token physicalism). I argue that these ideas are not jointly tenable. I discuss the kinds of empirical evidence available to cognitive scientists for (dis)confirming computational models of cognition and argue that (...) none of these kinds of evidence can be relevant to a choice among competing computational models unless there are in fact type-type correlations between the states postulated by computational models and brain states. Thus, I conclude, research into the computational procedures employed in human cognition must be conducted hand-in-hand with research into the brain processes which realize those procedures. (shrink)
Darren Bradley has recently appealed to observation selection effects to argue that conditionalization presents no special problem for Everettian quantum mechnics, and to defend the ‘halfer’ answer to the puzzle of Sleeping Beauty. I assess Bradley’s arguments and conclude that while he is right about confirmation in Everettian quantum mechanics, he is wrong about Sleeping Beauty. This result is doubly good news for Everettians: they can endorse Bayesian confirmation theory without qualification, but they are not thereby compelled to adopt the (...) unpopular ‘halfer’ answer in Sleeping Beauty. These considerations suggest that objective chance is playing an important and under-appreciated role in Sleeping Beauty. (shrink)
Recent work on the logical theory of confirmation has centered on accounts of the confirmation of hypotheses relative to auxiliary assumptions or background theory. Whether such relative confirmation actually increases the credibility of the (relatively) confirmed hypothesis will depend in various ways on the epistemic status of the auxiliaries involved. Most obviously, if the auxiliaries are not themselves credible, confirmation relative to them will not increase the credibility of the hypothesis thus confirmed. A complete theory of confirmation must thus combine (...) an account of relative confirmation with an account of the route from relative confirmation to real confirmation. Some recent criticisms of hypothetico-deductive and bootstrapping accounts of relative confirmation are undermined by failure to appreciate the limitations of relative confirmation. (shrink)
Several authors, e.g. Patrick Suppes and I. J. Good, have recently argued that the paradox of confirmation can be resolved within the developing subjective Bayesian account of inductive reasoning. The aim of this paper is to show that the paradox can also be resolved by the rival orthodox account of hypothesis testing currently employed by most statisticians and scientists. The key to the orthodox statistical resolution is the rejection of a generalized version of Hempel's instantiation condition, namely, the condition that (...) a PQ is inductively relevant to the hypothesis $(x)(Px\supset Qx)$ even in the absence of all further information. Though their reasons differ, it turns out that Bayesian and orthodox statisticians agree that this condition lies at the heart of the paradox. (shrink)
Recent works in epistemology show that the claim that coherence is truth conducive – in the sense that, given suitable ceteris paribus conditions, more coherent sets of statements are always more probable – is dubious and possibly false. From this, it does not follows that coherence is a useless notion in epistemology and philosophy of science. Dietrich and Moretti (Philosophy of science 72(3): 403–424, 2005) have proposed a formal of account of how coherence is confirmation conducive—that is, of how the (...) coherence of a set of statements facilitates the confirmation of such statements. This account is grounded in two confirmation transmission properties that are satisfied by some of the measures of coherence recently proposed in the literature. These properties explicate everyday and scientific uses of coherence. In his paper, I review the main findings of Dietrich and Moretti (2005) and define two evidence-gathering properties that are satisfied by the same measures of coherence and constitute further ways in which coherence is confirmation conducive. At least one of these properties vindicates important applications of the notion of coherence in everyday life and in science. (shrink)
This essay presents results about a deviation from independence measure called focused correlation . This measure explicates the formal relationship between probabilistic dependence of an evidence set and the incremental confirmation of a hypothesis, resolves a basic question underlying Peter Klein and Ted Warfield's ‘truth-conduciveness’ problem for Bayesian coherentism, and provides a qualified rebuttal to Erik Olsson's claim that there is no informative link between correlation and confirmation. The generality of the result is compared to recent programs in Bayesian epistemology (...) that attempt to link correlation and confirmation by utilizing a conditional evidential independence condition. Several properties of focused correlation are also highlighted. Introduction Correlation Measures 2.1 Standard covariance and correlation measures 2.2 The Wayne–Shogenji measure 2.3 Interpreting correlation measures 2.4 Correlation and evidential independence Focused Correlation Conclusion Appendix CiteULike Connotea Del.icio.us What's this? (shrink)
Bayesian epistemology suggests various ways of measuring the support that a piece of evidence provides a hypothesis. Such measures are defined in terms of a subjective probability assignment, pr, over propositions entertained by an agent. The most standard measure (where “H” stands for “hypothesis” and “E” stands for “evidence”) is: the difference measure: d(H,E) = pr(H/E) - pr(H).0 This may be called a “positive (probabilistic) relevance measure” of confirmation, since, according to it, a piece of evidence E qualitatively confirms a (...) hypothesis H if and only if pr(H/E) > pr(H), where qualitative disconfirmation is characterized by replacing “>” with “ “ with “=”. Other more or less standard positive relevance measures that have been proposed are: the log-ratio measure: r(H,E) = log[pr(H/E)/pr(H)] and the log-likelihood-ratio measure: l(H,E) = log[pr(E/H)/pr(E/~H)]. (shrink)
An experiment is reported which tests for positive confirmation bias in a setting in which individuals choose what information to buy, prior to making a decision. The design â an adaptation of Wason's selection task â reveals the use that subjects make of information after buying it. Strong evidence of positive confirmation bias, in both information acquisition and information use, is found; and this bias is found to be robust to experience. It is suggested that the bias results from a (...) pattern of reasoning which, although producing sub-optimal decisions, is internally coherent and which is self-reinforcing. (shrink)
The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.
The use of idealizations and approximations in scientific explanations poses a problem for traditional philosophical theories of confirmation since, strictly speaking, these sorts of statements are false. Furthermore, in several central cases in the history of science, theoretical predictions seen as confirmatory are not, in any usual sense, even approximately true. As a means of eliminating the puzzling nature of these cases, two theses are proposed. First, explanations consist of idealized deductive-nomological sketches plus what are called modal auxiliaries, i.e., arguments (...) showing that if the idealizations used in the initial conditions are improved, then there will be an improvement in the prediction. Second, a theory is confirmed if it can be shown that its idealized sketches can be improved; similarly, a theory is disconfirmed if its idealized sketches cannot be improved. Several examples are given to illustrate both confirmation and disconfirmation achieved by means of the modal auxiliary. These cases are compared with Scriven's bridge example. (shrink)
Hempel's paradox of the ravens has to do with the question of what constitutes confirmation from a logical point of view; Wason's selection task has been used extensively to investigate how people go about attempting to confirm or disconfirm conditional claims. This paper presents an argument that the paradox is resolved, and that people's typical performance in the selection task can be explained, by consideration of what constitutes an effective strategy for seeking evidence of the tenability of universal or conditional (...) claims in everyday life. (shrink)
Bayesian confirmation theory, as traditionally interpreted, treats the temporal relationship between the formulation of a hypothesis and the confirmation (or recognition) of evidence entailed by that hypothesis merely as a component of the psychology of discovery and acceptance of a hypothesis. The temporal order of these events is irrelevant to the logic of rational theory choice. A few years ago Richmond Campbell and Thomas Vinci offered a reinterpretation of Bayes' Theorem in defense of the view that the temporal relationship between (...) hypothesis and evidence really does matter. More specifically, they advocated the thesis that successful predictions implied by scientific hypothesis H will increase the degree of confirmation of H only if they are novel predictions in the following sense; Evidence E is heuristically novel with respect to hypothesis H if and only if H was not deliberately designed to explain E (if E has already been corroborated) or in anticipation of E (if E is regarded as likely to be corroborated at some future date). Campbell and Vinci argue that the traditional interpretation of Bayes' Theorem misconstrues the significance of predictive novelty by ignoring heuristic novelty. In this paper I review the formal component of their preferred interpretation and demonstrate that it fails to establish that heuristic novelty has any special effect on theory confirmation. That is, even on their revisionist interpretation, regardless of whether H was deliberately designed to explain known evidence E (or in anticipation of suspected E), or whether H was designed without any awareness of the entailment relationship between H and E, Bayes' Theorem will generate the same epistemic probability for hypothesis H. Cases where new evidence was not foreseen at the time a hypothesis first emerged do not carry any more epistemic weight than they would have if such evidence had been foreseen. * Research on this paper was supported by an NEH summer grant. My thanks also to Richmond Campbell and Thomas Vinci for their reply to my initial evaluation of their position (in private correspondence), which compelled me to reconsider their arguments more carefully. (shrink)
We often want to say that inductive evidence supports some conclusion more or less strongly. This is often put as a matter of "e confirms h", where confirmation comes in degrees.