Formale Semantik und natürliche Sprache:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
de Gruyter
2011
|
Ausgabe: | 2., durchges. und erw. Aufl. |
Schriftenreihe: | De-Gruyter-Studium
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | IX, 432 S. graph. Darst. |
ISBN: | 9783110209112 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV035849564 | ||
003 | DE-604 | ||
005 | 20200110 | ||
007 | t | ||
008 | 091127s2011 gw d||| |||| 00||| ger d | ||
020 | |a 9783110209112 |c pbk |9 978-3-11-020911-2 | ||
035 | |a (OCoLC)704555375 | ||
035 | |a (DE-599)BVBBV035849564 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-29 |a DE-11 |a DE-521 |a DE-473 |a DE-739 |a DE-83 |a DE-20 |a DE-19 |a DE-12 |a DE-824 | ||
082 | 0 | |a 401.43 |2 22//ger | |
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 | ||
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 |c Horst Lohnstein |
250 | |a 2., durchges. und erw. Aufl. | ||
264 | 1 | |a Berlin [u.a.] |b de Gruyter |c 2011 | |
300 | |a IX, 432 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a De-Gruyter-Studium | |
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 | 1 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
689 | 0 | |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-11-022388-0 |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018707653&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-018707653 |
Datensatz im Suchindex
_version_ | 1804140822079209472 |
---|---|
adam_text | IMAGE 1
INHALTSVERZEICHNIS
VORWORT XI
1. EINLEITUNG 1
2. MENGENLEHRE 9
2.1. NOTATION VON MENGEN 12
2.2. OPERATIONEN ZWISCHEN MENGEN 14
2.3. UEBUNGSAUFGABEN 17
3. RELATIONEN UND FUNKTIONEN 18
3.1. EIGENSCHAFTEN VON RELATIONEN 23
3.2. AEQUIVALENZRELATIONEN 24
3.3. ORDNUNGSRELATIONEN 26
3.4. FUNKTIONEN 28
3.5. FUNKTIONEN UND MENGEN: DIE CHARAKTERISTISCHE FUNKTION 31 3.6.
UEBUNGSAUFGABEN 32
4. AUSSAGENLOGIK 34
4.1. SYNTAX DER AUSSAGENLOGIK 35
4.2. SEMANTIK DER AUSSAGENLOGIK 36
4.3. TAUTOLOGIEN, KONTRADIKTIONEN UND KONTINGENZEN 44
4.4. LOGISCHE AEQUIVALENZ UND LOGISCHE KONSEQUENZ 45
4.5. DEDUKTIONSVERFAHREN 49
4.6. UEBUNGSAUFGABEN 54
5. PRAEDIKATENLOGIK 55
5.1. PRAEDIKATE UND VALENZ 55
5.2. KOMPOSITIONALITAET 59
5.3. DENOTATION 63
5.4. DIE SPRACHE L, 72
5.4.1. DAS VOKABULAR VON L, 73
5.4.2. DER BEGRIFF MODELLFUER DIE PRAEDIKATENLOGIK 77
5.4.3. DIE SYNTAX VON L, 79
5.4.4. DIE SEMANTIK VON L, 83
5.4.4.1. WAHRHEITSBEDINGUNGEN FUER PRAEDIKATSAUSDRUECKE 83
5.4.4.2. WAHRHEITSBEDINGUNGEN FUER DIE KONNEKTOREN 86
5.4.4.3. WAHRHEITSBEDINGUNGEN FUER 3 UND V 88
5.4.4.4. INTERPRETATION DER QUANTOREN: 3 UND V 91
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1001392043
DIGITALISIERT DURCH
IMAGE 2
VI INHALT
5.4.4.5. DIE SEMANTISCHEN REGELN DER PRAEDIKATENLOGIK 97
5.5. BEISPIELE FUER DIE INTERPRETATION IN EINEM MODELL 98
5.6. GESETZE FUER QUANTIFIZIERTE FORMELN 109
5.6.1. TAUTOLOGIEN, KONTRADIKTIONEN UND KONTINGENZEN 117
5.6.2. DEDUKTIONSVERFAHREN 118
5.6.3. DEDUKTIONSVERFAHREN FUER QUANTIFIZIERTE FORMELN 118
5.7. UEBUNGSAUFGABEN 124
6. TYPENTHEORIE 126
6.1. TYPEN: SAETZE, PRAEDIKATE, TERME 128
6.2. SYNTAX DER TYPENTHEORIE: DER TYPENGENERATOR 130
6.3. TYPEN, MENGEN, FUNKTIONEN UND ARGUMENTE 133
6.4. SEMANTIK DER TYPENTHEORIE 136
6.5. BEISPIELE FUER KOMPLEXE TYPEN 137
6.5.1. TYPEN VON PRAEDIKATEN 137
6.5.2. TYPEN VON ADVERBIEN 143
6.5.3. TYPEN VON GRADPARTIKELN 145
6.6. DIE AUFLOESUNG VON RUSSELLS PARADOX 146
6.7. UEBUNGSAUFGABEN 147
7. KATEGORIALGRAMMATIK 149
7.1. KLASSISCHE KATEGORIALGRAMMATIK 149
7.2. UEBUNGSAUFGABEN 154
8. A-KALKUEL 155
8.1. FUNKTIONEN UND FUNKTIONSWERTE 155
8.2. DER A.-OPERATOR UND L,-AUSDRUECKE 157
8.3. ANWENDUNGEN DES A-OPERATORS 162
8.4. SYNTAX UND SEMANTIK DES A-OPERATORS 172
8.5. DIE SPRACHE L KT 176
8.5.1. DIE BASISEINHEITEN VON L XT 176
8.5.2. DIE SYNTAX VON L M 177
8.5.3. DIE SEMANTIK VON L IT 178
8.6. UEBUNGSAUFGABEN 180
9. SEMANTIK DER NOMINALPHRASEN 182
9.1. MODIFIKATOREN IN NOMINALPHRASEN 182
9.2. GENERALISIERTE QUANTOREN 187
9.2.1. QUANTIFIKATION IN L, VS. QUALIFIKATION IM DEUTSCHEN 187 9.2.2.
L,-DEFINIERBARE QUANTOREN 192
IMAGE 3
INHALT VII
9.2.2.1. DENOTATE FUER QUANTIFIZIERENDE PRONOMINA 192
9.2.2.2. DENOTATE FUER KOMPLEXE NOMINALPHRASEN 195
9.2.3. ANDERE QUANTOREN 199
9.2.3.1. DER BESTIMMTE ARTIKEL 201
9.2.3.2. EIGENNAMEN 203
9.3. DETERMINATOREN 205
9.3.1. EIGENSCHAFTEN VON DETERMINATOREN 208
9.3.1.1. KONSERVATIVITAET 209
9.3.1.2. MONOTONIE 211
9.4. NOMINALPHRASEN ALS OBJEKTE 215
9.5. KOMPOSITIONELLE BEHANDLUNG DER QUANTIFIKATION 220
9.6. RESTRINGIERTE QUANTIFIKATION 226
9.7. UEBUNGSAUFGABEN 228
10. TEMPORALSEMANTIK 230
10.1. ZEIT UND TEMPUS 230
10.1.1. TEMPORALE MODELLE 232
10.1.2. TEMPUS UND ZEIT-OPERATOREN 235
10.1.3. DIE INTERPRETATION DER TEMPORA MIT ZEIT-OPERATOREN 239 10.1.3.1.
EINFACHE TEMPORA 240
10.1.3.2. KOMPLEXE TEMPORA 242
10.1.4. REICHENBACHS TEMPUSSYSTEM 246
10.1.5. TEMPORALE DEIXIS 249
10.1.6. INTERAKTION ZWISCHEN ZEIT-OPERATOREN UND NEGATION 253 10.1.7.
SKOPUSAMBIGUITAETEN ZWISCHEN ZEIT-OPERATOREN UND QUANTOREN . 256 10.2.
ZEITINTERVALL-SEMANTIK 259
10.2.1. ZEITINTERVALLE 260
10.2.2. ASPEKT UND AKTIONSARTEN 267
10.2.2.1. VERBKLASSIFIKATION 268
10.2.2.2. ZEITADVERBIALE UND AKTIONSARTEN 271
10.3. UEBUNGSAUFGABEN 276
11. MODALLOGIK 277
11.1. MOEGLICHKEIT UND NOTWENDIGKEIT 277
11.1.1. MODALISIERTE AUSSAGEN 278
11.1.2. ARTEN DER MODALITAET 279
11.2. MOEGLICHE WELTEN 282
11.3. EIN MODELL MIT MOEGLICHEN WELTEN 286
11.4. SYNTAX UND SEMANTIK DER MODAL-OPERATOREN 288
11.5. INTERAKTION ZWISCHEN DEN MODAL-OPERATOREN UND DER NEGATION 289
IMAGE 4
VIII INHALT
11.6. SKOPUSAMBIGUITAETEN ZWISCHEN MODAL-OPERATOREN UND QUANTOREN 291
11.7. DIE ZUSAMMENFUEHRUNG VON ZEIT- UND MODALLOGIK 293
11.8. UEBUNGSAUFGABEN 298
12. INTENSIONALE LOGIK 299
12.1. SINN UND BEDEUTUNG: INTENSION UND EXTENSION 300
12.2. EIN MODELL FUER DIE INTENSIONALE LOGIK IL 303
12.3. INTENSOR UND EXTENSOR 303
12.4. DIE SPRACHE IL DER INTENSIONALEN LOGIK 305
12.4.1. DIE BASISEINHEITEN VON IL 306
12.4.2. DIE SYNTAX VON IL 307
12.4.3. DIE SEMANTIK VON IL 308
12.5. INTENSIONALE DEUTUNGEN 311
12.5.1. INDIVIDUEN 311
12.5.2. EINSTELLIGE PRAEDIKATE 312
12.5.3. ZWEISTELLIGE PRAEDIKATE 313
12.5.4. FORMELN 313
12.5.5. GENERALISIERTE INTENSIONEN 314
12.6. INTERPRETATION INTENSIONALER KONSTRUKTIONEN 316
12.6.1. INTENSIONALE KONTEXTE UND LEIBNIZ GESETZ 316
12.6.2. QUANTIFIKATION UND ZEIT-OPERATOREN 321
12.6.3. QUANTIFIKATION UND MODAL-OPERATOREN 323
12.6.4. PROPOSITIONALE EINSTELLUNGEN 324
12.6.5. INTENSIONALE ADJEKTIVE 327
12.6.6. INTENSIONALE VERBEN 330
12.7. UEBUNGSAUFGABEN 337
13. PROPOSITIONEN UND PROPOSITIONENMENGEN 339
13.1. DARSTELLUNG VON PROPOSITIONENMENGEN 342
13.2. EIGENSCHAFTEN VON PROPOSITIONENMENGEN 343
13.3. RELATIVIERTE MODALITAET 346
13.4. GRADUIERTE MODALITAET 349
13.5. KONTEXTMENGEN 354
13.6. EPISTEMISCHE EINSTELLUNGEN 356
13.7. KONDITIONALSAETZE 357
13.8. UEBUNGSAUFGABEN 359
14. FRAGESEMANTIK 360
14.1. FRAGEN ALS MENGE DER MOEGLICHEN ANTWORTEN 362
14.2. FRAGEN ALS MENGE DER WAHREN ANTWORTEN 363
IMAGE 5
INHALT IX
14.3. FRAGEN ALS INDEXABHAENGIGE PROPOSITIONEN 364
14.4. FRAGEN ALS PARTITIONEN 373
14.5. UEBUNGSAUFGABEN 378
15. INFORMATIONSSTRUKTUR 379
15.1. FOKUSSEMANTIK 384
15.1.1. ALTERNATIVENSEMANTIK 385
15.1.2. FOKUSSENSITIVE PARTIKELN 390
15.1.3. STRUKTURIERTE BEDEUTUNGEN 392
15.1.4. KONGRUENZ VON FRAGE UND ANTWORT 394
15.2. TOPIKS 396
15.2.1. SATZTOPIKS 396
15.2.2. DISKURSTOPIKS 399
15.4. UEBUNGSAUFGABEN 402
16. SYMBOL-VERZEICHNIS 403
17. LOESUNGEN DER UEBUNGSAUFGABEN 405
LITERATUR 421
REGISTER 427
|
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 | BV035849564 |
classification_rvk | ET 400 ET 430 ET 440 ET 750 |
ctrlnum | (OCoLC)704555375 (DE-599)BVBBV035849564 |
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 | 2., durchges. und erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01780nam a2200445 c 4500</leader><controlfield tag="001">BV035849564</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200110 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091127s2011 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110209112</subfield><subfield code="c">pbk</subfield><subfield code="9">978-3-11-020911-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)704555375</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035849564</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401.43</subfield><subfield code="2">22//ger</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="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="c">Horst Lohnstein</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., durchges. und erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">de Gruyter</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 432 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="0" ind2=" "><subfield code="a">De-Gruyter-Studium</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="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="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-3-11-022388-0</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=018707653&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-018707653</subfield></datafield></record></collection> |
genre | (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV035849564 |
illustrated | Illustrated |
indexdate | 2024-07-09T22:06:05Z |
institution | BVB |
isbn | 9783110209112 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018707653 |
oclc_num | 704555375 |
open_access_boolean | |
owner | DE-29 DE-11 DE-521 DE-473 DE-BY-UBG DE-739 DE-83 DE-20 DE-19 DE-BY-UBM DE-12 DE-824 |
owner_facet | DE-29 DE-11 DE-521 DE-473 DE-BY-UBG DE-739 DE-83 DE-20 DE-19 DE-BY-UBM DE-12 DE-824 |
physical | IX, 432 S. graph. Darst. |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | de Gruyter |
record_format | marc |
series2 | De-Gruyter-Studium |
spelling | Lohnstein, Horst 1958- Verfasser (DE-588)113337795 aut Formale Semantik und natürliche Sprache Horst Lohnstein 2., durchges. und erw. Aufl. Berlin [u.a.] de Gruyter 2011 IX, 432 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier De-Gruyter-Studium 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 Natürliche Sprache (DE-588)4041354-8 s DE-604 Erscheint auch als Online-Ausgabe 978-3-11-022388-0 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018707653&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Lohnstein, Horst 1958- Formale Semantik und natürliche Sprache 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 |
title_auth | Formale Semantik und natürliche Sprache |
title_exact_search | Formale Semantik und natürliche Sprache |
title_full | Formale Semantik und natürliche Sprache Horst Lohnstein |
title_fullStr | Formale Semantik und natürliche Sprache Horst Lohnstein |
title_full_unstemmed | Formale Semantik und natürliche Sprache Horst Lohnstein |
title_short | Formale Semantik und natürliche Sprache |
title_sort | formale semantik und naturliche sprache |
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=018707653&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT lohnsteinhorst formalesemantikundnaturlichesprache |