Lexikon der Argumente

 

I 61
Def "genau ein"/logische Form/Prior: Zu sagen, dass genau ein Individuum φt heißt zu sagen, dass für ein x, x φt und für jedes x und y, wenn x φt und y φt, dann ist x dasselbe Individuum wie y.
>"Genau ein".
Nur mit "φ-en" statt "F" (Prädikat).
>Prädikate, >Prädikation, >Eigenschaften, vgl. >Pegasus-Beispiel, >Nichtexistenz/Russell.
Eigenschaft/Prädikat/Prior: Prior benutzt "φ-en" (einstellige Verben) statt "F" (Eigenschaft) - aber auch:
"Eigenschaft, zu φ-en" - "Die Eigenschaft des ()-ens" bildet aber kein Substantiv aus einem Verb! - Vielmehr ist es Teil des ganzen Funktors: "..ist dasselbe wie.." oder Funktors: "was immer ()t,()t".
>Funktoren.
Es ist keine Eigenschaft, weil sonst eine falsche Gleichsetzung folgt: "Eigenschaft, die auf nichts angewendet wird": dies könnte dann fälschlich Meerjungfrauen und Pegasi gleichsetzen.
>Einhorn-Beispiel.