he formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic concepts, such as preference criteria for explanations, and the extension to first order logic has not been settled.Investigating the nature of abduction outside the context of resolution based logic programming still deserves attention, in order to characterize abductive explanations without tailoring them to any fixed method of computation. In fact, resolution is surely not the best tool for facing meta-logical (...) and proof-theoretical questions.In this work the analysis of the concepts involved in abductive reasoning is based on analytical proof systems, i.e. tableaux and Gentzen-type systems. A proof theoretical abduction method for first order classical logic is defined, based on the sequent calculus and a dual one, based on semantic tableaux. The methods are sound and complete and work for full first order logic, without requiring any preliminary reduction of formulae into normal forms. In the propositional case, two different characterizations are given for abductive explanations, each of them being the declarative counterpart of a different algorithm for the generation of explanations. The first one corresponds the generation of the whole set of minimal and consistent explanations, where minimality is checked by comparison with the other elements of the set. The second characterization corresponds to a algorithm for generating a single minimal explanation that is consistent with the theory.The first order versions of the abductive systems make use of unification and dynamic herbrandization/skolemization of formulae. The construction of the abduced formula is pursued by means of de-skolemization. The first order methods are very loose in discarding explanations that are not minimal In fact, the question of minimality in first order abduction is a main issue. As usually defined, minimality is undecidable, for two different reasons: determining whether an explanation is better than another one is in general undecidable; the set of explanations may be infinite. Moreover, because of , a minimal element may not exist. Such problems suggest that the minimality requirement should be relaxed, possibly defining it w.r.t. a stronger relation than logical consequence. (shrink)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over other (...) methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two systems of (...) natural deduction and prove them to be sound and complete. We conclude with a ‘Theorem of Inversion’. (shrink)

This article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

An extended review of what is known about the formal behaviour of nonmonotonic inference operations, including those generated by the principal systems in the artificial intelligence literature. Directed towards computer scientists and others with some background in logic.

It is often claimed that there can be no such thing as a logic of scientific discovery, but only a logic of verification. By 'logic of discovery' is usually meant a normative theory of discovery processes. The claim that such a normative theory is impossible is shown to be incorrect; and two examples are provided of domains where formal processes of varying efficacy for discovering lawfulness can be constructed and compared. The analysis shows how one can treat operationally and formally (...) phenomena that have usually been dismissed with fuzzy labels like 'intuition' and 'creativity'. (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

In this paper, I present two ampliative adaptive logics: LA and LAk. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LAk is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LAk is to capture the notion of empirical progress as studied by Theo Kuipers.

This is a survey paper. Contents: 1 Introduction -- 2 The representation of belief -- 3 Kinds of belief change -- 4 Coherence constraints for belief revision -- 5 Different modes of belief change -- 6 Two strategies for characterizing rational changes of belief - 6.1 The postulates strategy - 6.2 The constructive strategy -- 7 An abstract view of the elements of belief change -- 8 Iterated changes of belief -- 9 Further developments - 9.1 Variants and extensions of (...) belief revision - 9.2 Updates - 9.3 Default inferences as expectation revision - 9.4 Belief merging -- 10 Concluding remarks. (shrink)

In this paper I argue for a place for logic inscientific methodology, at the same level asthat of computational and historicalapproaches. While it is well known that a awhole generation of philosophers dismissedLogical Positivism (not just for the logicthough), there are at least two reasons toreconsider logical approaches in the philosophyof science. On the one hand, the presentsituation in logical research has gone farbeyond the formal developments that deductivelogic reached last century, and new researchincludes the formalization of several othertypes of (...) reasoning, like induction andabduction. On the other hand, we call for abalanced Philosophy of Science, one inwhich both methods, the formal and thehistorical may be complementary, togetherproviding a pluralistic view of science, inwhich no method is the predominant one. (shrink)

Paperback. This volume finds its origin in a colloquium on Logic and Argumentation, held in June 1994 in Amsterdam and sponsored by the Royal Netherlands Academy of Arts and Sciences. The papers included have been selected for the role they can play in illuminating current thinking about the various kinds of relations between logic and argumentation.Aiming to provide some background to the academic endeavour of exploring the connections between logic and argumentation this volume offers the reader some representative specimina of (...) current thinking about this subject. (shrink)

In this paper I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.

In this paper I address the question of the dynamics of empirical progress, both in theory evaluation and in theory improvement. I meet the challenge laid down by Theo Kuipers in Kuipers (1999), namely to operationalize the task of "instrumentalist abduction," that is, theory revision aiming at empirical progress. I offer a reformulation of Kuipers' account of empirical progress in the framework of (extended) semantic tableaux and show that this is indeed an appealing method by which to account for some (...) specific kind of empirical progress, that of lacunae. (shrink)