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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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 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 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)

"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)

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)

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.

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.

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)

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)

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)

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)

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)

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)

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)

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)

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

This meta-study of animal semantics is anchored in two claims, seemingly creating a fuzzy mismatch, that animal utterances generally appear to be simple in structure and content variation and that animals’ communicative understanding seems disproportionally more advanced. A set of excerpted, new studies is chosen as basis to discuss whether the semantics of animal uttering and understanding can be fused into one. Studies are prioritised due to their relatively complex designs, giving priority to dynamics between syntax, semantics, pragmatics, and between (...) utterers and receivers in context. A communicational framework based on utterance theory is applied as a lens for inspection of how these aspects relate to the assumed mismatch. Inspection and discussions of the studies bring several features to surface of which five are stressed in the following. Firstly, both syntactic structures and possible semantic content are seen as lean, although richer than earlier believed, and research continues to reveal new complexities in utterances. Secondly, there is a clear willingness to broaden the perception of animals’ semantic capacity to comprehend communication both by arguing theoretically and by generating empirical research in new contexts. Thirdly, the ambition to make sense of these tendencies is still often motivated by an evolutionary search for early building blocks for verbal language, with the pro et cons that such a position can have. Fourthly, the ‘allowed’ scientific frame for studying semantic capacity among animals is extended to new fields and contexts challenging the only-in-the-wild norm. Fifthly, the dilemma of integrating uttering and understanding as aspects of an after all functional communicational system, calls for new epistemological concepts to make sense of the claimed mismatch. Affordances, abduction, life-genre, and lifeworld are suggested. (shrink)

The concept of organizational stigma has received significant attention in recent years. The theoretical literature suggests that for a stigma to emerge over a category of organizations, a “critical mass” of actors sharing the same beliefs should be reached. Scholars have yet to empirically examine the techniques used to diffuse this negative judgment. This study is aimed at bridging this gap by investigating Goffman’s notion of “stigma-theory”: how do stigmatizing actors rationalize and emotionalize their beliefs to convince their audience? (...) We answer this question by studying the stigma over the finance industry since 2007. After the subprime crisis, a succession of events put the industry under greater scrutiny, and the behaviors and values observed within this field began to be publicly questioned. As an empirical strategy, we collected opinion articles and editorials that specifically targeted the finance industry. Building on rhetorical analysis and other mixed methods of media content analysis, we explain how the stigmatizing rhetoric targets the origins of deviant organizational behaviors in the finance industry, that is, the shareholder value maximization logic. We bridge the gap between rhetorical strategies applied to discredit organizations and ones used to delegitimize institutional logics by drawing a parallel between these two literatures. Taking an abductive approach, we argue that institutional contradiction between field and societal-level logics is sufficient, but not necessary to generate organizational stigma. (shrink)

The logical formalism of abductive reasoning is still an open discussion and various theories have been presented about it. Abduction is a type of non-monotonic and defeasible reasonings, and the logic containing such a reasoning is one of the types of non-nonmonotonic and defeasible logics, such as inductive logic. Abduction is a kind of natural reasoning and it is a solution to the problems having this form "the phenomenon of φ cannot be explained by the theory of (...) Θ" and we need to search for (or to adduce) an explanation for φ. Taking α as the explanation and <Θ,φ> as the abductive problem, Θ∪{α}⊨φ is the logical format of a strong abductive reasoning. In this article, the proof theory for first-order abductive calculus is proposed based on Gentzen-type first-order proof theory. Considering its dual, i.e., the semantic tableaux, and without the need to translate the formulas, this calculation is sound and complete. After examining the structural rules of this calculus, some metalogical considerations and open problems such as consistency, completeness and undecidability of this account have been addressed. (shrink)

In this paper, I argue that Darwin's On the Origin of Species can be interpreted as the culmination of an extended exercise of what Kant called ‘the reflecting power of judgement’ that issued in a form of reasoning that Hegel associates with inference by analogy and that Peirce associates with hypothesis and later assimilates to abduction. After some exegetical and rationally reconstructive work, I support this reading by showing that Darwin's theory of natural selection gave us a way (...) of understanding the purposive character of organic generation and growth that does not rely on an analogy with intentional agency and outlining some of the uses to which this new understanding was put in reasoning about mind and society by American intellectuals in the second half of the nineteenth century. In the process I hope to shed some light on the relationship between mechanistic and purposive explanation in judgements of nature. (shrink)