Sweet Reason: A Field Guide to Modern LogicSpringer Science & Business Media, 8 апр. 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 из 81
Стр. 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 |