Lexikon der Argumente

 

I 88
Ontologische Standardanalyse/Meixner: Universaliennamen entspringen aus der Prädikation - Bsp was macht "Fritz ist ein Mensch" wahr?
>Wahrmacher, >Exemplifikation.
Exemplifikation - manche wahre Exemplifkationsaussagen setzen mehr als die ontologische Standardanalyse voraus: Identitätsaussagen:
Fritz ist mit Fritz identisch: allgemeines Exemplifikationsprinzip.
>Identität.
Ontologische Standardanalyse: liefert die Wahrheit von

Fritz EXEM λo₁.[o₁ ist mit o₁ identisch].

Genauso wahr ist aber

Fritz, Fritz EXEM λo₁.o₂[o₁ ist mit o₂ identisch]

((s) a) Mit sich identisch sein, b) Mit Fritz identisch sein.)
I 92
Ontologische Standardanalyse/MeixnerVs: Die Ontologische Standardanalyse kann nicht aufrechterhalten werden wegen heterologischer Eigenschaft, sich nicht selbst zu exemplifizieren - Bsp die Eigenschaft, ein Mensch zu sein, ist nicht selbst ein Mensch (exemplifiziert sich nicht selbst).
Der Name

o₁.[o₁ EXEM nicht o₁]

benennt nichts, was seinem Sinn entspricht.
>Benennen, >Namen, >Sinn.