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)
Alexander Jahraus  

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. Voraussetzung: Absolvierung eines Logikkurses.

Ausgew. Lit.:

- Chierchia, G. & McConnell-Ginet, S. (2002). Meaning and Grammar. An Introduction to Semantics. Cambridge: MIT Press.
- Gamut, L.T.F. (1991): Logic, Language, and Meaning. Vol. II. Chicago, London: University of Chicago Press.
- Partee, B. H., ter Meulen, A. & Wall, R. E. (1990): Mathematical Methods in Linguistics. Dordrecht: Kluwer.

Übersicht (Literatur, Seminarplan etc.)

Arbeitsmaterialien

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

Johannes Dölling Letzte Änderung: 08.02.2010