Modern Logic: A Text in Elementary Symbolic Logic

Modern Logic: A Text in Elementary Symbolic Logic

• Used Book in Good Condition

Filling the need for an accessible, carefully structured introductory text in symbolic logic, <em>Modern Logic</em> has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, <em>Modern Logic</em> gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, <em>Modern Logic</em> provides a thorough understanding of basic concepts and a sound basis for more advanced work.<br>