The Need for Adaptive Logics In Epistemology

After it is argued that philosophers of science have lost interest in logic because they applied the wrong type of logics, examples are given of the forms of dynamic reasoning that are central for philosophy of science and epistemology. Adaptive logics are presented as a means to understand and explicate those forms of reasoning. All members of a specific (large) set of adaptive logics are proved to have a number of properties that warrant their formal decency and their suitability with respect to understanding and explicating dynamic forms of reasoning. Most of the properties extend to other adaptive logics.

[1]  Diderik Batens.  A Dynamic Characterization of the Pure Logic of Relevant Implication , 2001, J. Philos. Log..

[2]  John D. Norton,et al.  A Paradox in Newtonian Gravitation Theory , 1992, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

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

[4]  Diderik Batens.  Linguistic and Ontological Measures for Comparing the Inconsistent Parts of Models. , 1999 .

[5]  D. Batens,et al.  On the logic and pragmatics of the process of explanation. , 2001 .

[6]  Diderik Batens.  On a Partial Decision Method for Dynamic Proofs , 2002, Paraconsistent Computational Logic.

[7]  Nancy J. Nersessian,et al.  Inconsistency, Generic Modeling, and Conceptual Change in Science , 2002 .

[8]  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.

[9]  Diderik Batens.  A Strengthening of the Rescher--Manor Consequence Relations , 2003 .

[10]  Helge Kragh,et al.  History of modern physics , 2002 .

[11]  Diderik Batens.  Minimally Abnormal Models In Some Adaptive Logics , 2004, Synthese.

[12]  Graham Priest,et al.  Minimally inconsistent LP , 1991, Stud Logica.

[13]  Arnon Avron,et al.  General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations , 2000, Log. J. IGPL.

[14]  Diderik Batens,et al.  Dialectical dynamics within formal logics , 1986 .

[15]  Liza Verhoeven.  Changing one’s position in a discussion — some adaptive approaches , 2003 .

[16]  D. Batens,et al.  On Classical Adaptive Logics of Induction , 2003 .

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

[18]  John D. Norton,et al.  The Logical Inconsistency of the Old Quantum Theory of Black Body Radiation , 1987, Philosophy of Science.

[19]  Diderik Batens.  Frontiers of Paraconsistent Logic , 2000 .

[20]  George Boolos,et al.  Computability and logic: 3rd ed. , 1989 .

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

[22]  Joe Cain,et al.  Progress and its problems , 1999 .

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

[24]  Diderik Batens,et al.  Zero logic adding up to classical logic , 1999 .

[25]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[26]  J. Meheus.  An extremely rich paraconsistent logic and the adaptive logic based on it. , 2000 .

[27]  Thomas Nickles,et al.  Scientific discovery, logic, and rationality , 1980 .

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

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

[30]  Liza Verhoeven.  Proof Theories for Some Prioritized Consequence Relations , 2003 .

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

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

[33]  Diderik Batens,et al.  On a Logic of Induction , 2005 .

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

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

[36]  P. Feyerabend.  Against Method: Outline of an Anarchistic Theory of Knowledge , 1976 .

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

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

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

[40]  Diderik Batens.  Do we need a hierarchical model of science , 1992 .

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

[42]  Bryson Brown,et al.  How to be realistic about inconsistency in science , 1990 .

[43]  Joseph C. Pitt,et al.  Change and Progress in Modern Science , 1984 .

[44]  Michael Radner,et al.  Analyses of Theories and Methods of Physics and Psychology; Minnesota Studies in the Philosophy of Science, Vol. IV , 1970 .

[45]  Kristof de Clercq,et al.  Two new strategies for inconsistency-adaptive logics , 2004 .

[46]  D. Batens.  MEANING, ACCEPTANCE AND DIALECTICS* , 1985 .

[47]  A. Avron,et al.  Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning (an extended abstract) , 2001 .

[48]  Lorenzo Magnani,et al.  Logical and Computational Aspects of Model-Based Reasoning , 2002 .

[49]  Dagmar Provijn,et al.  Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning , 2002 .

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

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

[52]  Roberto Festa,et al.  Confirmation, Empirical Progress, and Truth Approximation , 2005 .

[53]  S. Jaskowski.  Propositional calculus for contradictory deductive systems , 1969 .

[54]  Dagmar Provijn,et al.  A Formal Analysis of Diagnosis and Diagnostic Reasoning. , 1999 .

[55]  T. Nickles.  Scientific discovery, case studies , 1980 .

[56]  Diderik Batens,et al.  Aspects of the Dynamics of Discussions and Logics Handling Them , 2001 .

[57]  Diderik Batens,et al.  THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASE , 2005, Synthese.

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

[59]  Joel M. Smith,et al.  Inconsistency and scientific reasoning , 1988 .