This paper reviews current psychological theories of syllogistic inference and establishes that despite their various merits they all contain deficiencies as theories of performance. It presents the results of two experiments, one using syllogisms and the other using three-term series problems, designed to elucidate how the arrangement of terms within the premises affects performance. These data are used in the construction of a theory based on the hypothesis that reasoners construct mental models of the premises, formulate informative conclusions about the (...) relations in the model, and search for alternative models that are counterexamples to these conclusions. This theory, which has been implemented in several computer programs, predicts that two principal factors should affect performance: the figure of the premises, and the number of models that they call for. These predictions were confirmed by a third experiment. Dans cet article sont passées en revue les théories psychologiques du traitement des syllogismes. On établit qu'en dépit de leurs mérites variés toutes sont en défaut en tant que théories de la performance. On présente les résultats de deux expériences, une utilisant des syllogismes et l'autre des problémes avec des séries de trois termes conçues pour élucider comment l'arrangement des termes dans les premises affecte la performance. Ces données sont utilisées pour construire une théorie fondée sur l'hypothése que les gens construisent des modèles mentaux des premises, formulent des conclusions explicites sur les relations dans le modèle et cherchent des modèles qui seraient des contre-exemples pour leurs conclusions. Cette théorie, utilisée dans plusieurs programmes d'ordinateur, prédit que deux principaux facteurs affectent la performance: la figure des premises et le nombre de; modèles qu'ils mettent en jeu. Cette prédiction est confirmée dans les trois expériences. (shrink)

We report two experiments on temporal reasoning with problems, such as: John has cleaned the house. John is taking a shower. John is going to read the paper. Mary always does the dishes when John cleans the house. Mary always drinks her coffee when John reads the paper. What for Mary is the relation between doing the dishes and drinking coffee? The experiments showed that problems such as this one, which require one mental model, elicited correct answers more often than (...) did those requiring multiple models (e.g. with the second premise modified to "John has taken a shower", so that the order between the events in the first two premises is not fixed). These multiple-model problems, in turn, elicited more correct answers than did multiple-model problems with no valid answers (e.g. with the second premise modified to "John has taken a shower", and the fifth premise modified to "Mary always drinks her coffee when John takes a shower"). One-model problems were also solved more quickly than multiple-model problems, which were solved more quickly than problems with no valid answers. These results corroborated the predictions of the mental model theory of reasoning. (shrink)

Two theories of propositional deductive reasoning are considered: the mental models of P. N. Johnson-Laird et al and the mental logic of M. D. Braine. The model theory is said to account for practically all of the known phenomena of deductive propositional reasoning, offer a general theory of conditionals, account for the most important aspects of Braine's theory, and predict new phenomena that rule theories cannot explain. It is argued that the model theory is flawed in a way that is (...) difficult to overcome, conditionals are seriously misrepresented, the algorithms proposed to implement it either allow invalid inferences or are psychologically useless, Braine's theory accounts for all of the new phenomena worth considering, and the model theory can predict Braine's results only at the cost of self-refutation. It is concluded that the mental model theory of propositional reasoning offers no reason to reject the program of mental logic. (shrink)