Begriff/ Autor/Ismus |
Autor Vs Autor |
Eintrag |
Literatur |
---|---|---|---|
Bindung Stechow | Stechow Vs Cresswell, M.J. | I 154 Lambda Operator/λ-Operator/Stechow: die hier verwendete Sprache entspricht ziemlich genau der λ-kategorialen von Cresswell 1973. Einziger Unterschied: Cresswell: bei ihm kein Unterschied zwischen syntaktischen Kategorien und Typen. Die Typensymbole fungieren gleichzeitig als Kategoriensymbole. StechowVsCresswell: das ist unpraktisch, weil verschiedene Kategorien denselben Typ haben können. Bsp intransitive Verben als auch Nomina sind vom Typ ep. Hier: wählen wir eine Sprache mit Bedeutung*stypen, also e, p usw. Lambda Operator/Semantik/Linguistik/Stechow: dient der Interpretation des Bewegungsindex. Damit übertragen sich die logischen Eigenschaften des Operators auf die Interpretation der Bewegung. Bewegung: (auf LF) erzeugt einen Lambda-Operator, der seine Spur bindet und damit alle gleichen Variablen (Pronomina) die er c kommandiert. 1. Interpretation: eines geschlossenen Ausdrucks hängt nicht von der Wahl einer bestimmten Belegung ab. Das ist eine Folge des sogenannten Def Koinzidenzlemma: das besagt, dass zwei Ausdrücke, die sich nur durch freie Variablen unterschieden, durch geeignete Belegungen gleich interpretiert werden können. 2. Die Syntax der λ-Sprache beinhaltet das Prinzip der Def λ-Konversion, das unsere Funktionskonversion ist. Das Prinzip besagt, dass man einen λ-Operator abbauen darf, wenn man für die durch den Operator gebundenen Variablen einen Ausdruck vom Typ der Variablen einsetzt. Das folgt aus dem Überführungslemma. (>Bindung). 3. gebundene Umbenennung/Stechow: wenn zwei Ausdrücke nur in der Wahl ihrer gebundenen Variablen unterscheiden, bedeuten sie dasselbe. ^Das sind die alphabetischen Varianten. |
A. von Stechow I Arnim von Stechow Schritte zur Satzsemantik www.sfs.uniï·"tuebingen.de/~astechow/Aufsaetze/Schritte.pdf (26.06.2006) |