Preface for the General Reader | p. xv |
Preface for Logic Teachers: How to Use This Book in Logic Courses | p. xix |
Introduction | p. 1 |
Formal Logic | |
A Taste of Logic Introducing the Language of Logic | p. 8 |
Paradox | p. 17 |
Negation | p. 17 |
Quiz | p. 24 |
Everything All at Once and a Warning Truth and Falsity | p. 26 |
Logical Form: The Key to Logic | p. 31 |
Argument Form: The Key to Reasoning | p. 35 |
Paradox and W.S. Gilbert | p. 39 |
The Orb and Post | p. 41 |
Paradoxes and Psychology | p. 42 |
The Title of the Section on Self-Reference | p. 44 |
How to Argue | p. 53 |
Rebuttal | p. 59 |
Law Boards: Reading Comprehension | p. 64 |
The Digestor's Digest, page 1 | p. 72 |
Exam Warning I | p. 73 |
Talking Heads | p. 74 |
Statement Logic, Formal Languages, and Informal Arguments Formal Languages: Sentential | p. 76 |
Formal Languages: Variations on Sentential | p. 84 |
Logical Theory for Statement Logic | p. 90 |
Some Basic Tautologies and Implications | p. 93 |
Buffalo Buffalo Buffalo | p. 99 |
Artificial and Natural Languages | p. 100 |
Rewrite Rules and Finite Automata | p. 104 |
Loofah Loofah Loofah | p. 109 |
Conclusions | p. 115 |
Supporting Statements | p. 115 |
Relevance | p. 119 |
Premises | p. 124 |
Cathy has breakfast | p. 128 |
The Digestor's Digest, page 2 | p. 130 |
Exam Warning II | p. 131 |
A Nonlogical Puzzle | p. 132 |
Self-Referential Puzzles 132 | |
Valid Arguments, Convincing Arguments, and Punk Logic Valid Argument Forms | p. 136 |
Formalizing for Validity | p. 138 |
A Shortcut for Checking Arguments | p. 142 |
Formalizing English | p. 144 |
Miniac | p. 153 |
Flipism | p. 156 |
Sets | p. 157 |
Logic Circuits | p. 162 |
Bertrand the First | p. 165 |
Criticizing Arguments | p. 165 |
Writing Arguments | p. 169 |
A Good Paragraph | p. 173 |
Cathy Goes to War | p. 176 |
The Digestor's Digest, page 3 | p. 177 |
Exam Warning III | p. 178 |
The Family Reunion | p. 179 |
Punk Logic 181 | |
Predicates, Programs, and Antique Logic Predicate Languages | p. 184 |
Variations on the Theme of Predicate Languages | p. 189 |
From Statement Logic to Predicate Logic | p. 193 |
Interpreting Predicate Logic | p. 196 |
Logical Theory for Predicate Logic | p. 201 |
Logical Laws: Basic Valid WFFS and Implications | p. 204 |
Symbolization in Predicate Logic | p. 218 |
Poles and Norwegians | p. 218 |
Games | p. 220 |
BASIC | p. 223 |
Binary | p. 228 |
TRIVIAL | p. 231 |
Algorithm | p. 236 |
The Busy Beaver | p. 238 |
Syllogisms | p. 238 |
Fallacies | p. 241 |
Rabbinic Logic | p. 247 |
Cathy Meets God | p. 251 |
The Digestor's Digest, page 4 | p. 253 |
Exam Warning IV | p. 254 |
The Game of Logic | p. 255 |
The Sorites or Lewis Carroll 258 | |
Deduction, Infinity, and a Haircut Main Connectives | p. 264 |
Deduction | p. 266 |
Hypothetical Reasoning: Deduction from Assumptions | p. 273 |
Proving Validity | p. 279 |
Proving Invalidity | p. 187 |
Formalizing for Validity in Predicate Logic | p. 292 |
In Hell with Raymond Smellyan | p. 294 |
No (Certain) Escape | p. 298 |
Infinite Tasks | p. 302 |
Infinity: Potential and Actual | p. 306 |
Proof by Contradiction | p. 308 |
Anita Hill and Arlen Specter | p. 312 |
Bush, Clinton, and Perot | p. 316 |
The Adventure of the Dancing Man | p. 321 |
Commercial Logic I | p. 323 |
The Digestor's Digest, page 5 | p. 324 |
Exam Warning V | p. 325 |
The Barbershop Problem | p. 326 |
English | p. 254 329 |
Symbolic Sophistication, Induction, and Business Logic Quantifiers and Arithmetic | p. 334 |
Functions | p. 337 |
"The": Russell's Theory of | |
Table of Contents provided by Publisher. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.