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)

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)

This paper addresses the question of how scientists determine which type of hypothesis is most suitable for tackling a particular problem by examining the historical case of the anomalous β spectrum in early nuclear physics, a puzzle that occasioned the most diverse hypotheses amongst physicists at the time. It is shown that such determinations are most often implicitly informed by scientists' individual perspectives on the structural relations between the various elements of the theory and the problem at hand. In addition (...) to this main result, it is suggested that Wolfgang Pauli's neutrino idea may well have been an adaptation of Ernst Rutherford's original and older neutron idea, which would provide evidence that the adaptation of older ideas is a more common practice than is often thought. (shrink)

Modern explainable AI methods remain far from providing human-like answers to ‘why’ questions, let alone those that satisfactorily agree with human-level understanding. Instead, the results that such methods provide boil down to sets of causal attributions. Currently, the choice of accepted attributions rests largely, if not solely, on the explainee’s understanding of the quality of explanations. The paper argues that such decisions may be transferred from a human to an XAI agent, provided that its machine-learning algorithms perform genuinely abductive inferences. (...) The paper outlines the key predicament in the current inductive paradigm of ML and the associated XAI techniques, and sketches the desiderata for a truly participatory, second-generation XAI, which is endowed with abduction. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

This paper presents an enrichment of the Gabbay–Woods schema of Peirce’s 1903 logical form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources to model justified assertions. It analyses the enriched schema and puts it into the perspective of Peirce’s logic and philosophy.

The paper proposes a way to naturalise Charles S. Peirce’s conception of the scientific method, which he specified in terms of abduction, deduction and induction. The focus is on the central issue of the economy of research in abduction and self-correction by error reduction in induction. We show how Peirce’s logic of science receives support from modern breakthroughs in computational neuroscience, and more specifically from Karl Friston’s statements of active inference and the Free Energy Principle, namely the account of how (...) organisms’ capacity to decrease the discrepancy between the expected value and actual outcomes entails the minimisation of errors in their hypotheses about the world. A scientific account of organisms’ capacity to choose policies and form expectations is aligned with Peirce’s theories of abduction and induction, and especially with the economy of research. The upshot is the recovery of Peirce’s theory of the logic of science in the context of active inquiry. (shrink)

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of (...) an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (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)

This is an examination of similarities and differences between Atocha Aliseda’s semantic tableaux analysis of abduction and Dov Gabbay’s and the present author’s ignorance-preservation model of it. Also discussed is the suitability of these models for the analysis of the logical structure of legal reasoning.

The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare ${\mathsf{AH}}$ and $\mathsf{HLP}$. Then, we underline the expressive and inferential richness of both systems in (...) dealing with hypothetical judgements, especially when based on different, sometimes conflicting, evidence. (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)

Abductive conclusions are drawn in a special, co-hortative mood. Abductive conclusions are representative interpretants that represent abduction as a form of reasoning that can convey a general conception of the truth. The truth is not asserted; abduction merely delivers the idea of a matter of course, rendering that idea comparatively simple and natural, hence assuring us of its justified assertibility. Hence abductive reasoning is at home in addressing ‘How Possible’-questions in science. Abductive reasoning concerns the question of how things might, (...) could or would conceivably be such that they can be plausibly asserted. Peirce took all reasoning to be diagrammatic and representable using the graphical method of logic. Yet no examples have previously been found in his large manuscript corpus of what such non-deductive graphs might look like. This paper proposes a new interpretation of a sole exception, a sketch of two graphs from a rejected page from 1903, which might be the only surviving example of Peirce’s abductive graphs. The proposed interpretation takes them to be representative interpretants of this special inverse type of inference. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

This is an examination of similarities and differences between two recent models of abductive reasoning. The one is developed in Atocha Aliseda’s Abductive Reasoning: Logical Investigations into the Processes of Discovery and Evaluation (2006). The other is advanced by Dov Gabbay and the present author in their The Reach of Abduction: Insight and Trial (2005). A principal difference between the two approaches is that in the Gabbay-Woods model, but not in the Aliseda model, abductive inference is ignorance-preserving. A further differ-ence (...) is that Aliseda reconstructs the abduction relation in a semantic tableaux environment, whereas the Woods-Gabbay model, while less systematic, is more general. Of particular note is the connection between abduction and legal reasoning. (shrink)

In criminal cases at common law, juries are permitted to convict on wholly circumstantial evidence even in the face of a reasonable case for acquittal. This generates the highly counterintuitive—if not absurd—consequence that there being reason to think that the accused didn’t do it is not reason to doubt that he did. This is the no-reason-to-doubt problem. It has a technical solution provided that the evidence on which it is reasonable to think that the accused didn’t do it is a (...) different subset of the total evidence from that on which there is no reason to doubt that he did do it. It lies in the adversarial nature of criminal proceedings in the common law tradition that the subsets of the total evidence on which counsel base their opposing arguments are themselves different from and often incompatible with one another. While this solves the no-reason-to-doubt problem, it does so at the cost of triggering a second problem just as bad. It is the no-rival problem, according to which incompatible theories of the case based on incompatible subsets of the evidence cannot be rivals of one another. If neither party’s case contradicts the other’s then, by the burden of proof requirement, criminal convictions are impossible. Once having generated the dilemma, the object of the paper is to determine how it might be escaped. (shrink)

For scientific essentialists, the only logical possibilities of existence are the real (or metaphysical) ones, and such possibilities, they say, are relative to worlds. They are not a priori, and they cannot just be invented. Rather, they are discoverable only by the a posteriori methods of science. There are, however, many philosophers who think that real possibilities are knowable a priori, or that they can just be invented. Marc Lange [Lange 2004] thinks that they can be invented, and tries to (...) use his inventions to argue that the essentialist theory of counterfactual conditionals developed in Scientific Essentialism [Ellis 2001, hereafter SE ] is flawed. (shrink)

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we (...) show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well. (shrink)

The totality of evidence heard in a trial is usually collectively inconsistent, indeed often jointly incoherent. In those cases in which each party offers its own theory of the evidence, an abduction is forwarded which best explains a coherent subset of the evidence. Since these are themselves often jointly incoherent subsets S and S*, we have the following difficulty. Opposing theories are those which purport best to explain different sets of the evidence. In that sense, they aren’t rival theories. How (...) could they be, since “E best explains S” and “~E best explains S*” could both be true? How can the defence’s theory of the case answer the prosecution’s if it does not in some sense contradict it? Examination of the empirical record suggests that when faced with this kind of incommensurability, jurors form their own evidential subsets, for which they themselves try to furnish seek for the best explanation. This at once raises a difficult question. On what basis does a juror select the evidence which his eventual abduction will best explain? It is well-understood that opposing counsel select their respective evidence-sets tendentiously, with a view to facilitation of the desired abduction. But jurors are sworn to objectivity and impartiality. How, or whether, jurors manage to fulfill this obligation is the subject of this paper. A solution will be proposed that draws on Simulation Theory, which arises from recent psychological research. (shrink)