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.

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

We describe a general problem solving mechanism that is especially suited for performing a particular form of abductive inference, or best-explanation finding. A problem solver embodying this mechanism synthesizes composite hypotheses. It does so by by combining hypothesis parts as a means to the satisfaction of explanatory goals. In this way it is able to arrive at complex, integrated conclusions which are not pre-stored.The intent is to present a computationally-feasible, task-specific problem solver for a particular information processing task which is (...) nevertheless of very great generality. The task is that of synthesizing coherent composite explanatory hypotheses based upon a prestored, and possibly vast collection of hypothesis-generating “concepts”. The authors’ claim is nothing less than to have shown, in a new sense, and surpassing all other work in this area, how it is computationally possible for an agent to come to “know”, based upon the evidence of the case. (shrink)

This paper defines in a formal and computational way the notion of ‘consilience’, a term introduced by Whewell in 1847 for the evaluation of scientific theories. Informally, as has been used to date, a model or theory is ‘consilient’ if it is predictive, explanatory and unifies the evide-nce. Centred in a constructive framework, where new terms can be intro-duced, we essay a formalisation of the idea of unification based on the avoidance of ‘sepa-ration’. However, it is soon manifest that this (...) classical approach is vulnerable to the introduction of fantastic concepts to unify disparate sub-theories. Our second approach is constructed by using a detailed evaluation of the relationship between the theory and the evid-ence by means of reinforcement propagation. With the use of reinfor-cement, fantastic concepts can be better detected and the role of con-silience for theory construction and revision can be specialised for dif-ferent inference mechanisms like explanatory induction, abduction, deduc-tion and analogy. (shrink)

The Minimum Description Length principle is the modernformalisation of Occam's razor. It has been extensively and successfullyused in machine learning, especially for noisy and long sources ofdata. However, the MDL principle presents some paradoxes andinconveniences. After discussing all these, we address two of the mostrelevant: lack of explanation and lack of creativity. We present newalternatives to address these problems. The first one, intensionalcomplexity, avoids extensional parts in a description, so distributingcompression ratio in a more even way than the MDL principle. (...) The secondone, information gain, forces that the hypothesis is informative wrt. the evidence, so giving a formaldefinition of what is to discover. (shrink)

http://dx.doi.org/10.5007/1808-1711.2008v12n2p193 In this paper I claim that the bias to pass from the acknowledgement of the explanatory virtues of a hypothesis to the belief that it is true or approximate to the truth is so strong that scientific realists can hardly elude that temptation. For that reason, some philosophers, like McMullin and Okasha, following Peirce and Hanson, participate of the conviction that the skill of founding scientific explanations bears the ability of founding true theories. But, this way, they pass the (...) limits that they themselves had fixed and their attempt to overcome objections like the one which was formulated by van Fraassen against the inference to the best explanation fails. (shrink)

In this paper I want to cast doubt on the claim that there is a legitimate process of reasoning to the best explanation which can serve as an alternative to either straightforward inductive reasoning or a combination of inductive and deductive reasoning. I shall argue a) that paradigmatic cases of acceptable arguments to the best explanation must be considered enthymemes and b) that when the suppressed premises are made explicit we have all of the premises we need to present either (...) a straightforward inductive argument or an argument employing both induction and deduction. (shrink)

This paper attempts to respond to the critique that critical thinking courses may reflect a cultural bias. After elaborating a list of constitutive dispositions and abilities taught in the critical thinking curriculum (e.g. a direct approach to writing and speaking, care about the dignity and worth of every person, positions towards deductive reasoning, shared decision-making, etc.), the author considers arguments for why several of these might reflect Western, non-universal values. In each case, the author argues for the conclusion that these (...) values, though they could be applied in ways that reflect a cultural bias, are not inherently biased. Next, the author offers an outline of a more systematic examination of cultural bias. After reiterating the “tentative conclusion” that critical thinking is not culturally biased, the paper concludes by considering the various ways in which critical thinking might be promoted so as to ensure its sensitivity to cultural differences. (shrink)

This essay offers a comprehensive vision for a higher education program incorporating critical thinking across the curriculum at hypothetical Alpha College, employing a rigorous detailed conception of critical thinking called “The Alpha Conception of Critical Thinking”. The program starts with a 1-year, required, freshman course, two-thirds of which focuses on a set of general critical thinking dispositions and abilities. The final third uses subject-matter issues to reinforce general critical thinking dispositions and abilities, teach samples of subject matter, and introduce subject-specific (...) critical thinking. Subject-matter departmental and other units will make long-range plans for incorporating critical thinking in varying amounts in subject-matter courses, culminating in a written Senior Thesis/Project involving investigating, taking, and defending a position, which reinforce critical thinking abilities and dispositions and increase subject-matter knowledge. Teaching approaches used in the program are involving and based on the principle, “We learn what we use.” Both summative and formative assessment are employed as appropriate. Coordination and support are extensive. Objections and concerns are discussed, and alternatives, including possible transitions, are considered. An extended review of research supports moving toward CTAC. (shrink)

A popular three-stage argument appraisal strategy calls for (1) identifying the parts of the argument, (2) classifYing the argument as deductive, inductive, or some other type, and (3) appraising the argument using the standards appropriate for the type. This strategy fails for a number of reasons. I propose a comprehensive alternative approach that distinguishes between inductive, deductive, and other standards; calls for the successive application of standards combined with assumption-ascription, according to policies that depend for their selection on the goals (...) of the appraiser; and provides for qualified reasoning. (shrink)

SummaryIn this essay I offer a set of characteristic scientific activities, accompanied by principles to be used as guides in performing these activities, and dispositions that are desirable for the person performing these activities to have. This set is intended to provide a rough and ready elaboration of scientific thinking as a goal for our schools and colleges.Although they are here labeled scientific, they are intended to apply to other activities than doing what is standardly called science. This wider application (...) is part of the justification for offering science in our schools and colleges. We want people to think scientifically about many other aspects of their lives, as well as about science content.There is no suggestion that science content is not important, nor that scientific thinking should be taught apart from science content. In fact I think that a very good way to teach scientific thinking is by infusing such instruction in the instruction of science content. See Swartz for a discussion of infusion, and Ennis, for treatments of the subject‐specificity issue that is generally raised when thinking and content are discussed.This essay contains one brief case study that exemplifies most of the activities, principles, and dispositions suggested as goals for the schools. I realize that the validity and comprehensiveness of these goals has not been here demonstrated. The scientists, science educators, philosophers of science, and critical thinking specialists to whom1 have shown them are in general agreement about them, but the ultimate test will be in whether the goals are widely adopted and successfully serve as guidance in the promotion of scientific thinking.I hope that this elaboration of scientific thinking and its formulation in terms of a suggested set of goals are “dear and precise as is needed in the situation”. (shrink)

This chapter presents a typology of the different kinds of inductive inferences we can draw from our evidence, based on the explanatory relationship between evidence and conclusion. Drawing on the literature on graphical models of explanation, I divide inductive inferences into (a) downwards inferences, which proceed from cause to effect, (b) upwards inferences, which proceed from effect to cause, and (c) sideways inferences, which proceed first from effect to cause and then from that cause to an additional effect. I further (...) distinguish between direct and indirect forms of downwards and upwards inferences. I then show how we can subsume canonical forms of inductive inference mentioned in the literature, such as inference to the best explanation, enumerative induction, and analogical inference, under this typology. Along the way, I explore connections with probability and confirmation, epistemic defeat, the relation between abduction and enumerative induction, the compatibility of IBE and Bayesianism, and theories of epistemic justification. (shrink)

I begin by making some distinctions between kinds of response to a skeptical claim, the purpose of which is to explain what I mean by a "dissolution" of the problem of induction, and to focus on one of the ways it can be implemented. I then argue that previous attempts to dissolve the problem in this way fail, present mine, and defend it. Finally, I show that the dissolution of the problem doesn't improve our normative situation and may even worsen (...) it. (shrink)