{"product_id":"propositional-logics-third-edition","title":"Propositional Logics Third Edition","description":"\u003cp\u003ePropositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic.\u003c\/p\u003e\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":67650533851503,"sku":"9780983452164","price":268.66,"currency_code":"BRL","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0921\/9384\/9711\/files\/0983452164.jpg?v=1790932743","url":"https:\/\/internacional.umlivro.com.br\/products\/propositional-logics-third-edition","provider":"UmLivro Internacional","version":"1.0","type":"link"}