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.