{"product_id":"systems-of-formal-logic","title":"Systems of Formal Logic","description":"\u003cp\u003e\u003cstrong\u003eBook info:\u003c\/strong\u003e Systems of Formal Logic (Hardcover, 372 pages) – Springer, 1966. Language: English.\u003c\/p\u003e\n The 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.  ","brand":"L.H. Hackstaff","offers":[{"title":"Default Title","offer_id":46068803502314,"sku":"9789027700773","price":86.61,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0714\/5301\/6298\/files\/51K_bm0HfYL._SY522.jpg?v=1781183973","url":"https:\/\/textbookme.store\/products\/systems-of-formal-logic","provider":"TextbookMe","version":"1.0","type":"link"}