“Scientific research faces up with an open and unknown world”Within the work of C. S. Peirce, the most fundamental and contentious form of inference is that of abduction. According to Peirce, abduction is the only type of inference from which new ideas are created (CP 5.171, 1903). He wrote, “every single item of scientific theory which stands established today has been due to Abduction” (CP 5.172, 1903). Similarly, “All that makes knowledge applicable comes to us viâ abduction. […] Not the (...) smallest advance can be made in knowledge beyond the stage of vacant staring, without making an abduction at every step” (HP 2:899–900, 1901). It is little wonder that so much attention has been paid to this particular type of.. (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)

The aim of this paper is to clarify Udayana’s logic in his theistic monograph Nyāyakusumāñjali , especially in the second chapter where he postulates as conclusion the existence of God. In the course of this postulation, Udayana gives as its reason such Nyāya theories as the extrinsic validity of cognition (* parataḥprāmāṇya ) and the creation and dissolution of the world (*s argapralaya ). The present paper first focuses on the argument over the creation and dissolution of the world, clarifying (...) whether Udayana asserts its necessary occurrence or just its possibility. It then analyzes the precise logic of Udayana that generates the theistic hypothesis, comparing it with a logic called abduction which is put forward by Charles Peirce. (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)

Debates concerning the character, scope, and warrant of abductive inference have been active since Peirce first proposed that there was a third form of inference, distinct from induction and deduction. Abductive reasoning has been dubbed weak, incoherent, and even nonexistent. Part, at least, of the problem of articulating a clear sense of abductive inference is due to difficulty in interpreting Peirce. Part of the fault must lie with his critics, however. While this article will argue that Peirce indeed left a (...) number of puzzles for interpreters, it will also contend that interpreters should be careful to distinguish discussion of the formal and strictly epistemic question of whether and how abduction is a sound form of inference from discussions of the practical goals of abduction, as Peirce understood them. This article will trace a history of critics and defenders of Peirce’s notion of abduction and discuss how Peirce both fueled the confusion and in fact anticipated and responded to several recurring objections. (shrink)

Abduction is considered the most powerful, but also the most controversially discussed type of inference. Based on an analysis of Peirce’s retroduction, Lipton’s Inference to the Best Explanation and other theories, a new theory of abduction is proposed. It considers abduction not as intrinsically explanatory but as intrinsically conditional: for a given fact, abduction allows one to infer a fact that implies it. There are three types of abduction: Selective abduction selects an already known conditional whose consequent is the given (...) fact and infers that its antecedent is true. Conditional-creative abduction creates a new conditional in which the given fact is the consequent and a defined fact is the antecedent that implies the given fact. Propositional-conditional-creative abduction assumes that the given fact is implied by a hitherto undefined fact and thus creates a new conditional with a new proposition as antecedent. The execution of abductive inferences is specified by theory-specific patterns. Each pattern consists of a set of rules for both generating and justifying abductive conclusions and covers the complete inference process. Consequently, abductive inferences can be formalised iff the whole pattern can be formalised. The empirical consistency of the proposed theory is demonstrated by a case study of Semmelweis' research on puerperal fever. (shrink)

In this paper we maintain that abductive inferential processes should be embedded to a more general outlook on human cognition. Abduction has clear a.nities to the so-called interrogative model of inquiry in which inquiry and reasoning are conceptualized as a dialogue. We think, in addition, that dialogicality must be broadened to a “trialogical” framework which means a threefold relationship with mediating artefacts where the inquirer, other inquirers , and the object of knowledge are inextricably bound up with each other in (...) long term processes of inquiry. Seen from this perspective Peirce's semeiotic pragmatism has close connections to modern ideas about distributed cognition; also to Pera's dialectical model of science, and Davidson's theory of triangulation concerning human mind, cognition, and knowledge. (shrink)

In this article, the role of abductive reasoning within Peirce's diagrammatic reasoning is discussed. Both abduction and diagrammatic reasoning bring in elements of discovery but it is not clear if abduction should be a part of a fully developed diagrammatic system or not for Peirce. This relates to Peirce's way of interpreting abduction in his later writings. Iconicity and perceptual elements as a basis for discoveries are analyzed, both in deductive and abductive reasoning. At the end, the role of modern (...) ideas of distributed cognition applied to the Peircean scheme is shortly delineated. (shrink)

This paper defends an account of explanatory reasoning generally, and inference to the best explanation in particular, according to which it first and foremost justifies pursuing hypotheses rather than accepting them as true. This side-steps the problem of why better explanations should be more likely to be true. I argue that this account faces no analogous problems. I propose an account of justification for pursuit and show how this provides a simple and straightforward connection between explanatoriness and justification for pursuit.

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)

We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.

In his work on the epistemology of testimony, Peter Lipton developed an account of testimonial inference that aimed at descriptive adequacy as well as justificatory sophistication. According to ‘testimonial inference to the best explanation’, we accept what a speaker tells us because the truth of her claim figures in the best explanation of the fact that she made it. In this paper, I argue for a modification of this picture. In particular, I argue that IBE plays a dual role in (...) the management and justification of testimony. On the one hand, the coherence and success of our testimony-based projects provides general abductive support for a default stance of testimonial acceptance; on the other hand, we are justified in rejecting specific testimonial claims whenever the best explanation of the instances of testimony we encounter entails, or makes probable, the falsity or unreliability of the testimony in question.Keywords: Testimony; Inference to the best explanation; Abduction; Epistemic justification. (shrink)

Clinical diagnostic medicine is an experimental science based on observation, hypothesis making, and testing. It is an use dynamic process that involves observation and summary, diagnostic conjectures, testing, review, observation and summary, new or revised conjectures, i.e. it is an iterative process. It can then be said that diagnostic hypotheses are also ‘observation-laden’. My aim is to enlarge on the strategies of medical diagnosis as these are meshed in training and clinical experience—that is, to describe the patterns of reasoning used (...) by experienced clinicians under different diagnostic circumstances and how these patterns of inquiry allow further insight into the evaluation and treatment of patients. I do not aim to present a theory and illustrate it with examples; I wish rather am to let a realistic example, similar to actual clinical scenarios, direct the exposition. To this end, I introduce an account of medical diagnosis—briefly comparing and contrasting it to other accounts—in order to focus on discussing the process of diagnosis through a detailed clinical case. (shrink)

“What is abduction?” asks Jaakko Hintikka in the title to his 1998 article on C. S. Peirce’s concept. The answer to Hintikka’s question is problematic on several counts. There is, to begin with, a difference between Peirce’s own views on abduction and later interpretations of abduction as “inference to the best explanation” (Minnameier 2004; Paavola 2006). There are, furthermore, tensions within Peirce’s own account of abduction, for instance, a tension between “inferential” and “instinctual” aspects of abduction (Fann 1970; Anderson 1986; (...) Kapitan 1990; Paavola 2005; Paavola and Hakkarainen 2005). These tensions are exacerbated by two factors. First, there are several terminological variants of the word.. (shrink)

I argue against the tendency in the philosophy of science literature to link abduction to the inference to the best explanation (IBE), and in particular, to claim that Peireean abduction is a conceptual predecessor to IBE. This is not to discount either abduction or IBE. Rather the purpose of this paper is to clarify the relation between Peireean abduction and IBE in accounting for ampliative inference in science. This paper aims at a proper classification—not justification—of types of scientific reasoning. In (...) particular, I claim that Peireean abduction is an in-depth account of the process of generating explanatory hypotheses, while IBE, at least in Peter Lipton's thorough treatment, is a more encompassing account of the processes both of generating and of evaluating scientific hypotheses. There is then a two-fold problem with the claim that abduction is IBE. On the one hand, it conflates abduction and induction, which are two distinct forms of logical inference, with two distinct aims, as shown by Charles S. Peirce; on the other hand it lacks a clear sense of the full scope of IBE as an account of scientific inference. (shrink)

Reverse inference is a crucial inferential strategy used in cognitive neuroscience to derive conclusions about the engagement of cognitive processes from patterns of brain activation. While widely employed in experimental studies, it is now viewed with increasing scepticism within the neuroscience community. One problem with reverse inference is that it is logically invalid, being an instance of abduction in Peirce’s sense. In this paper, we offer the first systematic analysis of reverse inference as a form of abductive reasoning and highlight (...) some relevant implications for the current debate. We start by formalising an important distinction that has been entirely neglected in the literature, namely the distinction between weak and strong reverse inference. Then, we rely on case studies from recent neuroscientific research to systematically discuss the role and limits of both strong and weak reverse inference; in particular, we offer the first exploration of weak reverse inference as a discovery strategy within cognitive neuroscience. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

Charles S. Peirce luokitteli 1865 päättelyn lajit deduktioon, induktioon ja hypoteesiin, joista viimeksi mainittua hän luonnehti päättelynä vaikutuksista syihin tai päättelynä selitykseen. Hypoteesi on Peircelle induktion ohella tietoa laajentava päätelmä. 1890-luvun lopun kirjoituksissaan hän alkoi kutsua hypoteettista päättelyä uusilla nimillä ”retroduktio” ja ”abduktio”. Tässä vaiheessa Peirce kuvasi abduktiota tieteellisen päättelyn ensimmäisenä askeleena, mahdollisten arvausten esittämisenä, jonka tulokset on asetettava induktion kautta testeihin. Hänen tunnetuin kaavionsa abduktion loogiselle muodolle on vuodelta 1903: The surprising fact C is observed; But if A were (...) true, C would be a matter of course. Hence, there is reason to think that A is true. Toisin sanoen abduktio päättelee yllättävästä tosiseikasta hypoteettiseen teoriaan, joka selittäisi tämän faktan. Peircen ajatukset tulivat laajemmin tunnetuiksi, kun kuusiosainen Collected Papers ilmestyi 1931-35. Maailmansodan jälkeen hänen ehdotuksiaan on tulkittu kolmessa suunnassa. Hansonin mukaan abduktio on keksimisen logiikkaa. Laudanin mukaan abduktiossa on kyse ohjeesta työskennellä kiinnostavan hypoteesin parissa. Harmanin mukaan abduktio on päättelyä parhaaseen selitykseen. Monet loogikot, tekoälyn tutkijat ja tieteenfilosofit käyttävät termiä ”abduktio” suoraviivaisesti IBE:n synonyyminä, kun taas varovaisemman kannan ottavat mm. Aliseda, Magnani ja Douven. Toisaalta tätä rinnastusta on eri syistä pidetty harhaanjohtavana abduktion todellisen luonteen ja tehtävän perusteella. Myös monet Peirce-tutkijat ovat ottaneet intohimoisesti kantaa asiaan vedoten mestarin monitulkintaisiin kirjoituksiin. Esimerkiksi Minnamaier esittää, että abduktion samaistaminen IBE:n kanssa hämärtäisi Peircen erottelua induktion ja abduktion välillä. Campos argumentoi, että abduktio tulisi rajata selittävien hypoteesien generoimiseen, joten valikointi hypoteesien välillä ei kuulu sen tehtäviin. Gaultierin mukaan skeeman johtopäätös ei ole suositus testata A:n totuutta, vaan selvittää, onko A todellakin mahdollinen selitys C:lle. Sen sijaan Nyrupin mukaan jättää avoimeksi, tukeeko onnistunut selitys hypoteesin totuutta, joten abduktiossa on kyse hypoteesin työstämisestä. Peircen kirjoituksista puolen vuosisadan aikana kuitenkin löytyy aineksia kaikille kolmelle abduktion päätulkinnalle. Abduktio on ainoa menetelmä uusien ideoiden generoimiseksi. Abduktio auttaa tunnistamaan testaamisen arvioisia hypoteeseja. Joissakin tapauksissa, kuten havainnoissa ja historiallisissa päätelmissä, abduktio on ”pakottavaa” tai ”täysin varmaa”, joten sillä voi olla tekemistä myös hypoteesien oikeuttamisen kanssa. Vaikka Peirce päätyi esittämään, ettei abduktiivisiin päätelmiin liity mitään todennäköisyyksiä, hän kuitenkin myöhäisissäkin töissään antoi abduktiolle selkeän loogisen muodon. Lisäksi abduktion ja IBE:n yhteyttä puolustaa käsikirjoitus ”The Logic of Drawing History from Ancient Documents”, jossa Peirce antaa kriteerejä ”abduktiolle eli hypoteesien valinnan prosessille”. Näitä kriteerejä ovat selitysvoima, testattavuus, varovaisuus, laajuus ja yksinkertaisuus. Samantapaisia metodologisia sääntöjä ovat muotoilleet ne tutkijat, jotka ovat kehitelleet eteenpäin IBE:n muotoja. Vastaus otsikon kysymykseen on siis ”kyllä ja ei”. Vaikka Peirce keksi termin ”abduktio”, hänellä ei ole loputonta yksinoikeutta määrätä sen käytöstä. Hän ajatuksensa ovat inspiroivia tavalla, joka voi johtaa abduktion tutkimisessa erilaisiin suuntiin. Näitä linjoja on tarpeetonta oikeaoppisesti pitää toisilleen vastakkaisina. Keksimisen logiikka on kiehtova aihe, mutta samalla tavoin on aihetta analysoida sitä, miten keksittyjen selityshypoteesien paremmuutta voidaan vertailla ja millaisilla ehdoilla voisimme olla oikeutettuja hyväksymään parhaan toistaiseksi löydetyistä selityksistä. Kaikki nämä loogis-metodologiset tutkimuslinjat tekevät omalla tavallaan oikeutta Peircen filosofian suurille oivalluksille. (shrink)

Abduction is a widely used but deductively invalid type of reasoning. In this paper I will develop a tool for the assessment of argumentation based on abduction that can be used to analyse and evaluate the type of argumentation as it occurs in institutionalized contexts like science and medical diagnosis. I will summarize the most important definitions of abduction and propose an argumentative pattern on the basis of a critical examination of two extant dialectical accounts of the argument scheme involved.