Introduction to Logic

This is a comprehensive introduction to the fundamentals of logic (both formal logic and critical reasoning), with exceptionally clear yet conversational explanations and a multitude of engaging examples and exercises. Herrick's examples are on-point and fun, often bringing in real-life situations and popular culture. And more so than other logic textbooks, Introduction to Logic brings in the history of philosophy and logic through interesting boxes/sidebars and discussions, showing logic's relation to philosophy. The book is especially suited for use in the "Open Course Library," a comprehensive online logic course that is open and free. Jointly funded by the state of Washington and the Bill & Melinda Gates Foundation, the Logic Course is one of 80 hybrid courses available online at no charge to the more than 400,000 students in the Washington system. The course is also available for logic courses throughout the US and the world. The Logic Course is available online now. Herrick was chosen to develop the Logic Course for the online Open Course Library. Here is a link for information on the Open Library Course Logic Course: The most affordable logic text available, Introduction to Logic is offered in both paperback and eBook formats and is ideal for any introduction to logic course. Ancillaries: An Instructor's Manual features a brief summary of each chapter of the text, answers to all the questions in the text, additional questions and exercises for instructors to use on quizzes and exams, and a PowerPoint presentation that covers the entire book. The Instructor's Manual is available on CD or online at www.oup.com/us/herrick. Also online at www.oup.com/us/herrick, students will find self-quizzes with a limited number of questions taken from the test bank. As part of the Open Course Library, instructors and students can access the entire online logic course, which features 115 video demonstrations that follow the book chapter-by-chapter, over 20 detailed PowerPoint presentations covering the most technical parts of the course, and over 40 online lectures featuring a self-test with answers for each chapter. Additionally, Herrick's website, www.manyworldsoflogic.com, exists as a general online resource for teachers and students of logic and features extra credit assignments and further study materials. Message: Untangling the complexities of logical theory using clear explanations and many examples drawn right out of everyday life

Unit One: The Fundamental Concepts of Logical Theory. 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. The Logical Relations and Concluding Matters. Unit Two: Categorical Logic. Chapter 7. Logic Takes Form. Categorical Logic Version 1.0. Chapter 8. Evaluating Mediated Inferences. Chapter 9. Categorical Logic Version 2.0. 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 Formal Languages in the 19th Century. Chapter 13: From English to TL. Techniques for Great Translations. Chapter 14. Truth-Table Analysis-1. Truth-Tables for the Operators. Chapter 15. Truth-Table Analysis-2. Testing Sentences. Chapter 16. Truth-Table Analysis-3. Testing Arguments. Chapter 17. Truth-Table Analysis-4. Relations. Chapter 18. Modern Truth-Functional. Natural Deduction Part 1. Chapter 19. Truth-Functional Natural Deduction Part 2. Adding Four Inference Rules. Chapter 20:. Truth-Functional Deduction Part 3. Add Replacement Rules to the System. Chapter 21. Truth-Functional Deduction Part 4. Indirect and Conditional Proof. Chapter 22. Premise-free Proofs. Interlude: Philosophy of Logic. 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. Inductive Reasoning. Chapter 34. Elementary Probability Theory. Unit Six: Modal Logic. Chapter 35. Elementary Modal Logic. Appendices. Appendix 1. Classical Indian Logic. Appendix 2. Metalogic. Appendix 3. Godel's Theorem:. The Power of Logic Revealed. Appendix 4. Logic and Computers.

Paul Herrick received his Ph.D in philosophy from the University of Washington. Since 1983 he has taught philosophy at Shoreline Community College, in Shoreline, Washington, near Seattle. He is the author of Reason and Worldview. An Introduction to Western Philosophy, and The Many Worlds of Logic.