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)

A general two-stage theory of human inference is proposed. A distinction is drawn between heuristic processes which select items of task information as ‘relevant’, and analytic processes which operate on the selected items to generate inferences or judgements. These two stages are illustrated in a selective review of work on both deductive and statistical reasoning. Factors identified as contributing to heuristic selection include perceptual salience, linguistic suppositions and semantic associations. Analytic processes are considered to be context dependent: people reason from (...) experience, not from inference rules. The paper includes discussion of the theory in comparison with other contemporary theories of human inference, and in relation to the current debate about human rationality. (shrink)

Johnson-Laird and Byrne present a theory of conditional inference based upon the manipulation of mental models. In the present paper, the theory is critically examined with regard to its ability to account for psychological data, principally with respect to the rate at which people draw the four basic inferences of modus ponens, denial of the antecedent, affirmation of the consequent and modus tollens. It is argued first that the theory is unclear in its definition and in particular with regard to (...) predictions of problem difficulty. Clarification and specification of principles are consequently provided here. Next, it is argued that there are a number of phenomena in the conditional reasoning literature for which the theory cannot account in its present form. Specifically, the relatively frequency of DA and AC inferences on affirmative conditionals is not as predicted by the theory, differences occur between inferences on if then and only if rules beyond the capacity of the theory to explain and there is no account of the “negative conclusion bias” observed when negated components are introduced into the rules. A number of revisions to the mental model theory of conditional reasoning are proposed in order to account for these findings. (shrink)

Two experiments investigated inferences based on suppositions. In Experiment 1, the subjects decided whether suppositions about individuals' veracity were consistent with their assertions—for example, whether the supposition “Ann is telling the truth and Beth is telling a lie”, is consistent with the premises: “Ann asserts: I am telling the truth and Beth is telling the truth. Beth asserts: Ann is telling the truth”. It showed that these inferences are more difficult than ones based on factual premises: “Ann asserts: I live (...) in Dublin and Beth lives in Dublin”. There was no difference between problems about truthtellers and liars, who always told the truth or always lied, and normals, who sometimes told the truth and sometimes lied. In Experiment 2, the subjects made inferences about factual matters set in three contexts: a truth-inducing context in which friends confided their personality characteristics, a lie-inducing context in which business rivals advertised their products, and a neutral context in which computers printed their program characteristics. Given the supposition that the individuals were lying, it was more difficult to make inferences in a truth-inducing context than in the other two contexts. We discuss the implications of our results for everyday reasoning from suppositions, and for theories of reasoning based on models or inference rules. (shrink)