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:

  1. Aristoteles/G.Boole: semantische Kategorien und Begriffshierarchie
  2. C.S.Pierce/E.Schröder: Relationale Semantik
  3. G.Frege: Unterscheidung zwischen Sinn und Bedeutung
  4. B.Russell/A.Church/H.B.Curry: Typentheorie und Lambda-Kalkül
  5. R.Carnap/R.Montague: Modalitäten und Intensionen
  6. A.Church: Formale Theorie des Sinns und indirekter Rede
  7. R.Moschovakis: Sinn und Bedeutung als Algorithmus und Wert

Voraussetzungen

Mathematische Grundlagen I, Semantik I oder Mathematische Grundlagen II

Literatur

  1. Aristoteles: Kategorien. Felix Meiner Verlag
  2. C.S.Peirce: Die Logik der Relative, Kap 1.-9. In: Semiotische Schriften, Bd. 1, Suhrkamp (stw 1480), 2000. (Seiten 269 -306)
  3. G.Frege: Funktion, Begriff, Bedeutung. Vandenhoek und Rupprecht, 1975. (Seiten 41-65)
  4. A.Church: A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic 5 (1), 56-68. 1940
  5. R.Carnap: Meaning and Necessity. A Study in Semantics and Modal Logic.(2nd ed.) Chicago University Press, 1956
  6. R.Thomason (ed.): Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, 1974
  7. 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.