Search

This article examined syllogistic reasoning that differs from previous research in 2 significant ways: (a) Participants were asked to decide whether conclusions were possible as well as necessary, and (b) every possible combination of syllogistic premises and conclusions was presented for evaluation with both single-premise (Experiment 1) and double-premise (Experiment 2) problems. Participants more frequently endorsed conclusions as possible than as necessary, and differences in response to the 2 forms of instruction conformed to several predictions derived from the mental model theory of deduction. Findings of Experiments 2 and 3 showed that some fallacies are consistently endorsed and others consistently resisted when people are asked to judge whether conclusions that are only possible follow necessarily. This finding was accounted for by the computational implementation of the model theory: Fallacies are made when the first mental model of the premises considered supports the conclusion presented.

An overall response in light of the commentaries given on the study of the distinctions between mental-model based reasoning and logic drawn from formal rules of inference is given. The underlying argument of the research is that the task of deduction is in itself a semantic process, which is achieved through mental-model construction rather than applying inference rules.

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. Deduction argues 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 propositional 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.