L'argument ontologique de Gödel réussit-il dans sa formulation formelle avec les axiomes de la logique modale d'ordre supérieur, et quelles sont les critiques techniques qui lui ont été adressées ?

Cette question se situe au cœur de la logique mathématique et de la philosophie de la religion contemporaine. Kurt Gödel — le plus grand logicien du XXe siècle — a formulé dans les années soixante-dix un argument ontologique en logique modale d'ordre supérieur, qui ne fut publié qu'après sa mort (1995). L'argument représente la formulation formelle la plus précise de l'argument ontologique, et a suscité un débat technique intense entre logiciens et philosophes concernant sa validité et sa solidité.

Réponses insuffisantes à éviter

Du côté de certains défenseurs du théisme :

« Gödel est un génie mathématique, donc son argument est valide. » Argument d'autorité. Le fait que Gödel soit un génie en logique mathématique ne garantit pas la validité de son argument ontologique. Même les génies peuvent se tromper, particulièrement lors de la transition de la logique pure vers la métaphysique.

« L'argument est purement formel, il ne peut être réfuté. » Confusion entre validité formelle et solidité. Un argument peut être formellement valide (ses conclusions suivent de ses prémisses) mais non solide (ses prémisses sont contestables). La plupart des critiques visent les axiomes, non le raisonnement.

« La vérification informatique a prouvé la validité de l'argument. » Demi-vérité. La vérification informatique (Benzmüller & Paleo 2014) a prouvé la validité formelle du raisonnement, mais elle ne touche pas la question de l'acceptation des axiomes métaphysiques.

Du côté de certains critiques :

« L'argument n'est qu'un jeu de symboles sans contenu. » Simplification dommageable. L'argument traduit des intuitions métaphysiques profondes (perfection, nécessité, positivité) en formulation formelle. Les symboles ne sont pas vides mais portent des significations philosophiques déterminées.

« Sobel a prouvé que l'argument conduit à un effondrement modal. » Exagération. Sobel a montré qu'une version particulière de l'argument (avec certains axiomes) conduit à un effondrement modal. Mais des modifications ultérieures (Anderson 1990, Bjørdal 2018) évitent cet effondrement.

Pourquoi ces réponses sont insuffisantes

Elles échouent à traiter la complexité technique de l'argument. L'argument de Gödel n'est pas un « argument philosophique ordinaire » mais une structure logique sophistiquée qui requiert une compréhension précise de la logique modale d'ordre supérieur, de la théorie des propriétés, et de la sémantique des mondes possibles. La critique sérieuse nécessite de plonger dans ces détails.

Structure technique de l'argument de Gödel

L'argument utilise :
- Logique modale d'ordre supérieur (S5 avec quantification sur les propriétés)
- Concept de « propriété positive » (positive property) comme concept primitif
- Définition de Dieu : l'être qui possède toutes les propriétés positives et seulement les positives

Axiomes fondamentaux :

A1 : Si φ est positive et φ implique ψ nécessairement, alors ψ est positive.
A2 : Si φ est positive, alors sa négation ¬φ n'est pas positive.
A3 : La propriété « d'être divin » (G) est positive.
A4 : Si φ est positive, alors elle est nécessairement positive.
A5 : L'existence nécessaire est une propriété positive.

Définitions :
- D1 : x est divin (Gx) ≡ toutes les propriétés de x sont positives
- D2 : φ est l'essence de x ≡ x possède φ et toute propriété de x suit nécessairement de φ
- D3 : x existe nécessairement ≡ toute essence de x est nécessairement exemplifiée

Étapes du raisonnement :

1. À partir d'A1 et A2 : le système des propriétés positives est cohérent
2. À partir d'A3 : l'existence divine est possible (◇∃xGx)
3. À partir d'A4 et de la définition de G : si un dieu existe, alors il a une essence
4. À partir d'A5 et des étapes précédentes : si un dieu existe possiblement, alors il existe nécessairement
5. À partir de S5 : ce qui est possiblement nécessaire est nécessaire
6. Conclusion : un dieu existe nécessairement (□∃xGx)

Critiques techniques principales

Premièrement : l'effondrement modal de Sobel (Sobel 1987)

Howard Sobel a montré qu'avec A2 fort (toute propriété est soit positive soit sa négation est positive), on peut dériver que toutes les vérités sont nécessaires — un « effondrement modal » où □p ↔ p pour toute proposition p. Cela rend les modalités dénuées de sens.

La preuve technique : si toute propriété ou sa négation est positive, et que Dieu possède toutes les propriétés positives et existe nécessairement, alors toute vérité devient nécessaire car elle suit de l'existence nécessaire de Dieu.

Deuxièmement : le problème des propriétés incompatibles (Oppy 1995, 2000)

Graham Oppy pose : qu'est-ce qui garantit que toutes les propriétés positives sont compatibles ? Deux propriétés peuvent être toutes deux « positives » en un certain sens, mais un être unique ne peut les posséder simultanément (comme « être immuable » et « être agent dans le temps »).

Troisièmement : circularité de la définition de positivité (Grim 2000)

Patrick Grim soutient que le concept de « propriété positive » n'est pas défini de manière indépendante. Si nous le définissons sur la base de ce que nous voulons prouver concernant Dieu, l'argument devient circulaire.

Quatrièmement : le problème de l'exemplification nécessaire (Pruss 2009)

Même si nous acceptons que Dieu ait une essence, pourquoi cette essence devrait-elle être « nécessairement exemplifiée » ? Dieu peut avoir une essence sans que cela implique son existence nécessaire.

Développements et réponses

Modification d'Anderson (1990) : suppression d'A2 fort et remplacement par une version plus faible qui évite l'effondrement de Sobel. Mais cela affaiblit l'argument et nécessite des axiomes supplémentaires.

Formulation de Bjørdal (Bjørdal 2018) : utilisation d'une logique modale plus faible que S5 pour éviter l'effondrement. Mais cela affaiblit la conclusion finale.

Vérification informatique (Benzmüller & Paleo 2014) : utilisation de systèmes de preuve automatique (Isabelle/HOL) pour vérifier la validité formelle. A confirmé la validité du raisonnement mais révélé la sensibilité extrême aux axiomes.

Formulation de Kovač (Kovač 2003) : développement d'une version qui utilise « perfection » au lieu de « positivité » et évite certaines critiques. Mais elle fait face à des problèmes similaires.

Le problème philosophique plus profond

Derrière les technicités, se trouve une question philosophique : la logique formelle peut-elle prouver une existence réelle ? Kant a proposé que l'existence n'est pas un prédicat réel. Même si nous acceptons que l'existence soit un prédicat en logique d'ordre supérieur, la question demeure : la cohérence logique suffit-elle pour l'existence effective ?

Wittgenstein dans ses remarques sur Gödel (publiées en 2016) indique que l'argument peut montrer la cohérence d'un certain concept de Dieu, mais ne peut prouver que ce concept réfère à une réalité.

Consensus actuel (2024)

- Logiciens : apprécient l'argument comme accomplissement technique mais voient ses limites
- Philosophes analytiques : divisés entre ceux qui voient une valeur dans la formulation formelle et ceux qui la trouvent trompeuse
- Théologiens : prudents quant à s'appuyer sur un argument technique complexe pour prouver Dieu

Du point de vue de la prépondérance rationnelle (rajḥān ʿaqlī)

L'argument de Gödel montre la possibilité de formuler formellement l'intuition ontologique, mais il ne tranche pas le débat. La valeur réelle :
- clarifier la structure logique de l'argument ontologique
- révéler les assumptions implicites (particulièrement concernant nécessité et possibilité)
- montrer les limites de la formalisation en métaphysique

L'argument réussit techniquement dans son domaine limité, mais « réussir » ici ne signifie pas prouver l'existence de Dieu, mais prouver la cohérence d'un certain concept de lui dans un système logique donné. Le passage de la cohérence logique à l'existence effective reste un saut philosophique qui nécessite une justification indépendante.

Où nous en sommes de ce débat aujourd'hui

La période 2020-2026 a vu des développements remarquables. Benzmüller a continué d'étendre la vérification automatique pour inclure de multiples versions de l'argument dans différents systèmes modaux (K, S4, S5), et a montré que les résultats sont extrêmement sensibles au choix du système de base — une modification mineure d'un seul axiome produit des résultats radicalement différents. Cantini et Tedman (2021) ont présenté des formulations alternatives qui évitent l'effondrement de Sobel sans affaiblir la conclusion autant que l'a fait Anderson. En revanche, Oppy (2020) a développé sa critique pour inclure ce qu'il appelle le « problème d'équivalence » : on peut construire des arguments structurellement similaires pour des êtres contradictoires, ce qui affaiblit la force persuasive de tout argument ontologique formel. Le débat actuel se centre sur deux questions : peut-on déterminer le concept de « positivité » de manière non circulaire et non arbitraire ? Et la logique modale S5 reflète-t-elle la structure réelle de la nécessité métaphysique ou n'est-elle qu'un outil formel ? Il n'y a pas de consensus, mais l'appréciation dominante est que l'argument est un accomplissement technique d'une importance capitale qui révèle la structure de l'argument ontologique plus qu'il ne la résout.

Du point de vue de la prépondérance rationnelle

L'argument de Gödel joue un rôle délimité dans l'approche cumulative qu'il ne faut ni exagérer ni minimiser :
─ L'argument prouve que le concept de l'être nécessaire parfait est logiquement cohérent dans des systèmes formels puissants. Ce n'est pas trivial : beaucoup de concepts qui semblent raisonnables s'avèrent contradictoires lors de la formalisation.
─ Prouver la cohérence logique supprime un obstacle au théisme (l'affirmation que le concept de Dieu est auto-contradictoire), mais ne prouve pas l'existence effective par lui-même.
─ Le passage de la cohérence à l'existence nécessite des données indépendantes : l'univers, le réglage fin, la conscience, la morale objective. C'est là que se manifeste la valeur de l'accumulation.
─ L'argument révèle que le point le plus faible de l'argument ontologique n'est pas le raisonnement mais les axiomes métaphysiques — et c'est une leçon méthodologique générale.

La prépondérance rationnelle dit : l'argument de Gödel est une brique réelle dans la construction cumulative, qui renforce la vraisemblance du théisme sans suffire seule à le prouver. Sa valeur se multiplie quand il est associé à d'autres données qui pointent dans la même direction.

Pour la lecture

- Kurt Gödel, "Ontological Proof" in Collected Works III (1995)
- C. Anthony Anderson, "Some Emendations of Gödel's Ontological Proof" (1990)
- Jordan Howard Sobel, Logic and Theism (2004), Ch. 6
- Graham Oppy, Ontological Arguments and Belief in God (1995)
- Benzmüller & Paleo, "Automating Gödel's Ontological Proof" (2014)
- Frode Bjørdal, "Understanding Gödel's Ontological Argument" (2018)
- Srećko Kovač, "Some Weakened Gödelian Ontological Systems" (2003)
- Page "Formulation: Modal Ontological Arguments" sur le site
- Page "Scholar: Kurt Gödel" sur le site