دانلود کتاب Formale Semantik und natürliche Sprache

فهرست مطالب :

Inhaltsverzeichnis\nVorwort\n1. Einleitung\n2. Mengenlehre\n 2.1. Notation von Mengen\n 2.2. Operationen zwischen Mengen\n 2.3. Übungsaufgaben\n3. Relationen und Funktionen\n 3.1. Eigenschaften von Relationen\n 3.2. Äquivalenzrelationen\n 3.3. Ordnungsrelationen\n 3.4. Funktionen\n 3.5. Funktionen und Mengen: Die charakteristische Funktion\n 3.6. Übungsaufgaben\n4. Aussagenlogik\n 4.1. Syntax der Aussagenlogik\n 4.2. Semantik der Aussagenlogik\n 4.3. Tautologien, Kontradiktionen und Kontingenzen.\n 4.4. Logische Äquivalenz und logische Konsequenz\n 4.5. Deduktionsverfahren\n 4.6. Übungsaufgaben\n5. Prädikatenlogik\n 5.1. Prädikate und Valenz\n 5.2. Kompositionalität\n 5.3. Denotation\n 5.4. Die Sprache L1\n 5.4.1. Das Vokabular von L1\n 5.4.2. Der Begriff Modell für die Prädikatenlogik\n 5.4.3. Die Syntax von L1\n 5.4.4. Die Semantik von L1\n 5.4.4.1. Wahrheitsbedingungen für Prädikatsausdrücke\n 5.4.4.2. Wahrheitsbedingungen für die Konnektoren\n 5.4.4.3. Wahrheitsbedingungen für und V\n 5.4.4.4. Interpretation der Quantoren: ? und ?\n 5.4.4.5. Die semantischen Regeln der Prädikatenlogik\n 5.5. Beispiele für die Interpretation in einem Modell\n 5.6. Gesetze für quantifizierte Formeln\n 5.6.1. Tautologien, Kontradiktionen und Kontingenzen\n 5.6.2. Deduktionsverfahren\n 5.6.3. Deduktionsverfahren für quantifizierte Formeln\n 5.7. Übungsaufgaben\n6. Typentheorie\n 6.1. Typen: Sätze, Prädikate, Terme\n 6.2. Syntax der Typentheorie: Der Typengenerator\n 6.3. Typen, Mengen, Funktionen und Argumente\n 6.4. Semantik der Typentheorie\n 6.5. Beispiele für komplexe Typen\n 6.5.1. Typen von Prädikaten\n 6.5.2. Typen von Adverbien\n 6.5.3. Typen von Gradpartikeln\n 6.6. Die Auflösung von Russells Paradox\n 6.7. Übungsaufgaben\n7. Kategorialgrammatik\n 7.1. Klassische Kategorialgrammatik\n 7.2. Übungsaufgaben\n8. ?-Kalkül\n 8.1. Funktionen und Funktionswerte\n 8.2. Der ?-Operator und L1-Ausdrücke\n 8.3. Anwendungen des ?-Operators\n 8.4. Syntax und Semantik des ?-Operators\n 8.5. Die Sprache L?t\n 8.5.1. Die Basiseinheiten von L?t\n 8.5.2. Die Syntax von L?t\n 8.5.3. Die Semantik von L?t\n 8.6. Übungsaufgaben\n9. Semantik der Nominalphrasen\n 9.1. Modifikatoren in Nominalphrasen\n 9.2. Generalisierte Quantoren\n 9.2.1. Quantifikation in L1 vs. Quantifikation im Deutschen\n 9.2.2. L1-definierbare Quantoren\n 9.2.2.1. Denotate für quantifizierende Pronomina\n 9.2.2.2. Denotate für komplexe Nominalphrasen\n 9.2.3. Andere Quantoren\n 9.2.3.1. Der bestimmte Artikel\n 9.2.3.2. Eigennamen\n 9.3. Determinatoren\n 9.3.1. Eigenschaften von Determinatoren\n 9.3.1.1. Konservativität\n 9.3.1.2. Monotonie\n 9.4. Nominalphrasen als Objekte\n 9.5. Kompositionelle Behandlung der Quantifikation\n 9.6. Restringierte Quantifikation\n 9.7. Übungsaufgaben\n10. Temporalsemantik\n 10.1. Zeit und Tempus\n 10.1.1. Temporale Modelle\n 10.1.2. Tempus und Zeit-Operatoren\n 10.1.3. Die Interpretation der Tempora mit Zeit-Operatoren\n 10.1.3.1. Einfache Tempora\n 10.1.3.2. Komplexe Tempora\n 10.1.4. Reichenbachs Tempussystem\n 10.1.5. Temporale Deixis\n 10.1.6. Interaktion zwischen Zeit-Operatoren und Negation\n 10.1.7. Skopusambiguitäten zwischen Zeit-Operatoren und Quantoren\n 10.2. Zeitintervall-Semantik\n 10.2.1. Zeitintervalle\n 10.2.2. Aspekt und Aktionsarten\n 10.2.2.1. Verbklassifikation\n 10.2.2.2. Zeitadverbiale und Aktionsarten\n 10.3. Übungsaufgaben\n11. Modallogik\n 11.1. Möglichkeit und Notwendigkeit\n 11.1.1. Modalisierte Aussagen\n 11.1.2. Arten der Modalität\n 11.2. Mögliche Welten\n 11.3. Ein Modell mit möglichen Welten\n 11.4. Syntax und Semantik der Modal-Operatoren\n 11.5. Interaktion zwischen den Modal-Operatoren und der Negation\n 11.6. Skopusambiguitäten zwischen Modal-Operatoren und Quantoren\n 11.7. Die Zusammenführung von Zeit- und Modallogik\n 11.8. Übungsaufgaben\n12. Intensionale Logik\n 12.1. Sinn und Bedeutung: Intension und Extension\n 12.2. Ein Modell für die Intensionale Logik IL\n 12.3. Intensor und Extensor\n 12.4. Die Sprache IL der Intensionalen Logik\n 12.4.1. Die Basiseinheiten von IL\n 12.4.2. Die Syntax von IL\n 12.4.3. Die Semantik von IL\n 12.5. Intensionale Deutungen\n 12.5.1. Individuen\n 12.5.2. Einstellige Prädikate\n 12.5.3. Zweistellige Prädikate\n 12.5.4. Formeln\n 12.5.5. Generalisierte Intensionen\n 12.6. Interpretation intensionaler Konstruktionen\n 12.6.1. Intensionale Kontexte und Leibniz\' Gesetz\n 12.6.2. Quantifikation und Zeit-Operatoren\n 12.6.3. Quantifikation und Modal-Operatoren\n 12.6.4. Propositionale Einstellungen\n 12.6.5. Intensionale Adjektive\n 12.6.6. Intensionale Verben\n 12.7. Übungsaufgaben\n13. Propositionen und Propositionenmengen\n 13.1. Darstellung von Propositionenmengen\n 13.2. Eigenschaften von Propositionenmengen\n 13.3. Relativierte Modalität\n 13.4. Graduierte Modalität\n 13.5. Kontextmengen\n 13.6. Epistemische Einstellungen\n 13.7. Konditionalsätze\n 13.8. Übungsaufgaben\n14. Fragesemantik\n 14.1. Fragen als Menge der möglichen Antworten\n 14.2. Fragen als Menge der wahren Antworten\n 14.3. Fragen als indexabhängige Propositionen\n 14.4. Fragen als Partitionen\n 14.5. Übungsaufgaben\n15. Informationsstruktur\n 15.1. Fokussemantik\n 15.1.1. Alternativensemantik\n 15.1.2. Fokussensitive Partikeln\n 15.1.3. Strukturierte Bedeutungen\n 15.1.4. Kongruenz von Frage und Antwort\n 15.2. Topiks\n 15.2.1. Satztopiks\n 15.2.2. Diskurstopiks\n 15.4. Übungsaufgaben\n16. Symbol-Verzeichnis\n17. Lösungen der Übungsaufgaben\nLiteratur\nRegister