A formal logic for abductive reasoning

&
Logic Journal of the IGPL 14 (2):221-236 (2006)
  Copy   BIBTEX

Abstract

This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint . Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzk015

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Journal of Philosophical Logic 47 (6):913-945.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Special Issue: Formal Representations in Model-based Reasoning and Abduction.Lorenzo Magnani, Walter Carnielli & Claudio Pizzi - 2012 - Logic Journal of the IGPL 20 (2):367-369.
Proof Theory of First Order Abduction: Sequent Calculus and Structural Rules.Seyed Ahmad Mirsanei - 2021 - Eighth Annual Conference of Iranian Association for Logic (Ial).
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.Mario Piazza, Gabriele Pulcini & Andrea Sabatini - 2023 - Journal of Philosophical Logic 52 (6):1575-1602.
A Hybrid Abductive Inductive Proof Procedure.Oliver Ray, Krysia Broda & Alessandra Russo - 2004 - Logic Journal of the IGPL 12 (5):371-397.
The relevance logic of Boolean groups.Yale Weiss - 2023 - Logic Journal of the IGPL 31 (1):96-114.
Modelling Abduction in Science by means of a Modal Adaptive Logic.Tjerk Gauderis - 2013 - Foundations of Science 18 (4):611-624.

Analytics

Added to PP
2013-11-24

Downloads
38 (#572,645)

6 months
8 (#533,737)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Diderik Batens
University of Ghent
Joke Meheus
University of Ghent

Citations of this work

Truth-Seeking by Abduction.Ilkka Niiniluoto - 2018 - Cham, Switzerland: Springer.
A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.

View all 12 citations / Add more citations

References found in this work

What Is Abduction? The Fundamental Problem of Contemporary Epistemology.Jaakko Hintikka - 1998 - Transactions of the Charles S. Peirce Society 34 (3):503 -.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
Dynamic dialectical logics.Diderik Batens - 1989 - In Graham Priest, Richard Routley & Jean Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 187--217.
Model-based creative abduction.L. Magnani - 1999 - In L. Magnani, Nancy Nersessian & Paul Thagard (eds.), Model-Based Reasoning in Scientific Discovery. Kluwer/Plenum. pp. 219--238.

View all 10 references / Add more references