Provincia de Talca, Chile
La teoría de los modelos mentales ofrece una explicación de cómo los seres humanos infieren conclusiones. Tal explicación no es coherente con la lógica clásica. Admite inferencias que son incorrectas en dicha lógica. Dos de esas inferencias son consideradas aquí. Una de ellas permite derivar que las cláusulas de un condicional son posibles si ese condicional es verdadero. La otra autoriza a deducir que las cláusulas de una disyunción son posibles si esa disyunción es verdadera. Recurriendo al modo que en Crisipo de Solos entiende las relaciones condicionales, este trabajo propone dos axiomas que describen las estructuras de esas dos inferencias. La idea es que tales axiomas podrían ser incluidos en un hipotético sistema axiomático que intentara reproducir cómo son los procesos inferenciales humanos.
The theory of mental models gives an account of how human beings infer conclusions. That account is not coherent with classical logic. It admits inferences that are incorrect in that logic. Two of those inferences are addressed here. One of them allows deriving that the clauses of a conditional are possible if that conditional is true. The other one enables to deduce that the disjuncts of a disjunction are possible if that disjunction is true. Resorting to the way Chrysippus of Soli considers conditional relations, the present paper offers two axioms capturing the structures of these two inferences. The idea is that those axioms could be included in a hypothetical axiomatic system attempting to reproduce how human inferential processes are.
© 2001-2025 Fundación Dialnet · Todos los derechos reservados