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.

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (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)

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)

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)

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.

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)

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)

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.

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)

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)

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)

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)

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.

Atocha Aliseda’s Abductive Reasoning (2006) gives a structural characterization of the “forward” explana-tory reasoning from a theory to observational data. This paper asks whether there are any interesting structural rules for the “backward” abductive reasoning from observations to explanatory theories. Ignoring statistical cases, a partial explication of abduction is converse deductive explanation: h is abducible from e iff h deductively explains e. This relation of abducibility trivially satisfies Converse Entailment (if h entails e, then h is abducible from e ), (...) but it does not generally satisfy Converse Consequence (if h is abducible from e and g entails h, then g is abducible from e ), since deductive explanation is not always transitive. (shrink)

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)

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)

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.

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)

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)