Yes fellows, most human reasoning is complex

This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.

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

[2]  J. Meheus.  Inconsistency in science , 2002 .

[3]  Diderik Batens,et al.  In Defence of a Programme for Handling Inconsistencies , 2002 .

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

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

[6]  Andrzej Wisniewski,et al.  The logic of questions as a theory of erotetic arguments , 1996, Synthese.

[7]  Liza Verhoeven.  All premises are equal, but some are more equal than others. , 2001 .

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

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

[10]  Daniel N. Osherson,et al.  Elements of Scientific Inquiry , 1998 .

[11]  George Boolos,et al.  Computability and logic , 1974 .

[12]  D. Batens,et al.  Pushing the Search Paths in the Proofs. A Study in Proof Heuristics , 2003 .

[13]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[14]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[15]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[16]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

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

[18]  Andrzej Wiśniewski,et al.  The posing of questions , 1995 .

[19]  Andrzej Wiśniewski,et al.  The posing of questions : logical foundations of erotetic inferences , 1995 .

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

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

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

[23]  H. Rasiowa,et al.  Logic at work : essays dedicated to the memory of Helena Rasiowa , 1999 .

[24]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[25]  Diderik Batens.  Inconsistency-Adaptive Logics , 1999 .

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

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

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

[29]  Diderik Batens,et al.  Some Adaptive Logics for Diagnosis , 2003 .

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