Logic Primer, 3e
by Allen, Hand
ISBN: 9780262543644 | Copyright 2022
Instructor Requests
| 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.
|
