Le mathématicien Kurt Gödel a formalisé une preuve ontologique de l'existence de Dieu
Aller à la navigation
Aller à la recherche
Cet argument est utilisé dans le débat Dieu existe-t-il ?.
Cet argument est une justification de L'existence de Dieu est contenue dans son concept.
Mots-clés : aucun
Résumé
Citations
« La preuve s'appuie sur les définitions et axiomes suivants :
- Définition 1 : x est divin (propriété que l'on note G(x)) si et seulement si x contient comme propriétés essentielles toutes les propriétés qui sont positives et seulement celles-ci.
- Définition 2 : A est une essence de x si et seulement si pour chaque propriété B, si x contient B alors A implique B.
- Définition 3 : x existe nécessairement si et seulement si chaque essence de x est nécessairement exemplifiée.
- Axiome 1 : Toute propriété strictement impliquée par une propriété positive est positive.
- Axiome 2 : Une propriété est positive si et seulement si sa négation n'est pas positive.
- Axiome 3 : La propriété d'être divin est positive.
- Axiome 4 : Si une propriété est positive, alors elle est nécessairement positive.
- Axiome 5 : L'existence nécessaire est positive.
De ceux-ci et des axiomes de la logique modale, on déduit, dans l'ordre :
- Théorème 1 : Si une propriété est positive, alors elle est possiblement exemplifiée.
- Théorème 2 : La propriété d'être divin est possiblement exemplifiée.
- Théorème 3 : Si x est divin, alors la propriété d'être divin est une essence de x.
- Théorème 4 : La propriété d'être divin est nécessairement exemplifiée. »
Auteur non renseigné, « Preuve ontologique de Gödel », Wikipédia.