Synopses & Reviews
For courses in Formal Logic. The general approach of this book to logic remains the same as in earlier editions. Following Aristotle, we regard logic from two different points of view: on the one hand, logic is an instrument or organon for appraising the correctness of reasoning; on the other hand, the principles and methods of logic used as organon are interesting and important topics to be themselves systematically investigated. |
Table of Contents
1. Introduction: Logic and Language.
2. Arguments Containing compound Statements.
3. The Method of Deduction.
4. Qualification Theory.
5. The Logic of Relations.
6. Deductive Systems.
7. Set Theory.
8. A Propositional Calculus.
9. Alternative systems and Notations.
10. A First-Order Function Calculus.
Appendix A: Incompleteness of the Nineteen Rules.
Appendix B: Normal Forms and Boolean Expansions.
Appendix C: The Ramified Theory of Types.
Solutions to Selected Exercises.
Index.