Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Systems of Formal Logic

Systems of Formal Logic

Hackstaff, L. H.

Paperback

Logic

ISBN10: 9401035490
ISBN13: 9789401035491
Publisher: Springer Nature
Published: Oct 12 2011
Pages: 372
Weight: 1.09
Height: 0.77 Width: 6.00 Depth: 9.00
Language: English
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.

Also in

Logic

View All