Anselme et Descartes, deux arguments logico-théologiques - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Article Dans Une Revue Revista de Filosofia Moderna e Contemporânea Année : 2020

Anselme et Descartes, deux arguments logico-théologiques

[Anselmo e Descartes, Dois Argumentos Lógico-teológicos]

Résumé

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 logic.
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 (Vidal-Rosset, 2013), 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 formalisa-tion qui suit. Enfin, le pluralisme philosophique propre à l'esprit de la classification de Vuillemin est aussi éclairé par la conclusion de cet article.
Este texto é uma versão profundamente revisada de uma conferência sobre o mesmo assunto realizada em fevereiro de 2018, durante o dia de estudos em Nancy, no quadro dos Arquivos Vuillemin, e em maio de 2018, na Universidade de Brasília. Ao contrário do que afirmei nestas conferências e também em publicação anterior (Vidal-Rosset, 2013), a formalização do argumento de Descartes (que desenvolvo aqui em uma dedução natural) mostra que a lógica mínima não é suficiente para traduzir o argumento de Descartes; a lógica intuicionista é necessária para que este argumento seja válido. Se a tradução do argumento de Anselmo, que apresento de início, contradiz a análise e as conclusões de Vuillemin sobre este assunto, por outro lado, a interpretação de Vuillemin do sistema de Descartes como uma filosofia intuicionista é confirmada pela formalização que segue. Finalmente, o pluralismo filosófico específico ao espírito da classificação de Vuillemin também é esclarecido pela conclusão deste artigo.
Fichier principal
Vignette du fichier
vidal-rosset-2020.pdf (131.85 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02472970 , version 1 (10-02-2020)
hal-02472970 , version 2 (29-09-2020)

Identifiants

Citer

Joseph Vidal-Rosset. Anselme et Descartes, deux arguments logico-théologiques. Revista de Filosofia Moderna e Contemporânea , 2020, ⟨10.26512/rfmc.v8i1.31015⟩. ⟨hal-02472970v2⟩
69 Consultations
1426 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More