Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It presents new (...) ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

In this new explanationist account of epistemic justification, Poston argues that the explanatory virtues provide all the materials necessary for a plausible account of justified belief. There are no purely autonomous reasons. Rather reasons occur only within an explanatory coherent set of beliefs.

An influential suggestion about the relationship between Bayesianism and inference to the best explanation holds that IBE functions as a heuristic to approximate Bayesian reasoning. While this view promises to unify Bayesianism and IBE in a very attractive manner, important elements of the view have not yet been spelled out in detail. I present and argue for a heuristic conception of IBE on which IBE serves primarily to locate the most probable available explanatory hypothesis to serve as a working hypothesis (...) in an agent’s further investigations. Along the way, I criticize what I consider to be an overly ambitious conception of the heuristic role of IBE, according to which IBE serves as a guide to absolute probability values. My own conception, by contrast, requires only that IBE can function as a guide to the comparative probability values of available hypotheses. This is shown to be a much more realistic role for IBE given the nature and limitations of the explanatory considerations with which IBE operates. (shrink)

Defenders of Inference to the Best Explanation claim that explanatory factors should play an important role in empirical inference. They disagree, however, about how exactly to formulate this role. In particular, they disagree about whether to formulate IBE as an inference rule for full beliefs or for degrees of belief, as well as how a rule for degrees of belief should relate to Bayesianism. In this essay I advance a new argument against non-Bayesian versions of IBE. My argument focuses on (...) cases in which we are concerned with multiple levels of explanation of some phenomenon. I show that in many such cases, following IBE as an inference rule for full beliefs leads to deductively inconsistent beliefs, and following IBE as a non-Bayesian updating rule for degrees of belief leads to probabilistically incoherent degrees of belief. (shrink)

Where E is the proposition that [If H and O were true, H would explain O], William Roche and Elliot Sober have argued that P(H|O&E) = P(H|O). In this paper I argue that not only is this equality not generally true, it is false in the very kinds of cases that Roche and Sober focus on, involving frequency data. In fact, in such cases O raises the probability of H only given that there is an explanatory connection between them.

What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon.

A substantial body of evidence shows that people tend to rely too heavily on explanations when trying to justify an opinion. Some research suggests these errors may arise from an inability to distinguish between explanations and the evidence that bears upon them. We examine an alternative account, that many people do distinguish between explanations and evidence, but rely more heavily on unsubstantiated explanations when evidence is scarce or absent. We examine the philosophical and psychological distinctions between explanation and evidence, and (...) show that participants use explanations as a substitute for missing evidence. Experiment 1 replicates the results of other researchers, but further shows that participants generate more evidence when they are not constrained by their lack of data. Merely mentioning a source of data can alter both their evaluation (Experiment 2) and their production (Experiment 3) of explanations and evidence. In Experiment 4, we show that participants can explicitly consider the availability of evidence and other pragmatic factors when evaluating arguments. Finally, we consider the implications of using explanations to replace missing evidence as a strategy in argument. (shrink)

A coherent story is a story that fits together well. This notion plays a central role in the coherence theory of justification and has been proposed as a criterion for scientific theory choice. Many attempts have been made to give a probabilistic account of this notion. A proper account of coherence must not start from some partial intuitions, but should pay attention to the role that this notion is supposed to play within a particular context. Coherence is a property of (...) an information set that boosts our confidence that its content is true ceteris paribus when we receive information from independent and partially reliable sources. We construct a measure cr that relies on hypothetical sources with certain idealized characteristics. A maximally coherent information set, i.e. a set with equivalent propositions, affords a maximal confidence boost. cr is the ratio of the actual confidence boost over the confidence boost that we would have received, had the information been presented in the form of maximally coherent information, ceteris paribus. This measure is functionally dependent on the degree of reliability r of the sources. We use cr to construct a coherence quasi-ordering over information sets S and S’: S is no less coherent than S’ just in case c_r is not smaller than c_r for any value of the reliability parameter. We show that, on our account, the coherence of the story about the world gives us a reason to believe that the story is true and that the coherence of a scientific theory, construed as a set of models, is a proper criterion for theory choice. (shrink)

a comprehensive, somewhat Gricean theory of speech acts, including an account of communicative intentions and inferences, a taxonomy of speech acts, and coverage of many topics in pragmatics -/- .

A defense of the rationality of adductive inference from the criticisms of Bayesian theorists.

Scientific realism is the optimistic view that modern science is on the right track: that the world really is the way our best scientific theories describe it. In his book, Stathis Psillos gives us a detailed and comprehensive study which restores the intuitive plausibility of scientific realism. We see that throughout the twentieth century, scientific realism has been challenged by philosophical positions from all angles: from reductive empiricism, to instrumentalism and to modern sceptical empiricism. _Scientific Realism_ explains that the history (...) of science does not undermine the arguments for scientific realism, but instead makes it reasonable to accept scientific realism as the best philosophical account of science, its empirical success, its progress and its practice. Anyone wishing to gain a deeper understanding of the state of modern science and why scientific realism is plausible, should read this book. (shrink)

The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

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

Kolmogorov''s axiomatization of probability includes the familiarratio formula for conditional probability: 0).$$ " align="middle" border="0">.

Niiniluoto has offered an incisive and comprehensive review of the recent debates about abduction. There is little on which I disagree with him. So, in this commentary, I shall try to cast some doubts to the attempts to render Inference to the Best Explanation within a Bayesian framework.

Inference to the Best Explanation (IBE) and Bayesianism are our two most prominent theories of scientific inference. Are they compatible? Van Fraassen famously argued that they are not, concluding that IBE must be wrong since Bayesianism is right. Writers since then, from both the Bayesian and explanationist camps, have usually considered van Fraassen’s argument to be misguided, and have plumped for the view that Bayesianism and IBE are actually compatible. I argue that van Fraassen’s argument is actually not so misguided, (...) and that it causes more trouble for compatibilists than is typically thought. Bayesianism in its dominant, subjectivist form, can only be made compatible with IBE if IBE is made subservient to conditionalization in a way that robs IBE of much of its substance and interest. If Bayesianism and IBE are to be fit together, I argue, a strongly objective Bayesianism is the preferred option. I go on to sketch this objectivist, IBE-based Bayesianism, and offer some preliminary suggestions for its development. (shrink)

In this paper I adduce a new argument in support of the claim that IBE is an autonomous form of inference, based on a familiar, yet surprisingly, under-discussed, problem for Hume’s theory of induction. I then use some insights thereby gleaned to argue for the claim that induction is really IBE, and draw some normative conclusions.

The likelihood of a statement is often derived by generating an explanation for it and evaluating the plausibility of the explanation. The explanation discounting principle states that people tend to focus on a single explanation; alternative explanations compete with the effect of reducing one another’s credibility. Two experiments tested the hypothesis that this principle applies to inductive inferences concerning the properties of everyday categories. In both experiments, subjects estimated the probability of a series of statements and the conditional probabilities of (...) those conclusions given other related facts. For example, given that most lawyers make good sales people, what is the probability that most psychologists make good sales people? The results showed that when the fact and the conclusion had the same explanation the fact increased people’s willingness to believe the conclusion, but when they had different explanations the fact decreased the conclusion’s credibility. This decrease is attributed to explanation discounting; the explanation for the fact had the effect of reducing the plausibility of the explanation for the conclusion. (shrink)

Maher (1992b) advances an objection to dynamic Dutch-book arguments, partly inspired by the discussion in Levi (1987; in particular by Levi's case 2, p. 204). Informally, the objection is that the decision maker will "see the dutch book coming" and consequently refuse to bet, thus escaping the Dutch book. Maher makes this explicit by modeling the decision maker's choices as a sequential decision problem. On this basis he claims that there is a mistake in dynamic coherence arguments. There is really (...) no formal mistake in classical dynamic coherence arguments, but the discussions in Maher and Levi do suggest interesting ways in which the definition of dynamic coherence might be strengthened. Such a strengthened "sequentialized" notion of dynamic coherence is explored here. It so happens that even on the strengthened standards for a Dutch book, the classic dynamic coherence argument for conditioning still goes through. (shrink)

This article introduces and defends a probabilistic measure of the explanatory power that a particular explanans has over its explanandum. To this end, we propose several intuitive, formal conditions of adequacy for an account of explanatory power. Then, we show that these conditions are uniquely satisfied by one particular probabilistic function. We proceed to strengthen the case for this measure of explanatory power by proving several theorems, all of which show that this measure neatly corresponds to our explanatory intuitions. Finally, (...) we briefly describe some promising future projects inspired by our account. (shrink)

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

In this paper, I argue that van Fraassen's "bad lot objection" against Inference to the Best Explanation [IBE] severely misses its mark. First, I show that the objection holds no special relevance to IBE; if the bad lot objection poses a serious problem for IBE, then it poses a serious problem for any inference form whatever. Second, I argue that, thankfully, it does not pose a serious threat to any inference form. Rather, the objection misguidedly blames a form of inference (...) for not achieving what it never set out to achieve in the first place. (shrink)

Recently, in attempting to account for explanatory reasoning in probabilistic terms, Bayesians have proposed several measures of the degree to which a hypothesis explains a given set of facts. These candidate measures of "explanatory power" are shown to have interesting normative interpretations and consequences. What has not yet been investigated, however, is whether any of these measures are also descriptive of people’s actual explanatory judgments. Here, I present my own experimental work investigating this question. I argue that one measure in (...) particular is an accurate descriptor of explanatory judgments. Then, I discuss some interesting implications of this result for both the epistemology and the psychology of explanatory reasoning. (shrink)

In the world of philosophy of science, the dominant theory of confirmation is Bayesian. In the wider philosophical world, the idea of inference to the best explanation exerts a considerable influence. Here we place the two worlds in collision, using Bayesian confirmation theory to argue that explanatoriness is evidentially irrelevant.

We argue elsewhere that explanatoriness is evidentially irrelevant . Let H be some hypothesis, O some observation, and E the proposition that H would explain O if H and O were true. Then O screens-off E from H: Pr = Pr. This thesis, hereafter “SOT” , is defended by appeal to a representative case. The case concerns smoking and lung cancer. McCain and Poston grant that SOT holds in cases, like our case concerning smoking and lung cancer, that involve frequency (...) data. However, McCain and Poston contend that there is a wider sense of evidential relevance—wider than the sense at play in SOT—on which explanatoriness is evidentially relevant even in cases involving frequency data. This is their main point, but they also contend that SOT does not hold in certain cases not involving frequency data. We reply to each of these points and conclude with some general remarks on screening-off as a test of evidential relevance. (shrink)

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trich published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

Charles S. Peirce argued that, besides deduction and induction, there is a third mode of inference which he called " hypothesis " or " abduction." He characterized abduction as reasoning " from effect to cause," and as " the operation of adopting an explanatory hypothesis." Peirce ' s ideas about abduction, which are related also to historically earlier accounts of heuristic reasoning, have been seen as providing a logic of scientific discovery. Alternatively, abduction is interpreted as giving reasons for pursuing (...) a hypothesis. Inference to the best explanation has also been regarded as an important mode of justification, both in everyday life, detective stories, and science. In particular, scientific realism has been defended by an abductive nomiracle argument, while the critics of realism have attempted to show that this appeal to abduction is question - begging, circular, or incoherent. This paper approaches these issues by distinguishing weaker and stronger forms of abduction, and by showing how these types of inferences can be given Peircean and Bayesian probabilistic reconstructions. (shrink)

Jim buys a ticket in a million-ticket lottery. He knows it is a fair lottery, but, given the odds, he believes he will lose. When the winning ticket is chosen, it is not his. Did he know his ticket would lose? It seems that he did not. After all, if he knew his ticket would lose, why would he have bought it? Further, if he knew his ticket would lose, then, given that his ticket is no different in its chances (...) of winning from any other ticket, it seems that by parity of reasoning he should also know that every other ticket would lose. But of course he doesn’t know that; in fact, he knows that not every ticket will lose. (shrink)

Paul Moser's book defends what has been an unfashionable view in recent epistemology: the foundationalist account of knowledge and justification. Since the time of Plato philosophers have wondered what exactly knowledge is. This book develops a new account of perceptual knowledge which specifies the exact sense in which knowledge has foundations. The author argues that experiential foundations are indeed essential to perceptual knowledge, and he explains what knowledge requires beyond justified true beliefs. In challenging prominent sceptical claims that we have (...) no justified beliefs about the external world, the book outlines a theory of rational belief. (shrink)

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)

William Roche and Elliott Sober argue that explanatoriness is evidentially irrelevant. This conclusion is surprising since it conflicts with a plausible assumption—the fact that a hypothesis best explains a given set of data is evidence that the hypothesis is true. We argue that Roche and Sober's screening-off argument fails to account for a key aspect of evidential strength: the weight of a body of evidence. The weight of a body of evidence affects the resiliency of probabilities in the light of (...) new evidence. Thus, Roche and Sober are mistaken. Explanatoriness is evidentially relevant. (shrink)

Peirce believed that inquiry involves three types of reasoning—abduction, deduction, and induction. While Peirce’s beliefs about reasoning, especially abduction, changed over time, in his mature work the following picture of reasoning emerges: abduction generates and chooses hypotheses to test; deduction determines the entailments of a hypothesis; induction ascertains whether the evidence accords with the hypothesis in question.1 Peirce both identified abduction and coined the word.2 His concept of abduction is one of the most original contributions he made to the study (...) of reasoning. It is also one of the most poorly understood. Peirce’s concept of abduction has been distorted by contemporary... (shrink)

This is an essay in the Bayesian theory of how opinions should be revised over time. It begins with a discussion of the principle that van Fraassen has dubbed "Reflection". This principle is not a requirement of rationality; a diachronic Dutch argument, that purports to show the contrary, is fallacious. But under suitable conditions, it is irrational to actually implement shifts in probability that violate Reflection. Conditionalization and probability kinematics are special cases of the principle not to implement shifts that (...) violate Reflection; hence these principles are also requirements of rationality under suitable conditions, though not universal requirements of rationality. (shrink)