Sweet Reason : A Field Guide to Modern Logic

by Thomas Tymoczko; James M. Henle

• ISBN13: 9780470414187
• ISBN10: 0470414189
• Format: Paperback
• Copyright: 1999-11-01
• Publisher: WILEY

Summary

Sweet Reason is a unique introductory logic text that covers both the basic rudiments of formal and informal logic as well as the real world where the discipline of logic adds substance and meaning to human discourse. As the text alternately discusses, instructs, questions, teases and challenges, readers will find themselves absorbing the fundamentals of the discipline, becoming fluent in the language of logic, understanding how logic works in the real world, and enjoying logic's ability to entertain, surprise, discover, and enlighten.

Table of Contents

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.