Essays on Non-classical LogicThis 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. Contents: Fine-Grained Theories of Time (P Blackburn); Revision Sequences and Computers with an Infinite Amount of Time (B LAwe); On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman); Truthmakers, Entailment and Necessity (S Read); Global Definability in Basic Modal Logic (M de Rijke & H Sturm); Ackermann's Implication for Typefree Logic (K Robering); Why Dialogical Logic? (H Rckert); Semantics for Constructive Negations (Y Shramko); Recent Trends in Paraconsistent Logic (M Urchs); Obligations, Authorities, and History Dependence (H Wansing). Readership: Graduate students and researchers in philosophical logic and mathematical logic, as well as computer scientists in artificial intelligence." |
Contents
1 Fine Grained Theories of Time | 1 |
2 Revision Sequences and Computers With an Infinite Amount of Time | 37 |
A Combination of Intuitionistic Free and Paraconsistent Logics | 61 |
4 Truthmakers Entailment and Necessity | 91 |
5 Global Definability in Basic Modal Logic | 111 |
6 Ackermanns Implication for Typefree Logic | 137 |
Other editions - View all
Common terms and phrases
Ackermann Allen's application attack Belnap Blackburn calculus classical logic computation conjunction Consider construction contradiction contradictory deduction define definition deontic logic derivation dialogical approach Dialogical Logic discussive disjoint unions disjunction dstit E-model entailment example exists factual negation finite formal frame free logic global Hence holds hybrid languages implication inconsistent Infinite Time Turing interpretation interval nominals intuitionistic logic intuitionistic state-descriptions Journal Lemma Logik mathematical means modal formulas modal logic natural number necessary truths non-classical logic notion obligation operators paraconsistent logic particle rules Philosophical Logic pointed model possible predicate Priorean tense logic proof properties propositional variables quantifiers Rahman referential tense logic relation relevance logic result revision sequence semantics sort structural rules Suppose surjective bisimulations symbols temporal temporal logic tense logic Theorem thesis true truthmakers Turing Machine ultrapowers ultraproducts universal modality valid winning strategy