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, ...
Read More
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.
Read Less
Add this copy of Systems of Formal Logic to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer.
Add this copy of Systems of Formal Logic to cart. $71.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2011 by Springer.
Add this copy of Systems of Formal Logic to cart. $85.70, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2011 by Springer.
Add this copy of Systems of Formal Logic to cart. $119.38, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1966 by Springer.
