A pocket guide to formal logic:
"A Pocket Guide to Formal Logic is a succinct primer meant especially for those without any prior background in logic. Its brevity makes it well-suited to introductory courses with a formal logic component, and its friendly tone offers a welcoming introduction to this often-intimidating subject...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Peterborough, Ontario
Broadview Press
2022
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | "A Pocket Guide to Formal Logic is a succinct primer meant especially for those without any prior background in logic. Its brevity makes it well-suited to introductory courses with a formal logic component, and its friendly tone offers a welcoming introduction to this often-intimidating subject. The book provides a focused presentation of common methods used in statement logic, including translations, truth tables, and proofs. Supplemental materials—including more detailed treatments of select methods and concepts as well as additional sample questions and answers—are available on a companion website."-- |
| Beschreibung: | 145 Seiten 22 cm |
| ISBN: | 9781554814701 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV048847164 | ||
| 003 | DE-604 | ||
| 005 | 20230509 | ||
| 007 | t | ||
| 008 | 230307s2022 |||| 00||| eng d | ||
| 020 | |a 9781554814701 |c paperback |9 978-1-55481-470-1 | ||
| 035 | |a (OCoLC)1376414565 | ||
| 035 | |a (DE-599)BVBBV048847164 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 082 | 0 | |a 160 |2 23 | |
| 100 | 1 | |a Laderoute, Karl |e Verfasser |0 (DE-588)1285887581 |4 aut | |
| 245 | 1 | 0 | |a A pocket guide to formal logic |c Karl Laderoute |
| 264 | 1 | |a Peterborough, Ontario |b Broadview Press |c 2022 | |
| 300 | |a 145 Seiten |c 22 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a "A Pocket Guide to Formal Logic is a succinct primer meant especially for those without any prior background in logic. Its brevity makes it well-suited to introductory courses with a formal logic component, and its friendly tone offers a welcoming introduction to this often-intimidating subject. The book provides a focused presentation of common methods used in statement logic, including translations, truth tables, and proofs. Supplemental materials—including more detailed treatments of select methods and concepts as well as additional sample questions and answers—are available on a companion website."-- | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 653 | 0 | |a Logic | |
| 653 | 0 | |a Logic | |
| 655 | 7 | |0 (DE-588)4155569-7 |a Führer |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-77048-868-7 |
| 856 | 4 | 2 | |m Digitalisierung BSB München - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034112498&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034112498 | ||
Datensatz im Suchindex
| _version_ | 1804184963706257408 |
|---|---|
| adam_text | Contents Preface for the Student 9 Preface for the Instructor 11 Acknowledgments 13 Part I: Translating into Statement Logic 15 Chapter 1 : Symbolization 17 1.1 1.2 1.3 1.4 Statements, Arguments, and Deduction 18 Simple Statements, Complex Statements, and Truth Values 19 Symbolizing Arguments 22 Practice Questions 25 Chapter 2: Truth Tables 27 2.1 2.2 2.3 2.4 How to Read Truth Tables 27 Basic Rules of Truth Table Formation 30 Example Truth Tables 32 Practice Questions 41 Chapter 3: Logical Operators 43 3.1 3.2 3.3 3.4 3.5 3.6 3.7 Negation 44 Conjunction 45 Disjunction 47 Implication 48 Biconditional 50 Example Truth Table Revisited 52 Practice Questions 57 Chapter 4: Brackets and Well-Formed Formulas 59 4.1 4.2 4.3 Brackets and Well-Formed Formulas 59 Exclusive Disjunction 66 Practice Questions 69
CONTENTS 6 Part II: Testing Validity with Truth Tables 71 Chapter 5: The Long Truth Table Method 73 5.1 5.2 5.3 Validity and Soundness 73 The Long Truth Table Method for Testing Validity 76 Practice Questions 80 Chapter 6:The ShortTruth Table Method 83 6.1 6.2 6.3 Steps for Using the Short Truth Table Method 83 Examples of the Short Truth Table Method 86 Practice Questions 94 Part III: Demonstrating Validity with Proofs 95 Chapter 7: Valid and Invalid Argument Forms 97 7.1 7.2 7.3 7.4 7.5 7.6 7.7 Modus ponens 97 Modus tollens 98 Hypothetical Syllogism (chain argument) 100 Disjunctive Syllogism 101 Invalid Argument Form: Affirming the Consequent 102 Invalid Argument Form: Denying the Antecedent 103 Practice Questions 105 Chapter 8: Proofs 107 8.1 8.2 8.3 8.4 8.5 8.6 The Method of Proofs 107 How to Read and Write Proofs 108 Rules of Inference 109 Applying the Rules of Inference 113 Strategies for Approaching Proofs 116 Practice Questions 121
CONTENTS Chapter 9: Advanced Proof Techniques: Conditional Proof and Indirect Proof 127 9.1 9.2 9.3 9.4 Conditional Proof 128 Indirect Proof (Reductio ad Absurdum) 131 Multiple Sub-Proofs 134 Practice Questions 137 Chapter 10: Logical Equivalents and Complex Proofs 139 10.1 Logical Equivalents 139 10.2 Using Logical Equivalents 141 10.3 Practice Questions 143 7
|
| adam_txt |
Contents Preface for the Student 9 Preface for the Instructor 11 Acknowledgments 13 Part I: Translating into Statement Logic 15 Chapter 1 : Symbolization 17 1.1 1.2 1.3 1.4 Statements, Arguments, and Deduction 18 Simple Statements, Complex Statements, and Truth Values 19 Symbolizing Arguments 22 Practice Questions 25 Chapter 2: Truth Tables 27 2.1 2.2 2.3 2.4 How to Read Truth Tables 27 Basic Rules of Truth Table Formation 30 Example Truth Tables 32 Practice Questions 41 Chapter 3: Logical Operators 43 3.1 3.2 3.3 3.4 3.5 3.6 3.7 Negation 44 Conjunction 45 Disjunction 47 Implication 48 Biconditional 50 Example Truth Table Revisited 52 Practice Questions 57 Chapter 4: Brackets and Well-Formed Formulas 59 4.1 4.2 4.3 Brackets and Well-Formed Formulas 59 Exclusive Disjunction 66 Practice Questions 69
CONTENTS 6 Part II: Testing Validity with Truth Tables 71 Chapter 5: The Long Truth Table Method 73 5.1 5.2 5.3 Validity and Soundness 73 The Long Truth Table Method for Testing Validity 76 Practice Questions 80 Chapter 6:The ShortTruth Table Method 83 6.1 6.2 6.3 Steps for Using the Short Truth Table Method 83 Examples of the Short Truth Table Method 86 Practice Questions 94 Part III: Demonstrating Validity with Proofs 95 Chapter 7: Valid and Invalid Argument Forms 97 7.1 7.2 7.3 7.4 7.5 7.6 7.7 Modus ponens 97 Modus tollens 98 Hypothetical Syllogism (chain argument) 100 Disjunctive Syllogism 101 Invalid Argument Form: Affirming the Consequent 102 Invalid Argument Form: Denying the Antecedent 103 Practice Questions 105 Chapter 8: Proofs 107 8.1 8.2 8.3 8.4 8.5 8.6 The Method of Proofs 107 How to Read and Write Proofs 108 Rules of Inference 109 Applying the Rules of Inference 113 Strategies for Approaching Proofs 116 Practice Questions 121
CONTENTS Chapter 9: Advanced Proof Techniques: Conditional Proof and Indirect Proof 127 9.1 9.2 9.3 9.4 Conditional Proof 128 Indirect Proof (Reductio ad Absurdum) 131 Multiple Sub-Proofs 134 Practice Questions 137 Chapter 10: Logical Equivalents and Complex Proofs 139 10.1 Logical Equivalents 139 10.2 Using Logical Equivalents 141 10.3 Practice Questions 143 7 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Laderoute, Karl |
| author_GND | (DE-588)1285887581 |
| author_facet | Laderoute, Karl |
| author_role | aut |
| author_sort | Laderoute, Karl |
| author_variant | k l kl |
| building | Verbundindex |
| bvnumber | BV048847164 |
| ctrlnum | (OCoLC)1376414565 (DE-599)BVBBV048847164 |
| 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 | Philosophie |
| discipline_str_mv | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02007nam a22003738c 4500</leader><controlfield tag="001">BV048847164</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230509 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230307s2022 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781554814701</subfield><subfield code="c">paperback</subfield><subfield code="9">978-1-55481-470-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1376414565</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048847164</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Laderoute, Karl</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1285887581</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A pocket guide to formal logic</subfield><subfield code="c">Karl Laderoute</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Peterborough, Ontario</subfield><subfield code="b">Broadview Press</subfield><subfield code="c">2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">145 Seiten</subfield><subfield code="c">22 cm</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="520" ind1="3" ind2=" "><subfield code="a">"A Pocket Guide to Formal Logic is a succinct primer meant especially for those without any prior background in logic. Its brevity makes it well-suited to introductory courses with a formal logic component, and its friendly tone offers a welcoming introduction to this often-intimidating subject. The book provides a focused presentation of common methods used in statement logic, including translations, truth tables, and proofs. Supplemental materials—including more detailed treatments of select methods and concepts as well as additional sample questions and answers—are available on a companion website."--</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="653" ind1=" " ind2="0"><subfield code="a">Logic</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4155569-7</subfield><subfield code="a">Führer</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-77048-868-7</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - ADAM Catalogue Enrichment</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=034112498&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-034112498</subfield></datafield></record></collection> |
| genre | (DE-588)4155569-7 Führer gnd-content |
| genre_facet | Führer |
| id | DE-604.BV048847164 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:39:14Z |
| indexdate | 2024-07-10T09:47:41Z |
| institution | BVB |
| isbn | 9781554814701 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034112498 |
| oclc_num | 1376414565 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 145 Seiten 22 cm |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Broadview Press |
| record_format | marc |
| spelling | Laderoute, Karl Verfasser (DE-588)1285887581 aut A pocket guide to formal logic Karl Laderoute Peterborough, Ontario Broadview Press 2022 145 Seiten 22 cm txt rdacontent n rdamedia nc rdacarrier "A Pocket Guide to Formal Logic is a succinct primer meant especially for those without any prior background in logic. Its brevity makes it well-suited to introductory courses with a formal logic component, and its friendly tone offers a welcoming introduction to this often-intimidating subject. The book provides a focused presentation of common methods used in statement logic, including translations, truth tables, and proofs. Supplemental materials—including more detailed treatments of select methods and concepts as well as additional sample questions and answers—are available on a companion website."-- Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logic (DE-588)4155569-7 Führer gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Erscheint auch als Online-Ausgabe 978-1-77048-868-7 Digitalisierung BSB München - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034112498&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Laderoute, Karl A pocket guide to formal logic Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4155569-7 |
| title | A pocket guide to formal logic |
| title_auth | A pocket guide to formal logic |
| title_exact_search | A pocket guide to formal logic |
| title_exact_search_txtP | A pocket guide to formal logic |
| title_full | A pocket guide to formal logic Karl Laderoute |
| title_fullStr | A pocket guide to formal logic Karl Laderoute |
| title_full_unstemmed | A pocket guide to formal logic Karl Laderoute |
| title_short | A pocket guide to formal logic |
| title_sort | a pocket guide to formal logic |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik Führer |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034112498&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT laderoutekarl apocketguidetoformallogic |