Un diagnóstico formal del argumento central de La Inmortalidad del Alma
שמור ב:
| מחבר: | |
|---|---|
| פורמט: | artículo original |
| סטטוס: | Versión publicada |
| Fecha de Publicación: | 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 |
| País: | 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 |
| גישה מקוונת: | https://archivo.revistas.ucr.ac.cr/index.php/filosofia/article/view/31934 |
| מילת מפתח: | Inmortalidad del alma Argumento de capacidad Prover9-Mace4 ProofTools |