✍ Scribed by R.L. Simpson
No coin nor oath required. For personal study only.
Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. The book focuses on sentence logic and predicate logic, and provides a thorough grounding in derivation strategies in both. A final chapter provides a brief overview of other approaches.
Contents......Page 5
§1.1: The Aims of this Book......Page 12
§1.2: Primarily for the Student......Page 14
§1.3: Primarily for the Instructor......Page 15
§2.1: The Fundamentals......Page 18
§2.2: Truth Functions......Page 19
§2.3: Sentence Letters and Symbols......Page 20
§2.4: Metalanguage......Page 22
§2.5: Well-Formed Formulas......Page 23
§2.6: Exercises......Page 24
§2.7: Simple Translation: Negation......Page 25
§2.8: Simple Translation: Conjunction......Page 26
§2.9: Simple Translation: Disjunction......Page 28
§2.10: Simple Translation: The Horseshoe......Page 29
§2.11: Simple Translation: The Triplebar......Page 31
§2.12: Translating Complicated Sentences......Page 32
§2.13: Exercises......Page 35
§2.14: Defining the Operators......Page 37
§2.15: Truth Tables......Page 40
§2.17: Types of Formulas......Page 43
§2.18: Truth-Functional Equivalences......Page 46
§2.20: Arguments......Page 50
§2.21: Exercises......Page 54
§2.22: Translating Arguments......Page 56
§2.23: Exercises......Page 61
§2.24: Summary of Topics......Page 62
§3.1: What a Derivation Is......Page 66
§3.2: Conjunction Introduction......Page 68
§3.3: Conjunction Elimination......Page 70
§3.4: Negation Elimination......Page 72
§3.5: Disjunction Introduction......Page 73
§3.6: Horseshoe Elimination......Page 75
§3.7: Triplebar Elimination......Page 77
§3.8: Exercises......Page 78
§3.9: Constructing Derivations......Page 79
§3.10: Exercises......Page 90
§3.11: Assumptions......Page 91
§3.12: Reiteration......Page 93
§3.13: Horseshoe Introduction......Page 95
§3.14: Triplebar Introduction......Page 99
§3.15: Negation Introduction......Page 102
§3.16: Disjunction Elimination......Page 106
§3.17: Exercises......Page 108
§3.18: More Derivation Construction......Page 110
§3.19: Exercises......Page 123
§3.20: Indirect Proof......Page 124
§3.21: Exercises......Page 132
§3.22: Categorical Derivations......Page 134
§3.23: Exercises......Page 137
§3.24: Summary of Topics......Page 138
§4.1: Individuals and Predicates......Page 144
§4.2: One-Place and Multi-Place Predicates......Page 146
§4.3: Choices in Translation......Page 148
§4.4: Exercises......Page 149
§4.5: Quantifiers......Page 150
§4.6: The Existential Quantifier......Page 151
§4.7: The Universal Quantifier......Page 153
§4.8: Using Both Quantifiers......Page 155
§4.9: Exercises......Page 158
§4.10: People and Things......Page 159
§4.11: Exercises......Page 160
§4.12: Identity......Page 161
§4.13: Translation Problems and Domains......Page 165
§4.14: Exercises......Page 170
§4.15: Arguments in Predicate Logic......Page 171
§4.16: Exercises......Page 174
§4.17: Simple Interpretations......Page 176
§4.18: Exercises......Page 182
§4.19: Summary of Topics......Page 185
§5.1: Predicate Logic Derivations......Page 188
§5.2: Existential Quantifier Introduction......Page 189
§5.3: Universal Quantifier Elimination......Page 192
§5.4: Existential Quantifier Elimination......Page 194
§5.5: Universal Quantifier Introduction......Page 197
§5.6: Identity Introduction......Page 201
§5.7: Identity Elimination......Page 202
§5.8: Exercises......Page 203
§5.9: Derivation Strategies......Page 205
§5.10: Exercises......Page 214
§5.11: More Derivation Strategies......Page 215
§5.12: Exercises......Page 226
§5.13: Categorical Derivations in Predicate Logic......Page 228
§5.15: Summary of Topics......Page 231
§6.1: The Scope of the Text......Page 234
§6.3: The Names of the Rules......Page 235
§6.4: Unfamiliar Terminology and Symbols......Page 236
§6.5: Additional Derivation Rules......Page 239
§6.6: Replacement Rules......Page 240
§6.7: Avoiding Reiteration......Page 241
§6.8: Joint Denial and the Sheffer Stroke......Page 242
§6.9: Consistency and Truth Trees......Page 244
C......Page 250
I......Page 251
M......Page 252
R......Page 253
S......Page 254
W......Page 255
📜 SIMILAR VOLUMES
Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. The book focuses on sentence logic and predicate logic, and provides a thorough grounding in derivation strategies in both. A final chapter provides a brief overview of other approaches.
The third edition of Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum,
<TABLE> <TBODY> <TR> <TD>For courses in Formal Logic. The general approach of this book to logic remains the same as in earlier editions. Following Aristotle, we regard logic from two different points of view: on the one hand, logic is an instrument or organon for appraising the correctness of re