SoSe 2021

Logik und modelltheoretische Semantik

Robert Zangenfeind:

Vorlesung: Dienstag, 14 c.t. - 16h, online (Zoom)

Tafelübung: Donnerstag, 16 c.t. - 18h, online (Zoom)

Andreas Wassermayr:

Tutorium: online, s. Tutoriumsseite

Weitere Übungsaufgaben sowie Videos der Vorlesungen finden sich im Moodle

Die Klausur ist korrigiert. Die Ergebnisse können auf LSF eingesehen werden.

Dienstag, 6.7.2021, 14 c.t.

Dienstag, 13.7.2021, 14h (90 Minuten, online)

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)

- 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.