The disjunction introduction rule: Syntactic and semantics considerations

Abstract

The mental logic theory claims that the disjunction introduction rule, which is a valid rule in classical logic, is not a rule naturally used by the human mind. However, a study carried out by Orenes and Johnson- Laird suggests that this theory is wrong because there are cases in which the disjunction introduction rule appears to be applied by individuals. Orenes and Johnson-Laird explain their results based on the mental models theory. Nevertheless, in this paper, I try to show that, if it is assumed that people recover, by means of a semantic analysis of possibilities, the real logical forms of propositions before using formal rules, the mental logic theory can also explain the results achieved by Orenes and Johnson- Laird. Likewise, I include some comments on the possibility that both theories are complementary and related.

La teoría de la lógica mental sostiene que la regla de introducción de la disyunción, que es una regla válida en la lógica clásica, no es utilizada de manera natural por la mente humana. Sin embargo, un estudio realizado por Orenes y Johnson-Laird sugiere que esta teoría no es correcta porque existen casos en los que parece que los individuos aplican la mencionada regla. Orenes y Johnson-Laird explican sus resultados en base a la teoría de los modelos mentales. No obstante, en este trabajo, trato de mostrar que, si se asume que las personas recuperan, por medio de un análisis semántico de posibilidades, las formas lógicas reales de las proposiciones antes de utilizar reglas formales, la teoría de la lógica mental también puede explicar los resultados logrados por Orenes y Johnson- Laird. Del mismo modo, incluyo algunos comentarios sobre la posibilidad de que ambas teorías sean complementarias y se hallen relacionadas.

La théorie de la logique mentale soutient que la règle d'introduction de la disjonction, qui est une règle valable dans la logique classique, n'est pas utilisée naturellement par l'esprit humain. Cependant, une étude réalisée par Orenes et Johnson-Laird suggère que cette théorie n'est pas correct, car il ya des cas où il semble que les individus appliquent la règle ci-dessus. Orenes et Johnson-Laird expliquer leurs résultats basés sur la théorie des modèles mentaux. Toutefois, dans cet article, j'essaie de montrer que, en supposant que des gens se rétablissent, à travers une analyse sémantique des possibilités, les formes réelles logiques de propositions avant d'utiliser des règles formelles, la théorie de la logique mentale peut aussi expliquer les résultats obtenus par Johnson- Laird et Orenes. De même, j'inclus quelques commentaires sur la possibilité que les deux théories sont complémentaires et sont sujet connexe.