Proseminar Semantik I (Wintersemester 2000/2001)
- Di 9:45-11:15 (Raum 13.11) Vorlesung
- Do 14:00-15:30 (Raum 13.11) Übungen
Literatur
- Horst Lohnstein, ``Formale Semantik und Natürliche Sprache'', Westdeutscher Verlag, 1996: Kapitel 4 bis 9
-
Barbara H. Partee, Alice ter Meulen, Robert E. Wall, ``Mathematical
Methods in Linguistics'', Kluwer, 1990: Kapitel 6 (Aussagenlogik),
Kapitel 7 (Prädikatenlogik), Kapitel 13 (
-Kalkül),
Kapitel 14 (Generalisierte Quantoren)
- James D. McCawley, ``Everything that Linguists have Always Wanted to Know about Logic'', University of Chicago Press, 1981: Kapitel 1 bis 7, Kapitel 13.1
- Hans Kamp, Uwe Reyle, ``From Discourse to Logic'', Kluwer, 1993: Kapitel 0 bis 3
- David R. Dowty, Robert E. Wall, Stanley Peters, ``Introduction to Montague semantics'', Dordrecht : Reidel, 1981.
Vorläufiger Terminplan:
| 16.10.01: | Einführung (Übungen) |
| 23.10.01: | Aussagenlogik (Übungen) |
| 30.10.01+ | |
| 06.11.01: | Prädikatenlogik (Übungen) |
| 13.11.01: | Typentheorie (Übungen) |
| 20.11.01: | Höherstufige Prädikatenlogik und Lambda-Kalkül (Übungen) |
| 27.11.01: | Ein Fragment (Übungen) |
| 04.12.01: | Mehr zur Quantorenbehandlung bei Montague (Übungen von letzter Woche) |
| 11.12.01: | (Übungen von letzter Woche) |
| 18.12.01: | Generalisierte Quantoren (Übungen) |
| 08.01.02: | |
| 15.01.02: | Lexikalische Semantik (Übungen, in PDF) |
| 22.01.02: | DRT 1 (Übungen, in PDF) |
| 29.01.02: | Semantikkonstruktion in DRT |
| 05.02.02: | Präsuppositionen in DRT |
| 12.02.02: | Fragestunde und Klausur |
![[<--]](/icons/back.gif){kind=icon}
zurück zu Lehrveranstaltungen
IMS Stuttgart / WWW@IMS.Uni-Stuttgart.DE / Monday October 16 15:06:00 MET DST 2001 (mike)