All listings for this product
Best-selling in Non-Fiction Books
Save on Non-Fiction Books
- AU $9.86Trending at AU $16.88
- AU $11.51Trending at AU $18.89
- AU $24.83Trending at AU $25.37
- AU $64.07Trending at AU $75.12
- AU $31.51Trending at AU $37.08
- AU $25.48Trending at AU $28.39
- AU $9.83Trending at AU $14.06
About this product
- DescriptionThe present work constitutes an effort to approach the subject of symbol- ic logic at the elementary to intermediate level in a vel 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 tions 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 n-independent. Equivalence and n-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.
- Author(s)L.H. Hackstaff
- Date of Publication12/10/2011
- Place of PublicationDordrecht
- Country of PublicationNetherlands
- Content Notebiography
- Weight544 g
- Width152 mm
- Height229 mm
- Spine19 mm
- Edition StatementSoftcover reprint of the original 1st ed. 1966
This item doesn't belong on this page.
Thanks, we'll look into this.