Lexikon der Argumente

 

I 45
Lamdaoperator/λ-Operator/Abstraktionsoperator/Prior: Der Abstraktionsoperator ist gar nicht mit abstrakten Substantiven äquivalent, er bezeichnet keine Eigenschaften, denn er kann keine Namenvariablen ersetzen.
((s) Adjunktion von Eigenschaften: kein Problem:
"etwas φ-ieht oder ψ-ieht".
Aber nicht
"Eigenschaft des φ-ens-oder-ψ-ens"
als abstrakte Entität.
>Abstraktheit, >Abstrakte Gegenstände, >Eigenschaften.
Lösung/Prior: A'ψC (entweder ψ-en oder C-en" - kein abstraktes Substantiv, sondern komplexes Verb, das einen Satz bildet.)
Der Lamdaoperator ist notwendig, wenn man Gesetze über Propositionen formulieren will.
>Operatoren, >Lambda-Notation.