Description
Book SynopsisA Pocket Guide to Formal Logic is a succinct primer meant especially for those without any prior background in logic. Its brevity makes it well-suited to introductory courses with a formal logic component, and its friendly tone offers a welcoming introduction to this often-intimidating subject. The book provides a focused presentation of common methods used in statement logic, including translations, truth tables, and proofs. Supplemental materials, including more detailed treatments of select methods and concepts as well as additional sample questions and answers, are available on a companion website.
Trade Review“A Pocket Guide to Formal Logic is an excellent and very affordable introduction to sentence logic. The text covers symbolization, truth-tables, and proofs in a lucid and non-technical manner. I highly recommend this text to any instructor who wants to add a symbolic logic component to a course on logic and critical thinking.” — René Jagnow, University of Georgia
“Karl Laderoute manages to pack a lot of formal propositional logic into a relatively small space, and yet his book is friendly, moves at a peaceful pace, leaves out nothing germane to an introductory course, and explains well all the traditional topics of propositional logic. A Pocket Guide gets to the point, but is not hurried, nor is the discussion over-simplified. This is quite an achievement.” — Eric Dietrich, Binghamton University
“A Pocket Guide to Formal Logic is a concise, affordable, and gentle introduction to propositional logic. The proof system uses intuitive rules, and includes many redundant rules, so constructing proofs is a breeze. This book would be a good choice for many critical thinking courses in philosophy departments.” — Thomas Donaldson, Simon Fraser University
Table of Contents
- Part I: Translating into Statement Logic
- Chapter 1: Symbolization
- Chapter 2: Truth tables
- Chapter 3: Logical operators
- Chapter 4: Brackets and Well-Formed Formulas
- Part II: Testing Validity with Truth Tables
- Chapter 5: The Long Truth Table Method
- Chapter 6: The Short Truth Table Method for Testing Validity
- Part III: Demonstrating Validity with Proofs
- Chapter 7: Valid and Invalid Argument Forms
- Chapter 8: Proofs
- Chapter 9: Advanced Proof Techniques: Conditional Proof and Indirect Proof
- Chapter 10: Logical Equivalents and Complex Proofs
