Anselme et Descartes, deux arguments logico-théologiques

Joseph Vidal-Rosset (1)

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

This paper proves that Anselm's and Descartes's argument for the existence of God are respectively valid in classical first-order logic and in intuitionistic first-order lo

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'Univer-sité de Brasilia. Contrairement à ce que j'ai affirmée dans ces conférences ainsi que dans une publication précédente [11], la formalisation de l'argu-ment 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 commen-cer 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.

Domaines: Philosophie; Logique [math.LO]

Joseph Vidal-Rosset. Anselme et Descartes, deux arguments logico-théologiques. Revista de Filosofia Moderna e Contemporânea , inPress. ⟨hal-02472970v1⟩