Logic Primer, 3e

by Allen, Hand

| ISBN: 9780262369497 | Copyright 2022

Click here to preview

Instructor Requests

Digital Exam/Desk Copy Print Desk Copy Ancillaries
Tabs
Expand/Collapse All
Contents (pg. vii)
Preface (pg. ix)
Acknowledgments (pg. xvii)
1: Sentential Logic: Basic Concepts and a Formal Language (pg. 1)
1.1 Basic Logical Notions (pg. 1)
1.2 Elements of a Formal Language (pg. 3)
1.3 WellFormed Formulas (pg. 5)
1.4 Translation of English to Sentential Wffs (pg. 10)
2: Sentential Logic: Proofs (pg. 17)
2.1 Primitive Rules of Proof (pg. 17)
2.2 Sequents and Derived Rules (pg. 27)
2.3 Theorems (pg. 33)
3: Sentential Logic: Truth Tables (pg. 37)
3.1 Truth Tables for Sentences (pg. 37)
3.2 Truth Tables for Sequents (pg. 40)
3.3 Tautologies (pg. 42)
3.4 Indirect Truth Tables (pg. 44)
3.5 English Counterexamples (pg. 47)
4: Predicate Logic: Formal Language (pg. 51)
4.1 A Formal Language for Predicate Logic (pg. 51)
4.2 Translation of English to Quantified Wffs (pg. 58)
5: Predicate Logic: Proofs (pg. 65)
5.1 Primitive Rules of Proof (pg. 65)
5.2 Theorems and Derived Rules of Proof (pg. 73)
6: Predicate Logic: Models (pg. 77)
6.1 Finite Interpretations and Expansions with OnePlace Predicates (pg. 77)
6.2 Finite Countermodels for Arguments with OnePlace Predicates (pg. 81)
6.3 Finite Countermodels for Arguments with ManyPlace Predicates (pg. 84)
6.4 Infinite Countermodels (pg. 88)
7: Predicate Logic with Identity (pg. 91)
7.1 Formal Language (pg. 91)
7.2 Proofs (pg. 95)
7.3 Countermodels (pg. 98)
Appendix: Answers to Selected Exercises (pg. 101)
A.1 Chapter 1 Answers (pg. 101)
A.2 Chapter 2 Answers (pg. 103)
A.3 Chapter 3 Answers (pg. 127)
A.4 Chapter 4 Answers (pg. 133)
A.5 Chapter 5 Answers (pg. 139)
A.6 Chapter 6 Answers (pg. 150)
A.7 Chapter 7 Answers (pg. 154)

Colin Allen

Colin Allen is Professor of Philosophy at Texas A&M University. He is the coauthor of Nature's Purposes (MIT Press, 1998), Species of Mind (MIT Press, 1997), and The Cognitive Animal (MIT Press, 2001).

Michael Hand

Michael Hand is Professor of Philosophy at Texas A&M University.

eTextbook
Go paperless today! Available online anytime, nothing to download or install.