Anselme et Descartes, Deux Arguments Logico-Théologiques

Abstract

Ce texte est une version profondément remaniée d’une conférence donnée sur ce sujet en février 2018 lors de la journée d’études à Nancy, dans le cadre des Archives Vuillemin, et en mai 2018, à l’Université de Brasilia. Contrairement à ce que j’ai affirmée dans ces conférences ainsi que dans une publication précédente, la formalisation de l’argument de Descartes (que je développe ici en déduction naturelle) montre que la logique minimale ne suffit pas à traduire l’argument de Descartes; la logique intuitionniste est requise pour que cet argument soit valide. Si la traduction de l’argument d’Anselme que je donne pour commencer contredit l’analyse et les conclusions de Vuillemin sur ce sujet, en revanche, l’interprétation que Vuillemin fait du système de Descartes comme philosophie intuitionniste est confirmée par la formalisation qui suit. Enfin, le pluralisme philosophique propre à l’esprit de la classification de Vuillemin est aussi éclairé par la conclusion de cet article.

Keywords

• l’existence de dieu
• descartes
• anselme
• logique classique
• logique intuitionniste