Un diagnóstico formal del argumento central de La Inmortalidad del Alma
Guardado en:
| Údar: | |
|---|---|
| Formáid: | artículo original |
| Stádas: | Versión publicada |
| Fecha de Publicación: | 2019 |
| Cur Síos: | 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 |
| Institiúid: | Universidad de Costa Rica |
| Repositorio: | Portal de Revistas UCR |
| Teanga: | Español |
| OAI Identifier: | oai:archivo.portal.ucr.ac.cr:article/31934 |
| Rochtain Ar Líne: | https://archivo.revistas.ucr.ac.cr/index.php/filosofia/article/view/31934 |
| Palabra clave: | Inmortalidad del alma Argumento de capacidad Prover9-Mace4 ProofTools |