A Pocket Guide to Formal Logic
Autor Karl Laderouteen Limba Engleză Paperback – 6 dec 2022
Bazându-ne pe expertiza academică a lui Karl Laderoute, doctor în filozofie și cadru didactic universitar, găsim în A Pocket Guide to Formal Logic un instrument de lucru esențial pentru introducerea în logica simbolică. Publicat de Broadview Press, acest ghid compact este conceput special pentru studenții care nu au un fundament anterior în filozofie, oferind un ton prietenos și accesibil într-un domeniu adesea perceput ca fiind intimidant.
Descoperim o structură riguros organizată, care ghidează cititorul de la elementele de bază ale simbolizării și operatorilor logici (negație, conjuncție, disjuncție, implicație), către tehnici mai complexe de evaluare a argumentelor. Prima parte a cărții se concentrează pe traducerea limbajului natural în logica enunțurilor, în timp ce partea a doua introduce metode concrete pentru testarea validității, precum metoda lungă și metoda scurtă a tabelelor de adevăr. Această progresie logică asigură că studentul stăpânește fundamentele înainte de a trece la demonstrații formale.
În comparație cu alte titluri fundamentale, A Pocket Guide to Formal Logic extinde cadrul propus de Simple Formal Logic de Arnold vander Nat prin concentrarea sa asupra conciziei și a utilității imediate în cursurile de gândire critică. De asemenea, spre deosebire de abordarea din The Logic of Our Language, care pune accent pe structurile limbajului cotidian, lucrarea lui Laderoute oferă o metodologie mai tehnică, dar la fel de clară, facilitând tranziția către logica formală pură. Suntem de părere că prezența întrebărilor de practică la finalul fiecărei secțiuni și resursele digitale suplimentare transformă acest volum dintr-o simplă lectură într-un caiet de lucru interactiv, adaptat nevoilor educației terțiare moderne.
Preț: 116.09 lei
Preț vechi: 137.26 lei
-15%
Carte disponibilă
Livrare economică 24 august-07 septembrie
Specificații
ISBN-10: 1554814707
Pagini: 150
Dimensiuni: 140 x 216 x 7 mm
Greutate: 0.23 kg
Editura: BROADVIEW PR
Colecția Broadview Press
Locul publicării:Peterborough, Canada
De ce să citești această carte
Recomandăm această carte studenților și autodidacților care doresc să stăpânească logica formală fără a fi copleșiți de terminologia abstractă. A Pocket Guide to Formal Logic oferă o cale clară de la înțelegerea argumentelor la demonstrații complexe, fiind ideală pentru cursuri de gândire critică. Cititorul câștigă abilitatea de a analiza validitatea oricărui raționament prin metode verificate, beneficiind de exerciții practice și suport online.
Descriere
Recenzii
“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
Cuprins
Preface for the Instructor
Acknowledgments
Part I: Translating into Statement Logic
- Chapter 1: Symbolization
- 1.1Statements, Arguments, and Deduction
- 1.2 Simple Statements, Complex Statements, and Truth Values
- 1.3 Symbolizing Arguments
- 1.4 Practice Questions
- Chapter 2: Truth Tables
- 2.1 How to Read Truth Tables
- 2.2 Basic Rules of Truth Table Formation
- 2.3 Example Truth Tables
- 2.4 Practice Questions
- Chapter 3: Logical Operators
- 3.1 Negation
- 3.2 Conjunction
- 3.3 Disjunction
- 3.4 Implication
- 3.5 Biconditional
- 3.6 Example Truth Table Revisited
- 3.7 Practice Questions
- Chapter 4: Brackets and Well-Formed Formulas
- 4.1 Brackets and Well-Formed Formulas
- 4.2 Exclusive Disjunction
- 4.3 Practice Questions
- Chapter 5: The Long Truth Table Method
- 5.1 Validity and Soundness
- 5.2 The Long Truth Table Method for Testing Validity
- 5.3 Practice Questions
- Chapter 6: The Short Truth Table Method
- 6.1 Steps for Using the Short Truth Table Method
- 6.2 Examples of the Short Truth Table Method
- 6.3 Practice Questions
- Chapter 7: Valid and Invalid Argument Forms
- 7.1 Modus ponens
- 7.2 Modus tollens
- 7.3 Hypothetical Syllogism (chain argument)
- 7.4 Disjunctive Syllogism
- 7.5 Invalid Argument Form: Affirming the Consequent
- 7.6 Invalid Argument Form: Denying the Antecedent
- 7.7 Practice Questions
- Chapter 8: Proofs
- 8.1 The Method of Proofs
- 8.2 How to Read and Write Proofs
- 8.3 Rules of Inference
- 8.4 Applying the Rules of Inference
- 8.5 Strategies for Approaching Proofs
- 8.6 Practice Questions
- Chapter 9: Advanced Proof Techniques: Conditional Proof and Indirect Proof
- 9.1 Conditional Proof
- 9.2 Indirect Proof (Reductio ad Absurdum)
- 9.3 Multiple Sub-Proofs
- 9.4 Practice Questions
- Chapter 10: Logical Equivalents and Complex Proofs
- 10.1 Logical Equivalents
- 10.2 Using Logical Equivalents
- 10.3 Practice Questions