Metamodeling abduction

Citation data:

THEORIA. An International Journal for Theory, History and Foundations of Science, ISSN: 2171-679X, Vol: 22, Issue: 3, Page: 285-293

Publication Year:
Usage 140
Downloads 140
Repository URL:
Nepomuceno-Fernández, Ángel; Soler-Toscano, Fernando
Euskal Herriko Unibertsitatea / Universidad del País Vasco
article description
Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspec-tive the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence abduction is defined as a reverse relation corresponding to each one of such relations.