Touche la carte pour la faire tourner.
Peu commune
Formalisation de Gödel de l'argument ontologique pour l'existence de dieu en utilisant la logique modale
1/1Un exemplaire au monde.
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.
Illustration
Cette carte n’a pas encore d’illustration.
Texte
Résumé et adapté de l’article « Preuve ontologique de Gödel », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.