The generation of abductive explanations from inconsistent theories

Logic Journal of the IGPL 20 (2):400-416 (2012)
  Copy   BIBTEX

Abstract

In this article I will show how the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuN(r)from Batens (2005, J. Appl. Logic, 3, 221-250) called pCLuN(r) allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuNr from Batens (2005, J. Appl. Logic, 3, 221-250)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Hierarchic adaptive logics.Frederik Van De Putte - 2012 - Logic Journal of the IGPL 20 (1):45-72.
The adaptive logic of compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency.Diderik Batens - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 101--122.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.

Analytics

Added to PP
2013-11-24

Downloads
14 (#846,545)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Concerning Peter Vickers’s Recent Treatment of ‘Paraconsistencitis’.Dunja Šešelja & Christian Straßer - 2014 - International Studies in the Philosophy of Science 28 (3):325-340.

Add more citations

References found in this work

No references found.

Add more references