Una Semántica Relacional para la consideración estratégica del razonamiento deductivo
Abstract
Nuestra propuesta en este trabajo apunta a ofrecer un modelo formal realista del razonamiento humano, empleando la lógica como una herramienta de modelización. Independientemente del rol normativo, que debería (o no debería) desempeñar la lógica en el razonamiento humano, se trata de emplear diversas herramientas de la lógica matemática moderna para entender de qué manera un agente llega a resolver un problema específico. Con respecto al razonamiento deductivo, siguiendo a Evans, creemos que este tipo de razonamiento debe entenderse como un concepto de nivel estratégico. Es decir, la deducción no es una función incorporada en la mente humana. Por el contrario, debe entenderse como una de las tantas alternativas que los seres humanos poseen para resolver un problema.