Lexikon der Argumente

 

I 46
Syntax/Prior: Variablen und Konstanten gehören derselben syntaktischen Kategorie an.
Problem: Welchen Sinn hat der Quantor bei Quantifikation über Eigenschaften?
>Quantifikation, >Quantoren, >Quantifikation über Eigenschaften, >Variablen, >Konstanten.
Frage Soll die dem Quantor folgende Variable dazugehören (vom Quantor gebunden sein)?
>Gebundene Variablen.
Lösung: Wenn wir Lambdaoperatoren (λ-Operatoren) als einzige Operatoren auffassen, die Variablen binden dürfen, dann ist dem Quantor die Satzbildung überlassen: aus

∏(λxφx)

(was äquivalent ist zum einfachen "φ") wird kurz

∏φ,

alles φ-ieht.
Der Quantor ist satzbildend wie "alles".
>Lambda-Kalkül, >Lambda-Abstraktion, >Reichweite.
Syntaktischer Status von Lambda: symbolische Krücke.
Problem: "Etwas ist nicht der Fall": SN: "S" bildet einen Satz aus einer einstelligen Verbindung oder Adverb.
>Sätze, >Teilsätze.