Semantik II
Semantik II
Hans Leiß
Vorlesung SS 2002
Zeit und Raum: Mi 10-12, Raum 1.43
Inhalt und Ziel der Veranstaltung
Es soll ein Überblick über wesentliche Beiträge der Logiker
zur Semantik gegeben werden, der historischen Entwicklung folgend:
- 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
- A.Church: Formale Theorie des Sinns und indirekter Rede
- R.Moschovakis: Sinn und Bedeutung als Algorithmus und Wert
Voraussetzungen
Mathematische Grundlagen I,
Semantik I oder Mathematische Grundlagen II
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)
- A.Church: A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic 5 (1), 56-68. 1940
- R.Carnap: Meaning and Necessity. A Study in Semantics and Modal Logic.(2nd ed.) Chicago University Press, 1956
- R.Thomason (ed.): Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, 1974
- Y.Moschovakis: Sense and denotation as algorithm and value. Springer LNL (2), 210-249, Berlin 1994
(http://www.math.ucla.edu/ ynm/papers.htm)
Kopiervorlagen von 1., 2. und 3. gibt es in einem Ordner im
Besprechungsraum B 110
Folien
Vorlesungsfolien
File translated from TEX by TTH, version 2.54.
On 18 Apr 2002, 11:13.