A Pocket Guide to Formal Logic

Karl Laderoute (Autor)

Buch | Softcover

150 Seiten

2022
Broadview Press Ltd (Verlag)
978-1-55481-470-1 (ISBN)

Artikel merken

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.

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.

Karl Laderoute holds a PhD in Philosophy from McMaster University in Hamilton, Ontario. He has taught philosophy at the University of Lethbridge and Trent University.

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

Erscheinungsdatum	03.01.2023
Sprache	englisch
Maße	140 x 216 mm
Gewicht	231 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
ISBN-10	1-55481-470-7 / 1554814707
ISBN-13	978-1-55481-470-1 / 9781554814701
Zustand	Neuware