Le mathématicien Kurt Gödel a formalisé une preuve ontologique de l'existence de Dieu

De Wikidébats, l'encyclopédie des débats et des arguments « pour » et « contre »
Sauter à la navigation Sauter à la recherche
Débat parentCet argument est utilisé dans le débat Dieu existe-t-il ?.
Mots-clés : aucun[ modifier ].

RésuméRésumé

[ modifier ]

CitationsCitations

[ modifier ]

« 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.

RéférencesRéférences

[ modifier ]

Arguments pourSous-arguments

[ modifier ]

Arguments contreContre-arguments

[ modifier ]

Débat parentDébat parent