{"product_id":"9789401035491","title":"Systems of Formal Logic","description":"\u003ch1\u003eSystems of Formal Logic\u003c\/h1\u003e \u003ch2\u003eHackstaff, L.H.\u003c\/h2\u003e \u003cp\u003eThe present work constitutes an effort to approach the subject of symbol­ ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela­ tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber­ nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega­ tion. This system serves as a basis upon which a variety of further sys­ tems are constructed, including, among others, a full classical proposi­ tional calculus, an intuitionistic system, a minimum propositional calcu­ lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2011-10-12\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9789401035491\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-94-010-3547-7\u003c\/p\u003e \u003cp\u003eDimensions: 229cm x152cm\u003c\/p\u003e \u003cp\u003ePages: 372\u003c\/p\u003e ","brand":"Springer Netherlands","offers":[{"title":"Default Title","offer_id":47672284610700,"sku":"9789401035491","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9789401035491.jpg?v=1776522915","url":"https:\/\/lateknightbooks.com\/products\/9789401035491","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}