He visto el término "propiedad trivial" utilizado varias veces, y algunos autores parecen atribuirlo a Plantinga, pero no puedo encontrar su definición. He visto a otros definirlo como una propiedad necesaria para x, independientemente de lo que consideres que es x.
Plantinga usa el concepto de propiedades no triviales en su defensa de la depravación transmundial de la benevolencia de Dios, ver ¿Cómo funciona la defensa del libre albedrío de la benevolencia de Dios? Ciprotti en Theological Compatibilism and Essential Properties analiza las propiedades triviales y no triviales de Plantinga con PDO (poder para hacer lo contrario, también conocido como libre albedrío) como ejemplo central:
" Según él [Plantinga], una propiedad P es trivial si y sólo si constituye una condición necesaria para que algo exista, por ejemplo, ser idéntico a sí mismo, ser P o no-P, y similares. Por el contrario, PDO no parece entonces: para que x exista no se requiere que x sea libre " .
La referencia para la definición es Nature of Necessity de Plantinga (1974), Clarendon Press, NY, pp. 60-61. La noción de trivial es similar a lo que Kripke llama "propiedad esencial" , pero el sentido de modalidad se fortalece de lo metafísico a algo cercano a lo lógico. Si se quita una "propiedad esencial" de x, ya no sería x, pero lo que "deja" puede existir lógicamente, mientras que eliminar una propiedad trivial hace que incluso eso sea imposible. Plantinga pretende que sea algo más estricto que simplemente lógico, por ejemplo, "ser una criatura" aún podría ser trivial en su contexto.