Authors
Joke Meheus
University of Ghent
Abstract
In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we encountered in Aliseda’s algorithms.
Keywords Analytic Philosophy  Philosophy of Science
Categories (categorize this paper)
ISBN(s) 0495-4548
DOI theoria200722326
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,634
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ignorance and Semantic Tableaux: Aliseda on Abduction.John Woods - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):305-318.
Logic and Abduction: Cognitive Externalizations in Demonstrative Environments.Lorenzo Magnani - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):275-284.
Abduction and Inference to the Best Explanation.Valeriano Iranzo - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):339-346.
Idealization, Abduction, and Progressive Scientific Change.Xavier de Donato Rodríguez - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):331-338.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
Lacunae, Empirical Progress and Semantic Tableaux.Atocha Aliseda - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):169-189.

Analytics

Added to PP index
2017-01-11

Total views
13 ( #691,773 of 2,349,052 )

Recent downloads (6 months)
4 ( #186,313 of 2,349,052 )

How can I increase my downloads?

Downloads

My notes