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)

Analogies have always had an important place in the reconstruction of past cultures by archaeologists. However, archaeologists and philosophers have objected on various grounds to the importance granted to analogy. Heider proposed the use of multiple analogies--analogies incorporating several sources--as a way of overcoming these objections. However, the merits and even the meaning of this proposal have not been explored adequately. This article presents an examination of instances of multiple analogies in the archaeological literature in order to motivate an adequate (...) account of them in terms of the Multiconstraint theory of analogy, and in order to examine their role in archaeological inference. This article does not end the debate over analogies once and for all, but it does bring some needed clarity to this issue of central importance to the philosophy of archaeology. (shrink)

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

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)

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)

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)

Scientific images represent types or particulars. According to a standard history and epistemology of scientific images, drawings are fit to represent types and machine-made images are fit to represent particulars. The fact that archaeologists use drawings of particulars challenges this standard history and epistemology. It also suggests an account of the epistemic quality of archaeological drawings. This account stresses how images integrate non-conceptual and interepretive content.

IntroductionIf we were to identify the beginning of the study of visual argumentation, we would have to choose 1996 as the starting point. This was the year that Leo Groarke published “Logic, art and argument” in Informal logic, and it was the year that he and David Birdsell co-edited a special double issue of Argumentation and Advocacy on visual argumentation . Among other papers, the issue included Anthony Blair’s “The possibility and actuality of visual arguments”. It was also the year (...) that Gail J. Chryslee, Sonja K. Foss and Arthur L. Ranney published their short text on “The construction of claims in visual argumentation” , stating that even though theorists may know a great deal about the process of argumentation, “virtually none of this knowledge is applicable to visual argumentation […] because of the properties that distinguish visual imagery from discursive symbols” .Texts on visual rhetoric have been written as far back as the early 1980s, .. (shrink)

: Faraday is often described as an experimentalist, but his work is a dialectical interplay of concrete objects, visual images, abstract, theoretically-informed visual models and metaphysical precepts. From phenomena described in terms of patterns formed by lines of force he created a general explanation of space-filling systems of force which obey both empirical laws and principles of conservation and economy. I argue that Faraday's articulation of situated experience via visual models into a theory capable of verbal expression owed much to (...) his strategy of moving—via conjectural visual models—between the phenomenology of particulars (often displayed as patterns) and the general features of dynamical phenomena which he depicted as structures. (shrink)

This paper describes DIVA (Dynamic Imagery for Visual Analogy), a computational model of visual imagery based on the scene graph, a powerful representational structure widely used in computer graphics. Scene graphs make possible the visual display of complex objects, including the motions of individual objects. Our model combines a semantic-network memory system with computational procedures based on scene graphs. The model can account for people’s ability to produce visual images of moving objects, in particular the ability to use dynamic visual (...) analogies that compare two systems of objects in motion. (shrink)

Barnes, A. and P. Thagard Empathy and analogy. Dialogue: Canadian Philosophical Review, 36: 705-720. HTML Croft, D., & Thagard, P.. Dynamic imagery: A computational model of motion and visual analogy. In L. Magnani and N. Nersessian, Model-based reasoning: Science, technology, values. New York: Kluwer/Plenum, 259-274. PDF only. HTML description of program and code for DIVA.