Abduction and Scientific Realism

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

The traditional No-Miracles Argument (TNMA) asserts that the novel predictive success of science would be a miracle, and thus too implausible to believe, if successful theories were not at least approximately true. The TNMA has come under fire in multiple ways, challenging each of its premises and its general argumentative structure. While the TNMA relies on explaining novel predictive success via the truth of the theories, we put forth a deductive version of the No-Miracles argument (DNMA) that avoids inference to (...) the best explanation entirely. Instead, a relatively simple empirical framework and a probabilistic analysis can accomplish the ambitious goals of the TNMA while entirely sidestepping its problems. This close-but-distinct argument has many independent strengths and comparatively few weaknesses. Indeed, objections tailored specifically to the DNMA reveal surprising insights into how exactly NMAs are neither circular nor question-begging, as has been widely speculated. (shrink)

Discoverability: the urgent need of an ecology of human creativity from the prolific Lorenzo Magnani is worthy of direct attention. The message may be of special interest to philosophers, ethicists and organizing scientists involved in the development of AI and related technologies which are increasingly directed at reinforcing conditions against which Magnani directly warns, namely the “overcomputationalization” of life marked by the gradual encroachment of technologically “locked strategies” into everyday decision-making until “freedom, responsibility, and ownership of our destinies” are ceded (...) and we, in parallel, build a future fit for artifacts over human beings. Professional educators - teachers and administrators serious about teaching - and policy-makers including the concerned public, parents and social activists concerned about the effects of technologies on development and well-being may benefit, as well. (shrink)

Este trabalho tem como principal objetivo apresentar uma abordagem lógico-formal capaz de apreender alguns aspectos do raciocínio abdutivo – o raciocínio responsável pela criação de hipóteses explicativas para fatos surpreendentes -, mediante tanto as noções filosófico-conceituais da canônica abdução peirceana quanto as de explicação científica. No caso desta última, procurarei evidenciar, inicialmente, pontos de contraste entre as concepções de explicação científica de Aristóteles e de Carl Hempel, a fim de elucidar, de modo mais satisfatório, em que medida, de fato, teorias (...) e hipóteses “explicam” algo. Apresentarei, também, um modo de tratar hipóteses explicativas contraditórias, por meio do operador de consistência ○ – próprio da lógica paraconsistente mbC -, o qual amplia o poder expressivo da linguagem-objeto subjacente ao sistema lógico, bem como apresentarei uma abordagem formal alternativa do raciocínio abdutivo pensado como dinâmica de mudança de crenças, especificamente por intermédio da lógica de revisão de crenças AGM. (shrink)

A methodology of science must satisfy two requirements: (i) It must be ampliative: the theories which it generates must make statements that go far beyond any data or observations that may have motivated those theories in the first place. (ii) It must be epistemically probative: it must somehow provide a warrant for believing that the theories so produced are correct, or at least partially correct, even if they can never be fully confirmed. These two requirements pull in opposite directions, and (...) attempts to specify the “scientific method” often focus on one to the exclusion of the other. On a few points there now exists something approaching a consensus. (i) Scientific hypotheses — including, particularly, statements about unobserved or unobservable entities or mechanisms — remain conjectural, no matter how frequently predictions based on those hypotheses are found to coincide with data. (ii) A good (best?) indicator of a theory’s verisimilitude is its ability to successfully predict phenomena which it was not specifically designed to predict. I discuss these ideas with particular reference to cosmological theories. (shrink)

Van Fraassen explains rejections and asymmetries in science in terms of his contextual theory of explanation in the same way that scientists explain observable phenomena in the world in terms of scientific theories. I object that van Fraassen’s skeptical view regarding inference to the best explanation together with the English view of rationality jointly imply that the contextual theory is not rationally compelling, so van Fraassen and his epistemic colleagues can rationally disbelieve it. Prasetya replies that the truth of the (...) contextual theory coincides with its empirical adequacy, so the contextual theory is compelling. He also replies that the contextual theory is compelling, provided that van Fraassen’s argument for it instantiates a compelling subset of IBE. I argue that Prasetya’s replies either fail or help scientific realism. (shrink)

Tomis Kapitan’s work on Peirce’s conception of abduction was instrumental for our coming to see how Peircean abduction both relates to and is importantly different from inference to the best explanation (IBE). However, he ultimately concluded that Peirce’s conception of abduction was a muddle. Despite the deeply problematic nature of Peirce’s theory of abduction in these respects, Kapitan’s work on Peircean abduction offers insight into the nature of abductive inquiry that is importantly relevant to the task of making sense of (...) explanatory inquiry in the sciences in general. The view developed here stems from his work and involves disambiguating three forms of inference involved in Peircean abduction in terms of Reichenbach’s and Laudan’s context models of inquiry. Importantly, this includes understanding that abduction involves the context of pursuit. (shrink)

Scientific realism driven by inference to the best explanation (IBE) takes empirically confirmed objects to exist, independent, pace empiricism, of whether those objects are observable or not. This kind of realism, it has been claimed, does not need probabilistic reasoning to justify the claim that these objects exist. But I show that there are scientific contexts in which a non-probabilistic IBE-driven realism leads to a puzzle. Since IBE can be applied in scientific contexts in which empirical confirmation has not yet (...) been reached, realists will in these contexts be committed to the existence of empirically unconfirmed objects. As a consequence of such commitments, because they lack probabilistic features, the possible empirical confirmation of those objects is epistemically redundant with respect to realism. (shrink)

I’m grateful to Aleta Quinn and Studies in History and Philosophy of Science for hosting this book forum for my book, The Relativity of Theory (Springer, 2020). I’m also grateful to Margaret Greta Turnbull and Joseph Martin for their commentaries. In what follows, I address their comments as I understand them.

Van Fraassen infers the truth of the contextual theory from his observation that it has passed a crucial test. Mizrahi infers the comparative truth of our best theories from his observation that they are more successful than their competitors. Their inferences require, according to the argument from double spaces, the prior belief that it is more likely that their target theories were pulled out from the T-space than from the O-space. The T-space is the logical space of unconceived theories whose (...) appearances agree with their realities; the O-space is the logical space of unconceived theories whose appearances may agree or disagree with their realities. (shrink)

In science and everyday life, we often infer that something is true because it would explain some set of facts better than any other hypothesis we can think of. But what if we have reason to believe that there is a better way to explain these facts that we just haven't thought of? Wouldn't that undermine our warrant for believing the best available explanation? Many philosophers have assumed that we can solve such underconsideration problems by stipulating that a hypothesis should (...) not only be 'the best' explanation available; rather, it should also be 'good enough'. Unfortunately, however, the only current suggestion for what it might mean to say that an explanation is 'good enough' is, well, not good enough. This paper aims to provide a better account of what is required for an explanatory hypothesis to be considered 'good enough'. In brief, the account holds that a `good enough' hypothesis is one that has gone through a process that I call explanatory consolidation, in which accumulating evidence and failed attempts to formulate better alternatives gradually make it more plausible that the explanation we currently have is better than any other that could be formulated. (shrink)

Scientific realists claim that the best of successful rival theories is (approximately) true. Relative realists object that we cannot make the absolute judgment that a theory is successful, and that we can only make the relative judgment that it is more successful than its competitor. I argue that this objection is undermined by the cases in which empirical equivalents are successful. Relative realists invoke the argument from a bad lot to undermine scientific realism and to support relative realism. In response, (...) I construct the argument from double spaces. It is similar to the argument from a bad lot, but threatens many philosophical inferences, including relative realists’ inference from comparative success to comparative truth. (shrink)

Van Fraassen (2007, 2017) consistently uses the English view of rationality to parry criticisms from scientific realists. I assume for the sake of argument that the English view of rationality is tenable, and then argue that it has disastrous implications for van Fraassen’s (1980) contextual theory of explanation, for the empiricist position that T is empirically adequate, and for scientific progress. If you invoke the English view of rationality to rationally disbelieve that your epistemic colleagues’ theories are true, they might, (...) in turn, invoke it to rationally disbelieve that your positive theories are true. (shrink)

Structural realism has been suggested as the best compromise in the debate on scientific realism. It proposes that we should be realist about the relational structure of the world, not its nature. However, it faces an important objection, first raised by Newman against Russell: if relations are not qualified, then the position is either trivial or collapses into empiricism, but if relations are too strongly qualified, then it is no longer SR. A way to overcome this difficulty is to talk (...) about modal, or nomological relations instead of purely extensional relations. I argue that this is insufficient, for then, SR collapses into modal empiricism. I suggest, however, that ME could be the best position in the debate on scientific realism. 1Introduction2Objections to Structural Realism3How to Escape Newman’s Objection4Which Modal Relations Are Retained in Theory Change?5Are Modal Relations Real?6Relativity and Fundamentality7Is Modal Empiricism Really Empiricism?8Could Modal Empiricism Be the Best of Both Worlds? (shrink)

Inferences from the absence of evidence to something are common in ordinary speech, but when used in scientific argumentations are usually considered deficient or outright false. Yet, as demonstrated here with the help of various examples, archaeologists frequently use inferences and reasoning from absence, often allowing it a status on par with inferences from tangible evidence. This discrepancy has not been examined so far. The article analyses it drawing on philosophical discussions concerning the validity of inference from absence, using probabilistic (...) models that were originally developed to show that such inferences are weak and inconclusive. The analysis reveals that inference from absence can indeed be justified in many important situations of archaeological research, such as excavations carried out to explore the past existence and time-span of sedentary human habitation. The justification is closely related to the fact that archaeology explores the human past via its material remains. The same analysis points to instances where inference from absence can have comparable validity in other historical sciences, and to research questions in which archaeological inference from absence will be problematic or totally unwarranted. (shrink)

Objetivamos discutir a crítica, avançada por Colin Howson em Hume's problem, segundo a qual o argumento do milagre (doravante, AM) comete a falácia da taxa-base. Por falácia da taxa-base, entende-se a negligência do valor da probabilidade prévia de determinada hipótese ou teoria T, P(T). Por sua vez, em uma de suas versões, AM assere que apenas assumindo que uma teoria científica madura T é aproximadamente verdadeira não faz de seu sucesso preditivo um milagre. Formalizado probabilisticamente, Howson argumenta que a conclusão (...) de AM, a probabilidade de que a teoria T seja aproximadamente verdadeira é grande, apenas se segue se assumirmos para T um valor não-negligenciável. Tal crítica de Howson despertou duas categorias de reação na literatura especializada: supondo que AM comete a falácia da taxa base, alguns autores propuseram abandonar AM enquanto um argumento para a tese epistemológica do realismo científico, ao passo que outros defenderam que apenas uma versão de AM comete a falácia da taxa-base; defendendo que AM não comete a falácia da taxa base, certos autores alegaram alguns problemas na formalização probabilística de AM, enquanto outros buscaram refinar tal formalização de modo que a nova evite a falácia em questão. Tendo apresentado esse estado da arte, investigaremos se a formalização probabilística do argumento do milagre é razoável. Discutiremos se ela acomoda a natureza de inferência à melhor explicação pressuposta no AM. Por fim, indicaremos, brevemente, algumas dificuldades para a crítica de Howson ao assumir-se que AM instancia, na verdade, uma abdução Peirceana. (shrink)

In this paper, I argue that if one is already an advocate of scientific realism, then one would be also a realist about laws of nature. To show this, I argue that only scientific realists would accept that non-accidental regularities require explanation and that their genuine explanation is given by laws of nature. Then, from this conclusion, it seems that scientific realists have reason to believe that there are laws of nature in an objective sense. If this is correct, the (...) conclusion is that there are no reasons for advocates of scientific realism to be skeptics about laws of nature. (shrink)

This chapter examines issues surrounding inference to the best explanation, its justification, and its role in different arguments for scientific realism, as well as more general issues concerning explanations’ ontological commitments. Defending the reliability of inference to the best explanation has been a central plank in various realist arguments, and realists have drawn various ontological conclusions from the premise that a given scientific explanation best explains some phenomenon. This chapter stresses the importance of thinking carefully about the nature of explanation (...) in connection with evaluating realists’ appeals to explanatory reasoning and inference to the best explanation. (shrink)

The no-miracles argument (Putnam, 1975) holds that science is successful because successful theories are (approximately) true. Frost-Arnold (2010) objects that this argument is unacceptable because it generates neither new predictions nor unifications. It is similar to the unacceptable explanation that opium puts people to sleep because it has a dormative virtue. I reply that on close examination, realism explains not only why some theories are successful but also why successful theories exist in current science. Therefore, it unifies the disparate phenomena.

Scientific antirealists run the argument from underconsideration against scientific realism. I argue that the argument from underconsideration backfires on antirealists’ positive philosophical theories, such as the contextual theory of explanation (van Fraassen, 1980), the English model of rationality (van Fraassen, 1989), the evolutionary explanation of the success of science (Wray, 2008; 2012), and explanatory idealism (Khalifa, 2013). Antirealists strengthen the argument from underconsideration with the pessimistic induction against current scientific theories. In response, I construct a pessimistic induction against antirealists that (...) since antirealists generated problematic philosophical theories in the past, they must be generating problematic philosophical theories now. (shrink)

In this article I try to show that the epistemological component of abductions is creativity and, to do so, I will use an analysis of Thagard's concept of projected-truth as well as reflections on Łukasiewicz's creativity. In the third part I present a real case, using Thagard's theory and introducing Hanson, to make the transition from logical and computational discourse to philosophy of science. At the end I will address one of the current challenges in order to explain creativity namely (...) the necessary and absolute interaction of each thinking subject, and therefore creative in action, with everything around him. To do this, I intend to introduce Feyerabend into the debate, which cleverly analyzes and dismantles the individualist idea of creation. (shrink)

This chapter examines the status of inference to the best explanation in naturalistic metaphysics. The methodology of inference to the best explanation in metaphysics is studied from the perspective of contemporary views on scientific explanation and explanatory inferences in the history and philosophy of science. This reveals serious shortcomings in prevalent attempts to vindicate metaphysical "explanationism" by reference to similarities between science and naturalistic metaphysics. This critique is brought out by considering a common gambit of methodological unity: (1) Both metaphysics (...) and science employ inference to the best explanation. (2) One has no reason to think that if explanationism is truth-conducive in science, it is not so in metaphysics. (3) One has a positive reason to think that if explanationism is truth-conducive in science, it is also so in metaphysics. (shrink)

Historians occasionally use timelines, but many seem to regard such signs merely as ways of visually summarizing results that are presumably better expressed in prose. Challenging this language-centered view, I suggest that timelines might assist the generation of novel historical insights. To show this, I begin by looking at studies confirming the cognitive benefits of diagrams like timelines. I then try to survey the remarkable diversity of timelines by analyzing actual examples. Finally, having conveyed this (mostly untapped) potential, I argue (...) that neglecting timelines might mean neglecting significant aspects of reality that are revealed only by those signs. My overall message is that once we accept that relations are as important for the mind as what they relate, we have to pay closer attention to any semiotic device that enables or facilitates the discernment of new relations. (shrink)

Although many aspects of Inference to the Best Explanation have been extensively discussed, very little has so far been said about what it takes for a hypothesis to count as a rival explanatory hypothesis in the context of IBE. The primary aim of this article is to rectify this situation by arguing for a specific account of explanatory rivalry. On this account, explanatory rivals are complete explanations of a given explanandum. When explanatory rivals are conceived of in this way, I (...) argue that IBE is a more plausible and defensible rule of inference than it would otherwise be. The secondary aim of the article is to demonstrate the importance of accounts of explanatory rivalry by examining a prominent philosophical argument in which IBE is employed, viz. the so-called Ultimate Argument for scientific realism. In short, I argue that a well-known objection to the Ultimate Argument due to Arthur Fine fails in virtue of tacitly assuming an account of explanatory rivalry that we have independent reasons to reject. (shrink)

In this article, I argue that arguments from the history of science against scientific realism, like the arguments advanced by P. Kyle Stanford and Peter Vickers, are fallacious. The so-called Old Induction, like Vickers's, and New Induction, like Stanford's, are both guilty of confirmation bias—specifically, of cherry-picking evidence that allegedly challenges scientific realism while ignoring evidence to the contrary. I also show that the historical episodes that Stanford adduces in support of his New Induction are indeterminate between a pessimistic and (...) an optimistic interpretation. For these reasons, these arguments are fallacious, and thus do not pose a serious challenge to scientific realism. (shrink)

In this paper, I argue that Constructive Empiricism (CE) is ambiguous between two interpretations: CE as a normative epistemology of science and CE as a descriptive philosophy of science. When they present CE, constructive empiricists write as if CE is supposed to be more than a normative epistemology of science and that it is meant to be responsible to actual scientific practices. However, when they respond to objections, constructive empiricists fall back on a strictly normative interpretation of CE. This ambiguity (...) seems to make CE immune to objections in a rather ad hoc fashion. (shrink)

There are nine antirealist explanations of the success of science in the literature. I raise difficulties against all of them except the latest one, and then construct a pessimistic induction that the latest one will turn out to be problematic because its eight forerunners turned out to be problematic. This pessimistic induction is on a par with the traditional pessimistic induction that successful present scientific theories will be revealed to be false because successful past scientific theories were revealed to be (...) false. (shrink)

There is good reason to believe that scientific realism requires a commitment to the objective modal structure of the physical world. Causality, equilibrium, laws of nature, and probability all feature prominently in scientific theory and explanation, and each one is a modal notion. If we are committed to the content of our best scientific theories, we must accept the modal nature of the physical world. But what does the scientific realist’s commitment to physical modality require? We consider whether scientific realism (...) is compatible with Humeanism about the laws of nature, and we conclude that it is not. We specifically identify three major problems for the best-systems account of lawhood: its central concept of strength cannot be formulated non-circularly, it cannot offer a satisfactory account of the laws of the special sciences, and it can offer no explanation of the success of inductive inference. In addition, Humeanism fails to be naturalistically motivated. For these reasons, we conclude that the scientific realist must embrace natural necessity. (shrink)

Defences of inference to the best explanation (IBE) frequently associate IBE with scientific realism, the idea that it is reasonable to believe our best scientific theories. I argue that this linkage is unfortunate. IBE does not warrant belief, since the fact that a theory is the best available explanation does not show it to be (even probably) true. What IBE does warrant is acceptance: taking a proposition as a premise in theoretical and/or practical reasoning. We ought to accept our best (...) scientific theories since they are the theories that are most likely to lead to the goal of science, which is that of knowledge. In support of this claim I invoke Bill Lycan's Panglossian reflections regarding Mother Nature.1. (shrink)

In this paper art history and visual studies, the disciplines that study visual culture, are presented as a field whose conjectural paradigm can be used to understand the epistemic problems associated with abduction. In order to do so, significant statements, concepts and arguments from the work of several specialists in this field have been highlighted. Their analysis shows the fruitfulness and potential for understanding the study of visual culture as a field that is interwoven with the assumptions of abductive cognition.

Knowledge is still an enigma, with its ability to inductively bring out a pattern without restricting itself to an empirical count of situations experienced. Instead of seeing the concept as a weakened object representing an external reality, it is suggested to view knowledge as the bridging of a distance with an ability for the knower to stay connected with outward reality. Attempts at defining an external and quantitative criterion of truth are questioned, as many human performances are not likely to (...) be solved or even properly grasped by the project of artificial intelligence. The positive side of the cognitive constructivist project is finally assessed and it is argued that one of its unexpected results could be to reinsert the human knowing power in the sub-human realm. (shrink)

I argue that a certain type of naturalist should not accept a prominent version of the no-miracles argument (NMA). First, scientists (usually) do not accept explanations whose explanans-statements neither generate novel predictions nor unify apparently disparate established claims. Second, scientific realism (as it appears in the NMA) is an explanans that makes no new predictions and fails to unify disparate established claims. Third, many proponents of the NMA explicitly adopt a naturalism that forbids philosophy of science from using any methods (...) not employed by science itself. Therefore, such naturalistic philosophers of science should not accept the version of scientific realism that appears in the NMA. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

There are two chief tasks which confront the philosophy of scientific method. The first task is to specify the methodology which serves as the objective ground for scientific theory appraisal and acceptance. The second task is to explain how application of this methodology leads to advance toward the aim(s) of science. In other words, the goal of the theory of method is to provide an integrated explanation of both rational scientific theory choice and scientific progress.

Abduction* is the genus with deduction and induction as species. Modus tollens is backward reasoning as an unknown proposition is inferred from a known proposition. Reductio ad absurdum is abductive because the conclusion is inferred by deriving a contradiction from an assumption. Inductive reasoning from effect to cause is also backward reasoning. But abduction* consists of forward reasoning as well. The generic structure of abductive* argumentation is universal among all cultures, occupations and disciplines.