Propositional Logics (The Semantic Foundations of Logic)

Product Description

This new edition of the author's well-received Propositional Logics presents the history, philosophy, and mathematics of its subject. Individual chapters are devoted to classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and analytic implication. Each chapter begins with a motivation in the originator's own terms, followed by the standard formal semantics and syntax, and completeness theorems. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations. This is the first book to unify many different logics within a common spectrum of semantic ana…