{"product_id":"9780983452164","title":"Propositional Logics: The Semantic Foundations of Logic","description":"Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic.\u003cp\u003eClassical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. 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 of the logics.\u003c\/p\u003e\u003cp\u003eThe view that unifies the exposition is that propositional logics comprise a spectrum. As the aspect of propositions under consideration varies, the logic varies. Each logic is shown to fall naturally within a general framework for semantics. A theory of translations between logics is presented that allows for further comparisons, and necessary conditions are given for a translation to preserve meaning.\u003c\/p\u003e\u003cp\u003eFor this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations.\u003c\/p\u003e\u003cp\u003eThe text includes worked examples and hundreds of exercises, from routine to open problems, making the book with its clear and careful exposition ideal for courses or individual study.\u003c\/p\u003e","brand":"Advanced Reasoning Forum","offers":[{"title":"Default Title","offer_id":49785602441456,"sku":"9780983452164","price":64.95,"currency_code":"USD","in_stock":false}],"url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780983452164","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}