A Pocket Guide to Formal Logic
  • Publication Date: November 30, 2022
  • ISBN: 9781554814701 / 1554814707
  • 120 pages; 5½" x 8½"

Note on pricing.

Ebook will also be available for purchase upon publication.

Request Exam Copy

Availability: Worldwide

A Pocket Guide to Formal Logic

  • Publication Date: November 30, 2022
  • ISBN: 9781554814701 / 1554814707
  • 120 pages; 5½" x 8½"

A 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.

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

Karl Laderoute has taught philosophy at the University of Lethbridge.

  • • Concise and focused, offering a uniquely pithy primary on logic
  • • The author’s conversational tone and fun examples make for a welcoming introduction to the subject
  • • Introduces the essential elements of statement logic, including:
    • o Symbolization and Operators
    • o Well-Formed Formulas
    • o The Long Truth Table method
    • o The Short Truth Table method
    • o Proofs, including Conditional and Indirect Proofs
  • • Summarized rules for truth tables and proofs are included on the book’s interior cover pages
  • • A complimentary companion website offers additional detail on several topics