Lohnstein Formale Semantik und natürliche Sprache

2. überarbeitete Aufl 2011
ISBN: 978-3-11-022388-0
Verlag: De Gruyter
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Deutsch, 441 Seiten, Format (B × H): 155 mm x 230 mm

Reihe: De Gruyter Studium

Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Das Studienbuch bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren, zusätzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Übungsaufgaben eignet es sich nicht nur für das Selbststudium linguistischer Bedeutungstheorien und analytischer Philosophie, sondern auch als Leitfaden für den universitären Unterricht.

Zielgruppe

Students (Linugistic), Academics, Libraries, Institutes / Studierende (Linguistik), Dozenten, Bibliotheken, Institute

Autoren/Hrsg.

Lohnstein, Horst

Fachgebiete

• Geisteswissenschaften Sprachwissenschaft Semantik & Pragmatik
• Geisteswissenschaften Sprachwissenschaft Grammatik, Syntax, Morphologie

Inhaltsverzeichnis

1;Inhaltsverzeichnis;6
2;Vorwort;12
3;1. Einleitung;14
4;2. Mengenlehre;22
4.1;2.1. Notation von Mengen;25
4.2;2.2. Operationen zwischen Mengen;27
4.3;2.3. Übungsaufgaben;30
5;3. Relationen und Funktionen;31
5.1;3.1. Eigenschaften von Relationen;36
5.2;3.2. Äquivalenzrelationen;37
5.3;3.3. Ordnungsrelationen;39
5.4;3.4. Funktionen;41
5.5;3.5. Funktionen und Mengen: Die charakteristische Funktion;44
5.6;3.6. Übungsaufgaben;45
6;4. Aussagenlogik;47
6.1;4.1. Syntax der Aussagenlogik;48
6.2;4.2. Semantik der Aussagenlogik;49
6.3;4.3. Tautologien, Kontradiktionen und Kontingenzen.;57
6.4;4.4. Logische Äquivalenz und logische Konsequenz;58
6.5;4.5. Deduktionsverfahren;62
6.6;4.6. Übungsaufgaben;67
7;5. Prädikatenlogik;68
7.1;5.1. Prädikate und Valenz;68
7.2;5.2. Kompositionalität;72
7.3;5.3. Denotation;76
7.4;5.4. Die Sprache L1;85
7.5;5.5. Beispiele für die Interpretation in einem Modell;111
7.6;5.6. Gesetze für quantifizierte Formeln;122
7.7;5.7. Übungsaufgaben;137
8;6. Typentheorie;139
8.1;6.1. Typen: Sätze, Prädikate, Terme;141
8.2;6.2. Syntax der Typentheorie: Der Typengenerator;143
8.3;6.3. Typen, Mengen, Funktionen und Argumente;146
8.4;6.4. Semantik der Typentheorie;149
8.5;6.5. Beispiele für komplexe Typen;150
8.6;6.6. Die Auflösung von Russells Paradox;159
8.7;6.7. Übungsaufgaben;160
9;7. Kategorialgrammatik;162
9.1;7.1. Klassische Kategorialgrammatik;162
9.2;7.2. Übungsaufgaben;167
10;8. ^-Kalkül;168
11;9. Semantik der Nominalphrasen;195
11.1;9.1. Modifikatoren in Nominalphrasen;195
11.2;9.2. Generalisierte Quantoren;200
11.3;9.3. Determinatoren;218
11.4;9.4. Nominalphrasen als Objekte;228
11.5;9.5. Kompositionelle Behandlung der Quantifikation;233
11.6;9.6. Restringierte Quantifikation;239
11.7;9.7. Übungsaufgaben;241
12;10. Temporalsemantik;243
12.1;10.1. Zeit und Tempus;243
12.2;10.2. Zeitintervall-Semantik;272
12.3;10.3. Übungsaufgaben;289
13;11. Modallogik;290
13.1;11.1. Möglichkeit und Notwendigkeit;290
13.2;11.2. Mögliche Welten;295
13.3;11.3. Ein Modell mit möglichen Welten;299
13.4;11.4. Syntax und Semantik der Modal-Operatoren;301
13.5;11.5. Interaktion zwischen den Modal-Operatoren und der Negation;302
13.6;11.6. Skopusambiguitäten zwischen Modal-Operatoren und Quantoren;304
13.7;11.7. Die Zusammenführung von Zeit- und Modallogik;306
13.8;11.8. Übungsaufgaben;311
14;12. Intensionale Logik;312
14.1;12.1. Sinn und Bedeutung: Intension und Extension;313
14.2;12.2. Ein Modell für die Intensionale Logik IL;316
14.3;12.3. Intensor und Extensor;316
14.4;12.4. Die Sprache IL der Intensionalen Logik;318
14.5;12.5. Intensionale Deutungen;324
14.6;12.6. Interpretation intensionaler Konstruktionen;329
14.7;12.7. Übungsaufgaben;350
15;13. Propositionen und Propositionenmengen;352
15.1;13.1. Darstellung von Propositionenmengen;355
15.2;13.2. Eigenschaften von Propositionenmengen;356
15.3;13.3. Relativierte Modalität;359
15.4;13.4. Graduierte Modalität;362
15.5;13.5. Kontextmengen;367
15.6;13.6. Epistemische Einstellungen;369
15.7;13.7. Konditionalsätze;370
15.8;13.8. Übungsaufgaben;372
16;14. Fragesemantik;373
16.1;14.1. Fragen als Menge der möglichen Antworten;375
16.2;14.2. Fragen als Menge der wahren Antworten;376
16.3;14.3. Fragen als indexabhängige Propositionen;377
16.4;14.4. Fragen als Partitionen;386
16.5;14.5. Übungsaufgaben;391
17;15. Informationsstruktur;392
17.1;15.1. Fokussemantik;397
17.2;15.2. Topiks;409
17.3;15.4. Übungsaufgaben;415
18;16. Symbol-Verzeichnis;416
19;17. Lösungen der Übungsaufgaben;418
20;Literatur;434
21;Register;440

Über Autor(innen)

Horst Lohnstein, Universität zu Köln.