Abduction logics illustrating pitfalls of defeasible methods

On the one hand this paper offers an introduction to adaptive logics, focussing on properties that are imposed upon adaptive logics by the fact that they explicate defeasible reasoning. On the other hand new adaptive logics of abduction are presented and employed to illustrate those properties. These logics were developed in view of the criticism to existing adaptive logics of abduction.

[1]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[2]  Peter Verdée.  A proof procedure for adaptive logics , 2013, Log. J. IGPL.

[3]  D. Batens.  A General Characterization of Adaptive Logics , 2001 .

[4]  D. Batens.  Narrowing down suspicion in inconsistent premise sets. , 2006 .

[5]  J. Meheus.  Clausius’ Discovery of the First Two Laws of Thermodynamics. A Paradigm of Reasoning from Inconsistencies. , 1999, Philosophica.

[6]  Hans Lycke.  A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning , 2012, Log. J. IGPL.

[7]  Guido Vanackere,et al.  Ambiguity-adaptive logic , 1997 .

[8]  Richard Routley,et al.  Dialectical logic, classical logic, and the consistency of the world , 1976 .

[9]  Joke Meheus,et al.  Erotetic Arguments from Inconsistent Premises. , 1999 .

[10]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[11]  Diderik Batens,et al.  A Formal Logic for Abductive Reasoning , 2006, Log. J. IGPL.

[12]  Diderik Batens,et al.  On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit , 2009 .

[13]  Guido Vanackere,et al.  Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes , 2003, Stud Logica.

[14]  Joke Meheus.  Adaptive Logics for Question Evocation , 2001 .

[15]  Sergei P. Odintsov,et al.  Computability Issues for Adaptive Logics in Multi-Consequence Standard Format , 2013, Stud Logica.

[16]  L. R. Harris.  Hypothetical reasoning , 1989 .

[17]  J. Meheus.  Adaptive logic in scientific discovery: the case of Clausius , 1993 .

[18]  Joke Meheus,et al.  Inconsistencies in scientific discovery: Clausius's remarkable derivation of Carnot's theorem. , 2002 .

[19]  Diderik Batens,et al.  Towards a Dialogic Interpretation of Dynamic Proofs , 2009 .

[20]  Diderik Batens,et al.  Blocks: the clue to dynamic aspects of logic , 1997 .

[21]  Diderik Batens.  A procedural criterion for final derivability in inconsistency-adaptive logics , 2005, J. Appl. Log..

[22]  D. Batens.  Paraconsistent extensional propositional logics , 1980 .

[23]  L. Magnani.  Abduction, Reason, and Science. Process of Discovery and Explanation , 2001 .

[24]  Gabriele Paul,et al.  AI approaches to abduction , 2000 .

[25]  Diderik Batens.  The Need for Adaptive Logics In Epistemology , 2004, Logic, Epistemology, and the Unity of Science.

[26]  Diderik Batens,et al.  Yes fellows, most human reasoning is complex , 2007, Synthese.

[27]  Maarten Van Dyck,et al.  Causal Discovery Using Adaptive Logics. Towards a more realistic heuristics for human causal learning , 2004 .

[28]  Diderik Batens,et al.  The Adaptive Logic of Compatibility , 2000, Stud Logica.

[29]  Tadeusz Prucnal,et al.  Structural completeness of the first-order predicate calculus , 1975, Math. Log. Q..

[30]  Diderik Batens,et al.  A Tableau Method for Inconsistency-Adaptive Logics , 2000, TABLEAUX.

[31]  Peter Verdée,et al.  Adaptive logics using the minimal abnormality strategy are $$\Pi^1_1$$ -complex , 2009, Synthese.

[32]  Tjerk Gauderis,et al.  Modelling Abduction in Science by means of a Modal Adaptive Logic , 2013 .

[33]  Bert Leuridan,et al.  Causal discovery and the problem of ignorance. An adaptive logic approach , 2009, J. Appl. Log..

[34]  Joke Meheus.  Deductive and ampliative adaptive logics as tools in the study of creativity , 1999 .

[35]  Atocha Aliseda,et al.  Abductive Reasoning: Logical Investigations into Discovery and Explanation , 2006 .

[36]  Sergei P. Odintsov,et al.  On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics , 2013 .

[37]  Mathieu Beirlaen,et al.  A conditional logic for abduction , 2014, Synthese.

[38]  Guido Vanackere.  Minimizing Ambiguity and Paraconsistency. , 1999 .

[39]  D. Batens.  TOWARDS THE UNIFICATION OF INCONSISTENCY HANDLING MECHANISMS , 2004 .

[40]  D. Shapere.  Logic and the Philosophical Interpretation of Science , 2004 .

[41]  Lorenzo Magnani,et al.  Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery , 2010 .

[42]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

[43]  Philip D. Welch,et al.  The Undecidability of Propositional Adaptive Logic , 2006, Synthese.

[44]  Diderik Batens,et al.  Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics , 2001, Stud Logica.

[45]  N. Rescher,et al.  The coherence theory of truth , 1973 .