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

In this article I will show how the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuN(r)from Batens (2005, J. Appl. Logic, 3, 221-250) called pCLuN(r) allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the (...) 'inconsistency-adaptive' logic CLuNr from Batens (2005, J. Appl. Logic, 3, 221-250). (shrink)

I examine and resolve an exegetical dichotomy between two main interpretations of Peirce’s theory of abduction, namely, the Generative Interpretation and the Pursuitworthiness Interpretation. According to the former, abduction is the instinctive process of generating explanatory hypotheses through a mental faculty called insight. According to the latter, abduction is a rule-governed procedure for determining the relative pursuitworthiness of available hypotheses and adopting the worthiest one for further investigation—such as empirical tests—based on economic considerations. It is (...) shown that the Generative Interpretation is inconsistent with a fundamental fact of logic for Peirce—i.e., abduction is a kind of inference—and the Pursuitworthiness Interpretation is flawed and inconsistent with Peirce’s naturalistic explanation for the possibility of science and his view about the limitations of classical scientific method. Changing the exegetical locus classicus from the logical form of abduction to insight and economy of research, I argue for the Unified Interpretation according to which abduction includes both instinctive hypotheses-generation and rule-governed hypotheses-ranking. I show that the Unified Interpretation is immune to the objections raised successfully against the Generative and the Pursuitworthiness interpretations. (shrink)

Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic (...) definitions of both an abductive problem in terms of an agent’s information and an abductive solution in terms of the actions that modify the agent’s information. We look at diverse kinds of agents, including not only omniscient ones but also those whose information is not closed under logical consequence and those whose reasoning abilities are not complete. In the second part, we look at an existing logical framework whose semantic model allows us to interpret the previously stated formulas, and we define two actions that represent forms of abductive reasoning. (shrink)

This book offers a novel perspective on abduction. It starts by discussing the major theories of abduction, focusing on the hybrid nature of abduction as both inference and intuition. It reports on the Peircean theory of abduction and discusses the more recent Magnani concept of animal abduction, connecting them to the work of medieval philosophers. Building on Magnani's manipulative abduction, the accompanying classification of abduction, and the hybrid concept of abduction as (...) both inference and intuition, the book examines the problem of visual perception together with the related concepts of misrepresentation and semantic information. It presents the author's views on caricature and the caricature model of science, and then extends the scope of discussion by introducing some standard issues in the philosophy of science. By discussing the concept of ad hoc hypothesis generation as enthymeme resolution, it demonstrates how ubiquitous the problem of abduction is in all the different individual scientific disciplines. This comprehensive text provides philosophers, logicians and cognitive scientists with a historical, unified and authoritative perspective on abduction. (shrink)

More than a hundred years ago, the American philosopher C. S. Peirce suggested the idea of pragmatism as a logical criterion to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, philosophers have usually offered a number of ways of construing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and (...) thus not analyzable. The “computational turn” gave us a new way to understand creative processes in a strictly pragmatic sense. Artificial Intelligence and Cognitive Science tools allow us to test concepts and ideas previously conceived in abstract terms. It is in the perspective of these actual models that we find the central role of abduction in the explanation of creative reasoning in science. What I call theoretical abduction certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good explanations of data, but fails to account for many cases of explanation occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper. (shrink)

The background of this paper (section 1) consists in a new account to foundation‐theoretic epistemology characterized by two features: (i) All beliefs are to be justified by deductive, inductive or abductive inferences from a minimalistic class of unproblematic (introspective or analytic) basic beliefs. (ii) Higher‐order justifications for these inferences are given by means of the novel method of optimality justifications. Optimality justifications are a new tool for epistemology (section 2). An optimality justification does not attempt todemonstratethat a cognitive method is (...) reliable (which is impossible), but pursues the more modest goal of demonstrating that the method isoptimalamong all accessible alternative methods for the given epistemic goal. The reasoning from the established optimality of a method to the acceptability of a particular belief generated by the method is accomplished by so‐called optimality principles. In sections 3–5, the method of optimality justifications is carried out in detail for three fundamental problems: justifying induction, logic, and theory‐generating abduction. (shrink)

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It (...) presents new ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

Abduction and metaphor are two significant concepts in cognitive science. It is found that the both mental processes are on the basis of certain similarity. The similarity inspires us to seek the answers to the following two questions: (1) Whether there is a common cognitive mechanism behind abduction and metaphor? And (2) if there is, whether this common mechanism could be interpreted within the unified frame of modern intelligence theory? Centering on these two issues, the paper attempts (...) to characterize and interpret the generation and evolution of scientific metaphors from the perspective of the cognitive mechanism of abductive inference. Then it interprets the common cognitive mechanism behind abduction and metaphor within Hawkins’ frame of intelligence theory. The commonality between abduction and metaphor indicates the potential to further explore human intelligence. (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, (...) and possibly new generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

A constantly changing social reality means economic theories, even if correct today, need to be constantly revised, updated, or abandoned. To maintain an up-to-date understanding of its subject matter, economists have to continuously assess their theories even those that appear to be empirically corroborated. Economics could gain from a method that describes and is capable of generating novel explanatory hypotheses. A pessimistic view on the existence of such a method was famously articulated by Karl Popper in The Logic of (...) Scientific Discovery. He wrote ‘there is no such a thing as a logical method of having ideas or a logical reconstruction of this process.’ Herbert Simon responded to Popper and argued the opposite, namely, that there is a model of discovery and its name is abduction. Simon acknowledges his debt to Charles Peirce – the first modern logician to explicitly formulate a theory of abduction – and explains that abduction is a model of discovery that works as a problem-solving heuristic encoded.. (shrink)

Abduction and metaphor are two significant concepts in cognitive science. It is found that the both mental processes are on the basis of certain similarity. The similarity inspires us to seek the answers to the following two questions: Whether there is a common cognitive mechanism behind abduction and metaphor? And if there is, whether this common mechanism could be interpreted within the unified frame of modern intelligence theory? Centering on these two issues, the paper attempts to characterize (...) and interpret the generation and evolution of scientific metaphors from the perspective of the cognitive mechanism of abductive inference. Then it interprets the common cognitive mechanism behind abduction and metaphor within Hawkins’ frame of intelligence theory. The commonality between abduction and metaphor indicates the potential to further explore human intelligence. (shrink)

Hintikka argues that abduction is ignorance-preserving in the sense that the hypothesis that abduction delivers and which attempts to explain a set of phenomena is not, epistemologically speaking, on a firmer ground than the phenomena it purports to explain; knowledge is not enhanced until the hypothesis undergoes a further inductive process that will test it against empirical evidence. Hintikka, therefore, introduces a wedge between the abductive process properly speaking and the inductive process of hypothesis testing. Similarly, Minnameier argues (...) that abduction differs from the inference to the best explanation since the former describes the process of generation of theories, while the latter describes the, inductive, process of their evaluation. As Hintikka so Minnameier traces this view back to Peirce’s work on abduction. Recent work on abduction goes as far as to draw a distinction between abducting an hypothesis that is considered worth conjecturing and the decision either to use further this hypothesis to do some inferential work in the given domain of enquiry, or to test it experimentally. The latter step, when it takes place, is an inductive mode of inference that should be distinguished from the abductive inference that led to the hypothesis. In this paper, I argue that in real scientific practise both the distinction between a properly speaking abductive phase and an inductive phase of hypothesis testing and evaluation, and the distinction between testing an hypothesis that has been discovered in a preceding abduction and releasing or activating the same hypothesis for further inferential work in the domain of enquiry in which the ignorance problem arose in the first place are blurred because all these processes form an inextricable whole of theory development and elaboration and this defies and any attempt to analyze this intricate process into discrete well defined steps. Thus, my arguments reinforce Magnani’s view on abduction and its function in scientific practise. (shrink)

Jaakko Hintikka (1998) has argued that clarifying the notion of abduction is the fundamental problem of contemporary epistemology. One traditional interpretation of Peirce on abduction sees it as a recipe for generating new theoretical discoveries . A second standard view sees abduction as a mode of reasoning that justifies beliefs about the probable truth of theories. While each reading has some grounding in Peirce's writings, each leaves out features that are crucial to Peirce's distinctive understanding of (...) abduction. I develop and defend a third interpretation, according to which Peirce takes abductive reasoning to lead to judgments about the relative pursuitworthiness of theories; conclusions that can be thoroughly disconnected from assessments of truth-value. Even if Peirce's use of "abduction" slides around among each of these three importantly different though potentially compatible senses, this neglected third understanding makes sense of a large number of Peirce's remarks and directs our attention to the cognitive structure of judgments that scientists face after the initial proposal of explanatory hypotheses but prior to their experimental testing; a topic which should be of interest to contemporary philosophers of science. (shrink)

I begin with a typology of reasoning and cross it with types of processes. I demonstrate that the thrust of Plato’s Republic is theory-building. This involves the critical and dialectic processes which are paradigms of Platonic methodology. Book I displays abductive analogical reasoning joined by an induction that is embedded in a deduction; hence there is a deduction–induction–abduction chain. In Book VI, Plato constructs a visual model of the divided line, which also displays model-based and abductive hypothesis generation (...) that is essential to theory building. Book VII provides an abductive metaphor model of the allegory of the cave. Both models depict degrees of reality and the ascendency of knowledge. The multimodal model-based allegory has far reaching applications from criminal justice to information systems. I conclude by capturing the narrative of the Republic as a critical and dialectic process of theory building using deductive–inductive–abductive chains, an abductive visual model and an abductive metaphor model. Hence, the Republic is simultaneously a masterpiece of deductive reasoning and a marvel of complex model-based abduction, involving visual models, analogies and metaphors. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as (...) observational, referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that (...) may link the behaviour of a given component to that of another one. This paper presents a hypothesis generation method for linear temporal logic theories whose formulae have a restricted syntactic form, which is however sufficient to model cellular and molecular interactions, as they are often represented by biologists. The method exploits the duality between hypothesis generation and consequence finding, and can therefore be also used to infer the consequences of a given fact. It is based on a resolution system proposed by Cavalli and Fariñas del Cerro in 1984. (shrink)

How should we incorporate algorithms into humanistic scholarship? The typical approach is to clone what humans have done but faster, extrapolating expert insights to landfills of source material. But creative scholars do not clone tradition; instead, they produce readings that challenge closely held understandings. We theorize and then illustrate how to construct bad robots trained to surprise and provoke. These robots aren’t the most human but rather the most alien—not tame but dangerous. We explore the relationship between the reproduction of (...) tradition and the generation of surprise and then show how formalizing a particular humanistic theory as a Bayesian prior allows us to identify readings that disrupt it through a process of algorithmic abduction. Among the exploding universe of surprising (and mostly ridiculous) possible readings, algorithmic efficiency allows us to select readings that nonetheless garner substantial support from the total archive and so merit interpretation and engagement. It is in such interaction between alien and human readers that meaning is made and understanding disturbed; it is by extending alien readings to novel texts that the scholarly community tests the value of those readings. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as (...) observational, referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

In criminal cases at common law, juries are permitted to convict on wholly circumstantial evidence even in the face of a reasonable case for acquittal. This generates the highly counterintuitive—if not absurd—consequence that there being reason to think that the accused didn’t do it is not reason to doubt that he did. This is the no-reason-to-doubt problem. It has a technical solution provided that the evidence on which it is reasonable to think that the accused didn’t do it is a (...) different subset of the total evidence from that on which there is no reason to doubt that he did do it. It lies in the adversarial nature of criminal proceedings in the common law tradition that the subsets of the total evidence on which counsel base their opposing arguments are themselves different from and often incompatible with one another. While this solves the no-reason-to-doubt problem, it does so at the cost of triggering a second problem just as bad. It is the no-rival problem, according to which incompatible theories of the case based on incompatible subsets of the evidence cannot be rivals of one another. If neither party’s case contradicts the other’s then, by the burden of proof requirement, criminal convictions are impossible. Once having generated the dilemma, the object of the paper is to determine how it might be escaped. (shrink)

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

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of (...) the present investigation, a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

This Handbook offers the first comprehensive reference guide to the interdisciplinary field of abductive cognition, providing readers with extensive information on the process of reasoning to hypotheses in humans, animals, and in computational machines. It highlights the role of abduction in both theory practice: in generating and testing hypotheses and explanatory functions for various purposes and as an educational device. It merges logical, cognitive, epistemological and philosophical perspectives with more practical needs relating to the application of (...) class='Hi'>abduction across various disciplines and practices, such as in diagnosis, creative reasoning, scientific discovery, diagrammatic and ignorance-based cognition, and adversarial strategies. It also discusses the inferential role of models in hypothetical reasoning, abduction and creativity, including the process of development, implementation and manipulation for different scientific and technological purposes. Written by a group of internationally renowned experts in philosophy, logic, general epistemology, mathematics, cognitive, and computer science, as well as life sciences, engineering, architecture, and economics, the Handbook of Abductive Cognition offers a unique reference guide for readers approaching the process of reasoning to hypotheses from different perspectives and for various theoretical and practical purposes. Numerous diagrams, schemes and other visual representations are included to promote a better understanding of the relevant concepts and to make concepts highly accessible to an audience of scholars and students with different scientific backgrounds. (shrink)

More than 50 years ago, Glaser and Strauss constructed the grounded theory methodology to develop substantive and formal data-grounded theories. Grounded theory is a rigorous methodology for generating theory grounded in data. It incorporates compare-and-contrast and abductive reasoning as its intellectual engine. Whenever one of these cognitive processes is engaged, so is the other. However, there is a need for a systematic means to assess how rigorous the grounded theory research process was employed. This paper (...) aims to start this conversation among methodologists and practitioners by proposing three criteria to evaluate the trustworthiness of grounded theories’ research process. Grounded theory studies ought to include abductive discoveries, the results of variation-finding, and Tilly’s comparison framework. Examples from Forde’s macro-level grounded theory will be used to demonstrate the significance of adding evaluation criteria to assess the rigor of the research process. (shrink)

"It is difficult not to notice a curious unrest in the philosophic atmosphere of the time, a loosening of old landmarks, a softening of oppositions, a mutual borrowing from one another on the part of systems anciently closed, and an interest in new suggestions, however vague, as if the one thing sure were the inadequacy of extant school-solutions. The dissatisfactions with these seems due for the most part to a feeling that they are too abstract and academic. Life is confused (...) and superabundant, and what the younger generation appears to crave is more of the temperament of life in its philosophy, even though it were at some cost of logical rigor and formal purity." - William James (1904). -/- Abstract: The study of model-based reasoning (MBR) is one of the most interesting recent developments at the intersection of psychology and the philosophy of science. Although a broad and eclectic area of inquiry, one central axis by which MBR connects these disciplines is anchored at one end in theories of internal reasoning (in cognitive science), and at the other, in C.S. Peirce’s semiotics (in philosophy). In this paper, we attempt to show that Peirce’s semiotics actually has more natural affinity on the psychological side with ecological psychology, as originated by James J. Gibson and especially Egon Brunswik, than it does with non-interactionist approaches to cognitive science. In particular, we highlight the strong ties we believe to exist between the triarchic structure of semiotics as conceived by Peirce, and the similar triarchic stucture of Brunswik’s lens model of organismic achievement in irreducibly uncertain ecologies. The lens model, considered as a theory of creative abduction, provides a concrete instantiation of at least one, albeit limited, interpretation of Peirce’s semiotics, one that we believe could be quite fruitful in future theoretical and empirical investigations of MBR in both science an philosophy. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as (...) observational, referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

This monograph attempts to clarify one significant but much neglected aspect of Peirce's contribution to the philosophy of science. It was written in 1963 as my M. A. thesis at the Uni versity of Illinois. Since the topic is still neglected it is hoped that its pUblication will be of use to Peirce scholars. I should like to acknowledge my indebtedness to Dr. Max Fisch who broached this topic to me and who advised me con tinuously through its development, assisting (...) generously with his own insights and unpublished Peirce manuscripts. TABLE OF CONTENTS INTRODUCTION 1. A Current Issue in the Philosophy of Science 1 2. Peirce and His Theory of Abduction 5 3. The General Character of Abduction 7 PART I: THE EARLY THEORY 1. Peirce's Earliest Conception of Inference 11 2. Three Kinds of Inference and Three Figures of Syllogism 13 3. Ampliative Inference and Cognition 17 4. Induction and Hypothesis 20 5. The Method of Methods 23 PART II: THE LATER THEORY 1. The Transitional Period 28 2. Three Stages of Inquiry 31 3. Abduction and Guessing Instinct 35 4. Logic as a Normative Science 38 5. Hypothesis Construction and Selection 41 6. Abduction and Pragmatism 44 7. Economy of Research 47 8. Justification of Abduction 51 CONCLUSION 55 61 BIBLIOGRAPHY INTRODUCTION 1. (shrink)

This volume gathers together essays from some of Hintikka’s colleagues and former students exploring his influence on their work and pursuing some of the insights that we have found in his work. This book includes a comprehensive overview of Hintikka’s philosophy by Dan Kolak and John Symons and an annotated bibliography of Hintikka’s work. Table of Contents: Foreword; Daniel Kolak and John Symons. Hintikka on Epistemological Axiomatizations; Vincent F. Hendricks. Hintikka on the Problem with the Problem of Transworld Identity; Troy (...) Catterson. What is Epistemic Discourse About? Radu J. Bogdan. Interrogative Logic and the Economic Theory of Information; Raymond Dacey. A Metalogical Critique of Wittgensteinian ‘Phenomenology’; William Boos. Theoretical Commensurability By Correspondence Relations: When Empirical Success Implies Theoretical Reference; Gerhard Schurz. What is Abduction?: An Assessment of Jaakko Hintikka's Conception; James H. Fetzer. The dialogic of just being different: Hintikka's new approach to the notion of episteme and its impact on 'second generation' dialogics; Shahid Rahman. Probabilistic Features in Logic Games; Johan F. A. K. van Benthem. On Some Logical Properties of ‘Is True’; Jan Wolenski. The Results are in: The Scope and Import of Hintikka's Philosophy; Daniel Kolak and John Symons. Annotated Bibliography of Jaakko Hintikka. Index. (shrink)

Richard Dawkins has popularized an argument that he thinks sound for showing that there is almost certainly no God. It rests on the assumptions (1) that complex and statistically improbable things are more difficult to explain than those that are not and (2) that an explanatory mechanism must show how this complexity can be built up from simpler means. But what justifies claims about the designer’s own complexity? One comes to a different understanding of order and of simplicity when one (...) considers the psychological counterpart of information. In assessing his treatment of biological organisms as either self-programmed machines or algorithms, I show how self-generated organized complexity does not fit well with our knowledge of abduction and of information theory as applied to genetics. I also review some philosophical proposals for explaining how the complexity of the world could be externally controlled if one wanted to uphold a traditional understanding of divine simplicity. (shrink)

Introduction. This survey is intended to introduce to logicians some notions, methods and theorems in set theory which arose—largely through the work of Saharon Shelah—out of attempts to solve problems in abelian group theory, principally the Whitehead problem and the closely related problem of the existence of almost free abelian groups. While Shelah's first independence result regarding the Whitehead problem used established set-theoretical methods, his later work required new ideas; it is on these that we focus. We emphasize (...) the nature of the new ideas and the historical context in which they arose, and we do not attempt to give precise technical definitions in all cases, nor to include a comprehensive survey of the algebraic results.In fact, very little algebraic background is needed beyond the definitions of group and group homomorphism. Unless otherwise specified, we will use the word “group” to refer to an abelian group, that is, the group operation is commutative. The group operation will be denoted by +, the identity element by 0, and the inverse of a by −a. We shall use na as an abbreviation for a + a + … + a [n times] if n is positive, and na = if n is negative. (shrink)

This paper presents a comprehensive account of Peirce's post-1900 theory of abduction. The account aims at bringing together various strands of discussion in Peirce's work, showing how their interaction creates a more coherent picture of his thoughts on abductive reasoning as manifest after the turn of the century. The discussion is of a historical nature, rather than a critical assessment.

One task of logic, Peirce held, is to classify arguments so as to determine the validity of each kind. His own classification is interesting because it includes a novel type of argument in addition to the two traditionally recognized types. It is the purpose of this paper to discuss what Peirce thought to be sufficiently distinctive about abduction to warrant calling it a new kind of argument. But since one finds in his writings on abduction a number of (...) different views it is first necessary to make a few remarks concerning the unity of Peirce's thought. (shrink)

Reflections on Peirce’s theory of abduction have not been free of controversy, given the difficulty to determine clearly the nature and epistemic function of this inference. The article examines three ways of understanding the concept of abduction, developed by Peirce himself throughout his work. The main objective is to reconstruct the logical, methodological, and instinctive conception of this type of reasoning in order to establish the possibility of a theory of abduction.

When Johann and Daniel Bernoulli founded fluid dynamics they encountered several problems. To go beyond the vision of Newtonian particles, a new set of images was needed in order to deal with the spatial extensibility and lack of form of fluids. I point to evidence that analogy was an essential abductive strategy in the creation of this imagery. But its heuristic behavior is complex: analogy can provide an initial model or proto-model that establishes the starting point of a theoretical process, (...) but it can play other roles as well. The historical genesis analyzed here shows that the participation of analogy in physicists’ creativity is not so restricted and that its richness opens up the field for very different roles and strategies in model-based discovery processes. Analogies can crop up intermittently in the evolution of a theory; and they can cooperate with images, extreme case reasoning and thought experiments, and even activate these processes at origin. Although it may seem that the contributions of analogy are generative in the sense of helping to discover new aspects of reality, we must stress the evaluative function that sometimes is performed by analogical reasoning in order to gain confidence. The study of the Bernoulli’s genesis of the foundations of fluid dynamics generates interesting hypotheses about the multiple roles that analogy can play in scientific model-based reasoning. (shrink)

In modern philosophy, essentialism is in most cases regarded as an outdated and, in fact, incorrect philosophical trend. And one of the scientists who created such a reputation of essentialism was the famous English philosopher of Austrian origin Karl Popper. The success of his book “The Open Society and its Enemies” led to the fact that in the West essentialism began to be considered not only cognitively untenable, but also suspicious as the theoretical basis of fascism, communism and totalitarianism. In (...) the article, K. Popper’s arguments against essentialism are reviewed all over again, and it is shown that K. Popper’s criticism of essentialism as an anti-scientific and outdated doctrine is not the point of view of the philosophy as a whole, but it is just the position of empirical positivism. Essentialism deals with the reality that lies on the other side of phenomena. And this, according to K. Popper, necessarily leads to “ultimate” definitions. However, in accordance with the doctrine of falsification by K. Popper himself, every scientific conclusion within its expiration date is “ultimate”. The article shows that in reality essentialism did not only play an extraordinary role in the classical metaphysical theory of knowledge, but also continues to do so within the framework of modern ontology. Moreover, in the latter case, he does it with the help of abduction which is a specific form of logical inference generating scientific hypotheses. The existence of abduction in science, which generates new knowledge, suggests that essentialism is not something, at best, tolerable and excusable. This is the main way to development of sciences in general. In all cases, the author of the article considers only logical entities, but not legal, theological or any other. (shrink)

Critical realism is a philosophy of science, which has made significant contributions to epistemic debates within sociology. And yet, its contributions to ethnographic explanation have yet to be fully elaborated. Drawing on ethnographic data on the health-seeking behavior of HIV-infected South Africans, the paper compares and contrasts critical realism with grounded theory, extended case method and the pragmatist method of abduction. In so doing, it argues that critical realism makes a significant contribution to causal explanation in ethnographic research (...) in three ways: 1) by linking structure to agency; 2) by accounting for the contingent, conjunctural nature of causality; and 3) by using surprising empirical findings to generate new theory. The paper develops the AART research schema and illustrates its strengths by employing a Bourdieusian field analysis as a model for morphogenetic explanation. (shrink)

Investigation of the use of intervention data in estimating parameters in a Bayesian network.

Reflections on Peirce’s theory of abduction have not been free of controversy, given the difficulty to determine clearly the nature and epistemic function of this inference. The article examines three ways of understanding the concept of abduction, developed by Peirce himself throughout his work. The main objective is to reconstruct the logical, methodological, and instinctive conception of this type of reasoning in order to establish the possibility of a theory of abduction.

Adjoin, to a countable standard model M of Zermelo-Fraenkel set theory (ZF), a countable set A of independent Cohen generic reals. If one attempts to construct the model generated over M by these reals (not necessarily containing A as an element) as the intersection of all standard models that include M ∪ A, the resulting model fails to satisfy the power set axiom, although it does satisfy all the other ZF axioms. Thus, there is no smallest ZF model including (...) M ∪ A, but there are minimal such models. These are classified by their sets of reals, and there is one minimal model whose set of reals is the smallest possible. We give several characterizations of this model, we determine which weak axioms of choice it satisfies, and we show that some better known models are forcing extensions of it. (shrink)

Exploratory factor analysis is a statistical method widely used in quantitative psychology for the construction of scales and measurement instruments. It aims to reduce the complexity of a data set and explain the common and unique variance using latent variables. In introductory textbooks, exploratory factor analysis is generally presented in contrast to confirmatory factor analysis as a theory- or a hypothesis-generating process that does not require prior background, theory or hypothesis to be performed. The aim of the (...) present paper is to analyze this claim and clarify in which sense exploratory factor analysis is theory-laden. We provide a careful examination of the concepts it involves and thereby establish a clear limitation of the epistemic scope of exploratory factor analysis. (shrink)

The Sense of I: Conceptualizing Subjectivity: In Indian Philosophy (Sāṃkhya-Yoga) This book discusses the sense of I as it is captured in the Sāṃkhya-Yoga tradition – one of the oldest currents of Indian philosophy, dating back to as early as the 7th c. BCE. The author offers her reinterpretation of the Yogasūtra and Sāṃkhyakārikā complemented with several commentaries, including the writings of Hariharānanda Ᾱraṇya – a charismatic scholar-monk believed to have re-established the Sāṃkhya-Yoga lineage in the early 20th century. The (...) textual analysis of the classical Sanskrit sources and their constructive interpretation is enhanced by some crucial questions and points of dispute commonly picked up in the contemporary philosophy of mind, such as the challenge of ontological and categorical reductionism, the criteria of personal identity, the limits of agency and free will, the ineluctability of self-deception, etc. However, defining the sense of ego (ahaṃkāra) and ‘I-am-ness’ (asmitā) is the main focus of this research. Four chapters composing the study are subsequently devoted to: (1) the methodological assumptions of the present author and the basic historical distinctions relevant to the subject matter, (2) linguistic preconditioning of I-consciousness as well as metaphysical coherency and ambiguity of the concept of subjectivity presented by Sāṃkhya-Yoga philosophers, (3) cognitive and ontological issues concerning the embodied ego being opposed to inactive and contentless consciousness, or the pure self (puruṣa), (4) axiological evaluation of self-discipline and significance of liberation from ego. 1. The method, scope, and problem. In the first chapter, the method of comparative philosophy adopted in this book is introduced by a phenomenological analysis of ‘otherness’ and ‘alienness’ inspired by the considerations of Bernhard Waldenfels and his understanding of xenology. This section is followed by a critical reflection on the incommensurability of the alternative conceptual frameworks, supported by some arguments provided by Ludwik Fleck and Richard E. Nisbett. When explaining the term ‘comparative philosophy’, the author pays special attention to those proponents of the aforementioned current who contributed to the rapprochement of Western and Indian philosophical traditions by tracing both their similarities and divergences. The author makes references to numerous prominent researchers, such as Paul Masson-Oursel, Paul Deussen, Stanisław Schayer, Sarvepalli Radhakrishnan, Bimal K. Matilal, Raimundo Panikkar, Daya Krishna, Wilhelm Halbfass, and many others representing a younger generation. The historical introduction presents a concise survey of the evolution of the Sāṃkhya-Yoga textual tradition, and distinguishes five phases of its development: proto-Sāṃkhya (7th c. BCA – 1st c. CE), pre-classical phase (1st – 5th c. CE), classical Sāṃkhya (3rd – 9th c. CE), post-classical phase (till 14th c.), and neo-classical phase (since 1927). Here, the author also evaluates the primary sources, including Sanskrit commentaries, and the secondary sources in the light of their relevance and usefulness to the constructive interpretation of Yogasūtra and Sāṃkhyakārikā. Then, she makes some methodological remarks concerning the specificity of their reading. This section is concluded with highlighting three main strategies usually applied when interpreting Patañjali’s sūtras: (1) anti-philosophical approach – treating the text as a merely mystical report or the yogic vademecum, (2) anti-mystical perspective – which reads the text as a highly speculative divagation of no much use to a practitioner, (3) mystic-and- philosophical approach – emphasizing the fact that the theory of consciousness presented in Yogasūtra is both philosophically coherent and empirically (or mystically) verified. The author argues for the third, heuristic, perspective mentioned above. The last section of the first chapter aims to problematize the I-concept (aham) and the paradoxical situation of the ego searching for self-knowledge. This part starts with the acknowledgement of the deliberation on non-self (anātman) by Śāntideva, a Buddhist philosopher claiming that one’s own ego ought to be identified with the ego of any other. Then, the author unfolds the fundamental assumptions and scope of the constructive interpretation she wants to develop following K.C. Bhattacharyya’s clues. When explaining her reasons, she stresses both the need to reveal the philosophical meaning of the source materials and, at the same time, the need to make them meaningful on the ground of our contemporary philosophical enquiry. Thus, among the main purposes there is a reliable, scrupulous and careful reconstruction of the historical conception of the self as elaborated on in the classical period of Sāṃkhya-Yoga tradition, as well as reinterpretation of the sense of I as it was grasped by the Sāṃkhya-Yoga thinkers in terms of modern comparative and ‘polylogical’ discourse. 2. Naming I. In the second chapter, a variety of linguistic categories capturing different aspects of subjectivity is discussed in detail. A textual examination is preceded by clarification of the semantic distinctions made by Patañjali, such as a verbal convention (saṃketa) which stands for uniting or overlapping a word (śabda), its meaning (artha) and a mental state of comprehension (pratyaya) that ascribes the word to a particular object. Among the key concepts there is also explained a spontaneous mental activity referring to pseudo-objects posited only by words (vikalpa), which is unwittingly involved in every process of conceptualizing, designating, and naming objects. Such mental states can neither be ‘valid’ nor ‘invalid’, and are believed to unavoidably accompany one’s use of language. These presuppositions testify to Patañjali’s severe criticism towards all verbal conventions that not only affect the way we formulate and construct our views, but also determine the very process of perception. A major section of the chapter contains the analysis of the ambiguous sense of subjectivity and its basic aspects distinguished by the author in the result of a contextual and comparative study of the Sanskrit terms used in Yogasūtra and Sāṃkhyakārikā for naming I-consciousness. The six basic aspects of the self comprise: essentializing oneself, perceiving (something), getting conscious (of something), mastering or owning (something), and being capable of self-identifying as well as disidentifying oneself. A majority of the enumerated predicates ascribed to the self refer to different functions and activities of the empirical ego and the embodied mind. Yet, apart from this intentional, active, reactive, sensing, and objectifiable self Sāṃkhya-Yoga philosophers distinguish a sense of subjectivity going beyond all these psycho-physical characteristics: the self that remains unmanifest, non-active, free from experiencing any joy or pain, said to be the principle of consciousness. The plausibility of its existence as the final cause of the world is to be determined by the embodied ego by virtue of abductive reasoning based on the analysis of all material and psycho-physical phenomena preconditioned by three guṇas that compose the domain of nature (prakṛti). In the subsequent section, three Sanskrit notions – ahaṃkāra, asmitā, and puruṣa, most significant for the Sāṃkhya and Yoga understanding of subjectivity, are discussed closely one after another to expose their semantic, epistemic and metaphysical connotations. The chapter is completed by some pivotal remarks bringing out the problem of discrepancy between the metaphysical position implied by Patañjali and Īśvarakṛṣṇa, and the grammatical instruments applied by them to express it. 3. Cognizing I. The third chapter addresses two important issues in the phenomenology of self-perception, namely the question of psycho-physical dualism explained on the grounds of the considered darśanas, and the spiritual quest for the ideal embodiment of consciousness. While emphasizing the unity of human psycho-physical nature the author refers to several contemporary Western thinkers, such as Maurice Merleau-Ponty, Thomas Nagel, John R. Searle, David Chalmers and others, by making some comparative remarks on the idea of the embodied mind. Furthermore, three arguments for the plurality of selves (puruṣa-bahutva) are reconstructed and critically considered. The arguments given by Īśvarakṛṣṇa (SK 18) include the diversity of ways in which one experiences one’s life and death, the spatio-temporal distinctness of particular embodied egos, and the variations of features manifested by individual selves. The second section of this chapter presents a thorough inquiry into a non-theistic devotion and spiritual pragmatism defended by the adherents of Sāṃkhya- Yoga. God (īśvara) is defined here primarily as an object of meditative practice and a special tool convenient for yogic pedagogy. In the concluding part of this section four functions of devotional practice (īśvara-pranidhāna) are recognized and explained; they embrace: (1) prevention from mental scattering and dispersion, (2) therapy allowing to form some positive perceptual habits and the right cognitive approach, (3) enhancement of morally and spiritually required qualities, and (4) reinforcement of the sense of subjective identity being a complementary method of self-development. 4. Liberating oneself from I. The final chapter consists of three sections. The first one introduces the concept of liberation through action (pravṛtti-dharma), commonly opposed in Indian tradition to the path of renunciation (nivṛtti- dharma). According to Hariharānanda Ᾱraṇya’s interpretation, both Sāṃkhya- Yoga and Buddhism follow the latter one, which in terms of spiritual practice dynamics makes them much closer to each other than it is usually believed. In the subsequent section the idea of liberating oneself from one’s attachment to ego is explained in detail, along with the significance of gradual self-negation. Then the author raises the interpretation of the Sāṃkhya-Yoga perspective on liberation as self-distinction-through-renunciation. The main focus in this section is placed on the sense of agency (kartṛ), the problem of free will, and the criteria of moral and soteriological evaluation of one’s deeds. Some crucial questions on karmic conditioning of self-knowledge in the form of kleśas are also the subject of careful analysis. The next section undertakes the issue of ownership (mamakāra) of one’s activity and self-esteem (abhimāna) involved in spiritual growth. Again, some comparative remarks are made by referring to the Buddhist philosophers’ positions, such as Nāgārjuna, Āryadeva and Candrakīrti. Among others, the Buddhist refutation of the Sāṃkhya-Yoga concept of eternal, inactive, indifferent, irresponsible, and exclusively conscious self (puruṣa) is quoted and partly rejected in favour of the classical Hindu darśanas. In summary, the author emphasized the significance-generating or sense-creating function of I, its engagement in the search for its own raison d’être, its role in self-identification as well as subverting it, and the expediency of liberation from ego. The philosophers of classical Sāṃkhya and Yoga indicate a twofold sense of the self; on the one hand, the only appropriate designation: ‘I’ is true self (puruṣa), a passive and unknowable principle of consciousness whose existence makes the empirical phenomena meaningful. On the other hand, the ‘I’ clearly designates the current sense of the self, expressed as “I think”, “I doubt”, “I suffer”, etc. This second meaning of ‘I’, the specific sense of ‘mineness’, is recognized as a secondary and relative one – thus illusive and troublesome. However, its delusiveness does not mean that the empirical ego is an unreal or non-existent entity. What it implies is that the empirical self-identity is fundamentally inadequate and – according to the Indian thinkers – ought to be unveiled and, ultimately, given up. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number of (...) subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5 f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

Discussions concerning belief revision, theorydevelopment, and ``creativity'' in philosophy andAI, reveal a growing interest in Peirce'sconcept of abduction. Peirce introducedabduction in an attempt to providetheoretical dignity and clarification to thedifficult problem of knowledge generation. Hewrote that ``An Abduction is Originary inrespect to being the only kind of argumentwhich starts a new idea'' (Peirce, CP 2.26).These discussions, however, led to considerabledebates about the precise way in which Peirce'sabduction can be used to explain knowledgegeneration (cf. Magnani, 1999; Hoffmann, 1999).The crucial (...) question is that of understandinghow we can get the new elements capableof enlarging our theories. Under thesecircumstances, it might be helpful to step outof the entanglement and reconsider the basis ofthe problem that originally triggered Peirce'sinterest in abduction. This will lead us toanother Peircean concept, that of ``diagrammaticreasoning,'' which I discuss here in the contextof his ``pragmatism.'' In this way, I hope toreach a better understanding of thecontribution of ``abduction'' to the knowledgegeneration process. (shrink)