What I call theoretical abduction (sentential and model-based)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 (preferred) 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, together with an analysis of the related notions of ``perceptual and inceptual rehearsal'' and of ``external representation''. (shrink)

Humans continuously delegate and distribute cognitive functions to the environment to lessen their limits. They build models, representations, and other various mediating structures, that are thought to be good to think. The case of scientific innovation is particularly important: the main aim of this paper is to revise and criticize the concept of scientific innovation, reframing it in what I will call an eco-epistemic perspective, taking advantage of recent results coming from the area of distributed cognition (common coding) and abductive (...) cognition (manipulative). Taking advantage of this eco-cognitive perspective the article outlines how innovative scientific modeling activity can be better described taking advantage of the concept of “epistemic warfare”, which sees scientific enterprise as a complicated struggle for rational knowledge in which it is crucial to distinguish epistemic (for example scientific models) from non epistemic (for example fictions, falsities, propaganda) weapons. (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)

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 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)

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 aim of this paper is to investigate the relationship between information and abductive reasoning in the context of problem-solving, focusing on non-human animals. Two questions guide our investigation: What is the relation between information and abductive reasoning in the context of human and non-human animals? Do non-human animals perform discovery based on inferential processes such as abductive reasoning? In order to answer these questions, we discuss the semiotic concept of information in relation to the concept of abductive reasoning and, (...) more specifically, to the notion of manipulative abduction proposed by Magnani. Finally, we investigate a case study of corvids’ intelligence, namely, their capacity of causal cognition. (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)

From the perspective of distributed cognition I will stress how abduction is essentially multimodal, in that both data and hypotheses can have a full range of verbal and sensory representations, involving words, sights, images, smells, etc., but also kinesthetic – related to the ability to sense the position and location and orientation and movement of the body and its parts – and motor experiences and other feelings such as pain, and thus all sensory modalities. The presence of kinesthetic and (...) motor aspects demonstrates that abductive reasoning can be manipulative. We can also see, in this regard, how implicit factors take part in the abductive procedure, which consequently acquires the character of a kind of “thinking through doing”. This paper further describes 1) the fact that hypotheses in science can be built through different cognitive mediators and so they can also model the same cognitive aspect in different ways; how they can be carriers/ producers of knowledge in a multimodal way; 2) the problem of the possible non-explanatory and instrumental nature of abductive reasoning and the analysis of the consequences for induction; 3) the role of manipulative abduction in building new evidence/ experiments and how they trigger smart inductive inferences. (shrink)

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)

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)

Philosophers of science today by and large reject the cataclysmic and irrational interpretation of the scientific enterprise claimed by Kuhn. Many computational models have been implemented to rationally study the conceptual change in science. In this recent tradition a key role is played by the concept of abduction as a mechanism by which new explanatory hypotheses are introduced. Nevertheless some problems in describing the most interesting abductive issues rise from the classical computational approach. It describes a cognitive process (and (...) so abduction) by the manipulation of internal symbolic representations of external world. This view assumes a discrete set of representations fixed in discrete time jumps, and cannot adequately account for the issue of anticipation and causation of a new hypothesis. An integration of the traditional computational view with some ideas developed inside the so-called dynamical approach can suggest some important insights. The concept of attractor is very significant. It permits a description of the abductive generation of new hypotheses in terms of a catastrophic rearrangement of the parameters responsible for the behavior of the system. (shrink)

Abductive reasoning assigns special status to the explanatory power of a hypothesis. But how do people make explanatory judgments? Our study clarifies this issue by asking: How does the explanatory power of a hypothesis cohere with other cognitive factors? How does probabilistic information affect explanatory judgments? In order to answer these questions, we conducted an experiment with 671 participants. Their task was to make judgments about a potentially explanatory hypothesis and its cognitive virtues. In the responses, we isolated three constructs: (...) Explanatory Value, Rational Acceptability, and Entailment. Explanatory judgments strongly cohered with judgments of causal relevance and with a sense of understanding. Furthermore, we found that Explanatory Value was sensitive to manipulations of statistical relevance relations between hypothesis and evidence, but not to explicit information about the prior probability of the hypothesis. These results indicate that probabilistic information about statistical relevance is a strong determinant of Explanatory Value. More generally, our study suggests that abductive and probabilistic reasoning are two distinct modes of inference. (shrink)

In my opinion, it is only in the framework of a research dealing with abductive cognition that we can analyze important cognitive aspects of human and machine capacities. From the point of view of human capacities the phenomenological concept of anticipation, which is related to the problem of the spontaneous generation of spatiality and its three-dimensionality, will be central. I will describe that anticipations can be seen as types of visual and manipulative abduction and also fruitful to illustrate, (...) in the case of human and machine capacities, the respective role of two kinds of strategic reasoning: locked and unlocked abductive strategies, which characterize the basic cognitive pro- cedure of “reading ahead”. The specificity of these contrasting inferential strategies is also related to their potentiality in producing different kinds of hypothetical outcomes, which in turn represent dissimilar levels of knowledge creativity. This diversity is also fundamental to depict the special character, the kind of creativity, and the limits of current computational deep learning AI systems, such as AlphaGo, which realize abductive cognitive processes. (shrink)

In this paper I contend that abduction is essentially multimodal, in that both data and hypotheses can have a full range of verbal and sensory representations, involving words, sights, images, smells, etc. but also kinesthetic experiences and other feelings such as pain, and thus all sensory modalities. The kinesthetic aspects simply explain abductive reasoning is basically manipulative, both linguistic and non linguistic signs have an internal semiotic life, as particular configurations of neural networks and chemical distributions (and in (...) terms of their transformations) at the level of human brains, and as somatic expressions, but can also be delegated to many external objects and devices, for example written texts, diagrams, artifacts, etc. Still in this case unconscious aspects takepart of the abductive procedure, which acquires the features of a kind of "thinking through doing". (shrink)

What I call theoretical abduction (sentential and model-based) 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 (preferred) explanations of data, but fails to account for many cases of explanations 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, together with an analysis of the related notion of external representation . Finally, some examples of computational programs that simulate geometrical reasoning are illustrated. The computational embodiment generates a kind of squared epistemic mediator: geometrical construction, as an example of epistemic mediator, is further mediated. (shrink)

This Handbook offers the first comprehensive reference guide to the interdisciplinary field of abductive cognition, providing readers with extensive information on the process of reasoning to hypotheses in humans, animals, and in computational machines. It highlights the role of abduction in both theory practice: in generating and testing hypotheses and explanatory functions for various purposes and as an educational device. It merges logical, cognitive, epistemological and philosophical perspectives with more practical needs relating to the application of abduction across (...) various disciplines and practices, such as in diagnosis, creative reasoning, scientific discovery, diagrammatic and ignorance-based cognition, and adversarial strategies. It also discusses the inferential role of models in hypothetical reasoning, abduction and creativity, including the process of development, implementation and manipulation for different scientific and technological purposes. Written by a group of internationally renowned experts in philosophy, logic, general epistemology, mathematics, cognitive, and computer science, as well as life sciences, engineering, architecture, and economics, the Handbook of Abductive Cognition offers a unique reference guide for readers approaching the process of reasoning to hypotheses from different perspectives and for various theoretical and practical purposes. Numerous diagrams, schemes and other visual representations are included to promote a better understanding of the relevant concepts and to make concepts highly accessible to an audience of scholars and students with different scientific backgrounds. (shrink)

I propose an analysis of deception as the activity of intentionally misleading other agents’ hypothetical inferences. Understanding deception in this way has the advantages of clarifying the epistemological and cognitive dynamics involved in deception. Indeed, if deception can be framed as the intentional manipulation of others’ hypothetical inferences so that they will accept the false or disadvantageous hypotheses, then a better understanding of the epistemological and cognitive dynamics involved in deception will emerge by clarifying how abduction works. Tracing it (...) back to Peirce’s analysis, I will focus on recent perspectives on abduction, which stress the inherent strategic character of abductive cognition and offer a realistic description of the reasoners’ capabilities and their scant resources, both internal (computational power) and external (time and information available). To support and substantiate my thesis, I will examine psychological analyses of military deception. I will conclude by remarking the advantages of the thesis here presented to better understand the epistemological dynamics of deception and by highlighting the questions it leaves open for further investigations. (shrink)

Philosophers have usually offered a number of ways of describing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and then not analysable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. 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. Creativity and discovery are no more seen as a mysterious irrational process, but, thanks to constructive accounts, as a complex relationship among different inferential steps that can be clearly analysed and identified. 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. (shrink)

Despite its importance, abnormal interactions between the proximal and distal upper extremity muscles of stroke survivors and their impact on functional task performance has not been well described, due in part to the complexity of upper extremity tasks. In this pilot study, we elucidated proximal–distal interactions and their functional impact on stroke survivors by quantitatively delineating how hand and arm movements affect each other across different phases of functional task performance, and how these interactions are influenced by stroke. Fourteen subjects, (...) including nine chronic stroke survivors and five neurologically-intact subjects participated in an experiment involving transport and release of cylindrical objects between locations requiring distinct proximal kinematics. Distal kinematics of stroke survivors, particularly hand opening, were significantly affected by the proximal kinematics, as the hand aperture decreased and the duration of hand opening increased at the locations that requires shoulder abduction and elbow extension. Cocontraction of the extrinsic hand muscles of stroke survivors significantly increased at these locations, where an increase in the intermuscular coherence between distal and proximal muscles was observed. Proximal kinematics of stroke survivors was also affected by the finger extension, but the cocontraction of their proximal muscles did not significantly increase, suggesting the changes in the proximal kinematics were made voluntarily. Our results showed significant proximal-to-distal interactions between finger extension and elbow extension/shoulder abduction of stroke survivors exist during their functional movements. Increased cocontraction of the hand muscles due to increased neural couplings between the distal and proximal muscles appears to be the underlying mechanism. (shrink)

In this article I will show why and how it is useful to exploit the hexagon of opposition to have a better and new understanding of the relationships between morality and violence and of fundamental axiological concepts. I will take advantage of the analysis provided in my book Understanding Violence. The Intertwining of Morality, Religion, and Violence: A Philosophical Stance. Springer, Heidelberg/Berlin, 2011) to stress some aspects of the relationship between morality and violence, also reworking some ideas by John Woods (...) concerning the so-called epistemic bubbles, to reach and describe my own concept of moral bubbles. The study aims at providing a simple theory of basic concepts of moral philosophy, which extracts and clarifies the strict relationship between morality and violence and more, for example the new philosophical concept of overmorality. I will also conclude that this kind of hybrid diagrammatic reasoning is a remarkable example of manipulative explanatory abduction—through drawing—in the spirit of “conceptual structuralism”, promoted by Robert Blanché and further developed by Jean-Yves Béziau. (shrink)

First of all I would like to describe inductive and abductive reasoning in the light of the agent–based framework to the aim of clarifying their fallacious character and the role of the so-called ideal systems (logical and computational). Then I will analyze some inductive and abductive types of reasoning that in the perspective of classical and informal logic are defined fallacies. I will describe how in an agent-based reasoning this kind of fallacious reasoning can in some cases be redefined and (...) considered as a good way of reasoning. Finally, I will illustrate how what I call manipulative abduction can be interpreted as a form of practical reasoning a better understanding of which can furnish a description of human beings as hybrid reasoners in so far they are users of ideal and computational agents. (shrink)

My book Abductive Cognition. The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning basically refers to all kinds of human hypothetical cognition, also of creative kind. During the research related to the preparation of that book I soon had the opportunity to examine the studies regarding the human process of continuous delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially in the case of what has been called ‘manipulative abduction’. These design activities (...) are closely related to the process of cognitive niche construction, which I will specifically address in this article. Niche construction should be regarded as a second major participant, after natural selection, in evolution. Indeed, by altering their environment and partly controlling some of the energy and matter fluxes in their ecosystems, organisms are capable of changing some of the natural selective pressures in their local environments. The question I plan to answer is the following: we need to hypothesize a fundamental role of non-genetic information in the evolution, but what kind of evolution could we obtain in this case? I will illustrate that in building various mediating structures, humans transform the environment and create cognitive niches. Thus, humans and other non-human animals become ecological engineers and chance seekers, involved in the processing, the alteration, and even the creation of external structures to reduce or suppress their cognitive limitations. Hence, this article will address a detailed analysis of the role of extragenetic information in evolution and what this process of selection selects for purposeful organisms, so niche-constructing ones. (shrink)

My book Abductive Cognition. The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning basically refers to all kinds of human hypothetical cognition, also of creative kind. During the research related to the preparation of that book I soon had the opportunity to examine the studies regarding the human process of continuous delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially in the case of what has been called ‘manipulative abduction’. These design activities (...) are closely related to the process of cognitive niche construction, which I will specifically address in this article. Niche construction should be regarded as a second major participant, after natural selection, in evolution. Indeed, by altering their environment and partly controlling some of the energy and matter fluxes in their ecosystems, organisms are capable of changing some of the natural selective pressures in their local environments. The question I plan to answer is the following: we need to hypothesize a fundamental role of non-genetic information in the evolution, but what kind of evolution could we obtain in this case? I will illustrate that in building various mediating structures, humans transform the environment and create cognitive niches. Thus, humans and other non-human animals become ecological engineers and chance seekers, involved in the processing, the alteration, and even the creation of external structures to reduce or suppress their cognitive limitations. Hence, this article will address a detailed analysis of the role of extragenetic information in evolution and what this process of selection selects for purposeful organisms, so niche-constructing ones. (shrink)

My book Abductive Cognition. The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning basically refers to all kinds of human hypothetical cognition, also of creative kind. During the research related to the preparation of that book I soon had the opportunity to examine the studies regarding the human process of continuous delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially in the case of what has been called ‘manipulative abduction’. These design activities (...) are closely related to the process of cognitive niche construction, which I will specifically address in this article. Niche construction should be regarded as a second major participant, after natural selection, in evolution. Indeed, by altering their environment and partly controlling some of the energy and matter fluxes in their ecosystems, organisms are capable of changing some of the natural selective pressures in their local environments. The question I plan to answer is the following: we need to hypothesize a fundamental role of non-genetic information in the evolution, but what kind of evolution could we obtain in this case? I will illustrate that in building various mediating structures, humans transform the environment and create cognitive niches. Thus, humans and other non-human animals become ecological engineers and chance seekers, involved in the processing, the alteration, and even the creation of external structures to reduce or suppress their cognitive limitations. Hence, this article will address a detailed analysis of the role of extragenetic information in evolution and what this process of selection selects for purposeful organisms, so niche-constructing ones. (shrink)

Taking advantage of Denis Noble’s description, in “The Illusions of the Modern Synthesis” of the first illusion, related to the concept of natural selection itself, I will further strengthen the criticism by adding three groups of considerations mainly concerning human cognition: 1) how semiotic brains build cognitive niches; 2) the role of abduction – and in particular of manipulative abduction – in building a semiotic artificial world; 3) the biosemiotics of the so-called disembodiment of the mind. Human (...) semiotic brains are engaged in a continuous process of delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially taking advantage of what I have called “manipulative abduction”. These design semiotic activities are closely related to the process of cognitive niche construction, which should be regarded as the second major participant, after natural selection, in evolution. An important effect of this semiotic brain activity is a continuous process of disembodiment of the mind that exhibits a new cognitive perspective on the mechanisms underlying the semiotic emergence of meaning processes. (shrink)

A key issue in cognitive sciences is to understand the cognitive bases of human tool use. Answers have been provided by two competing approaches. The manipulation-based approach assumes that humans can use tools because of the ability to store sensorimotor knowledge about how to manipulate tools. By contrast, for the reasoning-based approach, human tool use is based on the ability to reason about physical object properties. Recently, Caruana and Cuccio proposed a kind of reconciliation, based on the distinction between three (...) types of abductive inference, involving a different contribution of motor and cognitive elements: Automatic abduction, abduction by selection and creative abduction. This perspective offers new interesting avenues. Nevertheless, it is also subject to several theoretical and epistemological limitations, which make it in its present form inappropriate for the study of the cognitive bases of human tool use. This article aims to discuss these limitations. (shrink)

The status of abduction is still controversial. When dealing with abductive reasoning misinterpretations and equivocations are common. What did Peirce mean when he considered abduction both a kind of inference and a kind of instinct or when he considered perception a kind of abduction? Does abduction involve only the generation of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epistemic, or pragmatic, or both? Does abduction preserve ignorance or (...) extend truth or both? To study some of these conundrums and to better understand the concept of visual abduction, I think that an interdisciplinary effort is needed, at the same time fecundated by a wide philosophical analysis. To this aim I will take advantage of some reflections upon Peirce’s philosophy of abduction that I consider central to highlight the complexity of the concept, too often seen in the partial perspective of limited formal and computational models. I will ponder over some seminal Peircean philosophical considerations concerning the entanglement of abduction, perception, and inference, which I consider are still important to current cognitive research. Peircean analysis helps us to better grasp how model-based, sentential, manipulative, and eco-cognitive aspects of abduction—I have introduced in my book Abductive Cognition —have to be seen as intertwined, and indispensable for building an acceptable integrated model of visual abduction. Even if speculative, Peircean philosophical results on visual abduction certainly anticipate various tenets of recent cognitive research. (shrink)

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides (...) readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning. (shrink)

People use commonsense science knowledge to flexibly explain, predict, and manipulate the world around them, yet we lack computational models of how this commonsense science knowledge is represented, acquired, utilized, and revised. This is an important challenge for cognitive science: Building higher order computational models in this area will help characterize one of the hallmarks of human reasoning, and it will allow us to build more robust reasoning systems. This paper presents a novel assembled coherence theory of human conceptual change, (...) whereby people revise beliefs and mental models by constructing and evaluating explanations using fragmentary, globally inconsistent knowledge. We implement AC theory with Timber, a computational model of conceptual change that revises its beliefs and generates human-like explanations in commonsense science. Timber represents domain knowledge using predicate calculus and qualitative model fragments, and uses an abductive model formulation algorithm to construct competing explanations for phenomena. Timber then scores competing explanations with respect to previously accepted beliefs, using a cost function based on simplicity and credibility, identifies a low-cost, preferred explanation and accepts its constituent beliefs, and then greedily alters previous explanation preferences to reduce global cost and thereby revise beliefs. Consistency is a soft constraint in Timber; it is biased to select explanations that share consistent beliefs, assumptions, and causal structure with its other, preferred explanations. In this paper, we use Timber to simulate the belief changes of students during clinical interviews about how the seasons change. We show that Timber produces and revises a sequence of explanations similar to those of the students, which supports the psychological plausibility of AC theory. (shrink)

One reason for the popularity of Craver’s mutual manipulability account of constitutive relevance is that it seems to make good sense of the experimental practices and constitutive reasoning in the life sciences. Two recent papers propose a theoretical alternative to in light of several important conceptual objections. Their alternative approach, the no de-coupling account, conceives of constitution as a dependence relation that once postulated provides the best explanation of the impossibility of breaking the common cause coupling of a macro-level mechanism (...) and its micro-level components. This entails an abductive view of constitutive inference. Proponents of the NDC or abductive account recognize that their discussion leaves open a big question concerning the practical dimension of the notion of constitutive relevanssssce: Is it possible to faithfully reconstruct constitutional reasoning in science in terms of a failure to de-couple, via interlevel experiments, phenomena from their mechanistic constituents? Focusing on the field of memory and long-term potential research, this article argues that the abductive account provides a more adequate description of interlevel experiments in neuroscience. We also suggest that the account highlights some significant practical recommendations of how to interpret the findings of interlevel experiments. 1Introduction 2Mutual Manipulability and Constitutive Relevance 2.1Constitutive relevance through an interventionist lens 2.2Mutual manipulability: A methodological application 3Trouble for the Mutual Manipulability Account 4The Abductive Account of Constitution 5The Abductive Account: A Methodological Application 5.1Long-term potential and memory experiments 5.2A comparative summary 6Conclusions. (shrink)

In this paper a uniform methodology to perform natural\ndeduction over the family of linear, relevance and intuitionistic\nlogics is proposed. The methodology follows the Labelled\nDeductive Systems (LDS) discipline, where the deductive process\nmanipulates {\em declarative units} -- formulas {\em labelled}\naccording to a {\em labelling algebra}. In the system described\nhere, labels are either ground terms or variables of a given {\em\nlabelling language} and inference rules manipulate formulas and\nlabels simultaneously, generating (whenever necessary)\nconstraints on the labels used in the rules. A set of natural\ndeduction style (...) inference rules is given, and the notion of a\n{\em derivation} is defined which associates a labelled natural\ndeduction style ``structural derivation'' with a set of generated\nconstraints. Algorithmic procedures, based on a technique called\n{\em resource abduction\/}, are defined to solve the constraints\ngenerated within a structural derivation, and their termination\nconditions discussed. A natural deduction derivation is then\ndefined to be {\em correct} with respect to a given substructural\nlogic, if, under the condition that the algorithmic procedures\nterminate, the associated set of constraints is satisfied with\nrespect to the underlying labelling algebra. Finally, soundness\nand completeness of the natural deduction system are proved with\nrespect to the LKE tableaux system \cite{daga:LAD}.\footnote{Full\nversion of a paper presented at the {\em 3rd Workshop on Logic,\nLanguage, Information and Computation\/} ({\em WoLLIC'96\/}), May\n8--10, Salvador (Bahia), Brazil, organised by Univ.\ Federal de\nPernambuco (UFPE) and Univ.\ Federal da Bahia (UFBA), and\nsponsored by IGPL, FoLLI, and ASL.}. (shrink)

In The Piano Tuner of EarthQuakes, the Quay Brothers' second feature, the sensual form and the meta-artistic content are truly interweaved, and the siblings' staple animated materials become part of the theme itself. Using Michel Serres's argument in Les cinq sens, I address the relationship between the Quays intermedial animation and the way the art forms of music, painting, theatre and sculpture are used to captivate the film viewer's sensorium in the same way that some of the characters are fascinated (...) by the evil Droz, a scientist and failed composer who manipulates machines and people alike, among them Felisberto, a meek piano tuner with the ability to stir the natural elements. I further proceed to posit the entire film as an intended allegory of animation on the Quays part. Their haptic construction of a three-dimensional world which they control artistically is replicated in the film in Droz's and Felisberto's activities vis-à-vis Malvina van Stille, an abducted opera diva who is kept in a suspended animation state and several hydraulic automata with musical resounding properties, some of them made up of an uncanny assortment of body parts. The artificial life of these creatures is contrasted, in two ways, with their physical reality as beings that exist in the world: first, via Serres's sensorial strategy to transform a body into a conscious entity, an embodiment I call 'Corpo-Reality', and second, by resorting to Deleuze and Guattari's theory of the body without organs in its advocacy of 'hard' nature and the rejection of a rigid assortment of body parts. The paradoxical organic objectivity of the 'marionettized' Malvina is pitted against the seemingly subjective doings of the mechanical automata, especially an android woodcutter. However, just as in the story things are not what they seem, and the automata actually reflect the 'real' world of Felisberto's tuning of them, so the film itself can be a 'crystal-image', offering itself to the senses of the spectator. (shrink)

The relation between probabilistic and explanatory reasoning is a classical topic in philosophy of science. Most philosophical analyses are concerned with the compatibility of Inference to the Best Explanation with probabilistic, Bayesian inference, and the impact of explanatory considerations on the assignment of subjective probabilities. This paper reverses the question and asks how causal and explanatory considerations are affected by probabilistic information. We investigate how probabilistic information determines the explanatory value of a hypothesis, and in which sense folk explanatory practice (...) can be said to be rational. Our study identifies three main factors in reasoning about a explanatory hypothesis: cognitive salience, rational acceptability and logical entailment. This corresponds well to the variety of philosophical accounts of explanation. Moreover, we show that these factors are highly sensitive to manipulations of probabilistic information. This finding suggests that probabilistic reasoning is a crucial part of explanatory inferences, and it motivates new avenues of research in the debate about Inference to the Best Explanation and probabilistic measures of explanatory power. (shrink)

In _Abductive Analysis_, Iddo Tavory and Stefan Timmermans provide a new navigational map for constructing empirically based generalizations in qualitative research. They outline an accessible way to think about observations, methods, and theories that nurtures theory-formation without locking it into predefined conceptual boxes. The authors view research as continually moving back and forth between a set of observations and theoretical generalizations. To craft theory is to then pitch one’s observations in relation to other potential cases, both within and without one’s (...) field. The book provides novel ways to approach the challenges that plague qualitative researchers across the social sciences—how to think about the relation between methods and theories, how to conceptualize causality, how to construct axes of variation, and how to leverage the researcher’s community of inquiry. _Abductive Analysis_ is a landmark work that shows how a pragmatist approach provides a more productive and fruitful way to conduct qualitative research. (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)

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.

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)

Abduction, deduction and induction are different forms of inference in science. However, only a few attempts have been made to introduce the idea of abductive reasoning as an extended way of thinking about clinical practice in nursing research. The aim of this paper was to encourage critical reflections about abductive reasoning based on three empirical examples from nursing research and includes three research questions on what abductive reasoning is, how the process has taken place, and how knowledge about abductive (...) reasoning based on the examples can inform nursing research and clinical practice. The study has a descriptive and explorative approach using a convenience sample of three empirical studies from nursing research. The three studies illustrate different ways to enter the abductive reasoning process in steps. They represent new caring models, which offer visual and cognitive maps for expanding nursing research, education and thus informing care. Therefore, we suggest that abductive reasoning may be beneficial for different ways of knowing and demonstrates scientific innovation to shed new light on health phenomena, which can help researchers and practitioners to gain a broader and deeper understanding of nursing care inquiry. However, more studies are needed to broaden this scope. (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)

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.

Aliseda’s Abductive Reasoning is focused on the logical problem of abduction. My paper, in contrast, deals with the epistemic problems raised by this sort of inference. I analyze the relation between abduction and inference to the best explanation (IBE). Firstly a heuristic and a normative interpretation of IBE are distinguished. The epistemic problem is particularly pressing for the latter interpretation, since it is devoid of content without specific epistemic criteria for separating acceptable explanations from those which are not. (...) Then I discuss two different normative interpretations of IBE. I. Niiniliuoto favours a “probabilistic-confirmational” translation of explanatory merit while S. Psillos thinks that the insight of IBE is lost in a pure probabilistic format. My conclusion is that Aliseda’s theory of abduction fits better with a heuristic account of IBE. (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly (...) new generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

Abduction was first introduced in the epistemological context of scientific discovery. It was more recently analyzed in artificial intelligence, especially with respect to diagnosis analysis or ordinary reasoning. These two fields share a common view of abduction as a general process of hypotheses formation. More precisely, abduction is conceived as a kind of reverse explanation where a hypothesis H can be abduced from events E if H is a good explanation of E. The paper surveys four known (...) schemes for abduction that can be used in both fields. Its first contribution is a taxonomy of these schemes according to a common semantic framework based on belief revision. Its second contribution is to produce, for each non-trivial scheme, a representation theorem linking its semantic framework to a set of postulates. Its third contribution is to present semantic and axiomatic arguments in favor of one of these schemes, ordered abduction, which has never been vindicated in the literature. (shrink)

An examination of alien abduction belief can inform how we ought to approach constructing explanations of monothematic delusion formation. I argue that the formation and maintenance of alien abduction beliefs can be explained by a one-factor account, and that this explanatory power generalizes to (other) cases of monothematic delusions. There are no differences between alien abduction beliefs and monothematic delusions which indicate the need for additional explanatory factors in cases of the latter. I make the additional point (...) that whilst alien abduction beliefs can be readily explained using a one-factor framework, the two-factor framework requires adjustment to accommodate them. I conclude that theorists interested in delusion formation have much to learn from the case of alien abduction belief. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, we (...) moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)