QuestionsDieu existe-t-il ?L'existence n'est pas un prédicat
Dieu existe-t-il ?AgnosticismeOntologique

L'existence n'est pas un prédicat

Kant 1724 · 1804Fixer les limites de la raison ; agir par devoir.
Voir sa fiche
Ce qu'il soutient

La preuve ontologique échoue : on ne peut pas déduire l'existence de Dieu de son seul concept.

Pourquoi

Exister n'ajoute rien au concept d'une chose : cent thalers réels ne contiennent pas plus que cent thalers pensés.

En bref

« L'existence n'est pas un prédicat » est un argument de Kant (Critique de la raison pure, A598/B626) sur la question « Dieu existe-t-il ? » (réponse : agnosticisme). Sa thèse : La preuve ontologique échoue : on ne peut pas déduire l'existence de Dieu de son seul concept. Selon la vérification logique d'AskPhilosophy (solveur Z3), la conclusion suit bien de ses 3 prémisses. AskPhilosophy présente 2 objections, dont 2 avec une réponse documentée, et le texte original de chaque prémisse, vérifié mot pour mot.

Critique de la raison pure, A598/B626
Valide

La preuve ontologique (Anselme, Descartes) tire l'existence de Dieu de la seule idée d'un être parfait. Kant montre pourquoi, selon lui, elle échoue.

P1« Exister » n'ajoute rien au concept d'une chose : cent thalers réels ne contiennent rien de plus que cent thalers pensés.
P2Si la preuve ontologique réussissait, l'existence devrait être une propriété contenue dans le concept de Dieu, au même titre que la toute-puissance.
P3Nier que Dieu existe, c'est supprimer le sujet avec toutes ses propriétés : il n'y a là aucune contradiction.
Donc la preuve ontologique échoue : on ne peut pas déduire l'existence de Dieu de son seul concept.

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.
P1 et P2 suffisent à rendre l'argument valide ; P3 renforce le point mais n'est pas indispensable. Le cœur du débat est P1 : l'existence (ou l'existence nécessaire) est-elle vraiment sans contenu ?
Analogie. Dessinez le plan d'une maison parfaite, en ajoutant la mention « existe ». Le plan n'en est pas plus complet, et aucune maison n'apparaît pour autant. Pour Kant, « existe » n'est pas un trait du plan : c'est le fait qu'une chose réelle lui corresponde.

Objections

2

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

Descartes (défense anticipée) 1641 · attaque la prémisse 2

La preuve ne porte pas sur l'existence ordinaire, mais sur l'existence nécessaire, que seule l'idée de Dieu contient. Ce n'est pas un prédicat comme un autre.

Kant répond
Kant
Même nécessaire, l'existence ne s'ajoute pas au sujet : si je nie que Dieu soit, je supprime le sujet avec tous ses prédicats, nécessité comprise, sans aucune contradiction.
Où en est le débat (notre résumé)Kant répond que supprimer Dieu supprime aussi sa nécessité, sans contradiction. Les défenseurs de la preuve (Malcolm, puis Plantinga) déplacent le débat vers l'existence nécessaire, puis vers la version modale, où tout dépend de la question « un tel être est-il possible ? » (voir les arguments d'Anselme et de Plantinga).
Alvin Plantinga 1974 · attaque la prémisse 2

Une version modale de la preuve n'a pas besoin de traiter l'existence comme un prédicat : il suffit qu'un être maximalement grand soit possible pour qu'il existe dans tous les mondes possibles. Le débat se déplace sur la prémisse « c'est possible ».

Kant répond
résumé : son texte n'est pas encore dans notre corpus
Pas de réponse possible : objection formulée en 1974, après sa mort (1804).
G
Graham Oppy, Joshua Rasmussen et Joseph Schmid 2024
Ces auteurs ne défendent pas la thèse de Kant : ils jugent même que les objections générales de ce type reposent sur des hypothèses très contestées. Ils accordent que la version modale évite de traiter l'existence comme une propriété ordinaire, mais elle repose sur la prémisse « un être maximalement grand est possible ». On peut écrire la prémisse inverse (« il est possible qu'aucun tel être n'existe ») ; sans raison indépendante de préférer la première, l'argument ne peut pas convaincre. La suite du débat est dans l'argument modal.
voir l'argument
Où en est le débat (notre résumé)Selon ses défenseurs, la version modale échappe à l'objection « l'existence n'est pas un prédicat » ; ses critiques actuels l'attaquent par un autre côté, en déplaçant le débat sur la possibilité d'un être maximalement grand. Les défenseurs et les critiques s'y opposent, sans raison indépendante unanimement acceptée de trancher.
Dans la même famille · Ontologique
La preuve ontologiqueDescartes
Dieu existe-t-il ?Théisme 3
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