La preuve ontologique

Descartes 1596 · 1650Douter de tout pour trouver ce qui résiste au doute.

Ce qu'il soutient

Dieu existe.

Pourquoi

Je conçois clairement que l'existence appartient à l'être parfait, et ce qui appartient à la nature d'une chose lui appartient vraiment.

En bref

« La preuve ontologique » est un argument de Descartes (Méditation V) sur la question « Dieu existe-t-il ? » (réponse : théisme). Sa thèse : Dieu existe. Selon la vérification logique d'AskPhilosophy (solveur Z3), l'argument est valide à condition d'admettre une prémisse que l'auteur ne formule pas (P3). AskPhilosophy présente 3 objections, dont 3 avec une réponse documentée, et le texte original de chaque prémisse, vérifié mot pour mot.

Méditation V

Valide avec une prémisse implicite

Seconde preuve de Dieu, sans passer par le monde ni par la causalité : la seule idée d'un être parfait suffirait.

clique sur une prémisse pour la rejeter

Si tu acceptes toutes les prémisses, la logique t'oblige à accepter la conclusion. Le débat porte donc sur les prémisses.

Vérifié par un solveur logique : impossible que toutes les prémisses soient vraies et la conclusion fausse.
Sans la prémisse implicite : Sans P3, l'ordinateur trouve un monde possible où l'existence fait bien partie de l'idée de Dieu, mais où Dieu n'existe pas hors de la pensée.

Avec P1 et P2 seulement, on obtient « l'existence appartient à la nature de Dieu », pas « Dieu existe ». Il faut le pont P3, que Descartes défend explicitement (la nécessité est « dans la chose même »). C'est exactement ce pont que contestent Caterus, Gassendi puis Kant.

Analogie. Concevoir une montagne implique une vallée, même si aucune montagne n'existe. Descartes répond : avec Dieu c'est différent, car ce qui est inséparable de son idée, c'est l'existence elle-même.

Objections

Chaque objection est une conversation : clique pour voir qui répond, et où en est le débat.

Caterus 1641 · attaque la prémisse 3

Même si le concept d'être parfait contient l'existence, il s'ensuit seulement que les deux idées sont liées dans notre esprit, pas que cet être existe dans la nature.

Descartes répond

Descartes

Les choses que nous concevons contiennent une existence possible ; seule l'idée de Dieu contient une existence nécessaire. Ce n'est pas une fiction de l'esprit : c'est la vraie nature d'un tel être.

Où en est le débat (notre résumé)Descartes répond que seule l'idée de Dieu contient une existence nécessaire et non seulement possible. Caterus et ses successeurs contestent que cette nécessité dans le concept garantisse l'existence hors de la pensée : le désaccord de fond porte sur le passage du concept à la réalité.

Gassendi 1641 · attaque la prémisse 2

L'existence n'est pas une perfection parmi d'autres : c'est ce sans quoi il n'y a aucune perfection. La mettre dans la liste des perfections de Dieu, c'est supposer ce qu'il faut prouver.

Descartes répond

Descartes

L'existence peut bien être appelée une propriété. Et l'existence nécessaire est une propriété au sens le plus strict, puisqu'elle n'appartient qu'à Dieu et ne fait partie que de son essence.

Où en est le débat (notre résumé)Descartes maintient que l'existence nécessaire est une propriété au sens strict, propre à Dieu. Gassendi soutient que l'existence n'est pas une perfection parmi d'autres. Le débat sur le statut de l'existence se poursuit chez Kant, puis dans la logique moderne.

Kant 1781 · attaque la prémisse 2

« Être » n'est pas un vrai prédicat : dire qu'une chose existe n'ajoute rien à son concept. Cent thalers réels ne contiennent pas un thaler de plus que cent thalers pensés.

Descartes répond

Pas de réponse possible : objection formulée en 1781, après sa mort (1650).

Norman Malcolm 1960

Malcolm défend Anselme plutôt que Descartes : il accorde à Kant que l'existence simple n'est pas une perfection, mais soutient que l'existence nécessaire en est une : c'est sur elle que repose, selon lui, le second argument d'Anselme. La suite du débat (Kant, puis les versions modales) est traitée dans l'argument d'Anselme.

voir l'argument

Où en est le débat (notre résumé)Les partisans de la preuve distinguent l'existence simple de l'existence nécessaire pour échapper à Kant, comme Descartes le faisait déjà contre Caterus ; Kant soutenait déjà que supprimer le sujet supprime sa nécessité sans contradiction. Le débat s'est déplacé vers la prémisse de possibilité des versions modales.

Dans la même famille · Ontologique

L'existence n'est pas un prédicatKant

Dieu existe-t-il ?Agnosticisme 2

Dieu n'est pas cent thalers : Hegel défend la preuve ontologique contre KantGeorg Wilhelm Friedrich Hegel

Dieu existe-t-il ?Théisme 3

Ce dont on ne peut rien concevoir de plus grand existeAnselme de Cantorbéry · 1078 · débat sur 3 niveaux

Dieu existe-t-il ?Théisme 5

S'il est possible, il existe : l'argument ontologique modalAlvin Plantinga · 1974 · débat sur 3 niveaux

Dieu existe-t-il ?Théisme 4