SoSe 2023

Logik und modelltheoretische Semantik

Robert Zangenfeind:

Vorlesung: Dienstag, 14 c.t. - 16h

Tafelübung: Donnerstag, 16 c.t. - 18h

Weitere Übungsaufgaben finden sich im Moodle. Der Schlüssel dazu wird in der ersten Sitzung der Vorlesung am Dienstag bekannt gegeben.

Stella Fritz:

Tutorium s. Moodle

Der Kurs wird in hybrider Form stattfinden mit Präsenz (Vorlesung und Tafelübung in Raum L 155) und paralleler Zoom-Übertragung.

Die Klausur wird in Präsenz stattfinden (in L155), s.a. unten!

Themen der Vorlesung

1. Einführendes / Grundbegriffe

2. Aussagenlogik

3. Prädikatenlogik

4. Montague-Grammatik

5. Distributionelle Semantik

6. Grundlegende Frage: Was ist Bedeutung?

7. Semantische Transkription im Bedeutung-Text-Modell (BTM) und bei Abstract Meaning Representation (AMR)

Literatur zur Einführung

- J.J. Katz: Semantic Theory. New York 1972.

- A. Beckermann: Einführung in die Logik. Berlin 2003.

- F.v. Kutschera, A. Breitkopf: Einführung in die moderne Logik. Freiburg, München 2000.