SoSe 2022

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

Marco Flöß und Sebastian Loftus:

Tutorium (Näheres s. Moodle)

Geplant ist eine hybride Form des Kurses mit Präsenz (solange das Pandemiegeschehen es zulässt, Vorlesung und Tafelübung in Raum L 155) und paralleler Zoom-Übertragung.

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.