Introduction to Logic

With clear explanations and many contemporary examples drawn from popular culture and everyday life, author Paul Herrick untangles the complexities of logical theory in Introduction to Logic. Offering a unique combination of two approaches–the historical and the technical–he presents logic as both a fascinating, evolving story and a body of essential technical information with applications to every area of human thought.

Perfectly suited for use in any introductory logic course, Introduction to Logic is also tailored to the online logic course Philosophy 106, available as part of the Open Course Library at www.opencourselibrary.org. Jointly sponsored by the Washington State Board for Community and Technical Colleges and the Bill & Melinda Gates Foundation, the Open Course Library offers instructors complete, expertly developed online courses in eighty essential college subjects–including the logic class developed by Paul Herrick and his colleague Mark Storey–all available to faculty at no charge.

SUPPLEMENTS:

• An Instructor’s Resource CD (978-0-19-989052-1) contains brief chapter summaries, answers to all of the questions in the text, additional questions and exercises to use on quizzes and exams, and a PowerPoint presentation that covers the entire book.
• A Companion Website at www.oup.com/us/herrick provides extra resources for teachers and students, including a Teacher’s Manual, Student Manual, and practice quizzes with answers on all key topics.
• An additional online resource at www.manyworldsoflogic.com offers additional practice quizzes, material for extra-credit assignments, and further information on the nature and history of logic.

Table of Contents

Unit One: The Fundamental Concepts of Logic
Chapter 1. What Is Logic?
Chapter 2. Let’S Have An Argument!
Chapter 3. The Two Basic Types Of Argument
Chapter 4. How To Evaluate A Deductive Argument
Chapter 5. How To Evaluate An Inductive Argument
Chapter 6. Logical Relations And Concluding Matters

Unit Two: Categorical Logic
Chapter 7. Logic Takes Form: Categorical Logic Version 1.0
Chapter 8. The Categorical Syllogism
Chapter 9. Categorical Logic Version 2.0: Boole, Venn, And The Nineteenth-Century Revolution In Categorical Logic

Unit Three: Truth-Functional Logic
Chapter 10. Think Like A Stoic!: Truth-Functional Logic Version 1.0
Chapter 11. Truth-Functional Logic Version 1.1: Stoic Logic Takes Form
Chapter 12. Truth-Functional Logic Version 2.0: The Invention Of Formal Languages In The Nineteenth Century
Chapter 13. From English To Tl: Techniques For Great Translations
Chapter 14. Truth-Table Analysis Part 1: Truth Tables For The Operators
Chapter 15. Truth-Table Analysis Part 2: Testing Sentences For Logical Status
Chapter 16. Truth-Table Analysis Part 3: Testing Arguments For Validity
Chapter 17. Truth-Table Analysis Part 4: Relations
Chapter 18. Modern Truth-Functional Natural Deduction Part 1: The First Four Rules
Chapter 19. Truth-Functional Natural Deduction Part 2: Four More Inference Rules
Chapter 20. Truth-Functional Deduction Part 3: Replacement Rules
Chapter 21. Truth-Functional Deduction Part 4: Indirect And Conditional Proof
Chapter 22. Premise-Free Proofs

Unit Four: Predicate Logic
Chapter 23. Predicate Logic Version 1.1: Frege Unites Categorical And Stoic Logic
Chapter 24. Predicate Logic Version 1.2: It’S All About Relationships
Chapter 25. Predicate Logic Version 1.3: To Be Or Not To Be: The Logic Of Identity
Chapter 26. Natural Deduction Proofs With Monadic Predicates
Chapter 27. A Semantical Theory For Predicate Logic
Chapter 28. Conditional And Indirect Predicate Proofs
Chapter 29. Proofs With Overlapping Quantifiers
Chapter 30. The Summit: Predicate Logic With Identity

Unit Five: Informal and Inductive Logic
Chapter 31. The Art Of Definition
Chapter 32. The Informal Fallacies
Chapter 33. The Varieties Of Inductive Reasoning
Chapter 34. Elementary Probability Theory

Unit Six: Modal Logic
Chapter 35. Elementary Modal Logic

Appendix A. Classical Indian Logic
Appendix B. Metalogic: The Logic of Logic
Appendix C. Godel’s Theorem: The Power of Logic Revealed
Appendix D. Logic and Computers: How an Idea in Logic Led to the Digital Computer and Transformed the World