Proseminar: Logik für Linguisten

Di 15:15-16:45, Raum GW 2, A 4100
Prüfungsgebiet: Grammatik; Semantik [§ 6 (1) 2d) MPO 2000] (ECTS: 5)
Scheine: Teilnahmeschein oder erfolgreich teilgenommen bei bestandener Klausur

Bitte tragen Sie sich in die Mailliste für alle Studierenden der Linguistik ein.

Zur Darstellung der Semantik von Ausdrücken in menschlicher Sprache haben sich in den letzten Jahrzehnten zunehmend Methoden der modernen Logik als angemessen erwiesen. Um diese prominente Forschungsrichtung rezipieren zu können, sind solide Kenntnisse der logischen Verfahren erforderlich. Diese sollen im Seminar schrittweise erarbeitet werden.

Literatur:

• Allwood, Jens, Lars-Gunnar Anderson und Östen Dahl. 1973. Logik für Linguisten. Romanistische Arbeitshefte, Nr. 8, Tübingen: Max Niemeyer Verlag.

  Entweder kaufen für 9,40 €, oder in der Bibliothek

• Dowty, David R., R. E. Wall und S. Peters. 1981. Introduction to Montague Semantics. Dordrecht, Boston, London: D. Reidel Publishing Company.
• Lohnstein, Horst. 1996. Formale Semantik und Natürliche Sprache. Opladen: Westdeutscher Verlag.
• Oberschelp, A. 1997. Logik für Philosophen. Stuttgart: J. B. Metzlersche Verlagsbuchhandlung.

• Philosophie Osnabrück

Probeklausuren:

• Probeklausur mit Lösungen (vom Niveau leicht über unserer Klausur)
• Probeklausur Bremen

Wenn Sie sich in der vorlesungsfreien Zeit langweilen, können Sie sich mit Prolog beschäftigen:

• Script Computerlinguistik und Prolog
• Prolog-Buch am ZFN
• Prolog-Kurs von Susanne Hackmack
• ein kostenloses Prolog zum Probieren