A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument

Résumé Technique : Un commentaire sur l'effondrement modal et les ultrafiltres dans l'argument ontologique de Gödel

Énoncé du problème
L'article traite d'une affirmation structurelle faite par Odifreddi et Gomes concernant l'argument ontologique de Gödel. Odifreddi et Gomes postulent que l'« effondrement modal » (la dérivation selon laquelle tout ce qui est le cas est nécessairement le cas, $\varphi \supset \Box\varphi$) est une caractéristique structurelle intrinsèque de toute théorie caractérisant les propriétés positives comme un ultrafiltre et identifiant Dieu comme le générateur principal de cet ultrafilter. Ils suggèrent qu'éviter cet effondrement nécessite d'affaiblir les axiomes, ce qui revient à sacrifier la principalité de l'ultrafiltre et la maximalité absolue de l'être divin.

L'auteur, Christoph Benzmüller, conteste cette affirmation, arguant que l'effondrement n'est pas piloté par la structure de l'ultrafiltre elle-même, mais plutôt par la condition modale spécifique de la « rigidité de la positivité » (Axiome A4). De plus, l'article identifie et corrige deux erreurs techniques spécifiques dans l'analyse d'Odifreddi et Gomes concernant la dérivabilité du Théorème IV de Gödel et l'extensionalité de la positivité.

Méthodologie
L'article emploie la métaphysique computationnelle en utilisant la preuve de théorèmes interactive et automatisée (IATP).

• Formalisme : Les arguments sont formalisés dans Isabelle/HOL (logique du second ordre supérieure) en utilisant un enchâssement superficiel de la logique modale d'ordre supérieur (HOML).
• Vérification : L'auteur utilise le prouveur de théorèmes automatisé pour vérifier les dérivations et le chercheur de modèles Nitpick pour générer des contre-modèles.
• Analyse comparative : L'étude compare systématiquement différentes variantes de l'argument de Gödel (Scott, Anderson, Fitting) et des théories simplifiées où la propriété d'ultrafiltre est postulée comme un axiome (U1) ou là où la divinité génère un filtre (F1).
• Distinction : Une distinction méthodologique cruciale est maintenue entre les intensions (concepts dépendants du monde, type $\gamma$) et les extensions (ensembles d'individus, type $\delta$). L'article soutient que la confusion entre ces deux notions conduit à une mauvaise interprétation de la structure de l'ultrafiltre.

Contributions clés et résultats

1. Réfutation de la thèse de l'effondrement structurel :

   • L'article fournit des contre-exemples vérifiés par machine démontrant qu'une théorie peut satisfaire la condition selon laquelle les propriétés positives forment un ultrafiltre modal avec Dieu comme son générateur principal sans impliquer l'effondrement modal.
   • Proposition 1 : En postulant que les propriétés positives forment un ultrafiltre modal (Axiome U1) et en ne conservant que les axiomes d'implication et de conjonction (A2, A3), l'existence d'une entité divine est dérivable dans la logique modale normale la plus faible (K), pourtant l'effondrement modal ($\varphi \supset \Box\varphi$) n'est pas dérivable.
   • Proposition 2 : Même une condition plus faible, où l'ensemble des sur-ensembles de la divinité forme un filtre modal (Axiome F1), est suffisante pour dériver l'existence nécessaire d'une entité divine sans impliquer d'effondrement ou de monothéisme.
   • Diagnostic : L'article identifie que le moteur de l'effondrement modal n'est pas la structure de l'ultrafiltre, mais l'Axiome A4 (la rigidité de la positivité : $\forall X. (PX \supset \Box(PX))$). Lorsque A4 est supprimé ou modifié (comme dans les variantes d'Anderson ou de Fitting), l'effondrement disparaît, même si la structure de l'ultrafiltre reste intacte.

2. Correction sur le Théorème IV (Possibilité de Dieu) :

   • Odifreddi et Gomes ont affirmé que les prouveurs automatisés échouent à dériver le Théorème IV (la possibilité d'une entité divine, $\Diamond \exists x. Gx$) après avoir réparé l'incohérence originale de Gödel.
   • L'article clarifie que cela n'est pas un échec des prouveurs mais un fait logique : le Théorème IV n'est pas dérivable si l'axiome de conjonction de Gödel (Ax1) est restreint aux conjonctions binaires. Un contre-modèle existe impliquant un ultrafiltre non principal sur un nombre dénombrable d'individus où l'intersection des propriétés positives est vide.
   • Le Théorème IV ne devient dérivable que lorsque l'axiome est généralisé à Ax1Gen (fermeture sous des conjonctions arbitraires, y compris infinies), ce qui force l'ultrafiltre à être principal dans les modèles finis et permet la dérivation de $P(G)$ (la divinité est positive).

3. Correction sur l'extensionalité de la positivité :

   • Odifreddi et Gomes ont affirmé que l'« extensionalité de la positivité » (les propriétés ayant la même extension sont semblables en termes de positivité) est dérivable des Axiomes Ax2a et Ax4.
   • L'article démontre que cela est faux selon une lecture locale (même extension au monde d'évaluation). Nitpick trouve un contre-modèle où deux propriétés coïncident dans le monde actuel mais divergent dans d'autres, recevant des verdicts de positivité différents.
   • La prémisse n'est vraie que sous une lecture globale (co-extension nécessaire), ce qui découle de Ax4 seul. L'article note que la lecture locale n'est pas requise pour l'application spécifique d'Odifreddi et Gomes, mais la distinction est critique pour comprendre le passage de la logique intentionnelle de Gödel au substitut de la théorie des ensembles extensionnelle de Friedman.

4. Clarification des types d'ultrafiltres :

   • L'article distingue un $\gamma$-ultrafiltre (pesant les intensions) d'un $\delta$-ultrafiltre (pesant les extensions).
   • Il montre que dans les variantes sans effondrement (comme celles d'Anderson et de Fitting), la structure de l'ultrafiltre survit en migrant des intensions vers des extensions rigidifiées. La thèse selon laquelle « l'ultrafiltre des propriétés positives » implique l'effondrement dépend de si l'on se réfère à la lecture intentionnelle ou extensionnelle.

Signification et affirmations
L'article prétend résoudre un débat concernant l'inéluctabilité structurelle de l'effondrement modal dans l'argument ontologique de Gödel.

• Réfutation de l'effondrement intrinsèque : Il réfute la thèse selon laquelle l'effondrement modal est une caractéristique intrinsèque de toute caractérisation de la positivité basée sur un ultrafiltre avec un générateur principal. L'effondrement est montré comme étant une conséquence de l'axiome spécifique de rigidité modale (A4), et non de la structure du filtre lui-même.
• Préservation de l'intention de Gödel : En montrant que la structure de l'ultrafiltre peut exister sans effondrement (à condition de relâcher la rigidité), l'article suggère que la simplification d'Odifreddi et Gomes (en renonçant à la modalité) remplace efficacement l'argument de Gödel par un système différent (un substitut extensionnel) plutôt que de le clarifier.
• Précision technique : L'article corrige des malentendus techniques spécifiques dans la littérature concernant la dérivabilité du Théorème IV et les conditions d'extensionalité, soulignant que ces questions dépendent de la distinction entre les lectures intentionnelles et extensionnelles ainsi que de la portée des axiomes de conjonction.

L'auteur conclut que la « conséquence mathématique surprenante » de l'interprétation de l'ultrafiltre n'est pas l'inéluctabilité de l'effondrement, mais plutôt « quelle part de la modalité l'interprétation doit discrètement laisser derrière elle » pour l'éviter. L'article maintient que la thèse historique (selon laquelle Gödel ne considérait pas l'effondrement comme un défaut) reste valide indépendamment de ces découvertes structurelles.