{"product_id":"modern-logic-a-text-in-elementary-symbolic-logic-9780195080292","title":"Modern Logic: A Text in Elementary Symbolic Logic","description":"\u003cp\u003e • Author(s): Graeme Forbes\u003cbr\u003e • Publisher: Oxford University Press\u003cbr\u003e • Publisher Imprint: Oxford University Press\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eFilling the need for an accessible, carefully structured introductory text in symbolic logic, \u003cem\u003eModern Logic\u003c\/em\u003e 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, \u003cem\u003eModern Logic\u003c\/em\u003e 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, \u003cem\u003eModern Logic\u003c\/em\u003e provides a thorough understanding of basic concepts and a sound basis for more advanced work.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Paperback","offer_id":47591752269975,"sku":"9780195080292","price":18860.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780195080292.webp?v=1774974372","url":"https:\/\/atlanticbooks.com\/products\/modern-logic-a-text-in-elementary-symbolic-logic-9780195080292","provider":"Atlantic Books","version":"1.0","type":"link"}