Logics

John Nolt (Autor)

Buch | Hardcover

480 Seiten

1996 | New edition
Wadsworth Publishing Co Inc (Verlag)
978-0-534-50640-7 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

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.

Verlagsort	Belmont, CA
Sprache	englisch
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-534-50640-2 / 0534506402
ISBN-13	978-0-534-50640-7 / 9780534506407
Zustand	Neuware