Sweet reason: a field guide to modern logic
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Malden, MA [u.a.]
Wiley-Blackwell
c 2012
|
| Edition: | 2. ed. |
| Subjects: | |
| Online Access: | Cover image Inhaltsverzeichnis |
| Item Description: | Thomas Tymoczko listed first of prev. ed. Includes bibliographical references and index -- "Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative introduction to logic that integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic in all its guises, designed to entertain as it informs Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays"-- Provided by publisher |
| Physical Description: | XII, 387 S. Ill., graph. Darst. |
| ISBN: | 9781444337150 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039806071 | ||
| 003 | DE-604 | ||
| 005 | 20160107 | ||
| 007 | t | ||
| 008 | 120116s2012 xxkad|| |||| 00||| eng d | ||
| 010 | |a 2011015191 | ||
| 020 | |a 9781444337150 |c pbk. |9 978-1-4443-3715-0 | ||
| 035 | |a (OCoLC)671701593 | ||
| 035 | |a (DE-599)BVBBV039806071 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-29 |a DE-11 |a DE-473 |a DE-92 | ||
| 050 | 0 | |a BC38 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Henle, James M. |d 1946- |e Verfasser |0 (DE-588)1072521660 |4 aut | |
| 245 | 1 | 0 | |a Sweet reason |b a field guide to modern logic |c James M. Henle, Jay L. Garfield and Thomas Tymoczko ; illustrated by Emily Altreuter |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Malden, MA [u.a.] |b Wiley-Blackwell |c c 2012 | |
| 300 | |a XII, 387 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Thomas Tymoczko listed first of prev. ed. | ||
| 500 | |a Includes bibliographical references and index -- "Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative introduction to logic that integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic in all its guises, designed to entertain as it informs Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays"-- Provided by publisher | ||
| 648 | 4 | |a Geschichte 1900-2000 | |
| 650 | 4 | |a Logic, Modern |y 20th century | |
| 650 | 7 | |a PHILOSOPHY / Logic |2 bisacsh | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Garfield, Jay L. |d 1955- |e Verfasser |0 (DE-588)140768378 |4 aut | |
| 700 | 1 | |a Tymoczko, Thomas |d 1943-1996 |e Verfasser |0 (DE-588)172423228 |4 aut | |
| 856 | 4 | |u http://catalogimages.wiley.com/images/db/jimages/9781444337150.jpg |3 Cover image | |
| 856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024666436 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804148735854247936 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PREFACE XI
WBAT IS LOGLC? 1
CHAPTERONE 3
1.1 INTRODUCING FORMAL LOGIC 4
1.2 CONSTANTS AND RELATIONS 7
1.3 OUANTIFLERS AND VARIABLES 9
1.4 INTRODUCING INFORMAL LOGIC 11
1.5 CONCLUSIONS 13
1.6 DIALECTS OF LOGIC 15
CHAPTER1WO 18
2.1 FORMAL INFERENCE 19
2.2 INFORMAL INFERENCE 21
2.3 DIAGRAMMING ARGUMENTS 25
2.4 SAYING NO 32
2.5 METALOGIC 35
CHAPTER THREE 37
3.1 BASIC SENTENTIAL 37
3.2 TRUTH TABLES 43
3.3 ENGLISH TO SENTENTIAL 50
3.4 NEGATING STATEMENTS 56
3.5 REBUTTING PREMISES 59
3.6 COMPUTER LOGIC 65
CHAPTER FOUR 69
4.1 VALIDITY 69
4.2 THE LOGIC OF ENGLISH 73
4.3 NEGATING CONDITIONALS 76
4.4 REBUTTING INFERENCES 80
4.5 THE LOGIC OF SETS 87
IMAGE 2
CONTENTS
CHAPTER FIVE 94
5.1 WE/L-FORMED FORMULAS 94
5.2 THE SHORTCUT METHOD 101
5.3 LOCAL AND GLOBAL 108
5.4 MORE ON TREES 111
5.5 REBUTTING EVERYTHING 115
5.6 PO/ISH LOGIC 122
CHAPTER SIX 129
6.1 PREDICATE 130
6.2 ENG/ISH TO PREDICATE 139
6.3 READING BETWEEN THE LINES 145
6.4 MUITI-VALUED LOGIC 153
CHAPTER SEVEN 162
7.1 UNIVERSES 162
7.2 SY/LOGISMS 167
7.3 VA/IDITY 172
7.4 DIAGRAMMING YOURARGUMENT 176
7.5 INDUCTIVE LOGIC 187
CHAPTER EIGHT 192
8.1 PREDICATE WFFS 192
8.2 OUTIINING YOURARGUMENT 196
8.3 THE LOGIC OF CHANCE 205
CHAPTER NINE 213
9.1 SIMPLE DEDUCTION 213
9.2 SIMPLE STRATEGY 221
9.3 WRITING YOURARGUMENT 227
9.4 BASIC MODAL LOGIC 234
CHAPTERTEN 240
10.1 SENTENTIAL DEDUCTION 240
10.2 SENTENTIAL STRATEGY 250
10.3 ARGUING WITH YOURSELF 263
10.4 SOPHISTICATED MODAL LOGIC 279
CHAPTER ELEVEN 287
11.1 PREDICATE DEDUCTION 287
11.2 PREDICATE STRATEGY 296
11.3 WHY WEARGUE 306
11.4 PRESIDENTIAL DEBATING 310
11.5 THE LOGIC OF PARADOX 315
IMAGE 3
CHAPTER L VELVE
12.1 DEDUCTION WITH LDENTITY 12.2 DEDUCTION, FMTYEWTK 12.3 PARJIAMENTARY
DEBATING 12.4 CATHY,A DECADE ON
12.5 LNCOMPLETE LOGIC
WHAT IS LOGIC?
ANSWERS TO ODDNUMBERED EXERCISES
INDEX
327 327 332 336
338 343
349
350
384
CONTENTS
|
| any_adam_object | 1 |
| author | Henle, James M. 1946- Garfield, Jay L. 1955- Tymoczko, Thomas 1943-1996 |
| author_GND | (DE-588)1072521660 (DE-588)140768378 (DE-588)172423228 |
| author_facet | Henle, James M. 1946- Garfield, Jay L. 1955- Tymoczko, Thomas 1943-1996 |
| author_role | aut aut aut |
| author_sort | Henle, James M. 1946- |
| author_variant | j m h jm jmh j l g jl jlg t t tt |
| building | Verbundindex |
| bvnumber | BV039806071 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC38 |
| callnumber-raw | BC38 |
| callnumber-search | BC38 |
| callnumber-sort | BC 238 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 ST 125 |
| ctrlnum | (OCoLC)671701593 (DE-599)BVBBV039806071 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Informatik Philosophie |
| edition | 2. ed. |
| era | Geschichte 1900-2000 |
| era_facet | Geschichte 1900-2000 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02916nam a2200553zc 4500</leader><controlfield tag="001">BV039806071</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160107 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120116s2012 xxkad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011015191</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781444337150</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-1-4443-3715-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)671701593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039806071</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Henle, James M.</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1072521660</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sweet reason</subfield><subfield code="b">a field guide to modern logic</subfield><subfield code="c">James M. Henle, Jay L. Garfield and Thomas Tymoczko ; illustrated by Emily Altreuter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Malden, MA [u.a.]</subfield><subfield code="b">Wiley-Blackwell</subfield><subfield code="c">c 2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 387 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Thomas Tymoczko listed first of prev. ed.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index -- "Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative introduction to logic that integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic in all its guises, designed to entertain as it informs Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays"-- Provided by publisher</subfield></datafield><datafield tag="648" ind1=" " ind2="4"><subfield code="a">Geschichte 1900-2000</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Modern</subfield><subfield code="y">20th century</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Garfield, Jay L.</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140768378</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tymoczko, Thomas</subfield><subfield code="d">1943-1996</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172423228</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://catalogimages.wiley.com/images/db/jimages/9781444337150.jpg</subfield><subfield code="3">Cover image</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024666436</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV039806071 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:11:52Z |
| institution | BVB |
| isbn | 9781444337150 |
| language | English |
| lccn | 2011015191 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024666436 |
| oclc_num | 671701593 |
| open_access_boolean | |
| owner | DE-29 DE-11 DE-473 DE-BY-UBG DE-92 |
| owner_facet | DE-29 DE-11 DE-473 DE-BY-UBG DE-92 |
| physical | XII, 387 S. Ill., graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Wiley-Blackwell |
| record_format | marc |
| spelling | Henle, James M. 1946- Verfasser (DE-588)1072521660 aut Sweet reason a field guide to modern logic James M. Henle, Jay L. Garfield and Thomas Tymoczko ; illustrated by Emily Altreuter 2. ed. Malden, MA [u.a.] Wiley-Blackwell c 2012 XII, 387 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Thomas Tymoczko listed first of prev. ed. Includes bibliographical references and index -- "Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative introduction to logic that integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic in all its guises, designed to entertain as it informs Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays"-- Provided by publisher Geschichte 1900-2000 Logic, Modern 20th century PHILOSOPHY / Logic bisacsh Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Garfield, Jay L. 1955- Verfasser (DE-588)140768378 aut Tymoczko, Thomas 1943-1996 Verfasser (DE-588)172423228 aut http://catalogimages.wiley.com/images/db/jimages/9781444337150.jpg Cover image V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Henle, James M. 1946- Garfield, Jay L. 1955- Tymoczko, Thomas 1943-1996 Sweet reason a field guide to modern logic Logic, Modern 20th century PHILOSOPHY / Logic bisacsh Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Sweet reason a field guide to modern logic |
| title_auth | Sweet reason a field guide to modern logic |
| title_exact_search | Sweet reason a field guide to modern logic |
| title_full | Sweet reason a field guide to modern logic James M. Henle, Jay L. Garfield and Thomas Tymoczko ; illustrated by Emily Altreuter |
| title_fullStr | Sweet reason a field guide to modern logic James M. Henle, Jay L. Garfield and Thomas Tymoczko ; illustrated by Emily Altreuter |
| title_full_unstemmed | Sweet reason a field guide to modern logic James M. Henle, Jay L. Garfield and Thomas Tymoczko ; illustrated by Emily Altreuter |
| title_short | Sweet reason |
| title_sort | sweet reason a field guide to modern logic |
| title_sub | a field guide to modern logic |
| topic | Logic, Modern 20th century PHILOSOPHY / Logic bisacsh Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Modern 20th century PHILOSOPHY / Logic Logik Mathematische Logik Einführung |
| url | http://catalogimages.wiley.com/images/db/jimages/9781444337150.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT henlejamesm sweetreasonafieldguidetomodernlogic AT garfieldjayl sweetreasonafieldguidetomodernlogic AT tymoczkothomas sweetreasonafieldguidetomodernlogic |