Systems of Logic

This is an advanced study of systems of propositional logic.

Norman M. Martin (Author)

9780521367707, Cambridge University Press

Paperback / softback, published 28 July 1989

336 pages
22.8 x 15.2 x 1.6 cm, 0.475 kg

This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.

Preface
1. Formal systems and structure theory
2. Zero-order logic: proof theory
3. Zero-order model theory
4. Positive implication
5. Negation
6. Complete implication-negation logic
7. Disjunction
8. Conjunction
9. Multi-connective systems
10. Strict implications: introduction
11. Strict implications: addition results
12. Quantification and first-order logic
13. Quantification and complete logics
14. Quantification and incomplete logics
15. Interpretation of formal systems
Appendix: historical and bibliographical remarks
Subject index
Index of systems
Index of symbols.

Subject Areas: Philosophy: logic [HPL]