This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented.
Author(s): Norman M. Martin
Year: 1989
Language: English
Pages: 334
Cover......Page 1
Systems of Logic......Page 4
Copyright - ISBN: 0521365899......Page 5
Contents......Page 8
Preface......Page 10
1. Formal Systems and Structure Theory......Page 14
2. Zero-Order Logic: Proof Theory......Page 29
3. Zero-Order Model Theory......Page 51
4. Positive Implication......Page 70
5. Negation......Page 85
6. Complete Implication-Negation Logic......Page 104
7. Disjunction......Page 124
8. Conjunction......Page 144
9. Multi-Connective Systems......Page 159
10. Strict Implications: Introduction......Page 193
11. Strict Implications: Additional Results......Page 219
12. Quantification and First-Order Logic......Page 251
13. Quantification and Complete Logics......Page 273
14. Quantification and Incomplete Logics......Page 298
15. Interpretation of Formal Systems......Page 307
Appendix - Historical and Bibliographical Remarks......Page 316
Subject Index......Page 328
Index of Systems......Page 332
Index of Symbols......Page 333
