Los indemostrables de Crisipo y los modelos mentales semánticos [Inglés]

Resumen

Atendiendo a la lógica estándar, solo uno de los cinco indemostrables propuestos por Crisipo de Solos es realmente indemostrable. Sus otros cuatro esquemas son demos­trables en tal lógica. La pregunta, por tanto, es: si cuatro de ellos no son verdaderamente indemostrables, por qué Crisipo consideró que sí lo eran. López-Astorga mostró que si ignoramos el cálculo proposicional estándar y asumimos que una teoría cognitiva contemporánea, la teoría de la lógica mental, describe correctamente el razonamiento humano, se puede entender por qué Crisipo pensó que todos sus indemostrables eran tan básicos. No obstante, en este trabajo trato de argumentar que la teoría de la lógi­ca mental no es el único marco que puede explicar esto. En concreto, sostengo que otra importante teoría sobre el razonamiento en el presente, la teoría de los modelos mentales, también puede ofrecer una explicación al respecto.