We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time. Find out more

Introduction to Logic

Paul Herrick

May 2012

ISBN: 9780199890491

848 pages

Price: £42.99



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 most affordably priced introduction to logic on the market, available in paperback and eBook formats
  • Exceptionally clear yet conversational explanations throughout
  • A multitude of examples, many drawn from everyday life and popular culture
  • Over 2,000 exercises and problems
  • The historical background of logic is interwoven throughout the text to show real-world context and give a sense of the human side of logic
  • A variety of pedagogical features, including: a wide variety of examples and exercises, bolded key terms, and boxes on the history of logic
  • Covers practical application of logic, including how logic applies to computer programming
  • Covers both formal logic and critical reasoning
  • Perfectly tailored for the Open Course Library, but completely suited to any Introduction to Logic course

About the Author(s)

Paul Herrick, Professor of Philosophy, Shoreline Community College

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.

Table of Contents

    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
    Gödel's Theorem:
    The Power of Logic Revealed
    Appendix 4
    Logic and Computers


"I have been very satisfied with this textbook and its companion materials. I am using this text with second language learners, and while I'm sure it was not developed with this goal in mind, it is very accessible and clearly explained, and works well for my students." - Jonathan Parker, Miyazaki International College