Synonymie und Intensionalität Synonymie und Intensionalität

H.Leiß, R.Kahle

Hauptseminar
Zeit: Do. 13-15
Ort: Raum 1.43

Inhalt

In diesem Seminar soll das Problem der Synonymie von Ausdrücken behandelt werden, d.h. wie Synonymie definiert werden kann und was die Logik synonymer Ausdrücke ist (ob z.B. der Austausch synonymer Ausdrücke in indirekten Kontexten zu synonymen Ergebnissen führt).

Dazu wird zuerst Gottlob Freges grundlegende Unterscheidung zwischen dem Sinn und der Bedeutung eines Ausdrucks behandelt. Anschließend werden hauptsächlich die Versuche von Alonzo Church betrachtet, diesen Unterschied zu präzisieren: wie kann man Bedeutung und Sinn von Ausdrücken axiomatisch unterscheiden, und wie kann der Sinn komplexer Ausdrücke aus Sinn und Bedeutung von Teilausdrücken zusammengesetzt werden?

Schließlich sollen neuere Arbeiten (von C.A.Anderson, Y.Moschovakis, N.Salmon) zu Rate gezogen werden, die u.a. den Unterschied zwischen Sinn und Bedeutung mit dem Unterschied zwischen Berechnung und berechnetem Wert in Beziehung bringen.

Das Seminar richtet sich an Studenten, die sich für formale Semantik natürlicher Sprachen interessieren.

Voraussetzung

Grundkenntnisse in Prädikatenlogik, Proseminar Semantik, oder Computerlinguistik II.

Scheinkriterium

Aktive Teilnahme mit Referat.

Workshop Intensionality am CIS, Fr. 27.10 - So 29.10.2000

Zum Thema des Seminars findet ein Workshop mit renommierten Sprechern statt, der den Seminarteilenehmern empfohlen wird. Näheres findet man unter

http://www.cis.uni-muenchen.de/sil/tagung/

Literatur

  1. C.A.Anderson: Alonzo Church's Contribution to Philosophy and Intensional Logic. Bulletin of Symbolic Logic, Vol 4, No 2, June 1998. (auch unter: http://www.math.ucla.edu/~asl/bsl/0402-toc.htm)
  2. C.A.Anderson, M.Zeleny (eds.): Logic, meaning and computation: Essays in memory of Alonzo Church. Kluwer Academic Press 2000
  3. A.Church: A formulation of the logic of sense and denotation. in: P.Henle e.a. (eds.) Structure, method and meaning. The Liberal Arts Press, New York 1951
  4. A.Church: A revised formulation of the logic of sense and denotation, Alternative (1). Nous, vol. 27, pp. 141-157, 1993
  5. G.Frege: Über Sinn und Bedeutung. (G.Patzig (ed.), Vandenhoek und Rupprecht, 198?)
  6. N.Salmon, S.Soames (eds.): Propositions and attitudes. Oxford University Press, 1988
  7. R.Thomason (ed.): Richard Montague: Formal Philosophy. Yale University Press, 1974
  8. Y.Moschovakis: Sense and denotation as algorithm and value. Springer Lecture Notes in Logic Vol. 2, p. 210-249, Berlin 1994 (auch unter: http://www.math.ucla.edu/~ynm/papers.htm)

Seminarteilnehmer

Email-Adressen der Seminarteilnehmer:

js@cis.uni-muenchen.de, olaverri@cis.uni-muenchen.de, torres@cis.uni-muenchen.de, sonja.loeschmann@stud.uni-muenchen.de, zessel@cis.uni-muenchen.de, illner@cis.uni-muenchen.de, xin.liu@stud.uni-muenchen.de, vmeurer@cis.uni-muenchen.de, verena_albert@hotmail.com, sinnwell@cis.uni-muenchen.de, kahle@informatik.uni-muenchen.de, leiss@cis.uni-muenchen.de

File translated from TEX by TTH, version 2.54.
On 24 Oct 2000, 18:39.