A Pocket Guide to Formal Logic

Erscheinungsjahr 2022
ISBN: 978-1-55481-470-1
Verlag: Broadview Press

Buch, Englisch, 120 Seiten, Paperback, Format (B × H): 140 mm x 216 mm

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.

Autoren/Hrsg.

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Inhaltsverzeichnis

- 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

Über Autor(innen)

Karl Laderoute has taught philosophy at the University of Lethbridge.