Lorenzo Magnani

The status of abduction is still controversial. When dealing with abductive reasoning misinterpretations and equivocations are common. What did Peirce mean when he considered abduction both a kind of inference and a kind of instinct or when he considered perception a kind of abduction? Does abduction involve only the generation of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epistemic, or pragmatic, or both? Does abduction preserve ignorance or extend truth or both? To study some of these conundrums and to better understand the concept of visual abduction, I think that an interdisciplinary effort is needed, at the same time fecundated by a wide philosophical analysis. To this aim I will take advantage of some reflections upon Peirce’s philosophy of abduction that I consider central to highlight the complexity of the concept, too often seen in the partial perspective of limited formal and computational models. I will ponder over some seminal Peircean philosophical considerations concerning the entanglement of abduction, perception, and inference, which I consider are still important to current cognitive research. Peircean analysis helps us to better grasp how model-based, sentential, manipulative, and eco-cognitive aspects of abduction—I have introduced in my book Abductive Cognition —have to be seen as intertwined, and indispensable for building an acceptable integrated model of visual abduction. Even if speculative, Peircean philosophical results on visual abduction certainly anticipate various tenets of recent cognitive research

Locked and unlocked strategies are at the center of this article, as ways of shedding new light on the cognitive aspects of deep learning machines. The character and the role of these cognitive strategies, which are occurring both in humans and in computational machines, is indeed strictly related to the generation of cognitive outputs, which range from weak to strong level of knowledge creativity. I maintain that these differences lead to important consequences when we analyze computational AI programs, such as AlphaGo, which aim at performing various kinds of abductive hypothetical reasoning. In these cases, the programs are characterized by _locked_ abductive strategies: they deal with weak (even if sometimes amazing) kinds of hypothetical creative reasoning, because they are limited in what I call eco-cognitive openness, which instead qualifies human cognizers who are performing higher kinds of abductive creative reasoning, where cognitive strategies are instead _unlocked_.

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.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR’015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning.

Theoretical and manipulative abduction conjectures and manipulations : the extra-theoretical dimension of scientific discovery. -- Non-explanatory and instrumental abduction : plausibility, implausibility, ignorance preservation. -- Semiotic brains and artificial minds : how brains make up material cognitive systems. -- Neuromultimodal abduction : pre-wired brains, embidiment, neurospaces. -- Animal abduction : from mindless organisms to srtifactual mediators. -- Abduction, affordances, and cognitive niches : sharing representations and creating chances through cognitive niche construction. -- Abduction in human and logical agents : hasty generalizers, hybrid abducers, fallacies. -- Morphodynamical abduction : causation of hypotheses by attractors dynamics.

In this paper, we aim at explaining the relevance of thought experiments in philosophy and the history of science by describing them as particular instances of two categories of creative thinking: metaphorical reasoning and abductive cognition. As a result of this definition, we will claim that TEs hold an ignorance-preserving trait that is evidenced in both TEs inferential structure and in the process of scenario creation they presuppose. Elaborating this thesis will allow us to explain the wonder that philosophers of science have consistently shown for TEs, as well as the high functionality of TEs in the creative aspects of scientific and philosophical praxis.

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.

What role does language play in the process of building worldviews? To address this question, in the first section of this paper we will clarify what we mean by worldviews and how they differ, in our perspective, from cosmovisions. In a nutshell, we define worldviews as the biological interpretations agents create of the world around them and cosmovision the more general cultural-based reflections on it. After presenting our definition for worldview, we will also present the multi-shaped viewpoint that frames our analysis, adopting three concepts that can help us explain how agents construct and develop their worldviews: saliences, pregnances, and abduction. While the notions of saliences and pregnances will explain how agents recognize anomalies in their worldview, the concept of abduction will help us discuss how they can learn to approach, explain, and use these anomalies to get new skills and abilities. This other point will lead us to discuss the role of language in this process, which will be describe as an artifact that permits the agent to use abduction to “normalize” and exploit anomalies, being now the ultimate artifact to build, develop, and update their worldviews.

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

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.

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 explanations 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 notion of external representation . Finally, some examples of computational programs that simulate geometrical reasoning are illustrated. The computational embodiment generates a kind of squared epistemic mediator: geometrical construction, as an example of epistemic mediator, is further mediated

Cognitive niche construction theory provides a new comprehensive account for the development of human cultural and social organization with respect to the management of their environment. Cognitive niche construction can be seen as a way of lessening complexity and unpredictability of a given environment. In this paper, we are going to analyze economic systems as highly technological cognitive niches, and individuate a link between cognitive niche construction, unpredictability and a particular kind of economic crises.

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

The complexity of cognitive emulation of human diagnostic reasoning is the major challenge in the implementation of computer-based programs for diagnostic advice in medicine. We here present an epistemological model of diagnosis with the ultimate goal of defining a high-level language for cognitive and computational primitives. The diagnostic task proceeds through three different phases: hypotheses generation, hypotheses testing and hypotheses closure. Hypotheses generation has the inferential form of abduction (from findings to hypotheses) constrained under the criterion of plausibility. Hypotheses testing is achieved by a deductive inference (from generated hypotheses to expected findings), followed by an eliminative induction, constrained under the criterion of covering, which matches expected findings against patient''s findings to select the best explanation. Hypotheses closure is a deductive-inductive type of inference very similar to the inferences operating in hypotheses testing. In this case induction matches the consequences of the generated hypotheses against the patient''s characteristics or preferences under the criterion of utility. By using the language exploited in this epistemological model, it is possible to describe the cognitive tasks underlying the most influential knowledge-based diagnostic systems

Humans continuously delegate and distribute cognitive functions to the environment to lessen their limits. They build models, representations, and other various mediating structures, that are thought to be good to think. The case of scientific innovation is particularly important: the main aim of this paper is to revise and criticize the concept of scientific innovation, reframing it in what I will call an eco-epistemic perspective, taking advantage of recent results coming from the area of distributed cognition and abductive cognition . Taking advantage of this eco-cognitive perspective the article outlines how innovative scientific modeling activity can be better described taking advantage of the concept of “epistemic warfare”, which sees scientific enterprise as a complicated struggle for rational knowledge in which it is crucial to distinguish epistemic from non epistemic weapons

The present contribution describes the nature of social practices based on habitual behavior. The first part concerns the notion of “habit” from a perspective that crosses philosophy and science. Habits structure our daily life and possess a social nature, as shown by informally shared habits and institutionalized rituals. After a brief reference to the philosophical debate, we point out the fundamental dimensions of habitual behavior, i.e., routine and goal-directed behavior. They also characterize shared social habits like rituals because we need to: (a) simply follow social institutional practices and (b) actively cooperate to reach a certain goal. Our descriptive strategy aims at promoting the aspect of “control” in habitual behavior, namely, the possibility of accepting or refusing to do something. This control does not work in many pathological cases and cases of auto-illusion. The second part of the article will illustrate the interesting but disregarded case of the epistemic and moral embubblement, explaining it as an individual cognitive process and as a specific social practice that once followed or institutionalized becomes a shared practice routinely performed. The main features of an epistemic bubble concern the widespread situation in which the cognitive agents always resolve the tension between their thinking that they know _P_ and their knowing _P_ in favor of knowing that _P_”. The related case of the moral bubble indicates the situation in which agents are potentially or actually violent and unaware of it. This cognitive process expresses how difficulties in recognizing one’s own violence leads to disregarding the possible or actual inflicted harm: in this case, a process of what can be called “autoimmunity” is at play. We will contend that the concept of moral bubble can provide an integrated and unified perspective able to interpret in a novel way many social practices in which morality and violence are intertwined.

In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole cognitive/philosophical view on it and on other more restricted logical approaches. I will provide further insight on two aspects. The first is re-lated to the importance of increasing logical knowledge on abduction: Aliseda clearly shows how the logical study on abduction in turn helps us to extend and modernize the classical and received idea of logic. The second refers to some ideas coming from the so-called distributed cognition and concerns the role of logical models as forms of cognitive exter-nalizations of preexistent in-formal human reasoning performances. The logical externalization in objective systems, communicable and sharable, is able to grant stable perspectives endowed with symbolic, abstract, and rigorous cogni-tive features. I will also emphasize that Aliseda especially stresses that this character of stability and objectivity of logical achievements are not usually present in models of abduction that are merely cognitive and epistemological, and of ex-treme importance from the computational point of view.

This volume is a collection of papers that explore various areas of common interest between philosophy, computing, and cognition. The book illustrates the rich intrigue of this fascinating recent intellectual story. It begins by providing a new analysis of the ideas related to computer ethics, such as the role in information technology of the so-called moral mediators, the relationship between intelligent machines and warfare, and the new opportunities offered by telepresnece, for example in teaching and learning. The book also ties together the concerns of epistemology and logic, showing, for example, the connections between computers, bio-robotics, and scientific research and between computational programs and scientific discovery. Important results coming from recent computational models of deduction, the dynamic nature of meaning, and the role of reasoning and learning in spatial, visual and exemplar-based compuational frameworks are also addressed. Some stimulating papers carefully study how the interplay between computing and philosophy has also shed new light on the role of rational acceptance in the logic of belief and on the status of old philosophical topics like embodiment and consciousness, the role of information and the problem of realism in the new digital world. Finally, a considerable part of the book addresses the role of intenal and external representations in scientific reasoning and creative inferences as well as the place of manipulation of objects and artifacts in human cognition. Taking these topics together this book describes an aspect of an emerging agenda which is likely to carry the interaction between philosophy, cognition and computing forward into the twenty-first century. The volume is based on the papers that were presented at the International European Conference Computing and Philosophy, E-CAP2004, Italy, held at the University of Paiva, Paiv, Italy in June 2004, chaired by Lorenzo Magnani.

Eco-cognitive computationalism considers computation in context, following some of the main tenets advanced by the recent cognitive science views on embodied, situated, and distributed cognition. It is in the framework of this eco-cognitive perspective that we can usefully analyze the recent attention in computer science devoted to the importance of the simplification of cognitive and motor tasks caused in organic entities by the morphological features: ignorant bodies can be domesticated to become useful “mimetic bodies”, that is able to render an intertwined computation simpler, resorting to that “simplexity” of animal embodied cognition, which represents one of the main quality of organic agents. Through eco-cognitive computationalism we can clearly acknowledge that the concept of computation changes, depending on historical and contextual causes, and we can build an epistemological view that illustrates the “emergence” of new kinds of computations, such as the one regarding morphological computation. This new perspective shows how the computational domestication of ignorant entities can originate new unconventional cognitive embodiments. In the last part of the article I will introduce the concept of overcomputationalism, showing that my proposed framework helps us see the related concepts of pancognitivism, paniformationalism, and pancomputationalism in a more naturalized and prudent perspective, avoiding the excess of old-fashioned ontological or metaphysical overstatements.

This article aims at commenting in a novel way on the concept of political correctness, by showing that, even if adopting a politically-correct behavior aims at promoting a precise moral outcome, violence can be still perpetrated, despite good intentions. To afford in a novel way the problem of political correctness, I will adopt a theoretical strategy that adheres to moral stoicism, the problem of “silence”, the “fascist state of the mind” and the concept of “overmorality”, which I have introduced in my book Understanding Violence. The Intertwining of Morality, Religion, and Violence: A Philosophical Stance. I will demonstrate that political correctness certainly obeys the stoic moral rule, which teaches us that we have to diminish conflicts and, so, the potential for derived violence, by avoiding to pronounce words and expressions that can be offensive and so conflict making. Unfortunately, political correctness often increases the so-called already widespread overmorality, typical of our era, and postulates too many minor moral values to be attributed to individuals and groups, which must be respected. Therefore, engaging in political correctness obscures more serious issues regarding social, political and economic life, committing a sin of abstractness and idealization. At the same time, by discouraging the use of words and expressions, the intrinsic overmoralization at work creates potential new conflicts and potential derived violence.

Camouflage commonly refers to the ability to make something appear as different from what it actually is, or not to make it appear at all. This concept originates from biological studies to describe a range of strategies used by organisms to dissimulate their presence in the environment, but it is frequently borrowed by other semantic fields as it is possible to camouflage one’s position, intentions, opinion etc.: an interesting conceptual continuum between the multiple denotations of camouflage seems to emerge from the multiple homologies. Following this outlook, the first part of this paper aims at sketching out the main forms of camouflage as understood within their biological framework, insisting on the inferential dynamics underdetermined and allowing camouflage, making use of the concept of abduction as received from the Peircean heritage. The second part explores some of the most relevant occurrences of camouflage in dialectical and rhetorical perspectives. The third section aims at drawing the sums of the comparison between linguistic and biological camouflage, showing how strategies aimed at debunking verbal camouflage correspond to their respective countermeasures in biologically-intended camouflage.

This book employs a new eco-cognitive model of abduction to underline the distributed and embodied nature of scientific cognition. Its main focus is on the knowledge-enhancing virtues of abduction and on the productive role of scientific models. What are the distinctive features that define the kind of knowledge produced by science? To provide an answer to this question, the book first addresses the ideas of Aristotle, who stressed the essential inferential and distributed role of external cognitive tools and epistemic mediators in abductive cognition. This is analyzed in depth from both a naturalized logic and an ecology of cognition perspective. It is shown how the maximization of cognition, and of abducibility – two typical goals of science – are related to a number of fundamental aspects: the optimization of the eco-cognitive situatedness; the maximization of changeability for both the input and the output of the inferences involved; a high degree of information-sensitiveness; and the need to record the “past life” of abductive inferential practices. Lastly, the book explains how some impoverished epistemological niches – the result of a growing epistemic irresponsibility associated with the commodification and commercialization of science – are now seriously jeopardizing the flourishing development of human creative abduction.

In this paper we present some algorithms for computing minimal conflicts. First of all we discuss the relationship between minimal conflicts and minimally inconsistent subsets. Then we introduce an algorithm for computing all minimally inconsistent subsets, which is applied to generating all minimal conflicts. Furthermore, an algorithm for computing all minimal conflicts using structured description is introduced, and its correctness is proved; its time complexity is also shown. The algorithm using structured description terminates in polynomial time for some special system, such as the tree–structured systems. The algorithms are also complared with related works

In this article I will show why and how it is useful to exploit the hexagon of opposition to have a better and new understanding of the relationships between morality and violence and of fundamental axiological concepts. I will take advantage of the analysis provided in my book Understanding Violence. The Intertwining of Morality, Religion, and Violence: A Philosophical Stance. Springer, Heidelberg/Berlin, 2011) to stress some aspects of the relationship between morality and violence, also reworking some ideas by John Woods concerning the so-called epistemic bubbles, to reach and describe my own concept of moral bubbles. The study aims at providing a simple theory of basic concepts of moral philosophy, which extracts and clarifies the strict relationship between morality and violence and more, for example the new philosophical concept of overmorality. I will also conclude that this kind of hybrid diagrammatic reasoning is a remarkable example of manipulative explanatory abduction—through drawing—in the spirit of “conceptual structuralism”, promoted by Robert Blanché and further developed by Jean-Yves Béziau.

I will analyse some properties of abduction that are essential from a logical standpoint. When dealing with the so-called ‘inferential problem’, I will opt for the more general concepts of input and output instead of those of premisses and conclusions, and show that in this framework two consequences can be derived that help clarify basic logical aspects of abductive reasoning: (i) it is more natural to accept the ‘multimodal’ and ‘context-dependent’ character of the inferences involved, (ii) inferences are not merely conceived of in the terms of the process leading to the ‘generation of an output’ or to the proof of it, as in the traditional and standard view of deductive proofs, but rather, from this perspective abductive inferences can be seen as related to logical processes in which input and output fail to hold each other in an expected relation, with the solution involving the modification of inputs, not that of outputs. I will also describe that if we wish to naturalize the logic of the abductive processes and its special consequence relation, we should refer to the following main aspects: ‘optimization of situatedness’, ‘maximization of changeability’ of both input and output, and high ‘information-sensitiveness’.