Formale Semantik

S
Mi

Modul 04-006-1006
13:15-14:45

2 SWS
SR H1 5.16
Beethovenstraße 15
Tutorium: 2 SWS (fakultativ)
David Stoppel Fr, 13:15 - 14:45, NSG SR 212
Das Seminar führt in klassische Bereiche der modelltheoretischen Semantik ein und liefert damit die Voraussetzungen für ein wahrheitskonditionales Verständnis der sprachlichen Bedeutung. Zunächst werden die Typentheorie und die Theorie der Lambda-Repräsentation behandelt. Die Operationen der Prädikation und der Modifikation spielen dabei eine besondere Rolle. Im Zentrum stehen dann die Semantik von definiten und von quantifizierenden NPn, die Temporalsemantik und die Semantik von modalen Ausdrücken. Abschließend werden Grundkenntnisse in der intensionalen Semantik vermittelt.

Ausgew. Lit.:

- Chierchia, G. & McConnell-Ginet, S. (2002). Meaning and Grammar. An Introduction to Semantics. Cambridge: MIT Press.
- Lohnstein, Horst (2011). Formale Semantik und natürliche Sprache. Berlin, New York: de Gruyter.

Übersicht (Themenfolge, Literatur, Klausur etc.)

Skript: Formale Semantik.
Bitte vor der jeweiligen Veranstaltung ausdrucken!
Vorbemerkungen
06.04.: 1 Einführung (Folien)
13.04.: 2.1 Typen; 2.2.1 Syntax von TL; Übungen (Folien)
20.04.: 2.2.2 Semantik von TL; 2.3 Anwendungen; Übungen (Folien)
27.04.: 3.1 Der L-Operator; 3.2 Typenlogik mit L-Operator; Übungen (Folien)
04.05.: Fortsetzung
11.05.: 3.3 Anwendungen (Folien)
18.05.: Fortsetzung + 3.4 Direkte vs. indirekte Interpretation; Übungen (Folien)
25.05.: 4.1 NPn und Determinatoren; 4.2 Die klassische Analyse und einige Alternativen; Übungen (Kevin Herholz, Marc Sannemüller) (Folien)
01.06.: Fortsetzung (Maximilian Möller, Lina Gehrmann)
08.06.: 4.3 NPn als Objekte oder als Prädikative; Übungen (Maria Nicolai, Annett Tomporowski) (Folien)
15.06.: 5.1 Zeitbezug; 5.2 Klassische Temporalsemantik, 5.3 Alternative Theorien; Übungen (Kristina Gehring, Steffi Gutknecht, Elvira Portner) (Folien)
22.06.: 6.1 Modalitäten, 6.2 Klassische Modalsemantik, 6.3 Indexsemantik; Übungen (Julia Schulz, Olga Khorkova) (Folien)
29.06.: 7.1 Intension und Extension; 7.2 Intensionale Logik IL; Übungen (Annett Lange, Stephani Theuring, Clarissa Lohr) (Folien)
06.07.: 7.3 Intensionale Kontexte (Helen Geyer, Maria Seifert) (Folien)
13.07.: Klausur (fakultative Modulteilprüfung)

Klausurergebnisse: Formale Semantik

Die Lösungen der Übungsaufgaben werden auf Moodle zur Verfügung gestellt.

Johannes Dölling Letzte Änderung: 22.08.2011