Sweet Reason: A Field Guide to Modern LogicSpringer Science & Business Media, 8. 4. 2004. - 644 страница A revolutionary, introductory text for courses on modern logic. While the basic rudiments of formal and informal logical are all clearly described here, it also focuses students on the real world, where the discipline of logic adds substance and meaning to all kinds of human discourse. Everything from puzzles, paradoxes, and mathematical proofs, to campaign debate excerpts, government regulations, and cartoons are used to show how logic is put to work by philosophers, mathematicians, advertisers, computer scientists, politicians, and others. As the book 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, subvert, and enlighten. |
Из књиге
Резултати 1-5 од 82
Страница vii
... puzzles 1 A TASTE OF LOGIC INTRODUCING THE LANGUAGE OF LOGIC . paradox .................. .. XV ... xix 1 .8 .17 negation .. .21 quiz ...... .24 2 EVERYTHING ALL AT ONCE AND A WARNING TRUTH AND FALSITY ....... LOGICAL FORM : THE KEY TO ...
... puzzles 1 A TASTE OF LOGIC INTRODUCING THE LANGUAGE OF LOGIC . paradox .................. .. XV ... xix 1 .8 .17 negation .. .21 quiz ...... .24 2 EVERYTHING ALL AT ONCE AND A WARNING TRUTH AND FALSITY ....... LOGICAL FORM : THE KEY TO ...
Страница viii
... ..109 ..109 .115 119 .124 ..128 The Digestor's Digest , page 2.130 exam warning II . . . . . a nonlogical puzzle ... self - referential puzzles .131 ..132 .... 132 FORMAL LOGIC with & about logic informal logic curiosities & viii.
... ..109 ..109 .115 119 .124 ..128 The Digestor's Digest , page 2.130 exam warning II . . . . . a nonlogical puzzle ... self - referential puzzles .131 ..132 .... 132 FORMAL LOGIC with & about logic informal logic curiosities & viii.
Страница ix
... puzzles 4 VALID ARGUMENTS , CONVINCING ARGUMENTS , AND PUNK LOGIC VALID ARGUMENT FORMS ... FORMALIZING FOR VALIDITY ..136 .138 A SHORTCUT FOR CHECKING ARGUMENTS FORMALIZING ENGLISH .. Miniac . flipism . .142 .144 153 .156 sets . .157 ...
... puzzles 4 VALID ARGUMENTS , CONVINCING ARGUMENTS , AND PUNK LOGIC VALID ARGUMENT FORMS ... FORMALIZING FOR VALIDITY ..136 .138 A SHORTCUT FOR CHECKING ARGUMENTS FORMALIZING ENGLISH .. Miniac . flipism . .142 .144 153 .156 sets . .157 ...
Страница x
... puzzles 5 PREDICATES , PROGRAMS , AND ANTIQUE LOGIC PREDICATE LANGUAGES VARIATIONS ON THE THEME OF PREDICATE LANGUAGES 184 .189 FROM STATEMENT LOGIC TO PREDICATE LOGIC .... .193 INTERPRETING PREDICATE LOGIC .... .196 LOGICAL THEORY FOR ...
... puzzles 5 PREDICATES , PROGRAMS , AND ANTIQUE LOGIC PREDICATE LANGUAGES VARIATIONS ON THE THEME OF PREDICATE LANGUAGES 184 .189 FROM STATEMENT LOGIC TO PREDICATE LOGIC .... .193 INTERPRETING PREDICATE LOGIC .... .196 LOGICAL THEORY FOR ...
Страница xi
... puzzles 6 DEDUCTION , INFINITY , AND A HAIRCUT MAIN CONNECTIVES . .264 DEDUCTION ..... ..266 HYPOTHETICAL REASONING : DEDUCTION FROM ASSUMPTIONS . ..273 PROVING VALIDITY ..279 PROVING INVALIDITY ..287 FORMALIZING FOR VALIDITY IN ...
... puzzles 6 DEDUCTION , INFINITY , AND A HAIRCUT MAIN CONNECTIVES . .264 DEDUCTION ..... ..266 HYPOTHETICAL REASONING : DEDUCTION FROM ASSUMPTIONS . ..273 PROVING VALIDITY ..279 PROVING INVALIDITY ..287 FORMALIZING FOR VALIDITY IN ...
Садржај
I | 1 |
II | 7 |
III | 8 |
V | 25 |
VI | 26 |
VII | 31 |
VIII | 35 |
IX | 59 |
XXVIII | 201 |
XXIX | 204 |
XXX | 209 |
XXXI | 218 |
XXXII | 263 |
XXXIII | 264 |
XXXIV | 266 |
XXXV | 273 |
X | 75 |
XII | 76 |
XIII | 80 |
XIV | 84 |
XV | 90 |
XVI | 93 |
XVII | 135 |
XVIII | 136 |
XIX | 138 |
XXI | 142 |
XXII | 144 |
XXIII | 183 |
XXIV | 184 |
XXV | 189 |
XXVI | 193 |
XXVII | 196 |
XXXVI | 279 |
XXXVII | 287 |
XXXVIII | 292 |
XXXIX | 333 |
XL | 334 |
XLI | 337 |
XLII | 343 |
XLIII | 393 |
XLV | 394 |
XLVI | 399 |
XLVII | 404 |
XLVIII | 449 |
XLIX | 450 |
L | 458 |
LI | 468 |
Друга издања - Прикажи све
Sweet Reason: A Field Guide to Modern Logic James M. Henle,Jay L. Garfield,Thomas Tymoczko Ограничен приказ - 2011 |
Sweet Reason: A Field Guide to Modern Logic James M. Henle,Jay L. Garfield,Thomas Tymoczko Ограничен приказ - 2011 |
Sweet Reason: A Field Guide to Modern Logic James M. Henle,Jay L. Garfield,Thomas Tymoczko Приказ није доступан - 2011 |
Чести термини и фразе
1-1 correspondence 3xAx 3xFx answer argue argument form assumption axiom basic Boolean algebra buffalo buffalo buffalo Bush busy beaver CHALLENGE conclusion contradiction curiosities & puzzles deduction diagram Digestor's Digest English equivalent everything example EXERCISE fallacy false female finite food establishment FORMAL LOGIC Frege garbage is collected Hypergame implies infinite number informal logic Jim Henle letters Lewis Carroll logical form logicians mathematicians mathematics means ment natural numbers negation paradox Perot philosophers player potentially hazardous food predicate language predicate logic premise problem Prolog proof prove quantifiers question Raymond Smullyan reason relevant restricted quantifiers rules sentence Sentential sorites paradox statement logic strategy structure Suppose tautology theorem things tion true truth table truth values universe vague predicates variable VxAx VxFx W. S. Gilbert words write
Референце за ову књигу
Logik - Faszination der Klarheit : eine Einführung für Philosophinnen und ... Reinhard Kamitz Приказ није доступан - 2007 |