Extending the Realm of Logic: The Adaptive-Logic Programme

This paper reports on a development that involves a drastic broadening of the scope of symbolic logic. The central idea concerns dynamic proofs that explicate forms of reasoning for which no positive test is available. Two other forms of the dynamics of reasoning are briefly spelled out.

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

[2]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

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

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

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

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

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

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

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

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

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

[12]  Joke Meheus,et al.  Analogical Reasoning in Creative Problem Solving Processes: Logico-Philosophical Perspectives , 2000 .

[13]  F. Hallyn.  Metaphor and analogy in the sciences , 2000 .

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

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

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

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

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

[19]  C. Peirce,et al.  Essays in the philosophy of science , 1940 .

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

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

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

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

[24]  D. Batens.  Natural heuristics for proof construction: part I: classical prepositional logic , 1989 .

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

[26]  Diderik Batens.  Inconsistency-adaptive logies and the foundation of non-monotonic logic , 1994 .

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

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

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

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

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

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

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

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

[35]  Marshall Swain,et al.  Induction Acceptance and Rational Belief , 1970 .

[36]  Guido Vanackere,et al.  HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions , 2000, J. Appl. Non Class. Logics.