We analyse Peirce's original idea concerning abduction from the perspective of a critical philosophy, the same philosophy in Peirce's background. Peirce's realism is directly related to reason and experience and has ties with the idea of abstraction. We show how the philosophical environment of science abruptly changed, specially for physics, in the last period of the XIX century and the initial period of the XX century, when science was divided in disciplines and set free from the control of philosophy. The (...) phenotype of the physicist changed from abstract into imaginative thinker. Further, abstraction was linked to metaphysics and attacked as such. Elements of phantasy and dogmatism entered the scene in place of abstraction alongside ideas taken from the observable world. We provide evidence that the scientists of the newer kind had problems understanding those of the older school. As a consequence of the problems arisen in conciliating the idea of science grounded in experience and reason with the science actually practised, the former conceptualisation was abandoned. Abduction was then expelled from science. In the late part of the XX century and the early part of our century abduction re-emerged but without its scientific attributes. -/- Influenced by a constructivist, Piagetian, perspective of science, we propose and discuss a small number of conditions that we identify as characteristics of rational abduction: rules for the rational construction of theories. We show how a classical example of belief that satisfies today's most common definition of abduction does not match the standards of scientific retroduction. We further show how the same rules indicate the detachment of Special Relativity from the observable world, a fact actually known to Einstein. Finally, the same rules indicate the initial point in the path to re-conciliate Electromagnetism with the classical view of spatial relations, a matter not possible for the imaginative scientist but not extremely difficult for the abstract scientist. We close arguing that there is an urgent need to develop a critical epistemology, and to give room in science for the abstract scientist. (shrink)

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

We present an epistemological schema of natural sciences inspired by Peirce's pragmaticist view, stressing the role of the \emph{phenomenological map}, that connects reality and our ideas about it. The schema has a recognisable mathematical/logical structure which allows to explore some of its consequences. We show that seemingly independent principles as the requirement of reproducibility of experiments and the Principle of Sufficient Reason are both implied by the schema, as well as Popper's concept of falsifiability. We show that the schema has (...) some power in demarcating science by first comparing with an alternative schema advanced during the first part of the 20th century which has its roots in Hertz and has been developed by Einstein and Popper. Further, the identified differences allow us to focus in the construction of Special Relativity, showing that it uses an intuited concept of velocity that does not satisfy the requirements of reality in Peirce. While the main mathematical observation connected with this issue has been known for more than a century, it has not been investigated from an epistemological point of view. A probable reason could be that the socially dominating epistemology in physics does not encourage such line of work. We briefly discuss the relation of the abduction process presented in this work with discussions regarding ``abduction'' in the literature and its relation with ``analogy''. (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)

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’. (shrink)

In this paper, we address the problem of truth approximation through theory change, asking whether revising our theories by newly acquired data leads us closer to the truth about a given domain. More particularly, we focus on “nomic conjunctive theories”, i.e., theories expressed as conjunctions of logically independent statements concerning the physical or, more generally, nomic possibilities and impossibilities of the domain under inquiry. We define both a comparative and a quantitative notion of the verisimilitude of such theories, and identify (...) suitable conditions concerning the (partial) correctness of acquired data, under which revising our theories by data leads us closer to “the nomic truth”, construed as the target of scientific inquiry. We conclude by indicating some further developments, generalizations, and open issues arising from our results. (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)

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.

I will analyse three fundamental ways of governing ignorance though abduction, which are essential from an eco-cognitive and eco-logical point of view, in which the central role in human cognition of natural and artefactual environment is taken into account. First of all, according to the so-called GW-schema, proposed by Gabbay and Woods, abduction presents an ignorance-preserving or (ignorance-mitigating) character: given the fact that the abduced hypotheses aim at becoming truths, the basic ignorance is neither solved nor left untouched. Second, I (...) will contend that abduction is not always ignorance preserving but also knowledge enhancing. Indeed, according to the eco-cognitive model of abduction, I myself have recently proposed, we can easily see that, occasionally, knowledge can be immediately increased (and ignorance ‘killed’) through abduction: in this perspective, abduction does not have to be rigidly conceptualized as an inference to the best explanation in the received sense, which is as an inference that, to grant truth, also takes advantage of an empirical evaluation phase or an inductive phase, as Peirce classified it. Finally, it is important to stress that abductive cognition is at the roots of two fundamental cognitive processes. On one side, abductive cognition constructs (and/or takes advantage of the exploitation of) embodiments, external representations, enactions, artefacts and props, which involve ignorant entities suitably transformed in cognitive representations and/or devices. On the other side, abductive cognition dominates those ‘special’ cognitive creative processes that lead to what I call the disseminated ‘computational domestication of ignorant entities’: I will illustrate the example of the recent unconventional computational domestication of ignorant entities, which creates novel cognitive embodiments (morphological computation). (shrink)

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)

Theory change is a central concern in contemporary epistemology and philosophy of science. In this paper, we investigate the relationships between two ongoing research programs providing formal treatments of theory change: the (post-Popperian) approach to verisimilitude and the AGM theory of belief change. We show that appropriately construed accounts emerging from those two lines of epistemological research do yield convergences relative to a specified kind of theories, here labeled “conjunctive”. In this domain, a set of plausible conditions are identified which (...) demonstrably capture the verisimilitudinarian effectiveness of AGM belief change, i.e., its effectiveness in tracking truth approximation. We conclude by indicating some further developments and open issues arising from our results. (shrink)

One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a logic of abduction should concern itself with. We are mindful of criticisms that have been levelled against the very idea of a logic of abduction; so we think it prudent to proceed with a certain diffidence. That our own account of abduction is itself abductive is methodological (...) expression of this diffidence. A second objective is to test our conception of abduction's logical structure against some of the more promising going accounts of abductive reasoning. We offer our various suggestions in a benignly advisory way. The primary targets of our advice is ourselves, meant as guides to work we have yet to complete or, in some instances, start. It is possible that our colleagues in the abduction research communities will find our counsel to be of some interest. But we repeat that our first concern is to try to get ourselves straight about what a logic of abduction should encompass. (shrink)

Projectual abduction is the inference drawing the means to achieve an end. Planning a course of action is an inferential task and we claim that the relevant inference is abduction. We distinguish projectual abduction from epistemic abduction. While epistemic abduction aims to determine an explanatory relation, projectual abduction aims to determine a teleological relation. It is important to remind in any case that abduction does not stand by itself: as is true for epistemic abduction, projectual abduction has to be developed (...) and evaluated by subsequent deduction and induction. After defining projectual abduction in section 1, we focus on the relations between projectual abduction, normativity and truth in section 2. Then we sketch how projectual abduction works in artistic creativity , in evolutionary and teleological processes and finally in social processes. (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)

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)

Part I Introduction The specific problem adressed in this thesis is: what is the rational use of theory and experiment in the process of scientific discovery, in theory and in the practice of drug research for Parkinson’s disease? The thesis aims to answer the following specific questions: what is: 1) the structure of a theory?; 2) the process of scientific reasoning?; 3) the route between theory and experiment? In the first part I further discuss issues about rationality in science as (...) introduction to part II, and I present an overview of my case-study of neuropharmacology, for which I interviewed researchers from the Groningen Pharmacy Department, as an introduction to part III. Part II Discovery In this part I discuss three theoretical models of scientific discovery according to studies in the fields of Logic, Cognition, and Computation. In those fields the structure of a theory is respectively explicated as: a set of sentences; a set of associated memory chunks; and as a computer program that can generate the observed data. Rationality in discovery is characterized by: finding axioms that imply observation sentences; heuristic search for a hypothesis, as part of problem solving, by applying memory chunks and production rules that represent skill; and finding the shortest program that generates the data, respectively. I further argue that reasoning in discovery includes logical fallacies, which are neccesary to introduce new hypotheses. I also argue that, while human subjects often make errors in hypothesis evaluation tasks from a logical perspective, these evaluations are rational given a probabilistic interpretation. Part III Neuropharmacology In this last part I discusses my case-study and a model of discovery in a practice of drug research for Parkinson’s disease. I discuss the dopamine theory of Parkinson’s disease and model its structure as a qualitative differential equation. Then I discuss the use and reasons for particular experiments to both test a drug and explore the function of the brain. I describe different kinds of problems in drug research leading to a discovery. Based on that description I distinguish three kinds of reasoning tasks in discovery, inference to: the best explanation, the best prediction and the best intervention. I further demonstrate how a part of reasoning in neuropharmacology can be computationally modeled as qualitative reasoning, and aided by a computer supported discovery system. (shrink)

After a brief comparison of Aliseda’s account with different approaches to abductive reasoning, I try to relate abduction, understood in terms like those of Aliseda, to another concept which also occupies a very important role in scientific change: idealization. In particular, I try to reveal some interesting aspects related to notions like approximation and empirical progress.