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)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

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

How should modal reasoning proceed? Here we compare abduction-based and conceiving-based modal epistemologies, and argue that an abduction-based approach is preferable, and by a wide margin.

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)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...) the properties associated with the behaviour of the English expression ‘That... best explains why ... ’. We first construct a calculus that encodes these properties at the level of the turnstile, i.e. as a metalinguistic expression for classes of defeasible consequence relations. We then show how this calculus can be conservatively extended over a language that contains a best-explains-why operator. (shrink)

Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.

We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.

In his influential paper, 'Why Was the Logic of Discovery Abandoned?', Laudan contends that there has been no philosophical rationale for a logic of discovery since the emergence of consequentialism in the 19th century. It is the purpose of this paper to show that consequentialism does not involve the rejection of all types of logic of discovery. Laudan goes too far in his interpretation of the historical shift from generativism to consequentialism, and his claim that the context of pursuit belongs (...) to neither discovery nor justification is based on narrow interpretations of the contexts of discovery and justification. As a result, Laudan draws unwarranted conclusions concerning both the early and contemporary defenders of a logic of discovery. A methodological logic of discovery - which involves self-corrective methods of hypothesis generation that promote the long-term goals of science and which require consequential support for justification - is a type of logic of discovery that survives the shift to consequentialism. (shrink)

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

Aesthetic experience, as a cognitive activity is a fundamental part of the interaction process in which an agent attempts to interpret his/her environment in order to support the fundamental process of decision making. Proposing a four-level interactive model, we underline and indicate the functions that provide the operations of aesthetic experience and, by extension, of aesthetic judgment. Particularly in this paper, we suggest an integration of the fundamental Peircean semiotic parameters and their related levels of semiotic organization with the proposed (...) model. Our aim is to provide a further theoretical understanding with respect to the perception of aesthetics and to enrich our models regarding the functionality of aesthetic interpretation, using the theoretical interpretive richness provided by the semiotic perspective. (shrink)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR’015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning (...) information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning. (shrink)

Framing systematics as a field consistent with scientific inquiry entails that inferences of phylogenetic hypotheses have the goal of producing accounts of past causal events that explain differentially shared characters among organisms. Linking observations of characters to inferences occurs by way of why-questions implied by data matrices. Because of their form, why-questions require the use of common-cause theories. Such theories in phylogenetic inferences include natural selection and genetic drift. Selection or drift can explain ‘morphological’ characters but selection cannot be causally (...) applied to sequences since fitness differences cannot be directly associated with individual nucleotides or amino acids. The relation of selection to sequence data is by way of downward or top-down causation from those phenotypes upon which selection occurs. The application of phylogenetic inference to explain sequence data is thus restricted to instances where drift is the relevant theory; those nucleotides or amino acids that can be explained via downward causation are precluded from inclusion in the data matrix. The restrictions on the inclusion of sequence data in phylogenetic inferences equally apply to species hypotheses, precluding the more restrictive approach known as DNA barcoding. Not being able to discern drift and selection as relevant causal mechanisms can severely constrain the inclusion and explanations of sequence data. Implications of such exclusion are discussed in relation to the requirement of total evidence. (shrink)

This paper focuses on abduction as explicit or readily formulatable inference to possible explanatory hypotheses--as contrasted with inference to conceptual innovations or abductive logic as a cycle of hypotheses, deduction of consequences and inductive testing. Inference to an explanation is often a matter of projection or extrapolation of elements of accepted theory for the solution of outstanding problems in particular domains of inquiry. I say "projections or extrapolation" of accepted theory, but I mean to point to something broader and suggest (...) how elements of accepted theory constrain emergent models and plausible inferences to explanations--in a quasi-rationalist fashion. I draw on illustrations from quantum gravity below just because there is so little direct evidence available in the field. It is in such cases that Peirce's discussions of abductive inference provide the most plausible support for the idea of a logic of abduction--as inference to readily formulatable explanatory hypotheses. The possible need for conceptual innovation points to the limits on the possibility of a logic of abduction of a more rationalistic character--selecting uniquely superior explanations. Abduction conceived as a repeated cycle of inquiry also points to limits on our expectations for an abductive logic. My chief point is that the character of inference to an explanation, viewed below as embedded within arguments from analogy, is so little compelling, as a matter of logical form alone, that there will always be a pluralism of plausible alternatives among untested hypotheses and inferences to them--calling for some comparative evaluation. This point leads on to some consideration of the virtues of hypotheses--as a description of the range of this pluralism. (shrink)

This chapter aims to revisit the notion of argumentation that is currently used in science education. After acknowledging a consolidated tendency of linguistics-based approaches to the study of ‘school scientific argumentation’, the chapter proposes to shift the interest towards an examination of the epistemic aspects of argumentation, i.e. those that derive from its central participation in science as a process and as a product. The premise of the chapter is that the contributions of the philosophy and history of science and (...) of other science studies and metatheoretical perspectives –which are here collectively called ‘HPS’– constitute a fruitful theoretical background to understand scientific arguments and arguing in educational settings. Based on this premise, five possible ‘bridges’ between argumentation and HPS are proposed; such bridges are identified through a ‘theory-directed’ literature review. (shrink)

Three competing ‘methods’ have been endorsed for inferring phylogenetic hypotheses: parsimony, likelihood, and Bayesianism. The latter two have been claimed superior because they take into account rates of sequence substitution. Can rates of substitution be justified on its own accord in inferences of explanatory hypotheses? Answering this question requires addressing four issues: (1) the aim of scientific inquiry, (2) the nature of why-questions, (3) explanatory hypotheses as answers to why-questions, and (4) acknowledging that neither parsimony, likelihood, nor Bayesianism are inferential (...) actions leading to explanatory hypotheses. The aim of scientific inquiry is to acquire causal understanding of effects. Observation statements of organismal characters lead to implicit or explicit why-questions. Those questions, conveyed in data matrices, assume the truth of observation statements, which is contrary to subsequently invoking substitution rates within inferences to phylogenetic hypotheses. Inferences of explanatory hypotheses are abductive in form, such that some version of an evolutionary theory(ies) is/are included or implied. If rates of sequence evolution are to be considered, it must be done prior to, rather than within abduction, which requires renaming those putatively-shared nucleotides subject to substitution rates. There are, however, no epistemic grounds for renaming characters to accommodate rates, calling into question the legitimacy of causally accounting for sequence data. (shrink)

In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics, of dialogical logic, as well as the essential elements of this program. Although from any of (...) these points of view we have a list of logical tools to deal with more clearly epistemological issues, we highlight the role of dynamic epistemic logic, to which we dedicate the following section. There follows another one in which we enter the logical studies of abduction as one of the fundamental problems of contemporary epistemology and, in a new section, in terms of the theoretical constructs of the preceding sections, we present and explain a phenomenon that emerged in the field of linguistics, the case of the discovery of the Amazonian language pirahã, which should be considered an anomaly within the framework of the Chomskian theory. (shrink)

The roles of abductive inference in dynamic heuristics allows scientific methodologies to test novel explanations for the world’s ways. Deliberate reasoning often follows abductive patterns, as well as patterns dominated by deduction and induction, but complex mixtures of these three modes of inference are crucial for scientific explanation. All possible mixed inferences are formulated and categorized using a novel typology and nomenclature. Twenty five possible combinations among abduction, induction, and deduction are assembled and analyzed in order of complexity. There are (...) five primary categories for sorting these inferential procedures: fallacies, non-scientific procedures, quasi-scientific procedures, scientific procedures, and scientific heuristics. (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)

Henrike Jansen’s “The strategic formulation of abductive arguments in everyday reasoning” insightfully explores the terrain of abductive argumentation. The purpose of this note is to continue the exploration along lines marked out by her paper. This further exploration proceeds in two stages. Section 2 of the paper addresses the nature of abductive inference by distinguishing two types of abduction, identifying some of abduction’s formal and nonformal properties, and relating abduction to enthymematic inference. Section 3 focuses on some of Jansen’s examples, (...) paying particular attention to the distinction between abduction and argument from sign. Whereas Jansen maintains that some arguments from sign are not abductive, the paper suggests an alternative perspective from which arguments from sign can generally be viewed as one sort of abductive inference. (shrink)

Since everyday abductive arguments convey the arguer’s individual interpretation of reality, they often exhibit a weak relationship between the premise and the conclusion. After all, what seems obvious to the arguer may appear far-fetched to an opponent. This paper examines some presentational devices that contribute to an arguer’s rhetorical goal of presenting the argument in such a way that the conclusion is suggested to be the result of a thorough investigative procedure.

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory. Its six sections are devoted to specific themes, including the analysis and evaluation of argumentation, argument schemes and the contextual embedding of argumentation. The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon. In turn, the section on (...) linguistic approaches to argumentation focuses on the problem of distinguishing between explanation and argument, while also elaborating on the role of verbal indicators of argument schemes. All essays included in this volume point out notable recent developments in the study of argumentation. (shrink)