From discourse to logic: introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht u.a.
Kluwer Acad. Publ.
1993
|
| Ausgabe: | Student ed. |
| Schriftenreihe: | Studies in linguistics and philosophy
42 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006294392&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | VIII, 713 S. graph. Darst. |
| ISBN: | 0792310284 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009532326 | ||
| 003 | DE-604 | ||
| 005 | 20080415 | ||
| 007 | t| | ||
| 008 | 940414s1993 xx d||| |||| 00||| eng d | ||
| 020 | |a 0792310284 |9 0-7923-1028-4 | ||
| 035 | |a (OCoLC)610791483 | ||
| 035 | |a (DE-599)BVBBV009532326 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-473 |a DE-19 |a DE-706 |a DE-11 |a DE-188 |a DE-Re13 | ||
| 082 | 0 | |a 401.43 | |
| 084 | |a ET 400 |0 (DE-625)27979: |2 rvk | ||
| 084 | |a ET 430 |0 (DE-625)27984: |2 rvk | ||
| 100 | 1 | |a Kamp, Hans |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a From discourse to logic |b introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory |c by Hans Kamp and Uwe Reyle |
| 250 | |a Student ed. | ||
| 264 | 1 | |a Dordrecht u.a. |b Kluwer Acad. Publ. |c 1993 | |
| 300 | |a VIII, 713 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in linguistics and philosophy |v 42 | |
| 650 | 7 | |a logica formale - semantica |2 tessin-TR | |
| 650 | 7 | |a struttura di rappresentazione discorsiva |2 tessin-TR | |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskursrepräsentationstheorie |0 (DE-588)4272376-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskurs |0 (DE-588)4012475-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | 1 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 2 | |a Diskurs |0 (DE-588)4012475-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Diskursrepräsentationstheorie |0 (DE-588)4272376-0 |D s |
| 689 | 2 | |5 DE-188 | |
| 700 | 1 | |a Reyle, Uwe |e Verfasser |4 aut | |
| 830 | 0 | |a Studies in linguistics and philosophy |v 42 |w (DE-604)BV000018169 |9 42 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006294392&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006294392 | |
Datensatz im Suchindex
| _version_ | 1819290273206763520 |
|---|---|
| adam_text | Contents
Preface 1
0 Preliminaries 7
0.1 Theories of Meaning 7
0.2 Logic 13
0.3 Logic and Semantics 21
0.4 Syntax 24
1 DRT and Predicate Logic 59
1.1 Simple Sentences 59
1.1.1 Pronouns 66
1.1.2 Truth Conditions (informally) 73
1.1.3 Indefinite Descriptions 74
1.1.4 The Construction Algorithm 85
1.2 Models 92
1.3 Negation 99
1.4 Verifikation, Truth and Accessibility 108
1.5 From DRT to Predicate Logic 126
2 Quantification and Connectives 141
2.1 Conditionals 141
2.2 Universal Quantification 166
2.3 Disjunction 181
2.3.1 Accessibility 185
2.3.2 Verification 190
2.3.3 Non-Sentential Disjunctions 195
2.3.4 Disjunctive NPs 200
2.3.5 The Standard Version of Predicate Logic 208
vi
2.4 Conjunction 214
3 Loose Ends 233
3.1 Reflexives 233
3.2 Possessive Noun Phrases 240
3.3 Proper Names 246
3.4 Deiinite Descriptions 248
3.5 Stipulated Identity and Asserted Identity 257
3.6 Identity and Predication 260
3.7 Scope Ambiguity 279
3.7.1 Scope 279
3.7.2 Every -Phrases and Indefinites 282
3.7.3 Specific and other Wide Scope Indefinites 288
3.7.4 Generics 294
3.7.5 The Scope of Definite Descriptions 297
3.7.6 Scope Ambiguities involving Sentential Connectives 300
4 The Plural 305
4.1 Introduction 305
4.1.1 Summation 306
4.1.2 Abstraction 309
4.1.3 Generalized Quantifiers and Duplex Conditions 314
4.1.4 Collective Readings and Distribution 320
4.1.5 Distributive Readings of Non-quantifying NPs 326
4.1.6 Dependent Plurals 330
4.2 DRS-Construction for Plurals I 332
4.2.1 Syntax 332
4.2.2 NPs that Denote Collections 334
4.2.3 Set-denoting Anaphoric Plural Pronouns 339
4.2.4 They as Individual Variable 345
4.2.5 Dependent Plurals 356
4.2.6 Dependent Plural Pronouns 375
4.2.7 Generic Interpretations of Plural Pronouns 391
4.2.8 A Uniform Theory of Singular and Plural Pronouns? .... 394
4.3 Model Theory 397
4.3.1 Models 398
4.3.2 Verification of DRS-Conditions 419
vii
4.4 DRS-Construction for Plurals II 429
4.4.1 Collective vs. Distributive Readings and Ambiguity of Scope 429
4.4.2 Conjunctive Noun Phrases 434
4.4.3 Floating Quantifiers 441
4.4.4 Cardinality Quantifiers 452
4.4.5 Reciprocals 463
4.4.6 Gather, The Same and Together 471
5 Tense and Aspect 483
5.1 The Semantics and Logic of Temporal Reference 483
5.1.1 Tense Logics 486
5.1.2 Inadequacies of TPL and Similar Systems 491
5.1.3 Instants, Intervals, Events and States 500
5.2 DRS-Construction for Tensed Sentences 510
5.2.1 DRS-Construction for Single Sentences in the Past Tense . . 510
5.2.2 Temporal Anaphora. DRS-Construction for Sequences of
Sentences 521
5.2.3 The Future Tense and the Present Tense 534
5.2.4 DRS-Construction Rules for Temporal Reference I 541
5.2.5 Negation 546
5.3 Aspect 556
5.3.1 Methodological Preliminaries 556
5.3.2 Aktionsarten 557
5.3.3 Aspectual Operators and Aspectual Shift 566
5.3.4 DRS-Construction for Perfects and Progressives 570
5.4 Temporal Perspective 593
5.4.1 Construction 601
5.5 Temporal Adverbials 611
5.5.1 Locating Adverbials 613
5.5.2 Adverbs of Temporal Quantification 635
5.5.3 Temporal Measure Adverbials 647
5.5.4 Subordinate Clauses 651
5.6 Model Theory 664
5.7 Syntactic Rules 679
Bibliography 691
viii
Table of Constriiction Rules 700
Index of Symbols, Features and Feature Values 701
Index of Names 702
Index of Subjects 703
|
| any_adam_object | 1 |
| author | Kamp, Hans Reyle, Uwe |
| author_facet | Kamp, Hans Reyle, Uwe |
| author_role | aut aut |
| author_sort | Kamp, Hans |
| author_variant | h k hk u r ur |
| building | Verbundindex |
| bvnumber | BV009532326 |
| classification_rvk | ET 400 ET 430 |
| ctrlnum | (OCoLC)610791483 (DE-599)BVBBV009532326 |
| dewey-full | 401.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401.43 |
| dewey-search | 401.43 |
| dewey-sort | 3401.43 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| edition | Student ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02180nam a2200517 cb4500</leader><controlfield tag="001">BV009532326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080415 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940414s1993 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792310284</subfield><subfield code="9">0-7923-1028-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610791483</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009532326</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-Re13</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401.43</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 400</subfield><subfield code="0">(DE-625)27979:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 430</subfield><subfield code="0">(DE-625)27984:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kamp, Hans</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From discourse to logic</subfield><subfield code="b">introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory</subfield><subfield code="c">by Hans Kamp and Uwe Reyle</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Student ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht u.a.</subfield><subfield code="b">Kluwer Acad. Publ.</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 713 S.</subfield><subfield code="b">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="1" ind2=" "><subfield code="a">Studies in linguistics and philosophy</subfield><subfield code="v">42</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logica formale - semantica</subfield><subfield code="2">tessin-TR</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">struttura di rappresentazione discorsiva</subfield><subfield code="2">tessin-TR</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskursrepräsentationstheorie</subfield><subfield code="0">(DE-588)4272376-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskurs</subfield><subfield code="0">(DE-588)4012475-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Diskurs</subfield><subfield code="0">(DE-588)4012475-7</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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Diskursrepräsentationstheorie</subfield><subfield code="0">(DE-588)4272376-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reyle, Uwe</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in linguistics and philosophy</subfield><subfield code="v">42</subfield><subfield code="w">(DE-604)BV000018169</subfield><subfield code="9">42</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=006294392&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006294392</subfield></datafield></record></collection> |
| id | DE-604.BV009532326 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T09:37:51Z |
| institution | BVB |
| isbn | 0792310284 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006294392 |
| oclc_num | 610791483 |
| open_access_boolean | |
| owner | DE-739 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-706 DE-11 DE-188 DE-Re13 DE-BY-UBR |
| owner_facet | DE-739 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-706 DE-11 DE-188 DE-Re13 DE-BY-UBR |
| physical | VIII, 713 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Kluwer Acad. Publ. |
| record_format | marc |
| series | Studies in linguistics and philosophy |
| series2 | Studies in linguistics and philosophy |
| spellingShingle | Kamp, Hans Reyle, Uwe From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory Studies in linguistics and philosophy logica formale - semantica tessin-TR struttura di rappresentazione discorsiva tessin-TR Formale Semantik (DE-588)4122144-8 gnd Diskursrepräsentationstheorie (DE-588)4272376-0 gnd Diskurs (DE-588)4012475-7 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4122144-8 (DE-588)4272376-0 (DE-588)4012475-7 (DE-588)4114617-7 |
| title | From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory |
| title_auth | From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory |
| title_exact_search | From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory |
| title_full | From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory by Hans Kamp and Uwe Reyle |
| title_fullStr | From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory by Hans Kamp and Uwe Reyle |
| title_full_unstemmed | From discourse to logic introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory by Hans Kamp and Uwe Reyle |
| title_short | From discourse to logic |
| title_sort | from discourse to logic introduction to modeltheoretic semantics of natural language formal logic and discourse representation theory |
| title_sub | introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory |
| topic | logica formale - semantica tessin-TR struttura di rappresentazione discorsiva tessin-TR Formale Semantik (DE-588)4122144-8 gnd Diskursrepräsentationstheorie (DE-588)4272376-0 gnd Diskurs (DE-588)4012475-7 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | logica formale - semantica struttura di rappresentazione discorsiva Formale Semantik Diskursrepräsentationstheorie Diskurs Modelltheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006294392&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000018169 |
| work_keys_str_mv | AT kamphans fromdiscoursetologicintroductiontomodeltheoreticsemanticsofnaturallanguageformallogicanddiscourserepresentationtheory AT reyleuwe fromdiscoursetologicintroductiontomodeltheoreticsemanticsofnaturallanguageformallogicanddiscourserepresentationtheory |