Preface for the General Reader |
|
xv | |
Preface for Logic Teachers: How to Use This Book in Logic Courses |
|
xix | |
Introduction |
|
1 | (7) |
Formal Logic with & about logic informal logic curiosities & puzzles |
|
|
|
|
Introducing the Language of Logic |
|
|
8 | (18) |
|
|
17 | (4) |
|
|
21 | (3) |
|
|
24 | (2) |
|
Everything all at Once and a Warning |
|
|
|
|
26 | (5) |
|
Logical form: The Key to Logic |
|
|
31 | (4) |
|
Argument form: The Key to Reasoning |
|
|
35 | (41) |
|
paradox and W. S. Gilbert |
|
|
39 | (2) |
|
|
41 | (1) |
|
|
42 | (2) |
|
the title of the section on self-reference |
|
|
44 | (9) |
|
|
53 | (6) |
|
|
59 | (5) |
|
law boards: reading comprehension |
|
|
64 | (8) |
|
The Digestor's Digest, page 1 |
|
|
72 | (1) |
|
|
73 | (1) |
|
|
74 | (2) |
|
Statement Logic, Formal Languages, and Informal Arguments |
|
|
|
Formal Languages: Sentential |
|
|
76 | (4) |
|
Formal Languages: Variations on Sentential |
|
|
80 | (4) |
|
|
84 | (6) |
|
Logical Theory for Statement Logic |
|
|
90 | (3) |
|
Some Basic Tautologies and Implications |
|
|
93 | (43) |
|
|
99 | (1) |
|
artificial and natural languages |
|
|
100 | (4) |
|
rewrite rules and finite automata |
|
|
104 | (5) |
|
|
109 | (1) |
|
|
109 | (6) |
|
|
115 | (4) |
|
|
119 | (5) |
|
|
124 | (4) |
|
|
128 | (2) |
|
The Digestor's Digest, page 2 |
|
|
130 | (1) |
|
|
131 | (1) |
|
|
132 | (1) |
|
|
132 | (4) |
|
Valid Arguments, Convincing Arguments, and Punk Logic |
|
|
|
|
136 | (2) |
|
|
138 | (4) |
|
A Shortcut for Checking Arguments |
|
|
142 | (2) |
|
|
144 | (40) |
|
|
153 | (3) |
|
|
156 | (1) |
|
|
157 | (5) |
|
|
162 | (2) |
|
|
164 | (1) |
|
|
165 | (4) |
|
|
169 | (4) |
|
|
173 | (3) |
|
|
176 | (1) |
|
The Digestor's Digest, page 3 |
|
|
177 | (1) |
|
|
178 | (1) |
|
|
179 | (2) |
|
|
181 | (3) |
|
Predicates, Programs, and Antique Logic |
|
|
|
|
184 | (5) |
|
Variations on the Theme of Predicate Languages |
|
|
189 | (4) |
|
From Statement Logic to Predicate Logic |
|
|
193 | (3) |
|
Interpreting Predicate Logic |
|
|
196 | (5) |
|
Logical Theory for Predicate Logic |
|
|
201 | (3) |
|
Logical Laws: Basic Valid Wffs and implications |
|
|
204 | (5) |
|
Symbolization in Predicate Logic |
|
|
209 | (9) |
|
|
218 | (46) |
|
|
220 | (3) |
|
|
223 | (5) |
|
|
228 | (3) |
|
|
231 | (2) |
|
|
233 | (3) |
|
|
236 | (2) |
|
|
238 | (3) |
|
|
241 | (6) |
|
|
247 | (4) |
|
|
251 | (2) |
|
The Digestor's Digest, page 4 |
|
|
253 | (1) |
|
|
254 | (1) |
|
|
255 | (3) |
|
the sorites of Lewis Carroll |
|
|
258 | (6) |
|
Deduction, Infinity, and A Haircut |
|
|
|
|
264 | (2) |
|
|
266 | (7) |
|
Hypothetical Reasoning: Deduction from Assumptions |
|
|
273 | (6) |
|
|
279 | (8) |
|
|
287 | (5) |
|
Formalizing for Validity in Predicate Logic |
|
|
292 | (42) |
|
in Hell with Raymond Smullyan |
|
|
294 | (4) |
|
|
298 | (4) |
|
|
302 | (4) |
|
infinity potential and actual |
|
|
306 | (2) |
|
|
308 | (4) |
|
Anita Hill and Arlen Specter |
|
|
312 | (4) |
|
|
316 | (5) |
|
the adventure of the dancing men |
|
|
321 | (2) |
|
|
323 | (1) |
|
The Digestor's Digest, page 5 |
|
|
324 | (1) |
|
|
325 | (1) |
|
|
326 | (3) |
|
|
329 | (5) |
|
Symbolic Sophistication, Induction, and Business Logic |
|
|
|
Quantifiers and Arithmetic |
|
|
334 | (3) |
|
|
337 | (6) |
|
``The'': Russell's Theory of Definite Descriptions |
|
|
343 | (51) |
|
|
351 | (3) |
|
Bayes' law and Sherlock Holmes |
|
|
354 | (4) |
|
|
358 | (4) |
|
|
362 | (9) |
|
|
371 | (5) |
|
|
376 | (1) |
|
|
377 | (6) |
|
|
383 | (1) |
|
The Digestor's Digest, page 6 |
|
|
384 | (1) |
|
|
385 | (2) |
|
Lewis Carroll's ``what the tortoise said to Achilles'' |
|
|
387 | (4) |
|
|
391 | (3) |
|
Completeness, Disbelief, Debates, and Dinner |
|
|
|
|
394 | (5) |
|
|
399 | (5) |
|
Axiomatization and Boolean Algebra |
|
|
404 | (46) |
|
|
411 | (4) |
|
the law of the excluded middle |
|
|
415 | (5) |
|
|
420 | (9) |
|
more Bush, Clinton, and Perot |
|
|
429 | (6) |
|
|
435 | (4) |
|
|
439 | (2) |
|
|
441 | (1) |
|
The Digestor's Digest, page 7 |
|
|
442 | (1) |
|
|
443 | (1) |
|
|
444 | (1) |
|
|
445 | (1) |
|
the family reunion II: the women |
|
|
446 | (4) |
|
Paradox, Impossibility, and the Law |
|
|
|
Where do Numbers Come From? |
|
|
450 | (8) |
|
|
458 | (10) |
|
Russell's Paradox and Frege's Mistake |
|
|
468 | (49) |
|
|
474 | (6) |
|
|
480 | (1) |
|
the busy beaver is not computable |
|
|
481 | (2) |
|
|
483 | (3) |
|
Quayle, Gore, and Stockdale |
|
|
486 | (5) |
|
law boards: logical reasoning |
|
|
491 | (8) |
|
law boards: analytical reasoning |
|
|
499 | (7) |
|
law boards: rules and disputes |
|
|
506 | (7) |
|
The Digestor's Digest, page 8 |
|
|
513 | (1) |
|
|
514 | (1) |
|
|
515 | (1) |
|
Tom and Jim's excellent adventure |
|
|
516 | (1) |
|
|
517 | (2) |
NOTES, REFERENCES, HINTS, AND SOME ANSWERS |
|
|
|
519 | (7) |
|
Everything all at Once and a Warning |
|
|
526 | (5) |
|
Statement Logic, Formal Languages, and Informal Arguments |
|
|
531 | (15) |
|
Valid Arguments, Convincing Arguments, and Punk Logic |
|
|
546 | (16) |
|
Predicates, Programs, and Antique Logic |
|
|
562 | (18) |
|
Deduction, Infinity, and a Haircut |
|
|
580 | (21) |
|
Symbolic Sophistication, Induction, and Business Logic |
|
|
601 | (12) |
|
Completeness, Disbelief, Debates, and Dinner |
|
|
613 | (11) |
|
Paradox, Impossibility, and the Law |
|
|
624 | (15) |
Index |
|
639 | |