A formal logic for abductive reasoning

被引：26

作者：

Meheus, Joke ^{[1
]}

Batens, Diderik ^{[1
]}

机构：

[1] Univ Ghent, Ctr Log & Philosophy Sci, B-9000 Ghent, Belgium

来源：

LOGIC JOURNAL OF THE IGPL | 2006年 / 14卷 / 02期

关键词：

abduction; adaptive logic; dynamic reasoning;

D O I：

10.1093/jigpal/jzk015

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

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.

引用

页码：221 / 236

页数：16

共 21 条

[1]

ALISEDA A, 1997, THESIS U AMSTERDAM N

[2]

[Anonymous], 2000, FRONTIERS PARA CONSI

[3]

[Anonymous], 1999, How scientists explain disease

[4] Shortcuts and dynamic marking in the tableau method for adaptive logics [J].

Batens D. ;

Meheus J. .

Studia Logica, 2001, 69 (2) :221-248

[5]

Batens D, 2004, LOGIC EPISTEMOL UNIT, V1, P459, DOI 10.1007/978-1-4020-2808-3_22

[6]

Batens D, 2001, J PHILOS LOGIC, V30, P276

[7]

Batens D, 2000, LECT NOTES ARTIF INT, V1847, P127

[8]

Batens D., 2001, Logique et Analyse, V44, P45

[9]

BATENS D, IN PRESS PARACONSIST

[10]

Batens D., 2005, J APPL LOGIC, V3, P221

← 1 2 3 →