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)

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)

What I call semiotic brains are brains that make up a series of signs and that 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 disembodiment of mind that exhibits a new cognitive perspective on the mechanisms underling the semiotic emergence of meaning processes. (...) Indeed at the roots of sophisticated thinking abilities there is a process of disembodiment of mind that presents a new cognitive perspective on the role of external models, representations, and various semiotic materials. Taking advantage of Turing’s comparison between “unorganized” brains and “logical” and “practical” machines” this paper illustrates the centrality to cognition of the disembodiment of mind from the point of view of the interplay between internal and external representations, both mimetic and creative. The last part of the paper describes the concept of mimetic mind I have introduced to shed new cognitive and philosophical light on the role of computational modeling and on the decline of the so-called Cartesian computationalism. (shrink)

Bayesian probability is normally defined over a fixed language or eventspace. But in practice language is susceptible to change, and thequestion naturally arises as to how Bayesian degrees of belief shouldchange as language changes. I argue here that this question poses aserious challenge to Bayesianism. The Bayesian may be able to meet thischallenge however, and I outline a practical method for changing degreesof belief over changes in finite propositional languages.

The relationship between machine learning and the philosophy of science can be classed as a dynamic interaction: a mutually beneficial connection between two autonomous fields that changes direction over time. I discuss the nature of this interaction and give a case study highlighting interactions between research on Bayesian networks in machine learning and research on causality and probability in the philosophy of science.

There has been little research into the weak kindsof negating hypotheses. Hypotheses may be unfalsifiable. In this case it is impossible tofind a contradiction in some area of the conceptualsystems in which they are incorporated.Notwithstanding this fact, it is sometimes necessaryto construct ways of rejecting the unfalsifiablehypothesis at hand by resorting to some external forms of negation, external because wewant to avoid any arbitrary and subjectiveelimination, which would be rationally orepistemologically unjustified. I will consider akind of ``weak'''' (unfalsifiable) hypotheses that (...) arehard to negate and the ways for making it easy. Inthese cases the subject can ``rationally'''' decide towithdraw his hypotheses even in contexts where it is``impossible'''' to find ``explicit'''' contradictions: theuse of negation as failure (an interestingtechnique for negating hypotheses and accessing newones suggested by artificial intelligence) isilluminating. I plan to explore whether this kind ofnegation can be employed to model hypothesiswithdrawal in Poincaré''s conventionalism of theprinciples of physics and in Freudian analyticreasoning. (shrink)

Philosophers of science today by and large reject the cataclysmic and irrational interpretation of the scientific enterprise claimed by Kuhn. Many computational models have been implemented to rationally study the conceptual change in science. In this recent tradition a key role is played by the concept of abduction as a mechanism by which new explanatory hypotheses are introduced. Nevertheless some problems in describing the most interesting abductive issues rise from the classical computational approach. It describes a cognitive process (and so (...) abduction) by the manipulation of internal symbolic representations of external world. This view assumes a discrete set of representations fixed in discrete time jumps, and cannot adequately account for the issue of anticipation and causation of a new hypothesis. An integration of the traditional computational view with some ideas developed inside the so-called dynamical approach can suggest some important insights. The concept of attractor is very significant. It permits a description of the abductive generation of new hypotheses in terms of a catastrophic rearrangement of the parameters responsible for the behavior of the system. (shrink)

What I call theoretical abduction (sentential and model-based)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 (preferred) 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, together with an analysis of the related notions of ``perceptual and inceptual rehearsal'' and of ``external representation''. (shrink)

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)

This article presents silence as a cognitive tool to comprehend the environment. Two dimensions of silence are addressed: a natural mechanism and human beings' social and cultural construction. There is a link between these two dimensions because, on the one hand, agents' cognitive strategies based on silence influence how meanings and uses of silence have been constructed. The meanings of silence we use are contextual shapers of silence-based cognitive strategies. Silence is analyzed as a resource for coping with ambiguity: situations (...) perceived as uncertain provoke doubt and confusion because they can be understood differently or suggest different interpretations. These situations can occur in the face of epistemic disruption. The consequence is a transfer of the ambiguity property of these situations to the usual ways of relating to the world and people. The cognitive approach is based here on a semiotic-hermeneutic interpretation of silence from a phenomenological perspective. This accounts for a paradox: even if silence does not exist (the world is acoustic), it is real. The silence experience is a non-inferential cognitive capacity located at the base of perception: a stimulus that suggests a particular gesture as an action different from the usual one to deal with the environment. (shrink)

In a discussion of Sherlock Holmes’ “science of deduction” and the related “method of exclusion,” I show that Holmes’ claim that his inferences are deductive makes sense, if we consider his theoretical presuppositions. So, it is more accurate to say that he tries to reduce abduction to deduction than that he confuses them. His theoretical framework, albeit inadequate as a theory of empirical reasoning, can be seen as a basic model of classical (symbolic) AI. The main problems of this approach (...) are surveyed, and abduction is brought into play as both a better characterization of Holmes’ inferences and a better guide for building AI systems. This is a good background for raising the question of creativity because, according to Peirce, it relates to abduction in a substantial way. Is Sherlock Holmes creative? Can machines be creative? An affirmative answer to the second question might be given by a “logic of discovery” but the problem remains that inventing such a logic already presupposes creativity. (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)

Inspired by Bermúdez’s notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a negative way of figuring out what it could not be. I shall argue that it could not be purely deductive by exploiting the recent researches in logic of maps. This will allow us to reorient the search for proto-logic, starting with animal abduction. I will also suggest that proto-logic won’t get off the ground without (...) proto-geometry. These negative results will shed some lights on some further conceptual and historical issues around the language of thought hypothesis to arrive at the true proto-logic. (shrink)

This special issue for the Journal for General Philosophy of Science is devoted to exploring the impact and many ramifications of current research in evolutionary epistemology. Evolutionary epistemology is an inter- and multidisciplinary area of research that can be divided into two ever-inclusive research avenues. One research avenue expands on the EEM program and investigates the epistemology of evolution. The other research avenue builds on the EET program and researches the evolution of epistemology. Since its conception, EE has developed three (...) schools of thought: adaptationist, non-adaptationist, and applied EE. Although diverse in outlook and theoretical background, these research avenues and schools share the same agenda of understanding how knowledge evolves, and how it relates to the world. In this paper, we first explain wherefrom evolutionary epistemological schools of thought developed, and then we highlight current debates in EE by briefly reviewing the papers that form part of this special issue. (shrink)

Taking advantage of Denis Noble’s description, in “The Illusions of the Modern Synthesis” of the first illusion, related to the concept of natural selection itself, I will further strengthen the criticism by adding three groups of considerations mainly concerning human cognition: 1) how semiotic brains build cognitive niches; 2) the role of abduction – and in particular of manipulative abduction – in building a semiotic artificial world; 3) the biosemiotics of the so-called disembodiment of the mind. Human semiotic brains are (...) engaged in a continuous process of delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially taking advantage of what I have called “manipulative abduction”. These design semiotic activities are closely related to the process of cognitive niche construction, which should be regarded as the second major participant, after natural selection, in evolution. An important effect of this semiotic brain activity is a continuous process of disembodiment of the mind that exhibits a new cognitive perspective on the mechanisms underlying the semiotic emergence of meaning processes. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...) reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...) the properties associated with the behaviour of the English expression ‘That... best explains why ... ’. We first construct a calculus that encodes these properties at the level of the turnstile, i.e. as a metalinguistic expression for classes of defeasible consequence relations. We then show how this calculus can be conservatively extended over a language that contains a best-explains-why operator. (shrink)

Currently, there is a focus in science education on preparing students for lives as innovative and resilient citizens of the twenty-first century. Key to this is providing students with opportunities, mainly through inquiry processes, for discovery making and developing their creative reasoning by bringing school science closer to authentic science. I propose, building on the work of Woods, Magnani and the authors of a 2005 special issue of Educational Philosophy and Theory on Peirce, that these efforts can be advanced through (...) the adoption of a Peircean logic of discovery in the science classroom. I further suggest that this can only take place if a classical logic that frames school science, which deems abduction—the creative element of reasoning that drives discovery—as fallacious and not valuable as an inference making process, is replaced with a naturalised logic. Such a logic positions students as practical, not ideal agents of reasoning who in their hypothesis making are inferential-experts... (shrink)

Both “optimists” and “sceptics” in regard to extraterrestrial intelligence tend to hold the view that we are entitled to an epistemically clear position: either there will be a signal, in the sufficiently general sense, proving the existence of extraterrestrial intelligence, or no such signal is forthcoming. The distinction, I wish to argue here, is not at all so clear-cut. On the contrary, there are arguments, intrinsic to the subject matter, to the effect that the detection of ETI will be a (...) protracted affair characterized by uncertainty at every step. Such view of SETI discovery mandates different policies from those conventionally discussed in the literature. We should not gear our expectations and publicly promote the view that the Contact will be a clear-cut, Archimedean “Eureka!”-style discovery. In contrast, the tempo and mode of the process of discovery might significantly influence societal and political reactions to the discovery. We should be prepared for such a protracted unfolding of events. (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)

ArgumentUsing a striking example from the history of applied psychology, the concept of accident proneness, this paper suggests that historians of science may still find viable the idea of simultaneous discovery or construction of a scientific idea. Accident proneness was discovered independently in Germany and in Britain during the period of World War I. Later on, in 1926, the idea was independently formulated and named in both countries. The evidence shows not only striking simultaneity but true novelty and commensurateness of (...) the two formulations that crystallized at the same time in parallel, but distinctly separate, settings. (shrink)

The sciences use a wide range of visual devices, practices, and imaging technologies. This diversity points to an important repertoire of visual methods that scientists use to adapt representations to meet the varied demands that their work places on cognitive processes. This paper identifies key features of the use of visualization in a range of scientific domains and considers the implications of this repertoire for understanding scientists as cognitive agents.

An agent-centered, goal-directed, resource-bound logic of human reasoning would do well to note that individual cognitive agency is typified by the comparative scantness of available cognitive resources—information, time, and computational capacity, to name just three. This motivates individual agents to set their cognitive agendas proportionately, that is, in ways that carry some prospect of success with the resources on which they are able to draw. It also puts a premium on cognitive strategies which make economical use of those resources. These (...) latter I callscant-resource adjustment strategies,and they supply the context for an analysis of abduction. The analysis is Peircian in tone, especially in the emphasis it places on abduction’signorance-preservingcharacter. My principal purpose here is to tie abduction’s scarce-resource adjustment capacity to its ignorance preservation. (shrink)

Philosophers have usually offered a number of ways of describing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and then not analysable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. 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. Creativity and discovery are no more seen as a mysterious irrational process, but, thanks to constructive accounts, as a complex relationship among different inferential steps that can be clearly analysed and identified. 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. (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 author suggests that educational philosophy should benefit from addressing questions traditionally asked within discourse in the philosophy of mind, namely: the relation between the mind and world and the problems of intentionality , meaning, and representation. Peirce's semiotics and his category of creative abduction provide a novel conceptual framework for exploring these questions. A model of reasoning and learning, based on Peirce's triadic logic of relations, is analysed. This model, it is argued, is fruitful for overcoming the paradox of (...) new knowledge that was first debated by Socrates in his dialogue with Meno. (shrink)

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)

“What data will show the truth?” is a fundamental question emerging early in any empirical investigation. From a statistical perspective, experimental design is the appropriate tool to address this question by ensuring control of the error rates of planned data analyses and of the ensuing decisions. From an epistemological standpoint, planned data analyses describe in mathematical and algorithmic terms a pre-specified mapping of observations into decisions. The value of exploratory data analyses is often less clear, resulting in confusion about what (...) characteristics of design and analysis are necessary for decision making and what may be useful to inspire new questions. This point is addressed here by illustrating the Popper-Miller theorem in plain terms and using a graphical support. Popper and Miller proved that probability estimates cannot generate hypotheses on behalf of investigators. Consistently with Popper-Miller, we show that probability estimation can only reduce uncertainty about the truth of a merely possible hypothesis. This fact clearly identifies exploratory analysis as one of the tools supporting a dynamic process of hypothesis generation and refinement which cannot be purely analytic. A clear understanding of these facts will enable stakeholders, mathematical modellers and data analysts to better engage on a level playing field when designing experiments and when interpreting the results of planned and exploratory data analyses. (shrink)

During the second half of the last century, the importance of serendipitous events in scientific frameworks has been progressively recognized, fueling hard debates about their role, nature, and structure in philosophy and sociology of science. Alas, while discussing the relevance of the topic for the comprehension of the nature of scientific discovery, the philosophical literature has hardly paid attention to the cognitive significance of serendipity, accepting rather than examining some of its most specific features, such as its game-changing effect, the (...) unexpectedness of its occurrence, and its affinity with the concept of “luck”. Thus, in this paper we aim at analyzing these characteristics in the light of their cognitive implications in the recognition, performance, and possible stimulation of serendipitous events in relation to scientific discoveries. (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)

Although the inferring of explanations plays an important role in both our everyday lives and in the workings of science, I argue that inference to the best explanation as it is commonly conceived is often not the best way to capture this sort of reasoning. I suggest that a different form of reasoning – so-called immediate explanatory inference – is instead often much better suited to this task. This is a form of inference in which we are justified in believing (...) explanations for the evidence before us purely in virtue of this evidence, and not in virtue of the evidence plus some general principle or rule of non-deductive reasoning. I defend the idea of such a notion of inference, and argue that it plays a central role in both ordinary life and science. (shrink)

Design has usually been linked to art and applied in scenarios related to everyday life. Even when design has, on occasion, made its way into the world of academia, it has always been closely linked to art and scenarios related everyday life. At last, however, the idea of design has reached the field of epistemology: an area within the very heart of philosophy that has always focused, in theory, on the foundations of knowledge. Consequently, design is being studied from different (...) approaches interested in the foundation of knowledge, theoretical and practical. This is one of the reasons why abduction and pragmatism have been considered relevant from a design perspective. This paper first shows the main features of abduction and pragmatism, describes their evolution and considers their mutual implications. Second, the epistemology of design is analysed considering its most relevant characteristics. Third, the connection between abduction and, on the one hand, pragmatism and, on the other, design epistemology is addressed. Finally, the role of abductive inference in grounding a real epistemology for design theory from the naturalised cognitive perspective of abduction is outlined. The central proposition is that this approach is essential as a methodological innovation, as it allows us to analyse both the inquiry process and the design process as interdependent when dealing with practical problems of a social and cultural nature. This approach allows us to analyse how human actions determine changes in the theoretical framework from which we make our inquiry. In short, the world is an open-ended project that humans design through our daily inquiry. (shrink)

_Locked_ and _unlocked_ strategies are illustrated in this article as concepts that deal with important cognitive aspects of deep learning systems. They indicate different inference routines that refer to poor (locked) to rich (unlocked) cases of creative production of creative cognition. I maintain that these differences lead to important consequences when we analyze computational deep learning programs, such as AlphaGo/AlphaZero, which are able to realize various types of abductive hypothetical reasoning. These programs embed what I call locked abductive strategies, so, (...) even if they present spectacular performances for example in games, they are characterized by poor types of hypothetical creative cognition insofar as they are constrained in what I call _eco-cognitive openness_. This openness instead characterizes unlocked human cognition that pertains to higher kinds of abductive reasoning, in both the creative and diagnostic cases, in which cognitive strategies are instead unlocked. This special kind of “openness” is physically rooted in the fundamental character of the human brain as an open system constantly coupled with the environment (that is, an “open” or “dissipative” system): its activity is the uninterrupted attempt to achieve the equilibrium with the environment in which it is embedded, and this interplay can never be switched off without producing severe damage to the brain. The brain cannot be conceived as deprived of its physical quintessence that is its openness. In the brain, contrary to the computational case, ordering is not derived from the outside thanks to what I have called in a recent book “computational domestication of ignorant entities”, but it is the direct product of an “internal” open dynamical process of the system. (shrink)

The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences as the proper place to begin reaching at that wider target. The paper outlines the key conceptual elements involved in a naturalistic (...) rendering of Peirce’s late semiotic and logical notion of abductive reasoning. The target is a cognitive-biological model of abduction which preserves the functional integrity of an organism and fulfils the existential imperative for living beings’ evidence of existence. Such a model is an adaptation of Peirce’s late logical schema of abduction proposed in his largely unpublished works during the early 20th century. The proposed model is argued to be a feasible sketch also of recent breakthroughs in computational (sensu Bayesian) cognitive science. (shrink)

La discusión sobre el psicologismo lógico, que parecía ya superada desde Frege-Husserl, ha vuelto a posicionarse hoy en la filosofía de la lógica. Se examina, en primer lugar, la idea según la cual lo que hoy se entiende por lógica respondería en lo esencial a las tesis defendidas por el anti-psicologismo. En segundo término, se plantea que algunos enfoques actuales en ciencia cognitiva, como el de la facultad cognitiva proto-lógica de R.Hanna, y el de los dominios cognitivos, de Stennings y (...) van Lambalgen, permiten apoyar la idea de que la naturaleza de la lógica va más allá de los atributos antipsicologistas. (shrink)

This article discusses the epistemology of design as a process, arguing specifically that sketching and drawing are essential modes of thinking and reasoning. It demonstrates that the commonly accepted notion of a spontaneous and intuitive vision in the mind’s eye—encapsulated in the cliché of the napkin sketch—obscures the exploratory inferences that are made while scribbling with a pencil on a sheet of paper. The draughtsperson, along with their work tools, modes of notation, specific techniques, and epistemic strategies as well as (...) the resulting design artefacts form milieus of reflection that facilitate complex processes of exploration. Case studies, including the genesis of the Mini by Alec Issigonis, samples of work by Alvar Aalto, and a reinterpretation of student sketches from a classical design study by Gabriela Goldschmidt, serve to illustrate how drawing inferences with pencil and paper occurs. (shrink)

The purpose of this study was to investigate the features of modeling-based abductive reasoning as a disciplinary practice of inquiry in the domain of earth science. The study was based on an undergraduate course of a university of education, Korea, offered for preservice elementary teachers majoring in science as their specialty. The course enrollees participated in an inquiry project in which they were asked to abductively generate models representing past geologic events in order to explain how two units in a (...) sedimentary rock outcrop had been formed. Three students were selected as major informants for the study, and multiple types of qualitative data were collected, including the students’ sketchbook records, audio-recording of whole-class presentation and discussion, and interviews with the students. The data were analyzed according to the method of analytical induction, which yielded three assertions as the findings of the study. First, while an explanatory model can be generated by combining resource models, the combination of resource models does not necessarily result in a scientifically sound explanatory model. Second, a systemic approach can help activate a critical resource model which can in turn lead to a scientifically sound explanatory model. Third, simulations with a model can enhance the plausibility of the model. Based on these findings, causal combinations of resource models, a systemic approach to earth scientific problem-solving, and simulations with a model are suggested and discussed as implications for science education and relevant research. (shrink)

The naturalization of logic aims at a revision of mainstream logic. In this article, I contend it is an urgent task to be completed. This new project will permit a new collaboration between logic and cognitive science. This can be accomplished doing for logic what many decades ago Quine and other philosophers undertook in the case of epistemology. First of all, this article analyzes how the naturalization can be achieved thanks to some insights provided by the recent John Woods’ book (...) Errors of Reasoning: Naturalizing the Logic of Inference; important concepts that regard a naturalized logic are synthetically analyzed: errors, paradigm creep, third-way reasoning, consequence-having and consequence drawing, agent based reasoning. The article also takes advantage of my own studies, which are aimed both at exculpating the negative fallacious character of abduction and at illustrating the EC-model of it, I have recently proposed. Aiming at encouraging the project of naturalization of logic, the article specifically recommends the increase of logical research on abduction, and emphasizes how current philosophical and logical research on human inferences is indebted towards Charles Sanders Peirce, a philosopher whose importance and modernity are too often underestimated. The final part of the article will introduce an analysis of the importance of the so-called optimization of situatedness, a concept that is necessary to understand that maximization of “abducibility”, which characterizes modern science. (shrink)

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to consensus-formation, (...) such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

Toulmin is famously seen as the progenitor of informal logic and the related theory of argument and is first among many who seek to move the study of argument away from its roots in formal, especially mathematical, logic. Toulmin’s efforts, however, have been substantively criticized by Harvey Siegel, among others, for failing to offer the sort of foundation that, according to Siegel, even Toulmin sees to be required lest the theory of inquiry fall to impotent relativism. What I will attempt (...) to indicate in this paper is, that although Toulmin is correct in rejecting mathematical logic as standardly construed as an adequate theory of argument, and logical empiricist constructions as an adequate basis for the philosophical understanding of science, there is a significant role for metamathematics in the new logic. In particular, I will show how a formal model based on mature physical science rather than arithmetic furnishes crucial support to Toulmin, furnishing philosophical metaphors that afford the foundational support required for normativity and the clarification of key logical concepts required for a robust normative theory of argument in the context of inquiry. (shrink)

Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point but “in” the point. We are interested in our research in the diagrams (...) which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role, and an unveiling role. In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations. (shrink)

It is suggested that Charles Sanders Peirce's triadic semiotics provides a framework for a diagrammatic representation of a sign's proper structure. The action of signs is described at the logical and psychological levels. The role of (unconscious) abductive inference is analyzed, and a diagram of reasoning is offered. A series of interpretants transform brute facts into interpretable signs thereby providing human experience with value or meaning. The triadic structure helps in de-mystifying the relations between Penrose's three worlds when the latter (...) are considered as constituting a semiotic triangle. (shrink)

In this paper, we argue that one way to approach what is known in the literature as the “Trust Gap” in Medical AI is to focus on explanations from an Explainable AI (xAI) perspective. Against the current framework on xAI – which does not offer a real solution – we argue for a pragmatist turn, one that focuses on understanding how we provide explanations in Traditional Medicine (TM), composed by human agents only. Following this, explanations have two specific relevant components: (...) they are usually (i) social and (ii) abductive. Explanations, in this sense, ought to provide understanding by answering contrastive _why-questions_: “Why had P happened instead of Q?” (Miller in AI 267:1–38, 2019) (Sect. 1 ). In order to test the relevancy of this concept of explanation in medical xAI, we offer several reasons to argue that abductions are crucial for medical reasoning and provide a crucial tool to deal with trust gaps between human agents (Sect. 2 ). If abductions are relevant in TM, we can test the capability of Artificial Intelligence systems on this merit. Therefore, we provide an analysis of the capacity for social and abductive reasoning of different AI technologies. Accordingly, we posit that Large Language Models (LLMs) and transformer architectures exhibit a noteworthy potential for effective engagement in abductive reasoning. By leveraging the potential abductive capabilities of LLMs and transformers, we anticipate a paradigm shift in the integration of explanations within AI systems. This, in turn, has the potential to enhance the trustworthiness of AI-driven medical decisions, bridging the Trust Gap that has been a prominent challenge in the field of Medical AI (Sect. 3 ). This development holds the potential to not only improve the interpretability of AI-generated medical insights but also to guarantee that trust among practitioners, patients, and stakeholders in the healthcare domain is still present. (shrink)

The aim of this article is to analyse the kind of inference used in the reconstruction of proto-languages. Hypothesis is at the core of this reconstruction process and this, together with the structure of reasoning involved, indicates abductive reasoning. We analyse abductive reasoning, and specify its nuances and particularities. The novelty we introduce is the importance of context as we focus on a form of abduction that goes beyond the context in which the scientific work is being developed by incorporating (...) contexts from other sciences. Therefore, an intercontextual chain of inference can be part of abductive reasoning processes and the resulting hypothesis remains provisional. Several disciplines, such as archaeology, history and linguistics, play a cognitive role in the reconstruction of proto-languages, thus requiring more than one context. We use the case of the reconstruction of proto-Semitic and the unexpected fact of the Ugarit and Ebla discoveries (plus Amorite names). This sample may shed light on the use of abduction to explain certain scientific practices. (shrink)