Resumen de Logical Reasoning beyond Classical Logic: An Illustration with Pythagoras Theorem

Francisco Vargas M., Keith Stenning

• We report on a study conceived with the idea that the use of logic in regard to mathematical reasoning as it actually occurs in practice is not limited to its prominent role in formal deductions and proofs. Interpretation of different mathematical situations elicits in fact the use of mostly unconscious forms of reasoning, close to those of narrative processing, which do not coincide with the expectations of traditional logic. This is pervasive, in particular, in educational situations at different levels, as we illustrate with interpretations which can emerge alongside an apparently obvious mathematical statement, namely, Pythagoras Theorem. We defend the position that analyses of “errors”, should start by understanding their prevalence and non arbitrariness. Accordingly, we use a nonclassical logics whose features may give new insights to the kind of learning obstacles often found in the literature, as well as in our results.