Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspec-tive the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence abduction (...) is defined as a reverse relation corresponding to each one of such relations. (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)

Intersemiotic translation (IT) was defined by Roman Jakobson (The Translation Studies Reader, Routledge, London, p. 114, 2000) as “transmutation of signs”—“an interpretation of verbal signs by means of signs of nonverbal sign systems.” Despite its theoretical relevance, and in spite of the frequency in which it is practiced, the phenomenon remains virtually unexplored in terms of conceptual modeling, especially from a semiotic perspective. Our approach is based on two premises: (i) IT is fundamentally a semiotic operation process (semiosis) and (ii) (...) IT is a deeply iconic-dependent process. We exemplify our approach by means of literature to dance IT and we explore some implications for the development of a general model of IT. (shrink)

Charles Sanders Peirce was one of the United States’ most original and profound thinkers, and a prolific writer. Peirce’s game theory-based approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a toolkit for contemporary scholars and philosophers. Drawing on unpublished manuscripts, the book offers a rich, fresh picture of the achievements of a remarkable man.

Whether abduction is treated as an argument or as an inference, the mainstream view presupposes a tight connection between abduction and inference to the best explanation. This paper critically evaluates this link and supports a narrower view on abduction. Our main thesis is that merely the hypothesis-generative aspect, but not the evaluative aspect, is properly abductive in the sense introduced by C. S. Peirce. We show why equating abduction with IBE unnecessarily complicates argument evaluation by levelling the status of abduction (...) as a third reasoning mode. We also propose a scheme for abductive argument along with critical questions, and suggest retaining abduction alongside IBE as related but distinct categories. (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)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...) highlighting their relationship and allowing a better understanding of how they interact together. (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)

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)

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)

We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering an epistemic agent that reasons and acts.Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo. Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico que (...) razona y actúa. (shrink)

The main aim of this article is to describe central elements of, and the relationships among, three interrelated domains of inquiry. The first domain is Charles Peirce's semiotic theory which offers five concepts of special relevance to the other two domains: primary components of the triadic sign, including the object, representamen, and interpretant; the unceasing process of semiosis, or continuous growth of the developing sign; the three forms of inference, of which Peirce's notion of abduction is of special interest; the (...) element of surprise in experience, and the universal categories of Firstness, Secondness, and Thirdness that ground Peirce's overarching theory. The second domain incorporates the discipline of psychosemiotics, which is defined as the study of how we learn, understand, and use the signs of culture. The article outlines the nature and scope of psychosemiotics and emphasizes its grounding in Peircean semiotics, meaning‐making, and the five concepts listed above. The claim will be made that signs, semiosis, and meaning act through the seven signways outlined in the article and thereby bind the individual into the surrounding physical and cultural environments. The third domain is formal education, for which implications are presented as derived from Peircean theory and viewed through the psychosemiotic lens. In this perspective, all forms of education are semiotic processes grounded in signs and meaning‐making. Further, formal education consists of learning a wide variety of culturally‐valued signs by way of the seven signways and through processes that often differ from a technocratic, standards‐driven, accountability‐oriented approach to learning and instruction. (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)

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

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 205 Seiten: 95-114.

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

Those concerned with Locke’s Essay have largely ignored his account of reflection. I present and defend an interpretation of Locke’s theory of reflection on which reflection is not a variety of introspection; rather, for Locke, we acquire ideas of our mental operations indirectly. Furthermore, reflection is involuntary and distinct from consciousness. The interpretation I present also explains reflection’s role in the acquisition of non-sensory ideas (e.g., ideas of pleasure, existence, succession, etc.). I situate this reading within the secondary literature on (...) reflection and discuss its consequences for interpretations of Locke’s views on empiricism, knowledge, and personal identity. -/- -/- . (shrink)

Many parts of the contemporary philosophical debate have been built on the radicalization of conclusions derived from the acceptance of a certain set of classical dichotomies. It also discusses how pragmatism and abduction are currently presented to solve the problems arising from these dichotomies. For this reason, the efforts of this article have been directed to analyze the impact of this fact on the philosophy of science and logic. The starting point is that accepting abduction implies, in many ways, accepting (...) the foundations of pragmatism. Also, that the analysis of such problems from pragmatism and the particular use of abduction dissolve the dichotomies and, with it, also modify the philosophical problems related to them. Therefore, I propose to understand abduction as the right conceptual device to review the problems and debates of the twentieth century’s epistemology from a pragmatic perspective. In doing so, the aim is to propose that the current use of abduction in contemporary debates may imply a change of the philosophical perspective. (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)

ABSTRACT Abduction as a method for sociological explanation is increasingly gaining interest, but questions remain as to what exactly it is and how it differs from other methods of inquiry. This paper compares abduction as conceived in Peircean pragmatism with the critical realist concept of retroduction. I argue that abduction in the Peircean sense and retroduction in the critical realist sense refer to different, but complementary, modes of inference. Abductive conclusions provide the starting point for retroductive inferences; the latter inform (...) the tenability of the former. Together, abduction and retroduction contribute to theoretical explanation. (shrink)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...) highlighting their relationship and allowing a better understanding of how they interact together. (shrink)

Debates concerning the character, scope, and warrant of abductive inference have been active since Peirce first proposed that there was a third form of inference, distinct from induction and deduction. Abductive reasoning has been dubbed weak, incoherent, and even nonexistent. Part, at least, of the problem of articulating a clear sense of abductive inference is due to difficulty in interpreting Peirce. Part of the fault must lie with his critics, however. While this article will argue that Peirce indeed left a (...) number of puzzles for interpreters, it will also contend that interpreters should be careful to distinguish discussion of the formal and strictly epistemic question of whether and how abduction is a sound form of inference from discussions of the practical goals of abduction, as Peirce understood them. This article will trace a history of critics and defenders of Peirce’s notion of abduction and discuss how Peirce both fueled the confusion and in fact anticipated and responded to several recurring objections. (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)

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)

There are various ``classical'' arguments against abduction as a logic of discovery,especially that (1) abduction is too weak a mode of inference to be of any use, and (2) in basic formulation of abduction the hypothesisis already presupposed to be known, so it is not the way hypotheses are discovered in the first place. In this paper I argue, by bringing forth the idea of strategies,that these counter-arguments are weaker than may appear. The concept of strategies suggests, inter alia, that (...) many inferential moves are taken into account at the same time. This is especially important in abductive reasoning, which is basically a very weak mode of inference. The importance of strategic thinking can already be seen in Charles S.Peirce's early treatments of the topic, and N.R.Hanson's later writings on abduction although they did not use the concept of``strategies.'' On the whole, I am arguing that the focus should be more on methodological processes, and not only on validity considerations, which have dominated the discussion about abduction. (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)

In this article, the role of abductive reasoning within Peirce's diagrammatic reasoning is discussed. Both abduction and diagrammatic reasoning bring in elements of discovery but it is not clear if abduction should be a part of a fully developed diagrammatic system or not for Peirce. This relates to Peirce's way of interpreting abduction in his later writings. Iconicity and perceptual elements as a basis for discoveries are analyzed, both in deductive and abductive reasoning. At the end, the role of modern (...) ideas of distributed cognition applied to the Peircean scheme is shortly delineated. (shrink)

This paper defends an account of explanatory reasoning generally, and inference to the best explanation in particular, according to which it first and foremost justifies pursuing hypotheses rather than accepting them as true. This side-steps the problem of why better explanations should be more likely to be true. I argue that this account faces no analogous problems. I propose an account of justification for pursuit and show how this provides a simple and straightforward connection between explanatoriness and justification for pursuit.

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

Charles S. Peirce argued that, besides deduction and induction, there is a third mode of inference which he called " hypothesis " or " abduction." He characterized abduction as reasoning " from effect to cause," and as " the operation of adopting an explanatory hypothesis." Peirce ' s ideas about abduction, which are related also to historically earlier accounts of heuristic reasoning, have been seen as providing a logic of scientific discovery. Alternatively, abduction is interpreted as giving reasons for pursuing (...) a hypothesis. Inference to the best explanation has also been regarded as an important mode of justification, both in everyday life, detective stories, and science. In particular, scientific realism has been defended by an abductive nomiracle argument, while the critics of realism have attempted to show that this appeal to abduction is question - begging, circular, or incoherent. This paper approaches these issues by distinguishing weaker and stronger forms of abduction, and by showing how these types of inferences can be given Peircean and Bayesian probabilistic reconstructions. (shrink)

In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics, of dialogical logic, as well as the essential elements of this program. Although from any of (...) these points of view we have a list of logical tools to deal with more clearly epistemological issues, we highlight the role of dynamic epistemic logic, to which we dedicate the following section. There follows another one in which we enter the logical studies of abduction as one of the fundamental problems of contemporary epistemology and, in a new section, in terms of the theoretical constructs of the preceding sections, we present and explain a phenomenon that emerged in the field of linguistics, the case of the discovery of the Amazonian language pirahã, which should be considered an anomaly within the framework of the Chomskian theory. (shrink)

The relationship between Peircean abduction and the modern notion of Inference to the Best Explanation is a matter of dispute. Some philosophers, such as Harman :88–95, 1965) and Lipton, claim that abduction and IBE are virtually the same. Others, however, hold that they are quite different :503, 1998; Minnameier in Erkenntnis 60:75–105, 2004) and there is no link between them :419–442, 2009). In this paper, I argue that neither of these views is correct. I show that abduction and IBE have (...) important similarities as well as differences. Moreover, by bringing a historical perspective to the study of the relationship between abduction and IBE—a perspective that is lacking in the literature—I show that their differences can be well understood in terms of two historic developments in the history of philosophy of science: first, Reichenbach’s distinction between the context of discovery and the context of justification—and the consequent jettisoning of the context of discovery from philosophy of science—and second, underdetermination of theory by data. (shrink)

This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint . Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.

Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs.

_ Source: _Page Count 14 Jonathan Vogel has argued in support of an explanationist response to skepticism in several works. Central to this explanationist response is the fact that our non-skeptical view of the world is a better explanation of our experiences than its skeptical rivals. Despite the plausibility of this response to skepticism, it is not without its critics. Recently, Matthew Gifford has argued that Vogel’s response has problems on two fronts. First, Gifford argues that Vogel’s strategy for showing (...) that the rwh is a better explanation than its skeptical rivals fails. Second, he argues that if Vogel’s strategy does succeed, then it accomplishes too much—it removes skeptical doubts when it should not. I argue that Gifford is mistaken on both accounts. (shrink)

_ Source: _Page Count 13 A promising response to the threat of external world skepticism involves arguing that our commonsense view of the world best explains the sensory experiences that we have. Since our commonsense view of the world best explains our evidence, we are justified in accepting this commonsense view of the world. Despite the plausibility of this Explanationist Response, it has recently come under attack. James Beebe has argued that only a version of the Explanationist Response that provides (...) an a priori justification of inference to the best explanation can hope to respond to two serious objections. Additionally, he has argued that providing such an a priori justification requires an acceptable account of a priori probability and that it is unclear whether such an account can be developed. In this paper I argue that Beebe fails to provide adequate support for either of these claims. (shrink)

Explaining phenomena is a primary goal of science. Consequently, it is unsurprising that gaining a proper understanding of the nature of explanation is an important goal of science education. In order to properly understand explanation, however, it is not enough to simply consider theories of the nature of explanation. Properly understanding explanation requires grasping the relation between explanation and understanding, as well as how explanations can lead to scientific knowledge. This article examines the nature of explanation, its relation to understanding, (...) and how explanations are used to generate scientific knowledge via inferences to the best explanation. Studying these features and applications of explanation not only provides insight into a concept that is important for science education in its own right, but also sheds light on an aspect of recent debates concerning the so-called consensus view of nature of science (NOS). Once the relation between explanation, understanding, and knowledge is clear, it becomes apparent that science is unified in important ways. Seeing this unification provides some support for thinking that there are general features of NOS of the sort proposed by the consensus view and that teaching about these general features of NOS should be a goal of science education. (shrink)

Our brains make up a series of signs and are engaged in making or manifesting or reacting to a series of signs: through this semiotic activity they are at the same time engaged in “being minds” and so in thinking intelligently. An important effect of this semiotic activity of brains is a continuous process of “externalization of the mind” that exhibits a new cognitive perspective on the mechanisms underling the semiotic emergence of abductive processes of meaning formation. To illustrate this (...) process I will take advantage of the analysis of some aspects of the cognitive interplay between internal and external representations. I consider this interplay critical in analyzing the relation between meaningful semiotic internal resources and devices and their dynamical interactions with the externalized semiotic materiality suitably stocked in the environment. Hence, minds are material, “extended” and artificial in themselves. A considerable part of human abductive thinking is occurring through an activity consisting in a kind of reification in the external environment and a subsequent re-projection and reinterpretation through new configurations of neural networks and chemical processes. I also illustrate how this activity takes advantage of hybrid representations and how it can nicely account for various processes of creative and selective abduction, bringing up the question of how multimodal aspects involving a full range of sensory modalities are important in hypothetical reasoning. (shrink)

Our brains make up a series of signs and are engaged in making or manifesting or reacting to a series of signs: through this semiotic activity they are at the same time engaged in “being minds.” An important effect of this semiotic activity of brains is a continuous process of “externalization of the mind” that exhibits a new cognitive perspective on the mechanisms underlying the semiotic emergence of abductive processes of meaning formation. I consider this process of externalization interplay critical (...) in analyzing the relation between meaningful semiotic internal resources and devices and their dynamical interactions with the externalized semiotic materiality suitably stocked in the environment. The last part of the paper will describe some aspects of this interplay between external diagrammatization and internal recapitulation showing the specificity of their co-evolution. (shrink)

Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological tradition in a new way by taking advantage of information-theoretic, cognitive, and artificial intelligence methodologies. I maintain that the results of computational philosophy meet the classical requirements of some Peircian pragmatic ambitions. Indeed, more than a 100 years ago, the American philosopher C.S. Peirce, when working on logical and philosophical problems, suggested the concept of pragmatism(pragmaticism, in his own words) 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, many philosophers have usually offered a number of ways of construing hypotheses generation, but they aim at demonstrating that the activity of generating hypotheses is paradoxical, obscure, and thus not analyzable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. To dismiss this tendency and gain interesting insight about the so-called logic of scientific discovery we need to build constructive procedures, which could play a role in moving the problem-solving process forward by implementing them in some actual models. The computational turn gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems. The last part of the paper is devoted to illustrating the problem of the extra-theoretical dimension of reasoning and discovery from the perspective of some mathematical cases derived from calculus and geometry. (shrink)

This article generalizes the explanationist account of inference to the best explanation. It draws a clear distinction between IBE and abduction and presents abduction as the first step of IBE. The second step amounts to the evaluation of explanatory power, which consist in the degree of explanatory virtues that a hypothesis exhibits. Moreover, even though coherence is the most often cited explanatory virtue, on pain of circularity, it should not be treated as one of the explanatory virtues. Rather, coherence should (...) be equated with explanatory power and considered to be derivable from the other explanatory virtues: unification, explanatory depth and simplicity. (shrink)