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.
"This book starts with a philosophical analysis of abduction, overviews the previously proposed approaches, and explains the state-of-the-art and algorithms for formalizing abduction." -Olga M. Kosheleva, in MATHEMATICAL REVIEWS
| Acknowledgements | p. xiii |
| Preface | p. xvii |
| A Practical Logic of Cognitive Systems | p. 1 |
| Introduction | p. 1 |
| Practical Logic | p. 9 |
| First Thoughts on a Practical Logic | p. 9 |
| A Hierarchy of Agency Types | p. 10 |
| Peculiarities of Institutional Agents | p. 15 |
| Normativity | p. 18 |
| Mathematical Models | p. 22 |
| Slight-resource Adjustment Strategies | p. 24 |
| Hasty Generalization | p. 24 |
| Generic Inference | p. 24 |
| Natural Kinds | p. 25 |
| Defaults | p. 26 |
| Discourse Economies | p. 26 |
| Consciousness | p. 27 |
| Practical Logic | p. 30 |
| Connectionist Logic | p. 32 |
| Fallacies | p. 33 |
| Conceptual Models of Abduction | p. 37 |
| The Structure of Abduction | p. 39 |
| Introductory Remark on Abduction | p. 39 |
| The Elementary Structure of Abductive Logic | p. 40 |
| Expanding the Schema | p. 42 |
| Frames | p. 44 |
| Generalizing IPs | p. 45 |
| Avoiding a Confusion | p. 45 |
| Locating Abduction on the Logical Map | p. 46 |
| Abductive Schematics | p. 47 |
| Consequentialist Abduction | p. 47 |
| The Good that AKM Does | p. 53 |
| The Reach of Abduction | p. 54 |
| Simplicity | p. 56 |
| The Cut Down Problem | p. 56 |
| Abduction as Practical | p. 58 |
| Proof-theoretic Abduction | p. 58 |
| The Adaptive and the Epistemically Subpar | p. 62 |
| Knowledge-Sets | p. 63 |
| Filtration Structures | p. 66 |
| Hypothesis-Engagement | p. 69 |
| Grounds of Action | p. 70 |
| Tasks for an Abductive Logic | p. 71 |
| Explanationist Abduction | p. 75 |
| Peirce | p. 75 |
| Surprise | p. 81 |
| Testability and Economics | p. 82 |
| Insight and Trial | p. 85 |
| Rationality and Diminished Epistemic Virtue | p. 86 |
| Explanationism | p. 87 |
| The Covering Law Model | p. 90 |
| The Rational Model | p. 93 |
| Teleological Explanation | p. 96 |
| The Pluralism of Explanation | p. 99 |
| Assessing IBE | p. 100 |
| Characteristicness | p. 102 |
| Hanson | p. 104 |
| Darden | p. 109 |
| Fodor | p. 109 |
| Adaptive Explanationism | p. 110 |
| Non-abductive Conjecture | p. 113 |
| Non-Plausibilistic Abduction | p. 115 |
| Introductory remark | p. 115 |
| Newton | p. 116 |
| Planck | p. 121 |
| Physical Dependencies | p. 122 |
| The Superstring Controversy | p. 123 |
| Russell and Godel | p. 125 |
| The Consequence Relation | p. 129 |
| Lakatos | p. 134 |
| Hintikka | p. 138 |
| Empirical Progress | p. 141 |
| Semantic Tableaux | p. 142 |
| Assessing Semantic Tableau Abduction | p. 146 |
| Is It Abduction? | p. 147 |
| Inconsistency Again | p. 148 |
| Bayesian Inference | p. 150 |
| Diagnostic Abduction in AI | p. 155 |
| Explanationist Diagnostics | p. 155 |
| Difficulties with AP | p. 161 |
| Another Example | p. 163 |
| Remarks | p. 169 |
| Coherentism and Probabilism | p. 170 |
| The Rivalry of Explanationism and Probabilism | p. 170 |
| Explanatory Coherence | p. 171 |
| Probabilistic Networks | p. 174 |
| Pearl Networks for ECHO | p. 176 |
| Neuropharmacological Intervention | p. 180 |
| Mechanizing Abduction | p. 184 |
| Abduction in Neural-Symbolic Networks | p. 189 |
| The Characteristic and the Plausible | p. 195 |
| The Open Door | p. 195 |
| The Element of Surprise | p. 196 |
| Plausibility | p. 200 |
| A Resolution Point | p. 201 |
| How to Get Determinacy Out of Indeterminacy | p. 202 |
| Alternatives | p. 204 |
| The Piccadilly Line | p. 206 |
| Plausibility Again | p. 209 |
| Historical Note on Plausibility | p. 210 |
| Cut-to-the Chase Abduction | p. 212 |
| Characteristicness | p. 213 |
| Common Knowledge | p. 219 |
| Rescher's Plausibility Logic | p. 222 |
| Reliability | p. 227 |
| Axioms for Plausibility | p. 228 |
| Plausibility and Presumption | p. 232 |
| Brief Concluding Remarks | p. 237 |
| Relevance and Analogy | p. 239 |
| Relevance | p. 239 |
| Relevance as Cognitive | p. 240 |
| Topical Relevance | p. 243 |
| Contextual Effects | p. 247 |
| Irredundancy Relevance | p. 248 |
| Relevance and Cutting to the Chase | p. 250 |
| Legal Relevance | p. 254 |
| Ideology | p. 256 |
| Legal Presumption | p. 258 |
| Types of Presumption | p. 260 |
| The Reasonable Person | p. 264 |
| Reasonable Doubt | p. 265 |
| Hypothesis-Discharge | p. 268 |
| The Probativity Question | p. 269 |
| Revision Structures | p. 270 |
| Proof Standards | p. 272 |
| Analogy | p. 274 |
| The Meta Approach | p. 276 |
| Similarity | p. 281 |
| Analogy in Law | p. 282 |
| Precedent | p. 284 |
| Analogue Modelling | p. 286 |
| Interpretation Abduction | p. 289 |
| Hermeneutics | p. 289 |
| Enthymemes | p. 291 |
| Fermat's Last Theorem | p. 294 |
| Enthymeme Resolution as Abductive | p. 296 |
| The Attack on Analyticity | p. 298 |
| Inarticulacy as Economics | p. 300 |
| Some Virtual Guidelines | p. 302 |
| Background Knowledge | p. 303 |
| Charity | p. 305 |
| Indeterminacy of Translation | p. 307 |
| Is it Abduction (Again)? | p. 312 |
| Constitutional Inarticulacies | p. 313 |
| Inarticulate Understanding | p. 313 |
| Visual Abduction | p. 317 |
| Empathy | p. 319 |
| Discourse Empathies | p. 321 |
| Semantic Space Interpretation of Texts | p. 323 |
| The Raynaud-Fish Oil Abduction | p. 328 |
| Formal Models of Abduction | p. 333 |
| A Glimpse of Formality | p. 335 |
| Introduction | p. 335 |
| The AKM model | p. 336 |
| The GW Model | p. 342 |
| Some Schematic Remarks | p. 344 |
| Case Study: Defeasible Logic | p. 351 |
| A General Theory of Logical Systems | p. 357 |
| Introduction | p. 357 |
| Logical Systems | p. 360 |
| Refining the Notion of a Logical System | p. 372 |
| Structured consequence | p. 372 |
| Algorithmic structured consequence relation | p. 373 |
| Mechanisms | p. 376 |
| Modes of Evaluation | p. 378 |
| TAR-Logics | p. 380 |
| Relevance | p. 382 |
| Discussion and Further Reading | p. 382 |
| A Base Logic | p. 383 |
| Formal Abduction: An Overview | p. 383 |
| Introducing LDS | p. 388 |
| LDS for [implies] | p. 388 |
| Examples of Resource LDS | p. 391 |
| Goal Directed Algorithm for [implies] | p. 397 |
| The Algorithm | p. 398 |
| Examples | p. 400 |
| Intuitive Theory of Labelled Abduction | p. 402 |
| Abduction in Knowledge Bases | p. 403 |
| Abduction in Planning and Natural Language | p. 409 |
| Abduction in Logic Programming | p. 411 |
| A Conversation Between Two Intelligent Databases | p. 418 |
| An Abductive Mechanism for the Base Logic | p. 423 |
| Introduction | p. 423 |
| Abduction Algorithm for [implies] | p. 430 |
| Case Study: Abduction for Intuitionistic Implications | p. 432 |
| Case Study: Abduction for Relevance Logic | p. 437 |
| Conclusion | p. 441 |
| Bibliography | p. 443 |
| Index | p. 473 |
| Table of Contents provided by Ingram. All Rights Reserved. |
ISBN: 9780444517913
ISBN-10: 044451791X
Audience:
Professional
Format:
Hardcover
Language:
English
Number Of Pages: 496
Published: 1st June 2005
Publisher: Elsevier Science & Technology
Dimensions (cm): 22.5 x 15.0
x 2.4
Weight (kg): 0.894