The Klein Group, Squares of Opposition and the Explanation of Fallacies in Reasoning

During the last decades, the psychology of reasoning has identified experimentally many fallacies committed by spontaneous reasoners. Given these experimental results, some theories have been developed about this phenomenon, mainly algorithmic theories. This paper develops instead a computational modelling of these current fallacies which appear as simplifications in the treatment of information that do not respect the formal rules of classical propositional logic. These fallacies are explained as crushes in the Klein group structure and so, in squares of opposition. These crushes are an effect of not to take into account the dual of the binary operator at work in the major premise of the inference. This analysis allows predictions on fallacies not identified before, which are fallacies produced when reasoning with incompatibilities. The paper concludes with consequences of the analysis on pedagogical strategies for the teaching of logic.