Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07011.jsonl.gz/1276

La preuve ontologique de Gödel est un argument ontologique sous la forme d'un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) en faveur de l'existence de Dieu. L'idée de l'argumentation ontologique pour démontrer logiquement la nécessité de l'existence de Dieu et sa cohérence remonte à Anselme de Cantorbéry (1033-1109) ; aujourd'hui elle est reprise, reformulée, discutée et critiquée par plusieurs philosophes et logiciens contemporains.Démonstration
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.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.