Essays on non-classical logic : [papers of a Workshop on Non-Classical Logic, held October 5-6, 1999 at the University of Konstanz (Germany) as part of the 18th congress of the Allgemeine Gesellschaft für Philosophie in Deutschland

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic. 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics3.1 Aims of This Paper; 3.2 The Dialogical Approach to Free Logic; 3.2.1 Dialogical Free Logic With and Without tertium non datur; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL; 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL; 3.2.4 Combining DFLI and DFLC; 3.3 Inconsistent Objects; 3.3.1 Paraconsistency; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare; 3.4 Conclusions; Bibliography; 4 Truthmakers Entailment and Necessity; 4.1 Truthmakers Problems addressed in this title range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. In recent years there has been a fruitful exchange of ideas between philosophical logic and Artificial Intelligence (AI), most notably in the study of logics of belief.