A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial
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 of enquiry in which the original abduction problem has arisen.



The coverage of the book is extensive, from the philosophy of science to
computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt.



Underlying their analysis of abductive reasoning is the authors' conception of
practical agency. In this approach, practical agency is dominantly a matter of the
comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target.



The Reach of Abduction will be necessary reading for researchers, graduate
students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas.



Key features:



- Reach of Abduction is fully integrated with a background logic of cognitive systems.

- The most extensive coverage compared to competitive works.

- Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

- Demonstrates the satisficing rather than maximizing character of
abduction.

- The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.

· Reach of Abduction is fully integrated with a background logic of cognitive systems.

· The most extensive coverage compared to competitive works

· Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

· Demonstrates the satisficing rather than maximizing character of
abduction.

· The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.

1111340972
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial
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 of enquiry in which the original abduction problem has arisen.



The coverage of the book is extensive, from the philosophy of science to
computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt.



Underlying their analysis of abductive reasoning is the authors' conception of
practical agency. In this approach, practical agency is dominantly a matter of the
comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target.



The Reach of Abduction will be necessary reading for researchers, graduate
students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas.



Key features:



- Reach of Abduction is fully integrated with a background logic of cognitive systems.

- The most extensive coverage compared to competitive works.

- Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

- Demonstrates the satisficing rather than maximizing character of
abduction.

- The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.

· Reach of Abduction is fully integrated with a background logic of cognitive systems.

· The most extensive coverage compared to competitive works

· Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

· Demonstrates the satisficing rather than maximizing character of
abduction.

· The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.

235.0 In Stock
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial

A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial

by Dov M. Gabbay, John Woods
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial

A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial

by Dov M. Gabbay, John Woods

eBook

$235.00 

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers


Overview

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 of enquiry in which the original abduction problem has arisen.



The coverage of the book is extensive, from the philosophy of science to
computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt.



Underlying their analysis of abductive reasoning is the authors' conception of
practical agency. In this approach, practical agency is dominantly a matter of the
comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target.



The Reach of Abduction will be necessary reading for researchers, graduate
students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas.



Key features:



- Reach of Abduction is fully integrated with a background logic of cognitive systems.

- The most extensive coverage compared to competitive works.

- Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

- Demonstrates the satisficing rather than maximizing character of
abduction.

- The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.

· Reach of Abduction is fully integrated with a background logic of cognitive systems.

· The most extensive coverage compared to competitive works

· Demonstrates not only that abduction is a form of ignorance preserving
inference but that it is a mode of inference that is wholly rational.

· Demonstrates the satisficing rather than maximizing character of
abduction.

· The development of formal models of abduction is considerably more extensive than one finds in existing literature. It is an especially impressive amalgam of sophisticated
conceptual analysis and extensive logical modelling.


Product Details

ISBN-13: 9780080460925
Publisher: Elsevier Science
Publication date: 05/02/2005
Sold by: Barnes & Noble
Format: eBook
Pages: 496
File size: 4 MB

About the Author

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Table of Contents

Acknowledgements.
Preface.

A Practical Logic of Cognitive Systems
1. Introduction
2. Practical Logic
Conceptual Models of Abduction
3. The Structure of Abduction
4. Explanationist Abduction
5. Non-Plausibilistic Abduction
6. Diagnostic Abduction in AI
7. The Characteristic and the Plausible
8. Relevance and Analogy
9. Interpretation Abduction
Formal Models of Abduction
10. A Glimpse of Formality
11. A General Theory of Logical Systems
12. A Base Logic
13. An Abductive Mechanism for the Base Logic
Bibliography.
Index .
From the B&N Reads Blog

Customer Reviews