Deductive logic in natural language:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Peterborough, Ont.
Broadview Press
2003
|
| Schriftenreihe: | The Broadview library of logic and critical thinking
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references (p. 275-179) and index |
| Beschreibung: | xvii, 284 p. 23 cm. - graph. Darst. |
| ISBN: | 1551114453 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV017668140 | ||
| 003 | DE-604 | ||
| 005 | 20040830 | ||
| 007 | t | ||
| 008 | 031118s2003 xxcd||| |||| 00||| eng d | ||
| 010 | |a 2003541670 | ||
| 020 | |a 1551114453 |9 1-55111-445-3 | ||
| 035 | |a (OCoLC)49727341 | ||
| 035 | |a (DE-599)BVBBV017668140 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxc |c CA | ||
| 049 | |a DE-29 |a DE-188 | ||
| 050 | 0 | |a P39 | |
| 082 | 0 | |a 401 |2 22 | |
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Cannon, Douglas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deductive logic in natural language |c by Douglas Cannon |
| 264 | 1 | |a Peterborough, Ont. |b Broadview Press |c 2003 | |
| 300 | |a xvii, 284 p. |b 23 cm. - graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a The Broadview library of logic and critical thinking | |
| 500 | |a Includes bibliographical references (p. 275-179) and index | ||
| 650 | 4 | |a Déduction (Logique) | |
| 650 | 4 | |a Langage et logique | |
| 650 | 4 | |a Language and logic | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Sprache |0 (DE-588)4056449-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Sprache |0 (DE-588)4056449-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010624736&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010624736 | ||
Datensatz im Suchindex
| _version_ | 1804130408266203136 |
|---|---|
| adam_text | Deductive Logic
in
Natural Language
by
Douglas Cannon
broadview press
CONTENTS
Preface ix
Acknowledgments xv
Abbreviations xvii
I Fundamentals
§1 Propositions and sentences—the basic units of 1
logic and language
§2 Truth and (declarative) sentences 5
§3 Consistency and sets of sentences 8
§4 Validity and arguments 11
Exercises 19
II Stories and Situations
§5 Reference and truth 22
§6 Meaning and truth 26
§7 Might have beens 31
§8 Truth with respect to a situation 37
Exercises 43
III Establishing Inconsistency with Tableaux
§9 Obvious inconsistency 46
§10 Semantic tableaux: dividing and conquering 49
§11 Efficiencies in tableaux 58
§12 A tableau that closes 60
Exercises 66
IV Extending the Tableau Technique
§13 Counter sets and validity 68
§14 Resolving reference 75
§15 Additional constructions 80
§16 When can a sentence be checked? 85
Exercises 91
V Generative Grammar
§17 What we mean by a grammar 94
§18 Phrase-structure grammars; Phrase-markers 98
§19 Transformations 106
§20 Syntactic ambiguity 114
Exercises 120
VI Logical Analysis of Complex Sentences
§21 If s, And s, or But s: Conjunctions and 123
sentence connectives
V1U
§22 Rule-governed sentence connectives in tableaux 126
§23 Transformations in logical analysis; Grouping 136
§24 The reach of rules; Negated conditionals 143
§25 Tableaux constructed by rules 149
Exercises 154
VII Logical Analysis of Simple Sentences: Identity and Other
Relations
§26 Designators and predicates 157
§27 Properties and relations; Types of relations 161
§28 The peculiar relation of identity 171
§29 Tableau rules for identity 177
Exercises 181
VIII Logical Analysis of Simple Sentences: One-Word Quantifiers
§30 Quantifiers in general 185
§31 The simplest quantifiers: everyone, 189
someone, and no one
§32 Tableau rules for the simplest quantifiers 196
§33 The simplest quantifiers in tableaux 204
§34 Anyone, quantifier scope, and anaphoric pronouns 210
Exercises 215
IX Quantifier Expressions and Syllogisms
§35 The universal quantifier 218
§36 Relative pronouns, and the existential and nihilistic 228
quantifiers
§37 Tableaux for syllogisms and other arguments 234
§38 Anyone and logical equivalence 237
§39 Things, times, and places 241
Exercises 245
Appendix: Truth-Functional Logic
§40 Review: Tableau rules for sentence connectives 248
§41 Three levels of symbolization 250
§42 Symbolic languages for algebra 252
§43 Truth-functions and their computational tables 254
§44 Truth tables and calculating truth-values 259
§45 Constructing an arbitrary function; Normal form 270
Exercises 274
For Reading and Reference 275
Index 280
|
| any_adam_object | 1 |
| author | Cannon, Douglas |
| author_facet | Cannon, Douglas |
| author_role | aut |
| author_sort | Cannon, Douglas |
| author_variant | d c dc |
| building | Verbundindex |
| bvnumber | BV017668140 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P39 |
| callnumber-raw | P39 |
| callnumber-search | P39 |
| callnumber-sort | P 239 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | CC 4800 |
| ctrlnum | (OCoLC)49727341 (DE-599)BVBBV017668140 |
| dewey-full | 401 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401 |
| dewey-search | 401 |
| dewey-sort | 3401 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01653nam a2200469zc 4500</leader><controlfield tag="001">BV017668140</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040830 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">031118s2003 xxcd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003541670</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1551114453</subfield><subfield code="9">1-55111-445-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49727341</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017668140</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">xxc</subfield><subfield code="c">CA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P39</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4800</subfield><subfield code="0">(DE-625)17631:</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">Cannon, Douglas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deductive logic in natural language</subfield><subfield code="c">by Douglas Cannon</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Peterborough, Ont.</subfield><subfield code="b">Broadview Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvii, 284 p.</subfield><subfield code="b">23 cm. - 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="490" ind1="0" ind2=" "><subfield code="a">The Broadview library of logic and critical thinking</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 275-179) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Déduction (Logique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langage et logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language and logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="1"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</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=010624736&sequence=000002&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-010624736</subfield></datafield></record></collection> |
| id | DE-604.BV017668140 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:20:33Z |
| institution | BVB |
| isbn | 1551114453 |
| language | English |
| lccn | 2003541670 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010624736 |
| oclc_num | 49727341 |
| open_access_boolean | |
| owner | DE-29 DE-188 |
| owner_facet | DE-29 DE-188 |
| physical | xvii, 284 p. 23 cm. - graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Broadview Press |
| record_format | marc |
| series2 | The Broadview library of logic and critical thinking |
| spelling | Cannon, Douglas Verfasser aut Deductive logic in natural language by Douglas Cannon Peterborough, Ont. Broadview Press 2003 xvii, 284 p. 23 cm. - graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Broadview library of logic and critical thinking Includes bibliographical references (p. 275-179) and index Déduction (Logique) Langage et logique Language and logic Logic Sprache (DE-588)4056449-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s Sprache (DE-588)4056449-6 s DE-604 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010624736&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cannon, Douglas Deductive logic in natural language Déduction (Logique) Langage et logique Language and logic Logic Sprache (DE-588)4056449-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4056449-6 (DE-588)4036202-4 |
| title | Deductive logic in natural language |
| title_auth | Deductive logic in natural language |
| title_exact_search | Deductive logic in natural language |
| title_full | Deductive logic in natural language by Douglas Cannon |
| title_fullStr | Deductive logic in natural language by Douglas Cannon |
| title_full_unstemmed | Deductive logic in natural language by Douglas Cannon |
| title_short | Deductive logic in natural language |
| title_sort | deductive logic in natural language |
| topic | Déduction (Logique) Langage et logique Language and logic Logic Sprache (DE-588)4056449-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Déduction (Logique) Langage et logique Language and logic Logic Sprache Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010624736&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT cannondouglas deductivelogicinnaturallanguage |