Comment Plantinga a-t-il développé l'argument ontologique modal, et quelle est la différence entre celui-ci et la formulation classique d'Anselme ?

Cette question nous place devant l'un des développements les plus fascinants de la philosophie de la religion contemporaine. Alvin Plantinga, dans son ouvrage "The Nature of Necessity" (1974), a ressuscité un argument qui était considéré comme « mort » philosophiquement depuis la critique de Kant. Mais sa résurrection ne fut pas une simple répétition, mais plutôt une reformulation radicale utilisant la logique modale contemporaine.

Réponses insuffisantes qu'il convient d'éviter

Du côté de certains croyants :

« Plantinga a prouvé mathématiquement l'existence de Dieu. » Exagération dangereuse. Plantinga lui-même ne prétend pas que son argument soit une « preuve définitive », mais dit plutôt qu'il montre que la croyance en l'existence de Dieu est « rationnellement raisonnable ». La différence entre « preuve définitive » et « raisonnabilité rationnelle » est fondamentale dans la philosophie de la religion contemporaine.

« L'argument ontologique modal n'est qu'un jeu avec les symboles logiques. » Réduction fallacieuse. Il est vrai que la formulation utilise les symboles de la logique modale, mais derrière ces symboles se trouvent des idées philosophiques profondes sur la nature de la nécessité, de la possibilité et de l'existence suprême.

Du côté de certains critiques :

« Tous les arguments ontologiques tombent dans la même erreur : ils tentent d'extraire l'existence du concept. » Généralisation inexacte. L'argument de Plantinga diffère structurellement de l'argument d'Anselme. Il ne prétend pas que « l'existence est un attribut », mais fonctionne au niveau des « mondes possibles » et de la « nécessité logique ».

« La logique modale n'est qu'une manipulation intellectuelle sans rapport avec la réalité. » Position extrême. La logique modale est un outil philosophique reconnu, utilisé en métaphysique, en philosophie analytique et en philosophie du langage. La rejeter en bloc signifierait rejeter une grande partie de la philosophie contemporaine.

Pourquoi ces réponses sont-elles insuffisantes

Elles partagent une incompréhension de la nature précise de l'argument ontologique modal, et de la façon dont il diffère fondamentalement des formulations classiques. Une évaluation sérieuse nécessite d'abord de comprendre la logique modale, puis d'analyser l'argument dans son cadre logique.

L'argument ontologique classique d'Anselme

Saint Anselme (1033-1109) dans le "Proslogion" présenta deux arguments différents, mais le plus célèbre est le premier :

1. Dieu est « l'être tel qu'on ne peut rien concevoir de plus grand » (id quo maius cogitari non potest).
2. Cet être existe au moins dans l'esprit (même l'athée comprend le concept).
3. S'il n'existait que dans l'esprit, on pourrait concevoir un être plus grand que lui : le même être + l'existence extérieure.
4. Mais ceci est une contradiction (un être plus grand que « l'être tel qu'on ne peut rien concevoir de plus grand »).
5. Donc, Dieu existe dans la réalité extérieure.

La célèbre critique de Kant

Emmanuel Kant dans la "Critique de la raison pure" (1781) présenta une critique dévastatrice : « l'existence n'est pas un prédicat » (Existence is not a predicate). Quand nous disons « Dieu existe », nous n'ajoutons pas un nouvel attribut au concept de Dieu, mais nous affirmons que ce concept a un référent dans la réalité. Le célèbre exemple de Kant : 100 thalers conçus = 100 thalers réels du point de vue du contenu conceptuel. La différence réside dans la réalité extérieure, non dans le concept.

Après Kant, l'argument ontologique fut considéré comme « mort » philosophiquement pendant près de deux siècles.

La révolution de la logique modale

Au XXe siècle, la logique modale (Modal Logic) fut développée par C.I. Lewis et d'autres. Cette logique traite les concepts de nécessité, de possibilité et d'impossibilité de manière formelle précise. Les concepts fondamentaux :

- Les mondes possibles : différentes façons dont la réalité pourrait être. Notre monde est l'un d'une infinité de mondes possibles.
- La nécessité : ce qui est vrai dans tous les mondes possibles (comme : 2+2=4).
- La possibilité : ce qui est vrai dans au moins un monde possible.
- L'impossibilité : ce qui n'est vrai dans aucun monde possible.

L'argument ontologique modal de Plantinga

Plantinga reformula l'argument en utilisant ces outils :

1. Définition : un être possède une « grandeur maximale » (maximal greatness) s'il possède une « excellence maximale » (maximal excellence) dans tous les mondes possibles.
2. Définition : « l'excellence maximale » inclut la toute-puissance, l'omniscience et la bonté parfaite.
3. La seule prémisse : il est possible qu'existe un être possédant une grandeur maximale. (◇∃x[Gx] dans le langage de la logique modale)
4. S'il est possible qu'existe un être avec une grandeur maximale, alors il existe dans au moins un monde possible.
5. Mais un être avec une grandeur maximale, par définition, existe dans tous les mondes possibles (sinon il ne serait pas maximalement grand).
6. Donc, cet être existe dans notre monde actuel.

La différence fondamentale avec l'argument d'Anselme

1. Aucune dépendance à « l'existence comme attribut » : Plantinga ne prétend pas que l'existence soit un attribut ajouté au concept. L'argument fonctionne au niveau des mondes possibles.

2. Une seule prémisse : tout ce dont l'argument a besoin est de reconnaître que l'existence d'un être suprême est « logiquement possible ». Il ne prétend pas que cela soit évident ou intuitif.

3. Transparence logique : l'argument est formulé dans le langage de la logique modale formelle, rendant sa structure parfaitement claire.

4. Modestie épistémologique : Plantinga ne prétend pas que l'argument « oblige » tout être rationnel, mais qu'il montre la raisonnabilité de la croyance.

Forces et faiblesses de l'argument de Plantinga

Points forts :
- Validité logique : l'argument est logiquement correct. Si vous acceptez la prémisse, la conclusion s'ensuit.
- Simplicité : une seule prémisse, claire et définie.
- Évitement de la critique kantienne : ne dépend pas de considérer l'existence comme un attribut.

Points faibles :
- La prémisse principale est controversée : l'existence d'un être suprême est-elle vraiment « logiquement possible » ? L'athée peut simplement nier cette possibilité.
- L'équivalence contradictoire : on peut formuler un argument similaire pour « la non-existence nécessaire de Dieu », avec la même structure logique.
- L'intuition modale : l'argument dépend de nos intuitions sur ce qui est « possible » et « nécessaire », et ces intuitions peuvent être trompeuses.

Le débat contemporain autour de l'argument

Les défenseurs (Robert Maydole, Alexander Pruss) ont développé des formulations améliorées et répondu aux critiques. Ils soulignent que nier la possibilité de l'existence d'un être suprême nécessite un argument, pas seulement un rejet.

Les critiques (Graham Oppy, Peter van Inwagen, J. L. Mackie) considèrent que l'argument repose sur une prémisse problématique. Oppy a développé une critique technique détaillée dans "Ontological Arguments and Belief in God" (1995).

La position intermédiaire (Richard Swinburne, Stephen Davis) considère que l'argument a de la valeur dans des arguments cumulatifs, mais n'est pas décisif en lui-même.

Évaluation du point de vue du rajḥān ʿaqlī

L'argument ontologique modal est un accomplissement philosophique important, qui a redonné le respect académique à un type d'arguments considéré comme mort. Mais il reste un argument « pour spécialistes » — nécessitant des connaissances en logique modale pour le comprendre et l'évaluer.

Du point de vue du rajḥān ʿaqlī, l'argument ajoute au capital cumulatif de la raisonnabilité de la croyance, notamment en montrant que le concept d'« être suprême nécessaire » n'est pas auto-contradictoire. Mais il ne fournit pas une « certitude scientifique » — ce que Plantinga lui-même reconnaît.

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

L'argument ontologique modal reste un sujet de débat vivant dans les revues spécialisées. Les développements récents incluent :
- De nouvelles formulations utilisant la « logique modale bidimensionnelle » (2D Modal Logic)
- Le lien de l'argument avec les théories en métaphysique de la nature divine
- Le débat sur la relation entre possibilité logique et possibilité métaphysique

Pour une lecture avancée

- Niveau avancé : le débat entre Oppy et Plantinga sur S5 et l'argument ontologique
- Alvin Plantinga, The Nature of Necessity (Oxford UP, 1974), chapitre 10
- Graham Oppy, Ontological Arguments and Belief in God (Cambridge UP, 1995)
- The Ontological Argument (recueil d'articles), ed. Alvin Plantinga (Doubleday, 1965)
- Page « Family: Ontological Arguments » sur le site