Abductive Reasoning

Cover -- Contents -- Foreword -- Part I Conceptual Framework -- 1. Logics of generation and evaluation -- 1 Introduction -- 2 Heuristics: A Legacy of the Greeks -- 3 Is There a Logic of Discovery? -- 4 Karl Popper and Herbert Simon -- 5 Logics for Scientific Methodology -- 6 Discussion and Conclusions -- 2. WHAT IS ABDUCTION? -- 1 Introduction -- 2 What is Abduction? -- 3 The Founding Father: C.S. Peirce -- 4 Philosophy of Science -- 5 Artificial Intelligence -- 6 Further Fields of Application -- 7 A Taxonomy for Abduction -- Part II Logical Foundations -- 3. Abduction as logical inference -- 1 Introduction -- 2 Logic: The Problem of Demarcation -- 3 Abductive Explanatory Argument: A Logical Inference -- 4 Abductive Explanatory Inference: Structural Characterization -- 5 Discussion and Conclusions -- 4. Abduction as computation -- 1 Introduction -- 2 Semantic Tableaux -- 3 Abductive Semantic Tableaux -- 4 Computing Abductions with Tableaux -- 5 Further Logical and Computational Issues -- 6 Discussion and Conclusions -- Part III Applications -- 5. Scientific explanation -- 1 Introduction -- 2 Scientific Explanation as Abduction -- 3 Discussion and Conclusions -- 6. Empirical progress -- 1 Introduction -- 2 Kuipers' Empirical Progress -- 3 Empirical Progress in (Abductive) Semantic Tableaux -- 4 Discussion and Conclusions -- 7. Pragmatism -- 1 Introduction -- 2 Pragmatism -- 3 Abduction and Epistemology -- 4 Pragmatism Revisited -- 5 Discussion and Conclusions -- 8. Epistemic change -- 1 Introduction -- 2 Abduction as Epistemic Change -- 3 Semantic Tableaux Revisited -- 4 Discussion and Conclusions -- References -- Author Index.