Einführung in die Semantik
(https://www.coli.uni-saarland.de/~saurer/lehre/ws00/einf.sem.-ws00.html)
This page is available in
English as well.
Vorlesung mit Übung
Erster Studienabschnitt
Leitung: Werner Saurer
V Mo 11-13, Ü Mi 11-13; Gebäude 17.2, Seminarraum
Beginn: 30.10.2000
Inhalt
Die Vorlesung behandelt den Grundbestand an Konzepten und formalen
Werkzeugen für die Semantik natürlicher Sprachen. Im
einzelnen werden besprochen:
- Modal- und Temporallogik
- Mögliche-Welten-Semantik
- Typentheorie, Lambda-Abstraktion und Lambda-Konversion
- die Beziehung zwischen syntaktischer und semantischer Struktur
Voraussetzungen/Bemerkungen
Mathematische Grundlagen I oder anderweitig erworbene gute
Kenntnisse der Prädikatenlogik
Stellung im Studienplan
Diplom-CL: Vordiplomteilprüfung Linguistik II (alte Studien- und Prüfungsordnung);
Pflichtveranstaltung mit Schein (neue Studien- und Prüfungsordnung);
MA-NF: Wahlpflichtveranstaltung im 2. Studienabschnitt;
Informatik-NF: Pflichtveranstaltung, wahlweise mit Schein (alternativ:
Grammatikformalismen)
Die Veranstaltung zählt 4 Leistungspunkte.
Literatur
L.T.F. Gamut, Logic, Language, and Meaning, Vol. 2: Intensional Logic and Logical Grammar. U of Chicago Press, 1991.
Scheine
Möglich bei Teilnahme an der Klausur (90 Minuten; am Ende des Semesters; hier ist eine
Probeklausur
mit Lšsungen).
(Siehe auch unter
Klausurrichtlinien.)
Teilnehmer, die keinen benoteten Schein benötigen, erhalten auf Anfrage eine
Bestätigung über ihre regelmässige Teilnahme.
Übung
Mi 11-13, Bau 17.2, Seminarraum, Beginn: 15.11.00.
Vorlesungsplan
Vorlesung 1 (Mo, 30.10.00)
Einführung: Was ist Semantik? Semantische Phänomene, allgemeine Ideen der kompositionalen Semantik, lexikalische Semantik, einige ältere semantische Theorien.
Vorlesung 2 (Mi, 06.11.00)
Einführung in die modelltheoretische Semantik (Prädikatenlogik 1. Ordnung; Syntax und Formalisieren).
Vorlesung 3 (Mo, 13.11.00)
Semantik der PL1: Modellstruktur, Wahrheitsdefinition, semantische Eigenschaften und Relationen.
Vorlesung 4 (Mo, 20.11.00)
Beweistheorie; lexikalische Semantik: Bedeutungspostulate.
Vorlesung 5 (Mo, 27.11.00)
Umformungen, Normalformen, Resolution; Probleme der PL1.
Vorlesung 6 (Mo, 04.12.00)
Zeitlogik.
Vorlesung 7 (Mo, 11.12.00)
Modallogik.
Vorlesung 8 (Mo, 18.12.00)
Typtheorie: Motivation und Einführung.
Vorlesung 9 (Mo, 08.01.01)
Typtheorie (Fortsetzung).
Vorlesung 10 (Mo, 15.01.01)
Typtheorie mit lambda-Ausdrücken.
Vorlesung 11 (Mo, 22.01.01)
Intensionale Logik: Motivation und Einführung.
Vorlesung 12 (Mo, 29.01.01)
Intensionale Logik (Fortsetzung).
Vorlesung 13 (Mo, 05.02.01)
Intensionale Logik und Montague-Grammatik.
Vorlesung 14 (Mo, 12.02.01)
Montague-Grammatik (Fortsetzung und Schluss).
Übungsblatt 9; Besprechung am Mittwoch, 14. 02. 01.
Klausur: Mo, 19.02.01 (Probeklausur)
Ergebnisse der Klausur (WS 99/00)
Zurück zum Vorlesungsverzeichnis WS 2000/01.