Lexikon der Argumente

 

II 322
Ontologie/Notwendigkeit/Theorie T1/Peacocke: wir nehmen die Abstrakta als unanalysierte einstellige Prädikate für Gebrauch in den logischen Axiomen und Schlussregeln.
Wir nehmen Eigenschaften nicht als Entitäten, die die Objektsprache erfüllen. - D.h. nicht, dass es keine gibt.
>Objektsprache, >Eigenschaften.
Obwohl die Objektsprache keine Quantifikation über Objekte hat, erfordert eine endliche Behandlung der unendlich vielen singulären Termini eine Zuschreibung von Entitäten: Bsp
denote (Cleopatra) = Cleopatra
den(Vater von t1) = Vater von den(t1)
Tr (t1 ist größer als t2) ↔ den(t1) ist größer als den(t2)

>Transitivität, >Denotation.
Aber diese Identität braucht man nur, wenn man Eigenschaften in der Objektsprache annimmt.
>Singuläre Termini.