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:portal.ucr.ac.cr:article/31934 |
| الوصول للمادة أونلاين: | https://revistas.ucr.ac.cr/index.php/filosofia/article/view/31934 |
| كلمة مفتاحية: | Inmortalidad del alma Argumento de capacidad Prover9-Mace4 ProofTools |