Anselme et Descartes, Deux Arguments Logico-Théologiques
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. Contrarily to Anselm’s argument, Descartes avoids Kant’s criticism on the ontological argument, nevertheless, it is not cor...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2020 |
| País: | Brasil |
| Institución: | Universidade de Brasília (UnB) |
| Repositorio: | Revista de Filosofia Moderna e Contemporânea |
| Idioma: | francés |
| OAI Identifier: | oai:ojs.pkp.sfu.ca:article/31015 |
| Acceso en línea: | https://periodicos.unb.br/index.php/fmc/article/view/31015 |
| Access Level: | acceso abierto |
| Palabra clave: | l’existence de Dieu Descartes Anselme logique classique logique intuitionniste a existência de Deus Anselmo lógica clássica lógica intuicionista |
| Sumario: | 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. Contrarily to Anselm’s argument, Descartes avoids Kant’s criticism on the ontological argument, nevertheless, it is not correct for the reasons explained at the end of this paper. |
|---|