FORMALIZACIÓN
Y DERIVACIÓN LÓGICA
(Fedón)
(PRINCIPAL)
Reminiscencia
Simplicidad
Contrarios
República
SECCIÓN 2
Textos
Fedón
Republica
SECCIÓN 3
Presentación
Eutifrón
Apología
Critón
Principal
SECCIÓN 4
Mundo Sofía
Cuestionarios
Exámenes
Concursos
Links
Presentamos, para su formalización y derivación lógica, algunas de las pruebas sobre la inmortalidad del alma, presentes en el Fedón y en la República.
Hemos estructurado, personalmente, los argumentos de un modo lógico, tanto en el lenguaje natural como en lenguaje artificial, con el objeto de facilitar la realización de las posteriores derivaciones mediante el uso de las Reglas de Inferencia.
ARGUMENTO SOBRE LA INMORTALIDAD DEL ALMA CON BASE EN LA TEORÍA DE LA REMINISCENCIA.
Existe el conocimiento de lo que es lo igual en sí.
Ahora bien, lo igual en sí lo adquirimos, o bien porque existe una idea de tal
igual en sí en un mundo inteligible o bien a través de la percepción de los objetos que
vemos como iguales. Pero si lo hemos adquirido a través de los objetos que vemos como
iguales, entonces aquello que decimos que es conocimiento de lo igual en sí, es,
al mismo tiempo, no igual. Por su parte, si lo hemos adquirido porque existe una
idea de lo igual en sí, entonces no es cierto que tal igual en sí sea a la vez
no igual y tal conocimiento tuvo que alcanzarlo el alma antes de unirse al cuerpo
sensible. Pero si el tal conocimiento lo alcanzó el alma antes de unirse a un cuerpo
sensible, entonces el conocimiento de lo que es lo igual en sí, es lo mismo que recordar
lo que el alma contempló en el mundo de las ideas. Por consiguiente, no
es cierto que el conocer no sea recordar o que el alma no haya tenido una preexistencia
antes de su unión con el cuerpo.
