Semantik I
CIS, Universität München, SS 2008
Hans Leiß
Inhalt: Es wird eine Einführung in die theoretische und computerlinguistische
Behandlung der Semantik natürlicher Sprachen gegeben. Behandelt werden:
- Aristoteles/G.Boole: semantische Kategorien und Begriffshierarchie
- C.S.Pierce/E.Schröder: Relationale Semantik
- G.Frege: Unterscheidung zwischen Sinn und Bedeutung
- B.Russell/A.Church/H.B.Curry: Typentheorie und Lambda-Kalkül
- R.Carnap/R.Montague: Modalitäten und Intensionen
- R.Montague: Das Sprachfragment aus 'Proper Treatment of
Quantification in Ordinary English'
Voraussetzungen: Proseminar Mathematische Grundlagen I oder II
(linguistische und prädikatenlogische Grundkenntnisse)
Skriptum und Folien:
- Skriptum Semantik I vom SS 2004 (Beispielsprachen und Implementierung von
Auswertungsfunktionen) und Skriptum Mathematische Grundlagen
II vom SS 2003 (Montague-Grammatik, Mengen-, Relationen- und
Peirce-Algebra) sind verteilt worden
- Folien zu Attributgrammatiken
- Folien zu Boole'schen und Peirce'schen
Grammatiken (aus einem Seminar vom SS 2003)
Scheinkriterium: Aktive Mitarbeit, Lektüre, Bearbeitung von Übungsaufgaben und Klausur.
- Aufgabenblatt 1
- Aufgabenblatt 4
Proseminarscheine:
Literatur:
- Aristoteles: Kategorien. Felix Meiner Verlag
- C.S.Peirce: Die Logik der Relative, Kap 1.-9. In: Semiotische Schriften, Bd. 1,
Suhrkamp (stw 1480), 2000. (Seiten 269 -306)
- G.Frege: Funktion, Begriff, Bedeutung. Vandenhoek und Rupprecht, 1975. (Seiten 41-65)
- R.Thomason (ed.): Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, 1974
- D.R.Dowty, R.E.Wall, S.Peters: Introduction to Montague Semantics.
Reidel, 1989
File translated from
TEX
by
TTH,
version 3.70.
On 20 Jun 2008, 10:02.