When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Modern Logic : A Text in Elementary Symbolic Logic, Paperback by Forbes, Graeme, ISBN 0195080297, ISBN-13 9780195080292, Used Good Condition, Free shipping in the US
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<br>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 th. Unlike competing texts, <em>Modern Logic</em> gives equal weight to semantics and proof theory and explains their relationship,<br>and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, th offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section<br>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<br>work.<br>
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.