Preuve ontologique de Gödel

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. 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. Où signifie « A est possible » et où signifie « A est nécessaire ». Kurt Gödel n'a jamais publié ce travail, qu'il a commencé en 1941 et perfectionné en 1954 et 1970. Piergiorgio Odifreddi estime que Gödel n'a pas voulu donner l'impression qu'il s'intéressait à la théologie, alors qu'il ne se souciait que de la partie logique de la réflexion.

À propos de ce résultat

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.

Concepts associés (4)

Séances de cours associées (6)

Preuve ontologique de Gödel

Philosophie de la religion

La philosophie de la religion est la partie de la philosophie qui pose la question de savoir ce qu'est une religion. Selon le concept de religion qui est ainsi posé et selon la question fondamentale que l'on se pose sur la religion, la philosophie de la religion peut correspondre à différentes démarches. La principale distinction entre les diverses approches de la philosophie de la religion se fait entre les approches dites « essentialistes » et les approches dites « fonctionnalistes ».

Argument ontologique

L'argument ontologique est un argument qui vise à prouver l'existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu'est l'être (ontos) de Dieu : il est dans l'être de Dieu d'exister. On considère généralement que Boèce () est le premier à avoir proposé un argument de ce genre, mais c'est sa formulation par Anselme de Cantorbéry au qui rend l'argument célèbre. À l'époque moderne, la version cartésienne de l'argument a été particulièrement influente, faisant l'objet de plusieurs critiques qui conduisent à rejeter la valeur des arguments ontologiques en général.

Preuves et calculs : un voyage à travers la théorie mathématique

Explore les preuves mathématiques historiques, les problèmes de décision, les systèmes de déductibilité, les preuves probabilistes et quantiques, et les systèmes de preuve interactifs.

Homotopie Catégorie d'une catégorie modèle MATH-436: Homotopical algebra

Introduit la catégorie d'homotopie d'une catégorie modèle avec des équivalences faibles inversées et des équivalences d'homotopie uniques.

Grands modèles de vecteurs N : Interactions de limites

Explore les grands modèles de vecteurs N à la frontière, en se concentrant sur les interactions des frontières et en explorant la théorie du champ quantique sans localité.