Originally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. The book deals with "propositional" logic by the truth-table method, briefly introducing axiomatic procedures, and proceeds to the theory of the syllogism, the logic of one-place predicates, and elementary parts of the logic of many-place predicates. Revision material is provided covering the main parts of the course. The course represents from eight to twenty hours work. depending on the student's speed of work and on whether optional chapters are taken.
Introduction Part 1: Logical Relations 1. Statements and Logical Strictness 2. Implication and Equivalence 3. Contradiction and Contrariety 4. Subcontrariety and Indifference 5. Ambiguity and Empty Terms Part 2: The Logic of Unanalysed Statements 6. Negation and Conjunction 7. Disjunction 8. Implication and Truth-Tables 9. Tautologies and Material Implication 10. Material Equivalence: Rules of Inference 11. Logic from Axioms 12. Logical Relations by Truth-Table Part 3: The Logic of Predicates 13. Syllogisms 14. Existential Presuppositions 15. Predicates and Quantifiers 16. The Elementary Logic of Relations. Revision Chapters
Reissuing works originally published between 1931 and 1990, this set of twenty-four books covers the full range of the philosophy of logic, from introductions to logic, to calculus and mathematical logic, to logic in language and linguistics and logical reasoning in law and ethics. An international array of authors are represented in this comprehensive collection.