En este artículo se analiza el caso del descubrimiento del megaterio desde una perspectiva abductiva, prestando atención al proceso de generación y selección de hipótesis de algunos de los actores involucrados en este singular acontecimiento. El análisis muestra la importancia de ciertos puntos metodológicos relacionados con la práctica y el rigor científico para proponer hipótesis plausibles.

Observational and experimental discoveries of new factual entities such as objects, systems, or processes, are major contributors to some advances in the life sciences. Yet, whereas discovery of theories was extensively deliberated by philosophers of science, very little philosophical attention was paid to the discovery of factual entities. This paper examines historical and philosophical aspects of the experimental discovery by Carl Woese of archaea, prokaryotes that comprise one of the three principal domains of the phylogenetic tree. Borrowing Kuhn’s terminology, this (...) discovery of a major biological entity was made during a ‘normal science’ project of building molecular taxonomy for prokaryotes. Unexpectedly, however, an observed anomaly instigated the discovery of archaea. Substantiation of the existence of the new archaeal entity and consequent reconstruction of the phylogenetic tree prompted replacement of a long-held model of a prokarya and eukarya bipartite tree of life by a new model of a tripartite tree comprising of bacteria, archaea, and eukarya. This paper explores the history and philosophical implications of the progression of Woese’s project from normal science to anomaly-instigated model-changing discovery. It is also shown that the consequential discoveries of RNA splicing and of ribozymes were similarly prompted by unexpected irregularities during normal science activities. It is thus submitted that some discoveries of factual biological entities are triggered by unforeseen observational or experimental anomalies. (shrink)

Empirical political theory has grown in importance. In empirical political theory, attention to data is part of the evaluative step. A concern was raised that being attentive to the content of political science data implies that such attentiveness would limit the normative contours of empirical political theory, and will create a status-quo bias. This concern has been called the ‘problem of critical distance’. One way to appraise the significance of this problem is to examine the work done by empirical political (...) theorists such as Anderson (on racial integration), Wenar (on international trade), and Carens (on immigration). All three scholars suggest radical policies that differ from existing institutions and rules. The likelihood that a theory will suffer from the problem of critical distance will depend on the type of usage of data by a given theorist, her/his normative standpoint, and the manner in which they coalesce or differ. (shrink)

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

Reverse inference is a crucial inferential strategy used in cognitive neuroscience to derive conclusions about the engagement of cognitive processes from patterns of brain activation. While widely employed in experimental studies, it is now viewed with increasing scepticism within the neuroscience community. One problem with reverse inference is that it is logically invalid, being an instance of abduction in Peirce’s sense. In this paper, we offer the first systematic analysis of reverse inference as a form of abductive reasoning and highlight (...) some relevant implications for the current debate. We start by formalising an important distinction that has been entirely neglected in the literature, namely the distinction between weak and strong reverse inference. Then, we rely on case studies from recent neuroscientific research to systematically discuss the role and limits of both strong and weak reverse inference; in particular, we offer the first exploration of weak reverse inference as a discovery strategy within cognitive neuroscience. (shrink)

Forrester’s proposed seventh style of reasoning – thinking in cases – functions as an analogous, dyadic relationship that, whilst indebted philosophically to the logical reasoning and semiotics of Charles Peirce, is prone to creating feedback loops between induction and deduction, precluding novel abductive hypotheses from advancing medical knowledge. Reasoning with a Peircean triadic model opens up the contexts and methods of meaning-making and reasoning through medical cases, and the potent influence of their genre conventions, to intellectual critical scrutiny. Vitally, it (...) offers a third mode – abduction – that this article argues needs to be reintroduced into Forrester’s model of reasoning with cases. This article demonstrates this by applying a Peircean triadic model of reasoning to Forrester’s own model, tracing a shared genealogy but one in which the abductive element was lost. The article goes on to illustrate the explanatory and predictive potential of Peircean abductive reasoning and the necessary re-theorising of the case this entails. This argument is supported through an analysis of early case reports of what would become HIV/Aids, drawn from the Case Records of Massachusetts General Hospital series in the New England Journal of Medicine. (shrink)

We distinguish three aspects of medical diagnosis: generating new diagnostic hypotheses, selecting hypotheses for further pursuit, and evaluating their probability in light of the available evidence. Drawing on Peirce’s account of abduction, we argue that hypothesis generation is amenable to normative analysis: physicians need to make good decisions about when and how to generate new diagnostic hypothesis as well as when to stop. The intertwining relationship between the generation and selection of diagnostic hypotheses is illustrated through the analysis of a (...) detailed clinical case study. This interaction is not adequately captured by the existing probabilistic, decision-theoretic models of the threshold approach to clinical decision-making. Instead, we propose to conceptualize medical diagnosis in terms of strategic reasoning. (shrink)

In his influential paper, 'Why Was the Logic of Discovery Abandoned?', Laudan contends that there has been no philosophical rationale for a logic of discovery since the emergence of consequentialism in the 19th century. It is the purpose of this paper to show that consequentialism does not involve the rejection of all types of logic of discovery. Laudan goes too far in his interpretation of the historical shift from generativism to consequentialism, and his claim that the context of pursuit belongs (...) to neither discovery nor justification is based on narrow interpretations of the contexts of discovery and justification. As a result, Laudan draws unwarranted conclusions concerning both the early and contemporary defenders of a logic of discovery. A methodological logic of discovery - which involves self-corrective methods of hypothesis generation that promote the long-term goals of science and which require consequential support for justification - is a type of logic of discovery that survives the shift to consequentialism. (shrink)

The paper is focused on Genesis 1 – 3 where the primordial man [adàm] is created ‎and he was given the proper name Adam [adàm]. ‎ In Hebrew man and Adam are the same word, spelled the same way – [adàm]. ‎Different translations of Genesis 1-3 use for the first time the proper name Adam in ‎different places versions Gen 2:25; The German Luther ‎Bible Gen 3:8; Some English Protestant versions Gen 3:17; Bulgarian Protestant and many ‎English Protestant versions Gen (...) 3:20-21). The paper decodes the phenomenon by ‎studying the Hebrew original and several semiotic views on common and proper names ‎‎. Through these opinions the ‎important question “Who wrote the Bible?” is discussed. The analysis interfaces the new ‎linguistic relativity theory.‎ Four layers of symbolism are decoded: 1. The man became Adam; 2. The two men in ‎Gen 1:27 and in Gen 2:7 man [adàm] ‎is made by earth, ground [adamà]; 3. The two men in the New Testament ; 4. Edom, Adam and cultural discourses in both Testaments.‎. (shrink)

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

We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.

“Scientific research faces up with an open and unknown world”Within the work of C. S. Peirce, the most fundamental and contentious form of inference is that of abduction. According to Peirce, abduction is the only type of inference from which new ideas are created (CP 5.171, 1903). He wrote, “every single item of scientific theory which stands established today has been due to Abduction” (CP 5.172, 1903). Similarly, “All that makes knowledge applicable comes to us viâ abduction. […] Not the (...) smallest advance can be made in knowledge beyond the stage of vacant staring, without making an abduction at every step” (HP 2:899–900, 1901). It is little wonder that so much attention has been paid to this particular type of.. (shrink)

Popper is well known for rejecting a logic of discovery, but he is only justified in rejecting the same type of logic of discovery that is denied by consequentialism. His own account of hypothesis generation, based on a natural selection analogy, involves an error-eliminative logic of discovery and the differences he admits between biological and conceptual evolution suggest an error-corrective logic of discovery. These types of logics of discovery are based on principles of plausibility that are used in the generation (...) as opposed to the preliminary evaluation of hypotheses. The normative relevance of these principles is grounded in the distinction between strategic and definitory rules. (shrink)

In this article, I compare two varieties of abduction as reconstructive models for analysing discovery. The first is 'Hansonian abduction', which is based on N. R. Hanson's formulations of abduction. The other is 'Harmanian abduction', the Inference to the Best Explanation (IBE) model, formulated especially by Gilbert Harman. Peter Lipton has analysed processes of discovery on the basis of his developed form of Harmanian abduction. I argue that Hansonian abduction would, however, be a more apt model for this purpose. As (...) an example, I reconstruct, in a Hansonian manner, Ignaz Semmelweis's research on childbed fever and compare it to the IBE reconstruction of Lipton. I argue that Hansonian abduction is in accordance with Lipton's aim of taking into account the distinction between actual and potential explanations on the one hand, and between likely and lovely explanations on the other. I maintain that a developed version of Hansonian abduction combined with loveliness gives an important, new conceptual means for analysing processes of discovery. (shrink)

The paper seeks to explain in what sense pragmatism was for Peirce a doctrine of logic. It is argued that pragmatism is a doctrine of logic for Peirce because its maxim, the pragmatic maxim, is a maxim of the methodeutic of abduction, i.e., concerns the method of selecting hypotheses for experimental testing. The paper also connects this idea to Peirce’s 1913 thesis according to which pragmatism contributes to the security but not to the uberty of reasoning. The connection consists in (...) that by excluding hypotheses that cannot be tested, the maxim renders the whole process of reasoning more secure, while any explanatory hypotheses is “uberous” in Peirce’s sense as any other. (shrink)

Some viewpoints on the foundations of mathematics and its philosophy are more connected to scientific practice and its heuristics, mainly with the construction of physical theories and the search for the best explanations of physical phenomena by means of abduction or the solution of problems by the analytical method. Some researchers have introduced the importance of human cultural activities into the cognitive aspects of the mental processes of scientists, proposing an embodied approach in the bridge between mathematics and reality. Fluid (...) mechanics is an interesting area in this sense due to its position if the network of mathematics. By means of an historical example on vortex motion by Helmholtz, we show that the intuitive idea of eddy contains cognitive properties of a mental schema and that it gives many heuristic options for an embodied mathematical explanation about vortex dynamics. (shrink)

We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings. We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stands out as the three major threads (...) in his later writings. The other issue concerns the second stage of scientific inquiry, deduction. According to Peirce's later formulation, deduction is divided not only into two kinds but also into two sub-stages: logical analysis and mathematical reasoning, where the latter is either corollarial or theorematic. Save for the inductive stage, which we do not address here, these points cover the essentials of Peirce's latest thinking on the l.. (shrink)

This article analyzes three approaches to resolving the classical Meno paradox, or its variant, the learning paradox, emphasizing Charles S. Peirce’s notion of abduction. Abduction provides a way of dissecting those processes where something new, or conceptually more complex than before, is discovered or learned. In its basic form, abduction is a “weak” form of inference, i.e., it gives only tentative suggestions for further investigation. But it is not too weak if various sources of clues and restrictions on the abductive (...) search are taken into account. We present three, complementary versions of abduction: as a sort of guessing instinct or expert-like intuition, where unconscious clues are important; as a form of inference, where a strategic point of view is essential; and as a part of distributed cognition and mediated activity, where the interaction with the material, social, and cultural environment is emphasized. Our starting point is Peirce’s own notion of abduction, but we broaden the perspective, especially to the direction of distributed cognition. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

The aim of this paper is to investigate the relationship between information and abductive reasoning in the context of problem-solving, focusing on non-human animals. Two questions guide our investigation: What is the relation between information and abductive reasoning in the context of human and non-human animals? Do non-human animals perform discovery based on inferential processes such as abductive reasoning? In order to answer these questions, we discuss the semiotic concept of information in relation to the concept of abductive reasoning and, (...) more specifically, to the notion of manipulative abduction proposed by Magnani. Finally, we investigate a case study of corvids’ intelligence, namely, their capacity of causal cognition. (shrink)

I propose an analysis of deception as the activity of intentionally misleading other agents’ hypothetical inferences. Understanding deception in this way has the advantages of clarifying the epistemological and cognitive dynamics involved in deception. Indeed, if deception can be framed as the intentional manipulation of others’ hypothetical inferences so that they will accept the false or disadvantageous hypotheses, then a better understanding of the epistemological and cognitive dynamics involved in deception will emerge by clarifying how abduction works. Tracing it back (...) to Peirce’s analysis, I will focus on recent perspectives on abduction, which stress the inherent strategic character of abductive cognition and offer a realistic description of the reasoners’ capabilities and their scant resources, both internal (computational power) and external (time and information available). To support and substantiate my thesis, I will examine psychological analyses of military deception. I will conclude by remarking the advantages of the thesis here presented to better understand the epistemological dynamics of deception and by highlighting the questions it leaves open for further investigations. (shrink)

The roles of abductive inference in dynamic heuristics allows scientific methodologies to test novel explanations for the world’s ways. Deliberate reasoning often follows abductive patterns, as well as patterns dominated by deduction and induction, but complex mixtures of these three modes of inference are crucial for scientific explanation. All possible mixed inferences are formulated and categorized using a novel typology and nomenclature. Twenty five possible combinations among abduction, induction, and deduction are assembled and analyzed in order of complexity. There are (...) five primary categories for sorting these inferential procedures: fallacies, non-scientific procedures, quasi-scientific procedures, scientific procedures, and scientific heuristics. (shrink)

In this paper we want to examine how the mutual understanding of speakers is reached during a conversation through collaborative processes, and what role is played by abductive inference (in the Peircean sense) in these processes. We do this by bringing together contributions coming from a variety of disciplines, such as logic, philosophy of language and psychology. When speakers are engaged in a conversation, they refer to a supposed common ground: every participant ascribes to the others some knowledge, belief, opinion (...) etc. on which to rely in order to reach mutual understanding. As the conversation unfolds, this common ground is continually corrected and reshaped by the interchanges. An abductive reasoning takes place, in a collaborative setting, in order to build new possible theories about the common ground. In reconstructing this process through the use of a working example, we argue that the integration of a collaborative perspective within the Peircean theory of abduction can help to solve some of the drawbacks that the critics of the latter have outlined, for example its permissivity and non generativity. (shrink)

In philosophy of science, the literature on abduction and the literature on styles of thinking have existed almost totally in parallel. Here, for the first time, we bring them together and explore their mutual relevance. What is the consequence of the existence of several styles of scientific thinking for abduction? Can abduction, as a general creative mode of inference, have distinct characteristic forms within each style? To investigate this, firstly, we present the concept of abduction; secondly we analyze what is (...) understood by styles of thinking; thirdly, we give some comments on abduction and styles of thinking by analyzing examples of scientific discovery or innovation within each style. We develop a case-based comparative investigation of creative aspects of abductive reasoning with examples drawn from different styles of scientific thinking and doing as understood by the Crombie/hacking tradition. We argue that abduction, as a general mode of reasoning, can have a variety of specific expressions enabled and constrained by the styles of scientific thinking. Finally, we draw some conclusions on the relationship between abduction and styles of thinking suggesting that scientific discovery is a dynamical goal-directed activity within the scientific community that benefits from distinct styles of thinking and doing research. (shrink)

“What is abduction?” asks Jaakko Hintikka in the title to his 1998 article on C. S. Peirce’s concept. The answer to Hintikka’s question is problematic on several counts. There is, to begin with, a difference between Peirce’s own views on abduction and later interpretations of abduction as “inference to the best explanation” (Minnameier 2004; Paavola 2006). There are, furthermore, tensions within Peirce’s own account of abduction, for instance, a tension between “inferential” and “instinctual” aspects of abduction (Fann 1970; Anderson 1986; (...) Kapitan 1990; Paavola 2005; Paavola and Hakkarainen 2005). These tensions are exacerbated by two factors. First, there are several terminological variants of the word.. (shrink)

In this paper we maintain that abductive inferential processes should be embedded to a more general outlook on human cognition. Abduction has clear a.nities to the so-called interrogative model of inquiry in which inquiry and reasoning are conceptualized as a dialogue. We think, in addition, that dialogicality must be broadened to a “trialogical” framework which means a threefold relationship with mediating artefacts where the inquirer, other inquirers , and the object of knowledge are inextricably bound up with each other in (...) long term processes of inquiry. Seen from this perspective Peirce's semeiotic pragmatism has close connections to modern ideas about distributed cognition; also to Pera's dialectical model of science, and Davidson's theory of triangulation concerning human mind, cognition, and knowledge. (shrink)

The purpose of this thesis was set against the background of changed expectations on education and teachers’ work in contemporary Western societies, reflecting global educational trends of standardisation and assessment moving further down the ages. The overall aim of the thesis was to explore and gain understandings of how teachers’ work is constituted. The exploration was based on lived experience and philosophical perspectives, and the main research questions were: i) what is the significance of existential dimensions of teachers’ work, and (...) ii) how can they be understood in the light of a globalised and standardised education? The theoretical and methodological basis of the thesis was mainly the philosophy of the life-world as formulated by Maurice Merleau-Ponty. The studies included employed the following methods: drawings with associated oral comments, written teacher responses and follow-up interviews, visual documentation with associated oral comments, and finally, the study of the relevant philosophical literature. In total 50 teachers and 112 children participated in study I, ten teachers in study II and eight teachers in study III. In study IV, the data consisted of philosophical literature.The findings show that teachers’ work involves not only teachers’ intellectual capacities and skills, but also their emotional and embodied being, and intertwined relationships as well. Further, teachers’ work it affected not only by the views of children, knowledge and learning held by teachers, policymakers and society that affect teachers’ work, but also by ontological assumptions and existential dimensions in a wider sense. It emerged that teachers’ views of education and their attempt to appreciate the unpredictable beyond dualistic assumptions are holistic, and multidimensional, in comparison to the rather linear and standardised global agenda.The crossover analysis of the findings suggests that teachers’ work is mainly constituted by ambiguities and intertwinings of an ontological character that have epistemological implications. In this thesis ambiguities are used to describe aspects that at first seem contradictory but are in fact more like irreducible uncertainties – as intertwined and reversible aspects of teachers’ work as a whole. Accordingly, existential dimensions of teachers’ work are ubiquitous within these ambiguities and intertwinings, and appear as significant in mainly two ways – firstly, as closely connected dimensions of the life-world and lived experience, referred to as lived time, lived space, lived body and lived other; secondly, as basic notions mainly about the relationships between i) subject and object, ii) mind and body, iii) human, culture and nature, iv) linear and multidimensional temporality. These existential dimensions of teachers work are discussed as Intercorporeal reversibilities, Intertwinings, chiasm and flesh and A chiasmic being. The ambiguous aspects of teachers’ work seem to derive from a general ambiguity of views on education, in which the rationalistic view tends to dominate since it often reflects the management of education. This overall ambiguity demands a reconsideration of the wider aim of education as well as of different relationships within education beyond dualisms and divides. Particularly, intercorporeal and intertwined relationships are essential, encompassing the significant intertwinings of ‘subjectobject’, ‘mindbody’, and ‘humannatureculture’. It is argued that this rethinking needs to be done in order to create conceptual and operational space for diverse and challenging pedagogical relationships. Thereby, a process of a chiasmic being for teachers in their work and for children’s learning can be enhancedKey words: teachers’ work; teaching; school; early childhood education; lived experience; existential; pluralistic; Merleau-Ponty. (shrink)

In this article, I analyze the case of the discovery of the megatherium from an abductive perspective, paying attention to the process of hypothesis generation and selection of some of the agents involved in this unique event. The analysis shows the importance of certain methodological issues related to scientific rigor in order to propose plausible hypotheses.

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)

Here, I focus on deviations of intent, from that expressed by the standard or ordinary use of language, in instances where abductive reasoning plays a necessary role. In such cases, speakers usually utter some “mysterious” words based on the assumed abductive capability of their interlocutors. In order to cause the desired effect in the audience, the speaker relies on the hearer’s knowledge of the relevant common dialogue framework and thus uses the utterance as an abductive trigger. For purposes of explanation, (...) I present a curious kind of fallacy: ironic fallacy. (shrink)

In this article I analyze the Peirce’s concepts of abduction, insight, logica utens and logica docens in order to propose, finally, a vision in which “genuine” abductions are generated only after an exercise in logica docens. These “genuine” abductions are characterized in contrast to those generated by means of logica utens.