Introduction to Logic

Harry J. Gensler, S.J., is Professor of Philosophy at Loyola University Chicago. His fourteen earlier books include Gödel’s Theorem Simplified (1984), Formal Ethics (1996), Catholic Philosophy Anthology (2005), Historical Dictionary of Logic (2006), Historical Dictionary of Ethics (2008), Ethics: A Contemporary Introduction (1998 & 2011), Ethics and the Golden Rule (2013), and Ethics and Religion (2016).

"Gensler’s book would shine as the primary text in an advanced logic course, as a common text in a scaffolded sequence of courses, or as a supplemental text in a course that focuses on the philosophical issues raised within and by formal logic. His writing style is engaging, and his explanations of difficult philosophical concepts are exceptionally accessible and clear. He is, in fact, a joy to read in this respect."–Dona Warren in Teaching Philosophy"Equal parts eloquent and instructive, Gensler has once again provided an invaluable resource for those looking to master the fundamental principles of logic. The Third Edition improves upon an already exceptional text by infusing the introduction of new concepts with enhanced clarity, rendering even the most challenging material a joy to teach. The updated LogicCola program is sure to become an indispensable component of my own introductory course."--Christopher Haley, Waynesburg University, USA"This Third Edition improves on a book that was already superb. I have used Gensler’s book to teach introductory courses in logic to undergraduate philosophers and linguists, and the response from the students has always been positive. They appreciate its clear explanation and the wealth of examples and practice opportunities it provides. In particular, the translation exercises help to refine logico-semantic intuitions. The supporting LogiCola software, which is feely downloadable, is a great support tool." --Mark Jary, University of Roehampton, UK"The Third Edition is an improved version of an already excellent introduction to logic. Gensler’s Reductio proof procedure enables a seamless transition from elementary propositional logic to quantification theory and more advanced modal logics. Many of the exercises involve formulations of philosophical problems. The explanations of advanced topics have been greatly improved. The upgraded LogiCola program now supports alternative proof procedures. This book is a winner!"--Michael Bradie, Bowling Green State University, USA

• 1. Introduction Part 1: Syllogistic, Informal, and Inductive Logic 2. Syllogistic Logic 3. Meaning and Definitions 4. Fallacies and Argumentation 5. Inductive Reasoning Part 2: Classical Symbolic Logic 6. Basic Propositional Logic 7. Propositional Proofs 8. Basic Quantificational Logic 9. Relations and Identity Part 3: Advanced Symbolic Systems 10. Basic Modal Logic 11. Further Modal Systems 12. Deontic and Imperative Logic 13. Belief Logic 14. A Formalized Ethical Theory Part 4: Further Vistas 15. Metalogic 16. History of Logic 17. Deviant Logic 18. Philosophy of Logic