Un diagnóstico formal del argumento central de La Inmortalidad del Alma
Αποθηκεύτηκε σε:
| Συγγραφέας: | |
|---|---|
| Μορφή: | artículo original |
| Κατάσταση: | Versión publicada |
| Ημερομηνία έκδοσης: | 2019 |
| Περιγραφή: | En este trabajo ofrecemos un diagnóstico formal del argumento central de La inmortalidad del alma (De Immor. An. I, i) haciendo uso de un par de demostradores automáticos de teoremas. Nuestro diagnóstico sugiere que el argumento no es exitoso en términos deductivos |
| Χώρα: | Portal de Revistas UCR |
| Ίδρυμα: | Universidad de Costa Rica |
| Repositorio: | Portal de Revistas UCR |
| Γλώσσα: | Español |
| OAI Identifier: | oai:archivo.portal.ucr.ac.cr:article/31934 |
| Διαθέσιμο Online: | https://archivo.revistas.ucr.ac.cr/index.php/filosofia/article/view/31934 |
| Λέξη-Κλειδί : | Inmortalidad del alma Argumento de capacidad Prover9-Mace4 ProofTools |