Formale Semantik und natürliche Sprache: einführendes Lehrbuch
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Opladen
Westdt. Verl.
1996
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 315 S. graph. Darst. |
| ISBN: | 3531128183 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010660580 | ||
| 003 | DE-604 | ||
| 005 | 20091118 | ||
| 007 | t | ||
| 008 | 960226s1996 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 946886164 |2 DE-101 | |
| 020 | |a 3531128183 |c kart. : DM 48.00 |9 3-531-12818-3 | ||
| 035 | |a (OCoLC)246981840 | ||
| 035 | |a (DE-599)BVBBV010660580 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29 |a DE-29T |a DE-384 |a DE-739 |a DE-20 |a DE-355 |a DE-19 |a DE-12 |a DE-473 |a DE-824 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a ET 400 |0 (DE-625)27979: |2 rvk | ||
| 084 | |a ET 430 |0 (DE-625)27984: |2 rvk | ||
| 084 | |a ET 440 |0 (DE-625)27985: |2 rvk | ||
| 084 | |a ET 750 |0 (DE-625)28029: |2 rvk | ||
| 084 | |a 51 |2 sdnb | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a 10 |2 sdnb | ||
| 100 | 1 | |a Lohnstein, Horst |d 1958- |e Verfasser |0 (DE-588)113337795 |4 aut | |
| 245 | 1 | 0 | |a Formale Semantik und natürliche Sprache |b einführendes Lehrbuch |c Horst Lohnstein |
| 264 | 1 | |a Opladen |b Westdt. Verl. |c 1996 | |
| 300 | |a VIII, 315 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | 1 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=007116488&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007116488 | ||
Datensatz im Suchindex
| _version_ | 1804125140344111104 |
|---|---|
| adam_text | Inhalt
Vorwort 1
1. Einleitung 2
2. Mengenlehre 9
2.1. Notation von Mengen 11
2.2. Operationen zwischen Mengen 14
2.3. Übungsaufgaben 16
3. Relationen und Funktionen 17
3.1. Eigenschaften von Relationen 21
3.2. Äquivalenzrelationen 22
3.3. Ordnungsrelationen 24
3.4. Funktionen 25
3.5. Funktionen und Mengen: Die charakteristische Funktion 28
3.6. Übungsaufgaben 30
4. Aussagenlogik 31
4.1. Syntax der Aussagenlogik 32
4.2. Semantik der Aussagenlogik 33
4.3. Tautologien, Kontradiktionen und Kontingenzen 40
4.4. Logische Äquivalenz und logische Konsequenz 41
4.5. Deduktionsverfahren 44
4.6. Übungsaufgaben 49
/ 5. Prädikatenlogik 50
5.1. Prädikate und Valenz 50
5.2. Kompositionalität 53
5.3. Denotation 57
5.4. Die Sprache L, 64
5.4.1. Das Vokabular von L, 65
5.4.2. Der Begriff Modell für die Prädikatenlogik 69
5.4.3. Die Syntax von L, 71
5.4.4. Die Semantik von L, 74
5.4.4.1. Wahrheitsbedingungen für Prädikatsausdrücke 74
5.4.4.2. Wahrheitsbedingungen für die Konnektoren 76
S 5.4.4.3. Wahrheitsbedingungen für 3 und V 78
, 5.4.4.4. Interpretation der Quantoren: 3 und V 81
U 5.4.4.5. Die semantischen Regem der Prädikatenlogik 86
5.5. Beispiele für die Interpretation in einem Modell 87
5.6. Gesetze für quantifizierte Formeln 96
5.6.1. Tautologien, Kontradiktionen und Kontingenzen 104
5.6.2. Deduktionsverfahren 105
5.6.3. Deduktionsverfahren für quantifizierte Formeln 105
5.7. Übungsaufgaben 110
6. Typentheorie 112
6.1. Typen: Sätze, Prädikate, Terme 114
6.2. Syntax der Typentheorie: Der Typengenerator 116
6.3. Typen, Mengen, Funktionen und Argumente 118
6.4. Semantik der Typentheorie 120
6.5. Beispiele für komplexe Typen 121
6.5.1. Typen von Prädikaten 121
6.5.2. Typen von Adverbien 127
6.5.3. Typen von Gradpartikeln 128
6.6. Die Auflösung von Russells Paradox 129
6.7. Übungsaufgaben 130
X 7. A-Kalkül 132
7.1. Funktionen und Funktionswerte 132
7.2. Der X -Operator und L,-Ausdrücke 133
7.3. Anwendungen des X-Operators 138
7.4. Syntax und Semantik des X-Operators 147
7.5. Übungsaufgaben 151
8. Die Sprache La,i 152
8.1. Die Basiseinheiten von La.i 152
8.2. Die Syntax von L*,t 153
8.3. Die Semantik von Lx,t 154
^ 9. Semantik der Nominalphrasen 157
-^ 9.1. Modifikatoren in Nominalphrasen 157
«•^9.2. Generalisierte Quantoren 161
9.2.1. Quantifikation in L, vs. Qualifikation im Deutschen 161
9.2.2. Lrdefinierbare Quantoren 166
9.2.2.1. Denotate für nominale Proformen 166
9.2.2.2. Denotate für komplexe Nominalphrasen 168
9.2.3. Andere Quantoren 171
9.2.3.1. Der bestimmte Artikel 173
9.2.3.2. Eigennamen 175
—^p.3. Determinatoren 176
•w^).3.1. Eigenschaften von Determinatoren 179
9.3.1.1. Konservativst 180
9.3.1.2. Monotonie 182
9.3.2. Erzeugung von Determinatoren 184
9.4. Nominalphrasen als Objekte 185
9.5. Kompositionelle Behandlung der Quantifikation 190
9.6. Übungsaufgaben 196
10. Temporalsemantik 197
10.1. Zeit und Tempus 197
10.1.1. Temporale Modelle 199
10.1.2. Tempus und Zeit-Operatoren 201
10.1.3. Die Interpretation der Tempora mit Zeit-Operatoren 205
10.1.3.1. Einfache Tempora 205
10.1.3.2. Komplexe Tempora 207
10.1.4. Reichenbachs Tempussystem 210
10.1.5. Temporale Deixis 212
10.1.6. Interaktion zwischen Zeit-Operatoren und Negation 216
10.1.7. Skopusambiguitäten zwischen Zeit-Operatoren und Quantoren 219
10.2. Zeitintervall-Semantik 221
10.2.1. Zeitintervalle 223
10.2.2. Aspekt und Aktionsarten 228
10.2.2.1. Verbklassifikation 229
10.2.2.2. Zeitadverbiale und Aktionsarten 232
10.3. Übungsaufgaben 236
11. Modallogik 238
11.1. Möglichkeit und Notwendigkeit 238
11.1.1. Modalisierte Aussagen 239
11.1.2. Arten der Modalität 240
11.2. Mögliche Welten 242
11.3. Ein Modell mit möglichen Welten 245
11.4. Syntax und Semantik der Modal-Operatoren 248
11.5. Interaktion zwischen den Modal-Operatoren und der Negation . . . 248
11.6. Skopusambiguitäten zwischen Modal-Operatoren und Quantoren .. 250
11.7. Die Zusammenführung von Zeit- und Modallogik 252
11.8. Übungsaufgaben 256
12. Intensionale Logik 257
12.1. Sinn und Bedeutung: Intension und Extension 258
12.2. Ein Modell für die Intensionale Logik IL 260
12.3. Intensor und Extensor 261
12.4. Die Sprache IL der Intensionalen Logik 263
12.4.1. Die Basiseinheiten von IL 263
12.4.2. Die Syntax von IL 265
12.4.3. Die Semantik von IL 265
12.5. Intensionale Deutungen 268
12.5.1. Individuen 268
12.5.2. Einstellige Prädikate 269
12.5.3. Zweistellige Prädikate 269
12.5.4. Formeln 270
12.5.5. Generalisierte Intensionen 270
12.6. Interpretation intensionaler Konstruktionen 272
12.6.1. Intensionale Kontexte und Leibniz Gesetz 272
12.6.2. Quantifikation und Zeit-Operatoren 277
12.6.3. Quantifikation und Modal-Operatoren 280
12.6.4. Propositionale Einstellungen 280
12.6.5. Intensionale Adjektive 282
12.6.6. Intensionale Verben 285
12.7. Übungsaufgaben 291
13. Symbol-Verzeichnis 292
14. Lösungen der Übungsaufgaben 293
Literatur 304
Register 310
|
| any_adam_object | 1 |
| author | Lohnstein, Horst 1958- |
| author_GND | (DE-588)113337795 |
| author_facet | Lohnstein, Horst 1958- |
| author_role | aut |
| author_sort | Lohnstein, Horst 1958- |
| author_variant | h l hl |
| building | Verbundindex |
| bvnumber | BV010660580 |
| classification_rvk | ET 400 ET 430 ET 440 ET 750 |
| ctrlnum | (OCoLC)246981840 (DE-599)BVBBV010660580 |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01833nam a2200469 c 4500</leader><controlfield tag="001">BV010660580</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091118 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960226s1996 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946886164</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3531128183</subfield><subfield code="c">kart. : DM 48.00</subfield><subfield code="9">3-531-12818-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246981840</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010660580</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</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="084" ind1=" " ind2=" "><subfield code="a">ET 440</subfield><subfield code="0">(DE-625)27985:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 750</subfield><subfield code="0">(DE-625)28029:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">51</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">10</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lohnstein, Horst</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113337795</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Semantik und natürliche Sprache</subfield><subfield code="b">einführendes Lehrbuch</subfield><subfield code="c">Horst Lohnstein</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Opladen</subfield><subfield code="b">Westdt. Verl.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 315 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="650" ind1="0" ind2="7"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</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=" "><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="1"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</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=007116488&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-007116488</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV010660580 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:56:49Z |
| institution | BVB |
| isbn | 3531128183 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007116488 |
| oclc_num | 246981840 |
| open_access_boolean | |
| owner | DE-29 DE-29T DE-384 DE-739 DE-20 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-12 DE-473 DE-BY-UBG DE-824 DE-83 DE-11 DE-188 |
| owner_facet | DE-29 DE-29T DE-384 DE-739 DE-20 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-12 DE-473 DE-BY-UBG DE-824 DE-83 DE-11 DE-188 |
| physical | VIII, 315 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Westdt. Verl. |
| record_format | marc |
| spelling | Lohnstein, Horst 1958- Verfasser (DE-588)113337795 aut Formale Semantik und natürliche Sprache einführendes Lehrbuch Horst Lohnstein Opladen Westdt. Verl. 1996 VIII, 315 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Formale Semantik (DE-588)4122144-8 s DE-604 Natürliche Sprache (DE-588)4041354-8 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007116488&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lohnstein, Horst 1958- Formale Semantik und natürliche Sprache einführendes Lehrbuch Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4041354-8 (DE-588)4122144-8 (DE-588)4123623-3 |
| title | Formale Semantik und natürliche Sprache einführendes Lehrbuch |
| title_auth | Formale Semantik und natürliche Sprache einführendes Lehrbuch |
| title_exact_search | Formale Semantik und natürliche Sprache einführendes Lehrbuch |
| title_full | Formale Semantik und natürliche Sprache einführendes Lehrbuch Horst Lohnstein |
| title_fullStr | Formale Semantik und natürliche Sprache einführendes Lehrbuch Horst Lohnstein |
| title_full_unstemmed | Formale Semantik und natürliche Sprache einführendes Lehrbuch Horst Lohnstein |
| title_short | Formale Semantik und natürliche Sprache |
| title_sort | formale semantik und naturliche sprache einfuhrendes lehrbuch |
| title_sub | einführendes Lehrbuch |
| topic | Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Natürliche Sprache Formale Semantik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007116488&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT lohnsteinhorst formalesemantikundnaturlichespracheeinfuhrendeslehrbuch |