This book offers a novel perspective on abduction. It starts by discussing the major theories of abduction, focusing on the hybrid nature of abduction as both inference and intuition. It reports on the Peircean theory of abduction and discusses the more recent Magnani concept of animal abduction, connecting them to the work of medieval philosophers. Building on Magnani's manipulative abduction, the accompanying classification of abduction, and the hybrid concept of abduction as both (...) inference and intuition, the book examines the problem of visual perception together with the related concepts of misrepresentation and semantic information. It presents the author's views on caricature and the caricature model of science, and then extends the scope of discussion by introducing some standard issues in the philosophy of science. By discussing the concept of ad hoc hypothesis generation as enthymeme resolution, it demonstrates how ubiquitous the problem of abduction is in all the different individual scientific disciplines. This comprehensive text provides philosophers, logicians and cognitive scientists with a historical, unified and authoritative perspective on abduction. (shrink)

Following ideas of Ch. S. Peirce on continuity of mind (synechism) and universality of semiotic processes (pansemiotism) as well as development of the understanding of manipulative abduction in works of L. Magnani the thesis of possibility of abductive reasoning in non-human animal minds is defended. The animal capacity to form explanatory hypotheses is demonstrated by instances of grasping regularities in environment, behavior of conspecifics and even self-knowledge. In the framework of debate on instinctual or rather inferential nature of abductive (...) capacity questions of innate and acquired mechanisms of learning, the role of language in development of explanations and priority of inner (emotional) or outer (referential) perspectives in genesis of first explanatory hypotheses are considered. (shrink)

This book gathers together novel essays on the state-of-the-art research into the logic and practice of abduction. In many ways, abduction has become established and essential to several fields, such as logic, cognitive science, artificial intelligence, philosophy of science, and methodology. In recent years this interest in abduction’s many aspects and functions has accelerated. There are evidently several different interpretations and uses for abduction. Many fundamental questions on abduction remain open. How is abduction (...) manifested in human cognition and intelligence? What kinds or types of abduction can be discerned? What is the role for abduction in inquiry and mathematical discovery? The chapters aim at providing answer to these and other current questions. Their contributors have been at the forefront of discussions on abduction, and offer here their updated approaches to the issues that they consider central to abduction’s contemporary relevance. The book is an essential reading for any scholar or professional keeping up with disciplines impacted by the study of abductive reasoning, and its novel development and applications in various fields. (shrink)

Selective abduction is in contrast with creative abduction as well as Inference to the Best Explanation (IBE). There are two types of selective abduction: Either hypotheses are selected among new and conjectural hypotheses without any prior knowledge ( Pierce s' selective abduction), or the selection of the best hypotheses and explanations is among a large number of possible hypotheses and explanations already known (L. Magnani's selective abduction and G. Schurz's factual abduction). According to both (...) views, as well as an alternative view, which belongs to Dov M. Gabby and John Woods, selective abduction is different from inference to the best explanation. Schurz's factual abduction depends on all three sub-processes of inference, i.e.: colligation, observation, and judgment (c, o, and j); But Pierce's selective abduction, on the other hand, has only a third sub-process, i.e. judgment process (j), and therefore it cannot be regarded as a process of abductive epistemic inference. (shrink)

In this paper art history and visual studies, the disciplines that study visual culture, are presented as a field whose conjectural paradigm can be used to understand the epistemic problems associated with abduction. In order to do so, significant statements, concepts and arguments from the work of several specialists in this field have been highlighted. Their analysis shows the fruitfulness and potential for understanding the study of visual culture as a field that is interwoven with the assumptions of abductive (...) cognition. (shrink)

This paper explains how Kepler in his ``War onMars'' applied systems of models organized bothin a perspectival and in a stratifiedconceptual sense. With the help of thesesystems Kepler worked out successively moredeterminate models for the planetary orbits.Along the way he discovered the Keplerian lawsas consequences of the distance rule, hisleading regulative principle. The selection ofdecisive, so called privileged, observations,as well as the determinate geometrical andkinematical description of the phenomena,result from the application of this principleto the developing of models. Kepler's method (...) ofdiscovery may therefore appropriately bedesignated converse abduction. (shrink)

Eric Scerri has proposed an account of how reduction might be understood in chemistry. He claims to build on a general aspect of Popper's views which survives his otherwise heavy criticism, namely adherence to actual scientific practice. This is contrasted with Nagel's conception, which Scerri takes to be the philosopher's standard notion. I argue that his proposal, interesting though it is, is not so foreign to ideas in the tradition within which Nagel wrote as Scerri would have us believe. Moreover, (...) actual scientific practice can be commandeered in support of a holistic conception which Popper contrasted with what he saw as the admirable strivings towards reduction in science. (shrink)

Design has usually been linked to art and applied in scenarios related to everyday life. Even when design has, on occasion, made its way into the world of academia, it has always been closely linked to art and scenarios related everyday life. At last, however, the idea of design has reached the field of epistemology: an area within the very heart of philosophy that has always focused, in theory, on the foundations of knowledge. Consequently, design is being studied from (...) different approaches interested in the foundation of knowledge, theoretical and practical. This is one of the reasons why abduction and pragmatism have been considered relevant from a design perspective. This paper first shows the main features of abduction and pragmatism, describes their evolution and considers their mutual implications. Second, the epistemology of design is analysed considering its most relevant characteristics. Third, the connection between abduction and, on the one hand, pragmatism and, on the other, design epistemology is addressed. Finally, the role of abductive inference in grounding a real epistemology for design theory from the naturalised cognitive perspective of abduction is outlined. The central proposition is that this approach is essential as a methodological innovation, as it allows us to analyse both the inquiry process and the design process as interdependent when dealing with practical problems of a social and cultural nature. This approach allows us to analyse how human actions determine changes in the theoretical framework from which we make our inquiry. In short, the world is an open-ended project that humans design through our daily inquiry. (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)

We distinguish three aspects of medical diagnosis: generating new diagnostic hypotheses, selecting hypotheses for further pursuit, and evaluating their probability in light of the available evidence. Drawing on Peirce’s account of abduction, we argue that hypothesis generation is amenable to normative analysis: physicians need to make good decisions about when and how to generate new diagnostic hypothesis as well as when to stop. The intertwining relationship between the generation and selection of diagnostic hypotheses is illustrated through the analysis of (...) a detailed clinical case study. This interaction is not adequately captured by the existing probabilistic, decision-theoretic models of the threshold approach to clinical decision-making. Instead, we propose to conceptualize medical diagnosis in terms of strategic reasoning. (shrink)

This book examines three areas in which abductive reasoning is especially important: medicine, science, and law. The reader is introduced to abduction and shown how it has evolved historically into the framework of conventional wisdom in logic. Discussions draw upon recent techniques used in artificial intelligence, particularly in the areas of multi-agent systems and plan recognition, to develop a dialogue model of explanation. Cases of causal explanations in law are analyzed using abductive reasoning, and all the components are finally (...) brought together to build a new account of abductive reasoning. By clarifying the notion of abduction as a common and significant type of reasoning in everyday argumentation, _Abductive Reasoning_ will be useful to scholars and students in many fields, including argumentation, computing and artificial intelligence, psychology and cognitive science, law, philosophy, linguistics, and speech communication and rhetoric. (shrink)

Biographical studies have shown that visual mental imagery plays a significant role in the conduct of scientific research, particularly in the generation of hypotheses. But the nature of visual mental imagery and its participation in abductive inference is not systematically understood. This paper discusses examples of visual abductive reasoning by archaeologists, analyzing them according to the visual information and the process of inference employed. This work supports the conclusion that visual abduction is useful to scientists under certain conditions and (...) that it is amenable to detailed study. (shrink)

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to (...) consensus-formation, such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

The paper attempts to schematize, in the form of abductive inferences, the major changes in the developing picture of the atom during the modem period of scientific investigation. The aim of this presentation is to enable students in logic or the philosophy of science to see how a sustained application of abduction might be seen as operative in the development of changing conceptions of the atom, a development which may well be seen as a scientific revolution. The sustained (...) example also illustrates, in pedagogic fashion, the role of images in abduction, the theory-observation distinction, and the analytic-synthetic distinction. (shrink)

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to (...) consensus-formation, such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

In pragmatic theories, the notion of inference plays a central role, together with the communicative act in which it is activated. Although some scholars, such as Levinson, Sperber and Wilson, propose detailed and accurate analyses of this notion, we will maintain that these analyses can be better systematized if seen through Peirce’s notion of abduction. We will try to maintain that the variety of inferential processes in play in a linguistic act is mostly of an abductive nature. Moreover, we (...) will maintain that the typological tripartition of abductions discussed by Eco allows to account for a significant part of the mechanisms involved in the comprehension of an utterance, ranging from quasi-immediate and spontaneous levels of understanding to processes that draw on creative resources. In our proposal the vast majority of our linguistic activities implies the automatic retrieval of a habit of action. In the other cases we need more onerous processes. We might need to identify, among a range of possibilities, the appropriate rule to be applied to the contextual situation or, depending on the context and on our background knowledge, we might be forced to create ex novo a new linguistic routine. In our view, this typology of abductive inferences provides us with all the necessary tools to account for the different inferential demands entailed by different levels of the process of language comprehension. On the basis of this typology we can, develop a fine-grained model of linguistic inferences and, thus, simplify the terms of some problematic nodes debated within contextualist approaches.The benefits of this fine-grained model is that it provides a unitary framework in which all the levels of the process of language comprehension are shown to be inferential and have the same logic structure. At the same time, it is also able to account for all the different inferential efforts entailed by different linguistic processes. Thus, this model gives us both a unitary account of the structure of linguistic inferences and a fine-grained description of the differences existing between them. (shrink)

This paper introduces an epistemological model of scientific reasoning which can be described in terms of abduction, deduction and induction. The aim is to emphasize the significance of abduction in order to illustrate the problem-solving process and to propose a unified epistemological model of scientific discovery. The model first describes the different meanings of the word abduction in order to clarify their significance for epistemology and artificial intelligence. In different theoretical changes in theoretical systems we witness different (...) kinds of discovery processes operating. Discovery methods are "data-driven," "explanation-driven", and "coherence-driven". Sometimes there is a mixture of such methods: for example, an hypothesis devoted to overcome a contradiction is found by abduction. Contradiction, far from damaging a system, help to indicate regions in which it can be changed and improved. I will also consider a kind of "weak" hypothesis that is hard to negate and the ways for making it easy. In these cases the subject can "rationally" decide to withdraw his or her hypotheses even in contexts where it is "impossible" to find "explicit" contradictions and anomalies. Here, the use of negation as failure is illuminating. (shrink)

In philosophy of science, the literature on abduction and the literature on styles of thinking have existed almost totally in parallel. Here, for the first time, we bring them together and explore their mutual relevance. What is the consequence of the existence of several styles of scientific thinking for abduction? Can abduction, as a general creative mode of inference, have distinct characteristic forms within each style? To investigate this, firstly, we present the concept of abduction; (...) secondly we analyze what is understood by styles of thinking; thirdly, we give some comments on abduction and styles of thinking by analyzing examples of scientific discovery or innovation within each style. We develop a case-based comparative investigation of creative aspects of abductive reasoning with examples drawn from different styles of scientific thinking and doing as understood by the Crombie/hacking tradition. We argue that abduction, as a general mode of reasoning, can have a variety of specific expressions enabled and constrained by the styles of scientific thinking. Finally, we draw some conclusions on the relationship between abduction and styles of thinking suggesting that scientific discovery is a dynamical goal-directed activity within the scientific community that benefits from distinct styles of thinking and doing research. (shrink)

Frank Jackson has argued that only if we have a priori knowledge of the extension-fixers for many of our terms can we vindicate the methodological practice of relying on intuitions to decide between philosophical theories. While there has been much discussion of Jackson’s claim that we have such knowledge, there has been comparatively little discussion of this most powerful argument for that claim. Here I defend an alternative explanation of our intuitions about possible cases, one that does not rely on (...) a priori extension-fixers. This alternative explanation provides a vindication of our reliance on intuitions, while blocking Jackson’s abductive argument for a priori semantic knowledge. In brief, I argue that we should regard our armchair intuitions as providing an important, a priori source of evidence for hypotheses about the contents of our implicit referential policies with regard to our terms. But all such hypotheses have a potential falsifier that is only discoverable empirically. In other words, gold-standard evidence for such hypotheses is always empirical. (shrink)

Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which establish isomorphic relations with the (...) target system’s data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption—algorithmic check—software testing process is understood as the abduction—deduction—induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions. (shrink)

Theoretical and manipulative abduction conjectures and manipulations : the extra-theoretical dimension of scientific discovery. -- Non-explanatory and instrumental abduction : plausibility, implausibility, ignorance preservation. -- Semiotic brains and artificial minds : how brains make up material cognitive systems. -- Neuromultimodal abduction : pre-wired brains, embidiment, neurospaces. -- Animal abduction : from mindless organisms to srtifactual mediators. -- Abduction, affordances, and cognitive niches : sharing representations and creating chances through cognitive niche construction. -- Abduction in (...) human and logical agents : hasty generalizers, hybrid abducers, fallacies. -- Morphodynamical abduction : causation of hypotheses by attractors dynamics. (shrink)

In modern philosophy, essentialism is in most cases regarded as an outdated and, in fact, incorrect philosophical trend. And one of the scientists who created such a reputation of essentialism was the famous English philosopher of Austrian origin Karl Popper. The success of his book “The Open Society and its Enemies” led to the fact that in the West essentialism began to be considered not only cognitively untenable, but also suspicious as the theoretical basis of fascism, communism and totalitarianism. (...) In the article, K. Popper’s arguments against essentialism are reviewed all over again, and it is shown that K. Popper’s criticism of essentialism as an anti-scientific and outdated doctrine is not the point of view of the philosophy as a whole, but it is just the position of empirical positivism. Essentialism deals with the reality that lies on the other side of phenomena. And this, according to K. Popper, necessarily leads to “ultimate” definitions. However, in accordance with the doctrine of falsification by K. Popper himself, every scientific conclusion within its expiration date is “ultimate”. The article shows that in reality essentialism did not only play an extraordinary role in the classical metaphysical theory of knowledge, but also continues to do so within the framework of modern ontology. Moreover, in the latter case, he does it with the help of abduction which is a specific form of logical inference generating scientific hypotheses. The existence of abduction in science, which generates new knowledge, suggests that essentialism is not something, at best, tolerable and excusable. This is the main way to development of sciences in general. In all cases, the author of the article considers only logical entities, but not legal, theological or any other. (shrink)

Some New Mechanists have proposed that claims of compositional relations are justified by combining the results of top-down and bottom-up interlevel interventions. But what do scientists do when they can perform, say, a cellular intervention, but not a subcellular detection? In such cases, paired interlevel interventions are unavailable. We propose that scientists use abduction and we illustrate its use through a case study of the ionic theory of resting and action potentials.

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and (...) report shortly our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

A reorientation is needed in methodological debate about the role of intuitions in philosophy. Methodological debate has lost sight of the reason why it makes sense to focus on questions about intuitions when thinking about the methods or epistemology of philosophy. The problem is an approach to methodology that focuses almost exclusively on questions about some evidential role that intuitions may or may not play in philosophers’ arguments. A new approach is needed. Approaching methodological questions about the role (...) of intuitions in philosophy with an abductive model of philosophical inquiry in mind will help ensure the debate doesn't lose sight of what motivates the debate. (shrink)

The relationship between Peircean abduction and the modern notion of Inference to the Best Explanation is a matter of dispute. Some philosophers, such as Harman :88–95, 1965) and Lipton, claim that abduction and IBE are virtually the same. Others, however, hold that they are quite different :503, 1998; Minnameier in Erkenntnis 60:75–105, 2004) and there is no link between them :419–442, 2009). In this paper, I argue that neither of these views is correct. I show that abduction (...) and IBE have important similarities as well as differences. Moreover, by bringing a historical perspective to the study of the relationship between abduction and IBE—a perspective that is lacking in the literature—I show that their differences can be well understood in terms of two historic developments in the history of philosophy of science: first, Reichenbach’s distinction between the context of discovery and the context of justification—and the consequent jettisoning of the context of discovery from philosophy of science—and second, underdetermination of theory by data. (shrink)

This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction-centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction-centered modal epistemology by showing that this epistemology aids a popular stance on the mind-body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction-centered modal epistemology can work by showing that (...) class='Hi'>abduction can establish claims about necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are. (shrink)

Syntactic and structural models specify relationships between their constituents but cannot show what outcomes their interaction would produce over time in the world. Simulation consists in iterating the states of a model, so as to produce behaviour over a period of simulated time. Iteration enables us to trace the implications and outcomes of inference rules and other assumptions implemented in the models that make up a theory. We apply this method to experiments which we treat as models of the particular (...) aspects of reality they are designed to investigate. Scientific experiments are constantly designed and re-designed in the context of implementation and use. They mediate between theoretical understanding and the practicalities of engaging with the empirical and social world. In order to model experiments we need to identify and represent features that all experiments have in common. We treat these features as parameters of a general model of experiment so that by varying these parameters different types of experiment can be modelled. (shrink)

Abduction, deduction and induction describe forms of reasoning. Deduction and induction are discussed in the nursing literature. However, abduction has been largely neglected by nurse scholars. In this paper it is proposed that abduction may play a part in qualitative data analysis – specifically, in the identification of themes, codes, and categories. Abduction is not, in research, restricted to or associated with any particular methodology. Nevertheless, situating abduction in qualitative research facilitates the identification of three (...) interlinked issues. First, it is suggested that abductively derived claims require support from deductive and inductively sourced evidence if they are to ‘hold’ and, yet, in qualitative research this is clearly problematic. Second, difficulties in choosing between alternative plausible hypotheses are explored through an examination of the ‘generality problem’. Third, the role of background and auxiliary theories in adjudicating between hypothesis options is discussed. It is argued that if qualitative researchers utilize abductive inference in the manner suggested, then the peculiarly fallible nature of abduction must be acknowledged and, in consequence, the action guiding potential of qualitative research findings is compromised. (shrink)

In this paper we will show Peirce’s distinction between deduction, induction and abduction. The aim of the paper is to show how Peirce changed his views on the subject, from an understanding of deduction, induction and hypotheses as types of reasoning to understanding them as stages of inquiry very tightly connected. In order to get a better understanding of Peirce’s originality on this, we show Peirce’s distinctions between qualitative and quantitative induction and between theorematical and corollarial deduction, passing then (...) to the distinction between mathematics and logic. In the end, we propose a sketch of a comparison between Peirce and Whitehead concerning the two thinkers’ view of mathematics, hoping that this could point to further inquiries. (shrink)

The first part of this paper finds Craver’s (2007) mutual manipulability theory (MM) of constitution inadequate, as it definitionally ties constitution to the feasibility of idealized experiments, which, however, are unrealizable in principle. As an alternative, the second part develops an abductive theory of constitution (NDC), which exploits the fact that phenomena and their constituents are unbreakably coupled via common causes. The best explanation for this common-cause coupling is the existence of an additional dependence relation, viz. constitution. Apart from adequately (...) capturing the essential characteristics of constitution missed by MM, NDC has important ramifications for constitutional discovery—most notably, that there is no experimentum crucis for constitution, not even under ideal discovery circumstances. (shrink)

The ultimate focus of the current essay is on methods of “creative abduction” that have some guarantees as reliable guides to the truth, and those that do not. Emphasizing work by Richard Englehart using data from the World Values Survey, Gerhard Schurz has analyzed literature surrounding Samuel Huntington’s well-known claims that civilization is divided into eight contending traditions, some of which resist “modernization” – democracy, civil rights, equality of rights of women and minorities, secularism. Schurz suggests an evolutionary model (...) of modernization and identifies opposing social forces. In a later essay, citing Englehart’s work as an example, Schurz identifies factor analysis as an example of “creative abduction”. The theories of Englehart and his collaborators are reviewed again in the current essay. Published simulations and standard statistical desiderata for causal inference show the methods Englehart used, factor analysis in particular, are not guides to truth for the kind of data Schurz recognizes as common in political science. Recent work in statistics, philosophy and computer science that makes advances towards such methods is briefly reviewed. (shrink)

In a discussion of Sherlock Holmes’ “science of deduction” and the related “method of exclusion,” I show that Holmes’ claim that his inferences are deductive makes sense, if we consider his theoretical presuppositions. So, it is more accurate to say that he tries to reduce abduction to deduction than that he confuses them. His theoretical framework, albeit inadequate as a theory of empirical reasoning, can be seen as a basic model of classical (symbolic) AI. The main problems of this (...) approach are surveyed, and abduction is brought into play as both a better characterization of Holmes’ inferences and a better guide for building AI systems. This is a good background for raising the question of creativity because, according to Peirce, it relates to abduction in a substantial way. Is Sherlock Holmes creative? Can machines be creative? An affirmative answer to the second question might be given by a “logic of discovery” but the problem remains that inventing such a logic already presupposes creativity. (shrink)

_Abduction of generalizations_ is the process in which explanatory hypotheses are formed for an observed, yet puzzling generalization such as ``pineapples taste sweet" or ``rainbows appear when the sun breaks through the rain". This phenomenon has received little attention in formal logic and philosophy of science. The current paper remedies this lacuna by first giving an overview of some general characteristics of this process, elaborating on its ubiquity in scientific and daily life reasoning. Second, the adaptive logic $\LAG$ is (...) presented to explicate this process formally. (shrink)

Tomis Kapitan’s work on Peirce’s conception of abduction was instrumental for our coming to see how Peircean abduction both relates to and is importantly different from inference to the best explanation (IBE). However, he ultimately concluded that Peirce’s conception of abduction was a muddle. Despite the deeply problematic nature of Peirce’s theory of abduction in these respects, Kapitan’s work on Peircean abduction offers insight into the nature of abductive inquiry that is importantly relevant to the (...) task of making sense of explanatory inquiry in the sciences in general. The view developed here stems from his work and involves disambiguating three forms of inference involved in Peircean abduction in terms of Reichenbach’s and Laudan’s context models of inquiry. Importantly, this includes understanding that abduction involves the context of pursuit. (shrink)

Phenomenology has been described as a “non-argumentocentric” way of doing philosophy, reflecting that the philosophical focus is on generating adequate descriptions of experience. But it should not be described as an argument-free zone, regardless of whether this is intended as a descriptive claim about the work of the “usual suspects” or a normative claim about how phenomenology ought to be properly practiced. If phenomenology is always at least partly in the business of arguments, then it is worth giving further (...) attention to the role and form of phenomenological argumentation, how it interacts with its more strictly descriptive component, and the status of phenomenological claims regarding conditions for various kinds of experience. I contend that different versions of phenomenological reasoning encroach upon argument forms that are commonly thought to be antithetical to phenomenology, notably abductive reasoning, understood in terms of its role in both hypothesis generation and in terms of justification. This paper identifies two main steps to making this case. The first step takes seriously the consequences of the intrinsically dialectical aspect of phenomenology in intersection with other modes of philosophy, the natural attitude, and non-philosophy. The second step focuses on transcendental reflection and arguments about the conditions/structures they contain. Together, these two steps aim to rescue phenomenology from the objection that it has an “ostrich epistemology” with regard to the ostensible purity of description, the intuition of essences, or the “conditions” ascertained through transcendental reflection. (shrink)

Whether abduction is treated as an argument or as an inference, the mainstream view presupposes a tight connection between abduction and inference to the best explanation. This paper critically evaluates this link and supports a narrower view on abduction. Our main thesis is that merely the hypothesis-generative aspect, but not the evaluative aspect, is properly abductive in the sense introduced by C. S. Peirce. We show why equating abduction with IBE unnecessarily complicates argument evaluation by levelling (...) the status of abduction as a third reasoning mode. We also propose a scheme for abductive argument along with critical questions, and suggest retaining abduction alongside IBE as related but distinct categories. (shrink)

In this essay, I argue that developments in Alvin Plantinga’s evolutionary argument against naturalism—specifically, Thomas Crisp’s argument against a naturalistic metaphysics—have likely undermined the project of science for naturalists who are scientific realists. Scientific theorizing requires the use of abductive reasoning. A central component of abductive reasoning is the use of one’s imagination. However, Crisp’s argument provides us reason to doubt the trustworthiness of our cognitive faculties as it relates to the imaginative abilities necessary for complex abductive reasoning.

Peter Lipton argues that inference to the best explanation involves the selection of a hypothesis on the basis of its loveliness. I argue that in optimal cases of IBE we may be able to eliminate all but one of the hypotheses. In such cases we have a form of eliminative induction takes place, which I call ‘Holmesian inference’. I argue that Lipton’s example in which Ignaz Semmelweis identified a cause of puerperal fever better illustrates Holmesian inference than Liptonian IBE. I (...) consider in detail the conditions under which Holmesian inference is possible and conclude by considering the epistemological relations between Holmesian inference and Liptonian IBE.Keywords: Inference to the best explanation; Peter Lipton; Abduction; Holmesian inference; Eliminative induction. (shrink)

This article analyzes three approaches to resolving the classical Meno paradox, or its variant, the learning paradox, emphasizing Charles S. Peirce’s notion of abduction. Abduction provides a way of dissecting those processes where something new, or conceptually more complex than before, is discovered or learned. In its basic form, abduction is a “weak” form of inference, i.e., it gives only tentative suggestions for further investigation. But it is not too weak if various sources of clues and restrictions (...) on the abductive search are taken into account. We present three, complementary versions of abduction: as a sort of guessing instinct or expert-like intuition, where unconscious clues are important; as a form of inference, where a strategic point of view is essential; and as a part of distributed cognition and mediated activity, where the interaction with the material, social, and cultural environment is emphasized. Our starting point is Peirce’s own notion of abduction, but we broaden the perspective, especially to the direction of distributed cognition. (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)