Ship-Ship-Hooray! Free Shipping on $25+ Details >
Logics / With 3.5" Disk

Logics / With 3.5" Disk - 97 edition

Logics / With 3.5" Disk - 97 edition

ISBN13: 9780534506407

ISBN10: 0534506402

Logics / With 3.5" Disk by John Nolt - ISBN 9780534506407
Edition: 97
Copyright: 1997
Publisher: Wadsworth, Inc
Published:
International: No
Logics / With 3.5" Disk by John Nolt - ISBN 9780534506407

ISBN13: 9780534506407

ISBN10: 0534506402

Edition: 97

shop us with confidence

Summary

This comprehensive introduction to symbolic logic covers informal logic and the syntax, semantics and metatheory of not only the classical prepositional 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.

Features:

  • The only textbook with substantive treatment of modal, deontic, higher-order, and non-classical logics.
  • Discussion of all formal systems is motivated by practical consideration.
  • Careful balance between practical and formal/philosophical issues.
  • Discussion of semantics precedes proof theory to facilitate understanding.
  • ABACUS software provides assistance and exercises.

Author Bio

Nolt, John : University of Tennessee, Knoxville

Table of Contents

Table of Contents

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.