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)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

Jaakko Hintikka (1998) has argued that clarifying the notion of abduction is the fundamental problem of contemporary epistemology. One traditional interpretation of Peirce on abduction sees it as a recipe for generating new theoretical discoveries . A second standard view sees abduction as a mode of reasoning that justifies beliefs about the probable truth of theories. While each reading has some grounding in Peirce's writings, each leaves out features that are crucial to Peirce's distinctive understanding of abduction. I develop and (...) defend a third interpretation, according to which Peirce takes abductive reasoning to lead to judgments about the relative pursuitworthiness of theories; conclusions that can be thoroughly disconnected from assessments of truth-value. Even if Peirce's use of "abduction" slides around among each of these three importantly different though potentially compatible senses, this neglected third understanding makes sense of a large number of Peirce's remarks and directs our attention to the cognitive structure of judgments that scientists face after the initial proposal of explanatory hypotheses but prior to their experimental testing; a topic which should be of interest to contemporary philosophers of science. (shrink)

The roughly two and a half millennia over which we can trace the development of mathematics as a discipline have seen ups and downs in its study; the "ups" have involved varying emphases and interests depending on the problems and the temper of the time. The 19th Century may be characterized as a period of development of rigor and attention to the axiomatic method in mathematics. This focus on the deductive process in mathematics was accompanied by the application of mathematics (...) in the study of the deductive process itself. It is safe, I think, to say that the best-known and most influential of the lines of.. (shrink)

Drawing on Charles Peirce’s descriptions of his correspondence course on the “Art of Reasoning,” I argue that Peirce believed that the study of logic stands at the center of a liberal arts education. However, Peirce’s notion of logic included much more than the traditional accounts of deduction and syllogistic reasoning. He believed that the art of reasoning required a study of both abductive and inductive inference as well the practice of observation and imagination. Employing these other features of logic, his (...) course foreshadowed a number of developments in twentieth century educational theory: the belief that non-traditional students should be educated, the claim that the art of reasoning was important to all theoretical practices, and that the art of reasoning was important to the overall growth of a person. The upshot is that Peirce’s course in the art of reasoning should make us reconsider making logic courses, under Peirce’s broad conception of logic, required courses in high school and higher education. (shrink)

Discussions concerning belief revision, theorydevelopment, and ``creativity'' in philosophy andAI, reveal a growing interest in Peirce'sconcept of abduction. Peirce introducedabduction in an attempt to providetheoretical dignity and clarification to thedifficult problem of knowledge generation. Hewrote that ``An Abduction is Originary inrespect to being the only kind of argumentwhich starts a new idea'' (Peirce, CP 2.26).These discussions, however, led to considerabledebates about the precise way in which Peirce'sabduction can be used to explain knowledgegeneration (cf. Magnani, 1999; Hoffmann, 1999).The crucial question is (...) that of understandinghow we can get the new elements capableof enlarging our theories. Under thesecircumstances, it might be helpful to step outof the entanglement and reconsider the basis ofthe problem that originally triggered Peirce'sinterest in abduction. This will lead us toanother Peircean concept, that of ``diagrammaticreasoning,'' which I discuss here in the contextof his ``pragmatism.'' In this way, I hope toreach a better understanding of thecontribution of ``abduction'' to the knowledgegeneration process. (shrink)

Recent developments in the cognitive sciences and artificial intelligence suggest ways of answering the most serious challenge to Peirce's notion of abduction. Either there is no such logical process as abduction or, if abduction is a form of inference, it is essentially unconscious and therefore beyond rational control so that it lacks any normative significance. Peirce himself anticipates and attempts to answer this challenge. Peirce argues that abduction is both a source of creative insight and a form of logical inference (...) subject to a degree of conscious control. In this paper I shall sketch a developing account of abduction that is suggested by the work of Paul Churchland, Paul Thagard, Chris Eliasmith, William Wimsatt, Owen Flanagan, and others. I shall argue that a credible account of abduction will require that we approach the phenomenon from both higher and lower levels as represented by these approaches. (shrink)

Based on a typology of five basic forms of abduction, I propose a new definition of abductive insight that empha sizes in particular the inferential structure of a belief system that is able to explain a phenomenon after a new, abductive ly created component has been added to this system or the entire system has been abductively restructured. My thesis is, first, that the argumentative structure of the pursued problem solution guides abductive creativity and, second, that diagrammatic reasoning—if conceptualized according (...) to the requirements defined by Charles Peirce—can support this guidance. This support is mainly possible based on the normative power of the system of representation that has to be used to construct diagrams and to perform experiments with them. (shrink)

In empirical science, hypostatic abstraction posits an entity defined by its assumed physical relation to a known phenomenon. If the assumed relation is real, the posited entity is physically real and is not an ens rationis. The posited entity, being identified indirectly, by its relation to something else, may be the agreed-upon subject of mutually incommensurable theories, and this is a key to understanding the history of science. Natural kinds may be introduced by hypostatic abstraction, and this explains why, contrary (...) to received doctrine, concepts of natural kinds can never be vague in the sense of being fuzzy, though they can be vague in the sense of lacking specificity. Terms defined by hypostatic abstraction are rigid designators in Kripke's sense, but show how rigid designation is consistent with the Fregean theory of reference. (shrink)

This paper posits Peirce’s logical category of abduction as a necessary component in the learning process. Because of the cardinality of categories, Thirdness always contains in itself the Firstness of abduction. In psychological terms, abduction can be interpreted as intuition or insight. The paper suggests that abduction can be modeled as a vector on a complex plane. Such geometrical interpretation of the triadic sign helps to clarify the paradox of new knowledge that haunted us since Plato first articulated it in (...) his Meno dialogue. Some implications for the actual teaching practice are addressed, and the value of practical knowledge affirmed. (shrink)