A Universal Logic Approach to Adaptive Logics

Abstract.In this paper, adaptive logics are studied from the viewpoint of universal logic (in the sense of the study of common structures of logics). The common structure of a large set of adaptive logics is described. It is shown that this structure determines the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved by relying solely on the structure, viz. without invoking any specific properties of the logics themselves.

[1]  David Lindley,et al.  Logical foundations of probability , 1951 .

[2]  Diderik Batens,et al.  An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning , 2006 .

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

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

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

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

[7]  Jaakko Hintikka,et al.  Inquiry as Inquiry: A Logic of Scientific Discovery , 1999 .

[8]  Diderik Batens,et al.  Recent results by the inconsistency-adaptive labourers. , 2007 .

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

[10]  J. Kelly.  Computability and Logic , 1988 .

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

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

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

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

[15]  Rudolf Carnap,et al.  The continuum of inductive methods , 1952 .

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

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

[18]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

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

[20]  Diderik Batens,et al.  The Basic Inductive Schema, Inductive Truisms, and the Research-Guiding Capacities of the Logic of Inductive Generalization , 2004 .

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

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