Description
ELSEVIER A Practical Logic Of Cognitive Systems (The Research Of Abduction Insight And Trial) by Dov M Gabbay and John Woods
The present work is a continuation of the authors' acclaimed multi-volume A
Practical Logic of Cognitive Systems. After having investigated the notion of
relevance in their previous volume, Gabbay and Woods now turn to abduction. In
this highly original approach, abduction is construed as ignorance-preserving
inference, in which conjecture plays a pivotal role. Abduction is a response to a
cognitive target that cannot be hit on the basis of what the agent currently knows.
The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He concludes from this fact that the hypothesis may be conjectured. In allowing conjecture to stand in for the knowledge he fails to have, the abducer reveals himself to be a satisficer, since an abductive solution is not a solution from knowledge. Key to the authors' analysis is the requirement that a conjectured proposition is not just what a reasoner might allow himself to assume, but a proposition he must defeasibly release as a premiss for further inferences in the domain.