Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

Until recently, cognitive science focused on such mental functions as problem solving, grammar, and pattern-the functions in which the human mind most closely resembles a computer. But humans are more than computers: we invent new meanings, imagine wildly, and even have ideas that have never existed before. Today the cutting edge of cognitive science addresses precisely these mysterious, creative aspects of the mind.The Way We Think is a landmark analysis of the imaginative nature of the mind. Conceptual blending is already (...) widely known in research laboratories throughout the world; this book, written to be accessible to both lay readers and interested scientists, is its definitive statement. Gilles Fauconnier and Mark Turner show that conceptual blending is the root of the cognitively modern human mind, and that conceptual blends themselves are continually combined and reblended to create the rich mental fabric in which we live.The Way We Think shows how this blending operates; how it is affected by (and gives rise to) language, identity, culture, and invention; and how we imagine what could be and what might have been. The result is a bold and exciting new view of how the mind works. (shrink)

Second, there is a form of ampliative inference that has come to be called ‘inference to the best explanation,’ or more briefly ‘explanatory inference.’ Roughly: From the fact that a certain hypothesis would explain the data at hand better than any other available hypothesis, we infer with some degree of confidence that that leading hypothesis is correct. There is no question but that this inference is often performed. Arguably, every human being performs it many times in a day, perhaps without (...) letup. (shrink)

In this article, I compare two varieties of abduction as reconstructive models for analysing discovery. The first is 'Hansonian abduction', which is based on N. R. Hanson's formulations of abduction. The other is 'Harmanian abduction', the Inference to the Best Explanation (IBE) model, formulated especially by Gilbert Harman. Peter Lipton has analysed processes of discovery on the basis of his developed form of Harmanian abduction. I argue that Hansonian abduction would, however, be a more apt model for this purpose. As (...) an example, I reconstruct, in a Hansonian manner, Ignaz Semmelweis's research on childbed fever and compare it to the IBE reconstruction of Lipton. I argue that Hansonian abduction is in accordance with Lipton's aim of taking into account the distinction between actual and potential explanations on the one hand, and between likely and lovely explanations on the other. I maintain that a developed version of Hansonian abduction combined with loveliness gives an important, new conceptual means for analysing processes of discovery. (shrink)

The desire to minimize the number of individual new entities postulated is often referred to as quantitative parsimony. Its influence on the default hypotheses formulated by scientists seems undeniable. I argue that there is a wide class of cases for which the preference for quantitatively parsimonious hypotheses is demonstrably rational. The justification, in a nutshell, is that such hypotheses have greater explanatory power than less parsimonious alternatives. My analysis is restricted to a class of cases I shall refer to as (...) additive. Such cases involve the postulation of a collection of qualitatively identical individual objects which collectively explain some particular observed phenomenon. Especially clear examples of this sort occur in particle physics.1Introduction2Particle physics: a case study3Three kinds of simplicity4Explanatory power5Explanation and non‐observation6Parsimony and scientific methodology7Conclusions. (shrink)

William Whewell is considered one of the most important nineteenth-century British philosophers of science and a contributor to modern philosophical thought, particularly regarding the problem of induction and the logic of discovery. In this volume, Robert E. Butts offers selections from Whewell's most important writings, and analysis of counter-claims to his philosophy.

The desire to minimize the number of individual new entities postulated is often referred to as quantitative parsimony. Its influence on the default hypotheses formulated by scientists seems undeniable. I argue that there is a wide class of cases for which the preference for quantitatively parsimonious hypotheses is demonstrably rational. The justification, in a nutshell, is that such hypotheses have greater explanatory power than less parsimonious alternatives. My analysis is restricted to a class of cases I shall refer to as (...) additive. Such cases involve the postulation of a collection of qualitatively identical individual objects which collectively explain some particular observed phenomenon. Especially clear examples of this sort occur in particle physics. 1 Introduction 2 Particle physics: a case study 3 Three kinds of simplicity 4 Explanatory power 5 Explanation and non-observation 6 Parsimony and scientific methodology 7 Conclusions. (shrink)

Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological tradition in a new way by taking advantage of information-theoretic, cognitive, and artificial intelligence methodologies. I maintain that the results of computational philosophy meet the classical requirements of some Peircian pragmatic ambitions. Indeed, more than a 100 years ago, the American philosopher C.S. Peirce, when working on logical and philosophical problems, suggested the concept of pragmatism(pragmaticism, in his own words) as a logical criterion to (...) analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, many philosophers have usually offered a number of ways of construing hypotheses generation, but they aim at demonstrating that the activity of generating hypotheses is paradoxical, obscure, and thus not analyzable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. To dismiss this tendency and gain interesting insight about the so-called logic of scientific discovery we need to build constructive procedures, which could play a role in moving the problem-solving process forward by implementing them in some actual models. The computational turn gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems. The last part of the paper is devoted to illustrating the problem of the extra-theoretical dimension of reasoning and discovery from the perspective of some mathematical cases derived from calculus and geometry. (shrink)

L. Jonathan Cohen; XI*—Guessing, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 189–210, https://doi.org/10.1093/aristotelian/7.

Popper is well known for rejecting a logic of discovery, but he is only justified in rejecting the same type of logic of discovery that is denied by consequentialism. His own account of hypothesis generation, based on a natural selection analogy, involves an error-eliminative logic of discovery and the differences he admits between biological and conceptual evolution suggest an error-corrective logic of discovery. These types of logics of discovery are based on principles of plausibility that are used in the generation (...) as opposed to the preliminary evaluation of hypotheses. The normative relevance of these principles is grounded in the distinction between strategic and definitory rules. (shrink)

"... fascinating throughout.... the book is recreative in the highest sense." —Arthur C. Danto, The New Republic "A gem for Holmes fans and armchair detectives with a penchant for logical reflection, and Peirce scholars." —Library Journal.

Keith Holyoak and Paul Thagard provide a unified, comprehensive account of the diverse operations and applications of analogy, including problem solving, ...

Chapter INTRODUCTION Charles Sanders Peirce is quickly becoming the dominant figure in the history of American philosophy. The breadth and depth of his work ...

More than a hundred years ago, the American philosopher C. S. Peirce suggested the idea of pragmatism as a logical criterion to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, philosophers have usually offered a number of ways of construing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and thus (...) not analyzable. The “computational turn” gave us a new way to understand creative processes in a strictly pragmatic sense. Artificial Intelligence and Cognitive Science tools allow us to test concepts and ideas previously conceived in abstract terms. It is in the perspective of these actual models that we find the central role of abduction in the explanation of creative reasoning in science. What I call theoretical abduction certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good explanations of data, but fails to account for many cases of explanation occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper. (shrink)