Logics
Published on 26. August 1996
Book
Hardback
480 pages
978-0-534-50640-7 (ISBN)
Description
This comprehensive introduction to symbolic logic covers informal logic and the syntax, semantics and metatheory of not only the classical propositional and predicate logics, but also for a number of extensions of classical logic and non-standard logics. It is the first textbook of this kind to provide substantive treatment of more recent developments in logic.
Reviews / Votes
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.More details
Edition
New edition
Language
English
Place of publication
Belmont, CA
United States
Publishing group
Cengage Learning, Inc
Target group
College/higher education
Professional and scholarly
Edition type
New edition
ISBN-13
978-0-534-50640-7 (9780534506407)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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.