Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/oxford-university-press/a-formal-logic-for-abductive-reasoning-0uCooMLLSb
References (23)
-
D. Batens (2007)
A Universal Logic Approach to Adaptive LogicsLogica Universalis, 1
-
D. Batens (1997)
Blocks: the clue to dynamic aspects of logicLogique Et Analyse
-
Paul Thagard (1988)
Computational Philosophy of Science -
D. Batens (2001)
A General Characterization of Adaptive LogicsLogique Et Analyse, 44
-
Jon Williamson (2003)
Abduction, Reason, and Science: Processes of Discovery and ExplanationThe British Journal for the Philosophy of Science, 54
-
D. Batens, J. Meheus (2001)
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive LogicsStudia Logica, 69
-
J. Meheus, L. Verhoeven, M. Dyck, Dagmar Provijn (2002)
Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction, 25
-
L. Magnani (1999)
Model-Based Creative Abduction -
(1989)
Dynamic dialectical logics -
G. Paul (2000)
AI approaches to abduction -
D. Batens (2001)
A Dynamic Characterization of the Pure Logic of Relevant ImplicationJournal of Philosophical Logic, 30
-
D. Batens, J. Meheus (2007)
Recent results by the inconsistency-adaptive labourers. -
J. Hintikka (1999)
What is Abduction? The Fundamental Problem of Contemporary EpistemologyTransactions of The Charles S Peirce Society, 34
-
D. Batens (2004)
The Need for Adaptive Logics In Epistemology -
(1995)
The clue to dynamic aspects of logic. Logique et Analyse -
A. Aliseda-Llera (1998)
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence -
D. Batens (2005)
A procedural criterion for final derivability in inconsistency-adaptive logicsJ. Appl. Log., 3
-
D. Batens, Dagmar Provijn (2003)
Pushing the Search Paths in the Proofs. A Study in Proof HeuristicsLogique Et Analyse
-
Paul Thagard (1999)
How Scientists Explain Disease -
D. Batens, Lieven Haesaert (2003)
On Classical Adaptive Logics of InductionLogique Et Analyse
-
D. Batens (2000)
A survey of inconsistency-adaptive logics -
J. Kohlas, S. Moral (2000)
Handbook of Defeasible Reasoning and Uncertainty Management Systems -
D. Batens, J. Meheus (2000)
A Tableau Method for Inconsistency-Adaptive Logics
- Publisher
- Oxford University Press
- Copyright
- © The Author, 2006. Published by Oxford University Press. All rights reserved.
- ISSN
- 1367-0751
- eISSN
- 1368-9894
- DOI
- 10.1093/jigpal/jzk015
- Publisher site
- See Article on Publisher Site
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 (but not necessarily exhaustive). Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.
Journal
Logic Journal of the IGPL – Oxford University Press
Published: Mar 1, 2006