In this paper, I argue that the ultimate argument for Scientific Realism, also known as the No-Miracles Argument (NMA), ultimately fails as an abductive defence of Epistemic Scientific Realism (ESR), where (ESR) is the thesis that successful theories of mature sciences are approximately true. The NMA is supposed to be an Inference to the Best Explanation (IBE) that purports to explain the success of science. However, the explanation offered as the best explanation for success, namely (ESR), fails to yield independently (...) testable predictions that alternative explanations for success do not yield. If this is correct, then there seems to be no good reason to prefer (ESR) over alternative explanations for success. (shrink)

Scientific realists use the “no miracle argument” to show that the empirical and pragmatic success of science is an indicator of the ability of scientific theories to give true or truthlike representations of unobservable reality. While antirealists define scientific progress in terms of empirical success or practical problem-solving, realists characterize progress by using some truth-related criteria. This paper defends the definition of scientific progress as increasing truthlikeness or verisimilitude. Antirealists have tried to rebut realism with the “pessimistic metainduction”, but critical (...) realists turn this argument into an optimistic view about progressive science. (shrink)

This introduction consists of two parts. In the first part, the special issue editors introduce inductive metaphysics from a historical as well as from a systematic point of view and discuss what distinguishes it from other modern approaches to metaphysics. In the second part, they give a brief summary of the individual articles in this special issue.

In this paper I adduce a new argument in support of the claim that IBE is an autonomous form of inference, based on a familiar, yet surprisingly, under-discussed, problem for Hume’s theory of induction. I then use some insights thereby gleaned to argue for the claim that induction is really IBE, and draw some normative conclusions.

The modern abundance and prominence of data have led to the development of “data science” as a new field of enquiry, along with a body of epistemological reflections upon its foundations, methods, and consequences. This article provides a systematic analysis and critical review of significant open problems and debates in the epistemology of data science. We propose a partition of the epistemology of data science into the following five domains: (i) the constitution of data science; (ii) the kind of enquiry (...) that it identifies; (iii) the kinds of knowledge that data science generates; (iv) the nature and epistemological significance of “black box” problems; and (v) the relationship between data science and the philosophy of science more generally. (shrink)

This book proposes guidelines for constructing and evaluating definitions of terms, i.e. words or phrases of general application. The guidelines extend to adoption of nomenclature. The book is meant to be a practical guide for people who find themselves in their daily lives or their employment producing or evaluating definitions of terms. It can be consulted rather than being read through. The book’s theoretical framework is a distinction, due to Robert H. Ennis, of three dimensions of definitions: the act of (...) the definer, the content of the definition, and its form. The act of a definer is what the definer does in defining a term; the book distinguishes, following Ennis, three basic acts of defining: reporting, stipulating, and advocating. The content of a definition is in one sense the information that the definition conveys and in another sense the words in its defining part. The form of a definition is the way it is expressed, for example as a definition by genus and differentia. (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)

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)

Explanationist accounts of rational legal proof view trials as a competition between explanations. Such accounts are often criticized for being underdeveloped. One question in need of further attention is when guilt is proven beyond a reasonable doubt in criminal trials. This article defends an inference to the best explanation -based approach on which guilt is only established BARD if the best guilt explanation in a case is substantially more plausible than any innocence explanation, and there is no good reason to (...) presume that we have overlooked evidence or alternative explanations that could realistically have exonerated the defendant. This is a comparative account, which I argue is better suited for arriving at accurate verdicts than the non-comparative ‘no plausible alternative’ account that many explanationists tacitly assume. Furthermore, this account is not susceptible to the most important arguments against IBE in criminal trials or to arguments against other, non-explanationist interpretations of the BARD standard. I use a case study to illustrate how this account provides meaningful guidance for decision makers in criminal trials. (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

The central motivation behind the scientific realism debate is explaining the impressive success of scientific theories. The debate has been dominated by two rival types of explanations: the first relies on some sort of static, referentially transparent relationship between the theory and the unobservable world, such as truthlikeness, representation, or structural similarity; the second relies on no robust relationship between the theory and unobservable reality at all, and instead draws on predictive similarity and the stringent methodology of science to explain (...) success. I argue that this is a false dichotomy, at least insofar as dynamical theories are concerned. The best explanation of the success of dynamical theories, I argue, must appeal to a robust but referentially opaque theory–world relation. The dynamical notion of ‘tracking’ fulfills this promise. I formulate a modified no miracles argument that is liberated from the false dichotomy and show how tracking responds to the modified argument. (shrink)

Charles S. Peirce introduced in the late 19th century the notion of abduction as inference from effects to causes, or from observational data to explanatory theories. Abductive reasoning has become a major theme in contemporary logic, philosophy of science, and artificial intelligence. This paper argues that the new growing branch of applied mathematics called inverse problems deals successfully with various kinds of abductive inference within a variety of scientific disciplines. The fundamental theorem about the inverse reconstruction of plane functions from (...) their line integrals was proved by Johann Radon already in 1917. The practical applications of Radon’s theorem and its generalizations include computerized tomography which became a routine imaging technique of diagnostic medicine in the 1970s.Keywords: Abduction; Inference to the best explanation; Inverse problems; Peirce; Radon’s theorem; Tomography. (shrink)

After Karl Popper’s original work, several approaches were developed to provide a sound explication of the notion of verisimilitude. With few exceptions, these contributions have assumed that the truth to be approximated is deterministic. This collection of ten papers addresses the more general problem of approaching probabilistic truths. They include attempts to find appropriate measures for the closeness to probabilistic truth and to evaluate claims about such distances on the basis of empirical evidence. The papers employ multiple analytical approaches, and (...) connect the research to related issues in the philosophy of science. (shrink)

I develop a probabilistic account of coherence, and argue that at least in certain respects it is preferable to (at least some of) the main extant probabilistic accounts of coherence: (i) Igor Douven and Wouter Meijs’s account, (ii) Branden Fitelson’s account, (iii) Erik Olsson’s account, and (iv) Tomoji Shogenji’s account. Further, I relate the account to an important, but little discussed, problem for standard varieties of coherentism, viz., the “Problem of Justified Inconsistent Beliefs.”.

The modern abundance and prominence of data has led to the development of “data science” as a new field of enquiry, along with a body of epistemological reflections upon its foundations, methods, and consequences. This article provides a systematic analysis and critical review of significant open problems and debates in the epistemology of data science. We propose a partition of the epistemology of data science into the following five domains: (i) the constitution of data science; (ii) the kind of enquiry (...) that it identifies; (iii) the kinds of knowledge that data science generates; (iv) the nature and epistemological significance of “black box” problems; and (v) the relationship between data science and the philosophy of science more generally. (shrink)

Truthlikeness is a property of a theory or a proposition that represents its closeness to the truth. We start by summarizing Niiniluoto’s proposal of truthlikeness for deterministic laws, which defines truthlikeness as a function of accuracy, and García-Lapeña’s expanded version, which defines truthlikeness for DL as a function of two factors, accuracy and nomicity. Then, we move to develop an appropriate definition of truthlikeness for probabilistic laws based on Niiniluoto’s suggestion to use the Kullback–Leibler divergence to define the distance between (...) a probability law X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X$$\end{document} and the true probability law T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T$$\end{document}. We argue that the Kullback–Leibler divergence seems to be the best of the available probability distances to measure accuracy between PL. However, as in the case of DL, we argue that accuracy represents a necessary but not sufficient condition, as two PL may be equally accurate and still one may imply more true or truthlike consequences, behaviours or true facts about the system than the other. The final proposal defines truthlikeness for PL as a function of two factors, p-accuracy and p-nomicity, in intimate connexion with García-Lapeña’s proposal for DL. (shrink)

In the general problem of verisimilitude, we try to define the distance of a statement from a target, which is an informative truth about some domain of investigation. For example, the target can be a state description, a structure description, or a constituent of a first-order language. In the problem of legisimilitude, the target is a deterministic or universal law, which can be expressed by a nomic constituent or a quantitative function involving the operators of physical necessity and possibility. The (...) special case of legisimilitude, where the target is a probabilistic law, has been discussed by Roger Rosenkrantz and Ilkka Niiniluoto. Their basic proposal is to measure the distance between two probabilistic laws by the Kullback–Leibler notion of divergence, which is a semimetric on the space of probability measures. This idea can be applied to probabilistic laws of coexistence and laws of succession, and the examples may involve discrete or continuous state spaces. In this paper, these earlier studies are elaborated in four directions. First, even though deterministic laws are limiting cases of probabilistic laws, the target-sensitivity of truthlikeness measures implies that the legisimilitude of probabilistic laws is not easily reducible to the deterministic case. Secondly, the Jensen-Shannon divergence is applied to mixed probabilistic laws which entail some universal laws. Thirdly, a new class of distance measures between probability distributions is proposed, so that their horizontal differences are taken into account in addition to vertical ones. Fourthly, a solution is given for the epistemic problem of estimating degrees of probabilistic legisimilitude on the basis of empirical evidence. (shrink)

Yleensä Wienin piirin loogista empirismiä kannattaneet filosofit mielletään antirealisteiksi. Tässä artikkelissa kuitenkin argumentoidaan, että piirin johtohahmo Moritz Schlick oli eräänlainen realisti myös nykystandardien valossa. Näin ollen – niin yllättävältä kuin se kuulostaakin – positivismi ja realismi ovat yhteensovitettavissa. Schlick tosin erotti kannattamansa empiirisen realismin jyrkästi metafyysisestä realismista, jota hän piti merkityksettömänä. Schlickin realismin esittelyn lisäksi artikkelissa tarkastellaan yleisellä tasolla hänen epistemologiaansa, kielifilosofiaansa ja metafysiikan kritiikkiään. Tekstissä pohditaan myös Schlickin suosiman realismin asemaa ja relevanssia nykyisessä realismikeskustelussa.

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

This paper aims at elucidating the connection between explanatory considerations and epistemic justification stipulated by explanationism which take epistemic justification to be definable in terms of best explanations. By relying on the notion of truthlikeness, this paper argues that it is rational for a subject to expect the best explanation she has for her evidence to be more truthlike than any of the other potential explanations available to her by virtue of containing a class of propositions that, given her evidence, (...) she is justified in believing. Based on this elucidation of the connection between explanatory considerations and epistemic justification, an explanationist account of the evidential support relation is then offered. (shrink)

Exploring the early development of an area of medical literature can inform contemporary medical debates. Different methods of inference include deduction, induction, abduction, and inference to the best explanation. I argue that early shaken baby research is best understood as using abduction to tentatively suggest that infants with unexplained intracranial and ocular bleeding have been assaulted. However, this tentative conclusion was quickly interpreted, by some at least, as a general rule that infants with these pathological signs were certainly cases of (...) abuse. Rather than focusing on inductive arguments, researchers today may be better off focusing on making a compelling inference to the best explanation. (shrink)

The aim of this paper is to show that the logical approach to philosophy of science could be further improved with tools like the ones put forward by Schurz in his proposal to model scientific theory development. Section 2 is a presentation of the basics in AGM epistemology of logical abduction and of their connection. In Sect. 3 several operations for theory change proposed by Schurz (2011; 2018) are presented, followed by my own proposal of a further case of hypothesis (...) refinement, consisting of the instantiation of an existential abduction. Section 4 offers a discussion and conclusions. (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)

I begin by making some distinctions between kinds of response to a skeptical claim, the purpose of which is to explain what I mean by a "dissolution" of the problem of induction, and to focus on one of the ways it can be implemented. I then argue that previous attempts to dissolve the problem in this way fail, present mine, and defend it. Finally, I show that the dissolution of the problem doesn't improve our normative situation and may even worsen (...) it. (shrink)

RESUMEN Un experimento mental en ciencias fácticas consiste en la representación de un escenario imaginario. A partir de la presentación de condiciones iniciales y la postulación de una situación hipotética o contrafáctica, se solicita al lector que realice mentalmente alguna operación, manipule ciertas variables o ponga en funcionamiento algún aparato o instrumento. En virtud de este ejercicio sería posible, en principio, obtener nuevo conocimiento acerca de algún aspecto del mundo natural. El debate acerca de las funciones de los experimentos mentales (...) en las ciencias fácticas está centrado en establecer la validez del conocimiento acerca del mundo empírico que estos dispositivos son capaces de proporcionar. La propuesta interpretativa de Brown da sustento a la idea de que, en casos excepcionales, los experimentos mentales pueden cumplir funciones probatorias. Los denominados “experimentos mentales platónicos” permiten intuir leyes de la naturaleza y justificar a priori las hipótesis propuestas. Sostenemos que la conexión trazada por Brown entre los experimentos mentales y leyes naturales exhibe un aspecto problemático de su filosofía: el compromiso injustificado con una metafísica inflacionaria. Mostramos que es posible explicar el mecanismo a través del cual estos dispositivos proporcionan conocimiento nuevo y dar cuenta tanto de su poder heurístico cómo de su valor evidencial a partir compromisos metafísicos más modestos. ABSTRACT Thought experiments in factual science consists on the representation of an imaginary scenario. Starting with the presentation of a hypothetical or counterfactual situation and the description of initial conditions, the reader is asked to mentally perform some operation, to manipulate certain variables or to put into operation some apparatus or instrument. In virtue of this exercise, it would be possible to obtain new knowledge about the natural world. The debate on the functions of thought experiments in physics is focused on determining the validity of the empirical knowledge that these devices are capable of providing. Brown supports the idea that, in exceptional cases, thought experiments can perform probative functions. The so-called “Platonic Thought Experiments” allow us to intuit laws of nature and provide an a priori justification of the proposed hypotheses. We hold that Brown's connection between thought experiments and laws of nature exhibits a problematic aspect of his philosophy: the unjustified commitment with an inflationary metaphysics. We show that it is possible to explain the mechanism through which these devices provide new knowledge and give an account of both their heuristic power and their evidential value from modest metaphysical commitments. (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)

Bayesianism and Inference to the best explanation are two different models of inference. Recently there has been some debate about the possibility of “bayesianizing” IBE. Firstly I explore several alternatives to include explanatory considerations in Bayes’s Theorem. Then I distinguish two different interpretations of prior probabilities: “IBE-Bayesianism” and “frequentist-Bayesianism”. After detailing the content of the latter, I propose a rule for assessing the priors. I also argue that Freq-Bay: endorses a role for explanatory value in the assessment of scientific hypotheses; (...) avoids a purely subjectivist reading of prior probabilities; and fits better than IBE-Bayesianism with two basic facts about science, i.e., the prominent role played by empirical testing and the existence of many scientific theories in the past that failed to fulfil their promises and were subsequently abandoned. (shrink)