{"product_id":"systems-of-logic-paperback-9780521367707","title":"Systems of Logic (Paperback) 9780521367707","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eSystems of Logic\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eThis is an advanced study of systems of propositional logic.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eNorman M. Martin (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521367707, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 28 July 1989\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e336 pages\u003cbr\u003e22.8 x 15.2 x 1.6 cm, 0.475 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject.  A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic.  Useful appendices provide a topical bibliography and review of basic set theory.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e 1. Formal systems and structure theory\u003cbr\u003e 2. Zero-order logic: proof theory\u003cbr\u003e 3. Zero-order model theory\u003cbr\u003e 4. Positive implication\u003cbr\u003e 5. Negation\u003cbr\u003e 6. Complete implication-negation logic\u003cbr\u003e 7. Disjunction\u003cbr\u003e 8. Conjunction\u003cbr\u003e 9. Multi-connective systems\u003cbr\u003e 10. Strict implications: introduction\u003cbr\u003e 11. Strict implications: addition results\u003cbr\u003e 12. Quantification and first-order logic\u003cbr\u003e 13. Quantification and complete logics\u003cbr\u003e 14. Quantification and incomplete logics\u003cbr\u003e 15. Interpretation of formal systems\u003cbr\u003e Appendix: historical and bibliographical remarks\u003cbr\u003e Subject index\u003cbr\u003e Index of systems\u003cbr\u003e Index of symbols.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Philosophy: logic [\u003ca title=\"See our other books on Philosophy: logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Philosophy:%20logic%20%5BHPL%5D%22\"\u003eHPL\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46005910929688,"sku":"9780521367707","price":37.59,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521367707i_8ba0f0de-1543-4ed0-ac31-0be9a1ff063f.jpg?v=1691375787","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/systems-of-logic-paperback-9780521367707","provider":"Freshly Printed Books","version":"1.0","type":"link"}