1300 187 187
 

The Reach of Abduction : Insight and Trial

Insight and Trial

Hardcover

Published: 1st June 2005
Ships: 7 to 10 business days
RRP $467.99
$421.50
10%
OFF

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

Acknowledgementsp. xiii
Prefacep. xvii
A Practical Logic of Cognitive Systemsp. 1
Introductionp. 1
Practical Logicp. 9
First Thoughts on a Practical Logicp. 9
A Hierarchy of Agency Typesp. 10
Peculiarities of Institutional Agentsp. 15
Normativityp. 18
Mathematical Modelsp. 22
Slight-resource Adjustment Strategiesp. 24
Hasty Generalizationp. 24
Generic Inferencep. 24
Natural Kindsp. 25
Defaultsp. 26
Discourse Economiesp. 26
Consciousnessp. 27
Practical Logicp. 30
Connectionist Logicp. 32
Fallaciesp. 33
Conceptual Models of Abductionp. 37
The Structure of Abductionp. 39
Introductory Remark on Abductionp. 39
The Elementary Structure of Abductive Logicp. 40
Expanding the Schemap. 42
Framesp. 44
Generalizing IPsp. 45
Avoiding a Confusionp. 45
Locating Abduction on the Logical Mapp. 46
Abductive Schematicsp. 47
Consequentialist Abductionp. 47
The Good that AKM Doesp. 53
The Reach of Abductionp. 54
Simplicityp. 56
The Cut Down Problemp. 56
Abduction as Practicalp. 58
Proof-theoretic Abductionp. 58
The Adaptive and the Epistemically Subparp. 62
Knowledge-Setsp. 63
Filtration Structuresp. 66
Hypothesis-Engagementp. 69
Grounds of Actionp. 70
Tasks for an Abductive Logicp. 71
Explanationist Abductionp. 75
Peircep. 75
Surprisep. 81
Testability and Economicsp. 82
Insight and Trialp. 85
Rationality and Diminished Epistemic Virtuep. 86
Explanationismp. 87
The Covering Law Modelp. 90
The Rational Modelp. 93
Teleological Explanationp. 96
The Pluralism of Explanationp. 99
Assessing IBEp. 100
Characteristicnessp. 102
Hansonp. 104
Dardenp. 109
Fodorp. 109
Adaptive Explanationismp. 110
Non-abductive Conjecturep. 113
Non-Plausibilistic Abductionp. 115
Introductory remarkp. 115
Newtonp. 116
Planckp. 121
Physical Dependenciesp. 122
The Superstring Controversyp. 123
Russell and Godelp. 125
The Consequence Relationp. 129
Lakatosp. 134
Hintikkap. 138
Empirical Progressp. 141
Semantic Tableauxp. 142
Assessing Semantic Tableau Abductionp. 146
Is It Abduction?p. 147
Inconsistency Againp. 148
Bayesian Inferencep. 150
Diagnostic Abduction in AIp. 155
Explanationist Diagnosticsp. 155
Difficulties with APp. 161
Another Examplep. 163
Remarksp. 169
Coherentism and Probabilismp. 170
The Rivalry of Explanationism and Probabilismp. 170
Explanatory Coherencep. 171
Probabilistic Networksp. 174
Pearl Networks for ECHOp. 176
Neuropharmacological Interventionp. 180
Mechanizing Abductionp. 184
Abduction in Neural-Symbolic Networksp. 189
The Characteristic and the Plausiblep. 195
The Open Doorp. 195
The Element of Surprisep. 196
Plausibilityp. 200
A Resolution Pointp. 201
How to Get Determinacy Out of Indeterminacyp. 202
Alternativesp. 204
The Piccadilly Linep. 206
Plausibility Againp. 209
Historical Note on Plausibilityp. 210
Cut-to-the Chase Abductionp. 212
Characteristicnessp. 213
Common Knowledgep. 219
Rescher's Plausibility Logicp. 222
Reliabilityp. 227
Axioms for Plausibilityp. 228
Plausibility and Presumptionp. 232
Brief Concluding Remarksp. 237
Relevance and Analogyp. 239
Relevancep. 239
Relevance as Cognitivep. 240
Topical Relevancep. 243
Contextual Effectsp. 247
Irredundancy Relevancep. 248
Relevance and Cutting to the Chasep. 250
Legal Relevancep. 254
Ideologyp. 256
Legal Presumptionp. 258
Types of Presumptionp. 260
The Reasonable Personp. 264
Reasonable Doubtp. 265
Hypothesis-Dischargep. 268
The Probativity Questionp. 269
Revision Structuresp. 270
Proof Standardsp. 272
Analogyp. 274
The Meta Approachp. 276
Similarityp. 281
Analogy in Lawp. 282
Precedentp. 284
Analogue Modellingp. 286
Interpretation Abductionp. 289
Hermeneuticsp. 289
Enthymemesp. 291
Fermat's Last Theoremp. 294
Enthymeme Resolution as Abductivep. 296
The Attack on Analyticityp. 298
Inarticulacy as Economicsp. 300
Some Virtual Guidelinesp. 302
Background Knowledgep. 303
Charityp. 305
Indeterminacy of Translationp. 307
Is it Abduction (Again)?p. 312
Constitutional Inarticulaciesp. 313
Inarticulate Understandingp. 313
Visual Abductionp. 317
Empathyp. 319
Discourse Empathiesp. 321
Semantic Space Interpretation of Textsp. 323
The Raynaud-Fish Oil Abductionp. 328
Formal Models of Abductionp. 333
A Glimpse of Formalityp. 335
Introductionp. 335
The AKM modelp. 336
The GW Modelp. 342
Some Schematic Remarksp. 344
Case Study: Defeasible Logicp. 351
A General Theory of Logical Systemsp. 357
Introductionp. 357
Logical Systemsp. 360
Refining the Notion of a Logical Systemp. 372
Structured consequencep. 372
Algorithmic structured consequence relationp. 373
Mechanismsp. 376
Modes of Evaluationp. 378
TAR-Logicsp. 380
Relevancep. 382
Discussion and Further Readingp. 382
A Base Logicp. 383
Formal Abduction: An Overviewp. 383
Introducing LDSp. 388
LDS for [implies]p. 388
Examples of Resource LDSp. 391
Goal Directed Algorithm for [implies]p. 397
The Algorithmp. 398
Examplesp. 400
Intuitive Theory of Labelled Abductionp. 402
Abduction in Knowledge Basesp. 403
Abduction in Planning and Natural Languagep. 409
Abduction in Logic Programmingp. 411
A Conversation Between Two Intelligent Databasesp. 418
An Abductive Mechanism for the Base Logicp. 423
Introductionp. 423
Abduction Algorithm for [implies]p. 430
Case Study: Abduction for Intuitionistic Implicationsp. 432
Case Study: Abduction for Relevance Logicp. 437
Conclusionp. 441
Bibliographyp. 443
Indexp. 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