Ich habe gesehen, dass der Begriff „triviales Eigentum“ mehrmals verwendet wurde, und einige Autoren scheinen ihn Plantinga zuzuschreiben, aber ich kann seine Definition nicht finden. Ich habe gesehen, wie andere es als eine Eigenschaft definieren, die für x notwendig ist, unabhängig davon, wofür Sie x halten.
Plantinga verwendet das Konzept der nicht-trivialen Eigenschaften in seiner transweltlichen Verdorbenheitsverteidigung von Gottes Wohlwollen, siehe Wie funktioniert die Verteidigung des freien Willens von Gottes Wohlwollen? Ciprotti in Theological Compatibilism and Essential Properties diskutiert die trivialen und nicht-trivialen Eigenschaften von Plantinga mit PDO (Macht, etwas anderes zu tun, auch bekannt als freier Wille) als zentrales Beispiel:
„ Nach ihm [Plantinga] ist eine Eigenschaft P trivial, wenn sie eine notwendige Bedingung dafür darstellt, dass etwas existiert, z. B. selbstidentisch zu sein, P oder Nicht-P zu sein und dergleichen. Im Gegensatz dazu scheint PDO nicht also: damit x existiert, muss x nicht frei sein. "
Die Definition bezieht sich auf Plantingas Nature of Necessity (1974), Clarendon Press, NY, S. 60-61. Der Begriff des Trivialen ähnelt dem, was Kripke „wesentliches Eigentum“ nennt , aber der Sinn für Modalität wird vom Metaphysischen zu etwas nahe dem Logischen verstärkt. Wenn x eine „wesentliche Eigenschaft“ weggenommen wird, wäre es nicht mehr x, aber was „übrig“ bleibt, kann logisch existieren, während das Entfernen einer trivialen Eigenschaft selbst das unmöglich macht. Plantinga beabsichtigt, es etwas strenger als nur logisch zu halten, zB "ein Wesen zu sein" könnte in seinem Kontext immer noch trivial sein.