Logics
Preface. PART I. INFORMAL LOGIC. 1. Informal Logic. PART II. CLASSICAL PROPOSITIONAL LOGIC. 2. Classical Propositional Logic: Syntax. 3. Classical Propositional Logic: Semantics. 4. Classical Propositional Logic: Inference. 5. Classical Propositional Logic: Metatheory. PART III. CLASSICAL PREDICATE LOGIC. 6. Classical Predicate Logic: Syntax. 7. Classical Predicate Logic: Semantics. 8. Classical Predicate Logic: Inference. 9. Classical Predicate Logic: Soundness, Completeness, and Inexpressibility. 10. Classical Predicate Logic: Undecidability. PART IV. EXTENSIONS OF CLASSICAL LOGIC. 11. Leibnizian Modal Logic. 12. Kripkean Modal Logic. 13. Deontic and Tense Logics. 14. Higher-Order Logics. PART V. NONCLASSICAL LOGICS. 15. Mildly Nonclassical Logics. 16. Radically Nonclassical Logics. Index.