The theory of mental models and its computer implementations have led to crucial experiments showing that no standard logic—the sentential calculus and all logics that include it—can underlie human reasoning. The theory replaces the logical concept of validity (the conclusion is true in all cases in which the premises are true) with necessity (conclusions describe no more than possibilities to which the premises refer). Many inferences are both necessary and valid. But experiments show that individuals make necessary inferences that are (...) invalid, e.g., Few people ate steak or sole; therefore, few people ate steak. Other crucial experiments show that individuals reject inferences that are not necessary but valid, e.g., He had the anesthetic or felt pain, but not both; therefore, he had the anesthetic or felt pain, or both. Nothing in logic can justify the rejection of a valid inference: a denial of its conclusion is inconsistent with its premises, and inconsistencies yield valid inferences of any conclusions whatsoever including the one denied. So inconsistencies are catastrophic in logic. In contrast, the model theory treats all inferences as defeasible (nonmonotonic), and inconsistencies have the null model, which yields only the null model in conjunction with any other premises. So inconsistences are local. Which allows truth values in natural languages to be much richer than those that occur in the semantics of standard logics; and individuals verify assertions on the basis of both facts and possibilities that did not occur. (shrink)

Good reasoning can lead to success; bad reasoning can lead to catastrophe. Yet, it's not obvious how we reason, and why we make mistakes. This new book by one of the pioneers of the field, Philip Johnson-Laird, looks at the mental processes that underlie our reasoning. It provides the most accessible account yet of the science of reasoning.

This paper explores the ways in which Wilbur and Orville Wright thought as they tackled the problem of designing and constructing a heavier-than-air craft that would fly under its own power and under their control. It argues that their use of analogy and their use of knowledge in diagnostic reasoning lies outside the scope of current psychological theories and their computer implementations. They used analogies based on mental models of one system, such as the wings, to help them to develop (...) theories of another system, such as the propellers. They were also skilled reasoners, who were adept at finding counterexamples to arguments. (shrink)

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

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)

In this paper we investigate the locus of believability effects in syllogistic reasoning. We identify three points in the reasoning process at which such effects could occur: the initial interpretation of premises, the examination of alternative representations of them (in all of which any valid conclusion must be true), and the “filtering” of putative conclusions. The effect of beliefs at the first of these loci is well established. In this paper we report three experiments that examine whether beliefs have an (...) effect at the other two loci. In experiments 1 and 2 subjects drew their own conclusions from syllogisms that suggested believable or unbelievable ones. In the third experiment they evaluated conclusions that were presented to them. The data show that beliefs both affect the examination of alternative models and act as a filter on putative conclusions. We conclude by showing how some types of problem and some problem contents make the existence of alternative models more obvious than others. (shrink)

Some philosophers argue that the principles of human reasoning are impeccable, and that mistakes are no more than momentary lapses in “information processing”. This article makes a case to the contrary. It shows that human reasoners commit systematic fallacies. The theory of mental models predicts these errors. It postulates that individuals construct mental models of the possibilities to which the premises of an inference refer. But, their models usually represent what is true in a possibility, not what is false. This (...) procedure reduces the load on working memory, and for the most part it yields valid inferences. However, as a computer program implementing the theory revealed, it leads to fallacious conclusions for certain inferences—those for which it is crucial to represent what is false in a possibility. Experiments demonstrate the variety of these fallacies and contrast them with control problems, which reasoners tend to get right. The fallacies can be compelling illusions, and they occur in reasoning based on sentential connectives such as “if” and “or”, quantifiers such as “all the artists” and “some of the artists”, on deontic relations such as “permitted” and “obligated”, and causal relations such as “causes” and “allows”. After we have reviewed the principal results, we consider the potential for alternative accounts to explain these illusory inferences. And we show how the illusions illuminate the nature of human rationality. (shrink)

This article outlines a theory of naive probability. According to the theory, individuals who are unfamiliar with the probability calculus can infer the probabilities of events in an extensional way: They construct mental models of what is true in the various possibilities. Each model represents an equiprobable alternative unless individuals have beliefs to the contrary, in which case some models will have higher probabilities than others. The probability of an event depends on the proportion of models in which it occurs. (...) The theory predicts several phenomena of reasoning about absolute probabilities, including typical biases. It correctly predicts certain cognitive illusions in inferences about relative probabilities. It accommodates reasoning based on numerical premises, and it explains how naive reasoners can infer posterior probabilities without relying on Bayes's theorem. Finally, it dispels some common misconceptions of probabilistic reasoning. (shrink)

Two experiments were carried out to investigate the role of referential continuity in understanding discourse. In experiment 1, a group of university students listened to stories and descriptive passages presented in three different versions: the original passages, versions in which the sentences occured in a random order, and randomised versions in which referential continuity had been restored primarily by replacing pronouns and other terms with fuller and more appropriate noun phrases. The original stories were remembered better, and rated as more (...) comprehensible, than the random versions, but the restoration of referential continuity ameliorated the effects of randomisation. The descriptive passages had little referential continuity from one sentence to the next, and as expected the effects of randomisation on comprehensibility and memory were negligible. In experiment 2, a group of skilled comprehenders and a group of less skilled comprehenders were selected from a population of 7–8-year-old children. The difference between the groups was known to be largely their inferential ability in reading texts. Both groups read a series of short stories presented in the same three versions as used in the previous experiment. As predicted, the ameliorating effects on memory of restoring referential continuity in a randomised story were confined to the skilled group. The results are discussed in relation to the theories of story grammar, text microstructure, and mental models of discourse. (shrink)

People reject ‘paradoxical’ inferences, such as: Luisa didn't play music; therefore, if Luisa played soccer, then she didn't play music. For some theorists, they are invalid for everyday conditionals, but valid in logic. The theory of mental models implies that they are valid, but unacceptable because the conclusion refers to a possibility inconsistent with the premise. Hence, individuals should accept them if the conclusions refer only to possibilities consistent with the premises: Luisa didn't play soccer; therefore, if Luisa played a (...) game then she didn't play soccer. Two experiments corroborated this prediction for three sorts of ‘paradox’, including a disjunctive paradox. (shrink)

Given a basic conditional of the form, If A then C, individuals usually list three cases as possible: A and C, not‐A and not‐C, not‐A and C. This result corroborates the theory of mental models. By contrast, individuals often judge that the conditional is true only in the case of A and C, and that cases of not‐A are irrelevant to its truth or falsity. This result corroborates other theories of conditionals. To resolve the discrepancy, we devised two new tasks: (...) the “collective” truth task, in which participants judged whether sets of assertions about a specific individual, such as: If A then C, not‐A, C, could all be true at the same time; and one in which participants judged the truth of conditional predictions about specific future events. The results consistently matched the three possibilities, thereby corroborating the model theory. They also showed a massive violation of the probability calculus in estimates of the probabilities of the four cases in the partition of conditionals (A and C, A and not‐C, not‐A and C, and not‐A and not‐C), which summed to over 200%. (shrink)

Inferences about spatial, temporal, and other relations are ubiquitous. This article presents a novel model-based theory of such reasoning. The theory depends on 5 principles. The structure of mental models is iconic as far as possible. The logical consequences of relations emerge from models constructed from the meanings of the relations and from knowledge. Individuals tend to construct only a single, typical model. They spontaneously develop their own strategies for relational reasoning. Regardless of strategy, the difficulty of an inference depends (...) on the process of integration of the information from separate premises, the number of entities that have to be integrated to form a model, and the depth of the relation. The article describes computer implementations of the theory and presents experimental results corroborating its main principle. (shrink)

This paper presents a new theory of modal reasoning, i.e. reasoning about what may or may not be the case, and what must or must not be the case. It postulates that individuals construct models of the premises in which they make explicit only what is true. A conclusion is possible if it holds in at least one model, whereas it is necessary if it holds in all the models. The theory makes three predictions, which are corroborated experimentally. First, conclusions (...) correspond to the true, but not the false, components of possibilities. Second, there is a key interaction: it is easier to infer that a situation is possible as opposed to impossible, whereas it is easier to infer that a situation is not necessary as opposed to necessary. Third, individuals make systematic errors of omission and of commission. We contrast the theory with theories based on formal rules. (shrink)

This paper reports three studies of temporal reasoning. A problem of the following sort, where the letters denote common everyday events: A happens before B. C happens before B. D happens while B. E happens while C. What is the relation between D and EEfficacylls for at least two alternative models to be constructed in order to give the right answer for the right reason. However, the first premise is irrelevant to this answer, and so if reasoners were to ignore (...) it, then they would need to construct only one model. Experiment 1 showed that one-model problems were answered faster and more accurately than multiple-model problems. When the question preceded the premises in the statement of the multiple-model problems there was a slight tendency for the latencies of response to speed up in the predicted way. Experiment 2 modified the procedure, in part by using practice problems with many irrelevant premises, so that reasoners might grasp the advantage of ignoring them. Its results showed that when the premises preceded the question, the multiple-model problems were significantly harder than one-model problems. But when the question was presented first, the difference was significantly reduced in line with the theory's prediction. Experiment 3 used only problems with valid conclusions, and so the construction of multiple models was never necessary. However, there was still a significant difference between one-model problems and multiple-model problems. (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

When a quantified premise such as: Everyone loves anyone who loves someone, occurs with a premise such as: Anne loves Beth, it follows immediately that everyone loves Anne. It also follows that Carol loves Diane, where these two individuals are in the domain of discourse. According to the theory of mental models, this inference requires the quantified premise to be used again to update a model of specific individuals. The paper reports four experiments examining such iterative inferences. Experiment 1 confirmed (...) that they are harder than immediate inferences. Experiment 2 extended the finding to negative inferences, i.e., granted that Anne does not love Beth, it follows from the quantified premise that Carol does not love Diane. Experiment 3 established that intermediate steps referring to specific individuals are accepted more readily than intermediate steps referring to quantified variables. Experiment 4 showed that the participants' written justifications corroborated the model theory. (shrink)

How do people imagine the possibilities in which an assertion would be true and the possibilities in which it would be false? We argue that the mental representation of the meanings of connectives, such as "and", "or", and "if", specify how to construct the true possibilities for simple assertions containing just a single connective. It follows that the false possibilities are constructed by inference from the true possibilities. We report converging evidence supporting this account from four experiments in which the (...) participants had to list the true and the false possibilities for various sorts of assertion. Their systematic errors, response times, and think-aloud protocols corroborated the theory's predictions. Not even true possibilities are immediately available for complex assertions containing two or more different connectives. The task of listing the true possibilities then becomes difficult, and the task of listing the false possibilities almost impossible. (shrink)

The mental model theory predicts that reasoners normally represent what is true, but not what is false. One consequence is that reasoners should make "illusory" inferences, which are compelling but invalid. Three experiments confirmed the existence of such illusions based on disjunctions of disjunctions. They also established a successful antidote to them: Reasoners are much less likely to succumb to illusions if the inferences concern disjunctions of physical objects (alternative newspaper advertisements) rather disjunctions of the truth values of assertions. The (...) results shed light both on the cause of the illusions and on the current controversy among different theories of reasoning. (shrink)

Good reasoning can lead to success; bad reasoning can lead to catastrophe. Yet it's not obvious how we reason, and why we make mistakes. This book by one of the pioneers of the field, Philip Johnson-Laird, looks at the mental processes that underlie our reasoning. It provides the most accessible account yet of the science of reasoning.

This paper argues that mental models of discourse are key in any theory of the interpretation of definite descriptions. It considers both referential and attributive uses of such descriptions, in the sense introduced by Donnellan.