Introduction to Logic

ISBN : 9780199890491

Paul Herrick
848 ページ
191 x 235 mm

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
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
Appendix 1
Classical Indian Logic
Appendix 2
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.