TOWARDS THE UNIFICATION OF INCONSISTENCY HANDLING MECHANISMS

It is shown that the (flat) consequence relations defined from the Rescher-Manor Mechanism (that is: in terms of maximal consistent subsets of the premises) are all inconsistency-adaptive logics combined with a specific interpretation schema for the premises. Each of the adaptive logics is obtained by applying a suitable adaptive strategy to the paraconsistent logic CLuN. This result provides all those consequence relations with a (dynamic) proof theory and with a static (as well as a dynamic) semantics.

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

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

[3]  Nicholas Rescher,et al.  The logic of inconsistency , 1979 .

[4]  Nicholas Rescher,et al.  The Logic of Inconsistency: a study in nonstandard possible-world semantics and ontology , 1979 .

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

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

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

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

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

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

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

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

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

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

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

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

[17]  Diderik Batens,et al.  A survey of inconsistency-adaptive logics , 2000 .

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

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

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

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

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

[23]  Guido Vanackere,et al.  Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL , 2004 .