One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a formal (...) foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (shrink)

A novel explanation of belief bias in relational reasoning is presented based on the role of working memory and retrieval in deductive reasoning, and the influence of prior knowledge on this process. It is proposed that belief bias is caused by the believability of a conclusion in working memory which influences its activation level, determining its likelihood of retrieval and therefore its effect on the reasoning process. This theory explores two main influences of belief on the activation levels of these (...) conclusions. First, believable conclusions have higher activation levels and so are more likely to be recalled during the evaluation of reasoning problems than unbelievable conclusions, and therefore, they have a greater influence on the reasoning process. Secondly, prior beliefs about the conclusion have a base level of activation and may be retrieved when logically irrelevant, influencing the evaluation of the problem. The theory of activation and memory is derived from the Atomic Components of Thought-Rational (ACT-R) cognitive architecture and so this account is formalized in an ACT-R cognitive model. Two experiments were conducted to test predictions of this model. Experiment 1 tested strength of belief and Experiment 2 tested the impact of a concurrent working memory load. Both of these manipulations increased the main effect of belief overall and in particular raised belief-based responding in indeterminately invalid problems. These effects support the idea that the activation level of conclusions formed during reasoning influences belief bias. This theory adds to current explanations of belief bias by providing a detailed specification of the role of working memory and how it is influenced by prior knowledge. (shrink)

Researchers currently working on relational reasoning typically argue that mental model theory (MMT) is a better account than the inference rule approach (IRA). They predict and observe that determinate (or one-model) problems are easier than indeterminate (or two-model) problems, whereas according to them, IRA should lead to the opposite prediction. However, the predictions attributed to IRA are based on a mistaken argument. The IRA is generally presented in such a way that inference rules only deal with determinate relations and not (...) with indeterminate ones. However, (a) there is no reason to presuppose that a rule-based procedure could not deal with indeterminate relations, and (b) applying a rule-based procedure to indeterminate relations should result in greater difficulty. Hence, none of the recent articles devoted to relational reasoning currently presents a conclusive case for discarding IRA by using the well-known determinate vs indeterminate problems comparison. (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: “MP”, Affirmation of the Consequent “AC”) and denial problems (Denial of the Antecedent “DA”, and Modus Tollens “MT”). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable effects of (...) a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (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)

Three experiments are reported in which the relationships between task format, item type, and strategy usage were investigated for a two-dimensional relational inference task. Contrary to past findings with linear syllogisms, it was found that parallel presentation (presenting problem statements simultaneously) did not result in any increased use of deduction rule processes compared with serial presentation (presenting problem statements individually). Instead, the results suggested that mental models were used by the majority of subjects, and that multiple models were more likely (...) to be constructed with parallel presentation. It is proposed that, in general, multiple model construction will be more frequent for deduction tasks where the cognitive load is relatively low. Hence, contrary to suggestions by Polk and Newell (1995), reasoning in this way appears to be prevalent and highly robust - where supported by task format - even where the use of this strategy is disadvantageous. (shrink)

This article describes a study on capacity limitations that affect the construction of spatial mental models. A process model is presented, according to which the construction of a mental model in Ehrlich and Johnson-Laird's (1982) spatial descriptions task places a workload of six information chunks for continuous and semi-continuous descriptions, and seven chunks for discontinuous descriptions. Participants (48 undergraduate students) performed the spatial descriptions task and the figural intersections test (FIT), which yields a capacity score. The pattern of errors and (...) sentence reading times in the spatial descriptions task confirmed that participants were using mental models. The FIT score was positively correlated with accuracy in the spatial descriptions task. Prediction analysis of cross-classification tables showed that, for successful performance in continuous and semi-continuous descriptions, a FIT score of 6 was necessary, and a score of 7 in discontinuous descriptions. These results are in agreement with theoretical predictions. The issue of integrating mental models theory with analyses of capacity limitations in performance is discussed. (shrink)

The aim of this article is to strengthen links between cognitive brain research and formal logic. The work covers three fundamental sorts of logical inferences: reasoning in the propositional calculus, i.e. inferences with the conditional “if...then”, reasoning in the predicate calculus, i.e. inferences based on quantifiers such as “all”, “some”, “none”, and reasoning with n-place relations. Studies with brain-damaged patients and neuroimaging experiments indicate that such logical inferences are implemented in overlapping but different bilateral cortical networks, including parts of the (...) fronto-temporal cortex, the posterior parietal cortex, and the visual cortices. I argue that these findings show that we do not use a single deterministic strategy for solving logical reasoning problems. This account resolves many disputes about how humans reason logically and why we sometimes deviate from the norms of formal logic. (shrink)

(2013). The processes of inference. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 4-20. doi: 10.1080/19462166.2012.674060.

This paper replies to Politzer’s (2007) criticisms of the mental model theory of conditionals. It argues that the theory provides a correct account of negation of conditionals, that it does not provide a truth-functional account of their meaning, though it predicts that certain interpretations of conditionals yield acceptable versions of the ‘paradoxes’ of material implication, and that it postulates three main strategies for estimating the probabilities of conditionals.

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

No present theory explains the inferences people draw about the real world when reasoning about “bouletic” relations, that is, predicates that express desires, such aswantin “Lee wants to be in love”. Linguistic accounts ofwantdefine it in terms of a relation to a desirer's beliefs, and how its complement is deemed desirable. In contrast, we describe a new model‐based theory that posits that by default, desire predicates such aswantcontrast desires against facts. In particular,A wants Pimplies by default thatPis not the case, (...) because you cannot want what is already true. On further deliberation, reasoners may infer thatA believes, but does not know for certain, thatPis not the case. The theory makes several empirical predictions about how people interpret, assess the consistency of, and draw conclusions from desire predicates likewant. Seven experiments tested and validated the theory's central predictions. We assess the theory in light of recent proposals of desire predicates. (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 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)

In certain contexts reasoners reject instances of the valid Modus Ponens and Modus Tollens inference form in conditional arguments. Byrne (1989) observed this suppression effect when a conditional premise is accompanied by a conditional containing an additional requirement. In an earlier study, Rumain, Connell, and Braine (1983) observed suppression of the invalid inferences "the denial of the antecedent" and "the affirmation of the consequent" when a conditional premise is accompanied by a conditional containing an alternative requirement. Here we present three (...) experiments showing that the results of Byrne (1989) and Rumain et al. (1983) are influenced by the answer procedure. When reasoners have to evaluate answer alternatives that only deal with the inferences that can be made with respect to the first conditional, then suppression is observed (Experiment 1). However, when reasoners are also given answer alternatives about the second conditional (Experiment 2) no suppression is observed. Moreover, contrary to the hypothesis of Byrne (1989), at least some of the reasoners do not combine the information of the two conditionals and do not give a conclusion based on the combined premise. Instead, we hypothesise that some of the reasoners have reasoned in two stages. In the first stage, they form a putative conclusion on the basis of the first conditional and the categorical premise, and in the second stage, they amend the putative conclusion in the light of the information in the second premise. This hypothesis was confirmed in Experiment 3. Finally, the results are discussed with respect to the mental model theory and reasoning research in general. (shrink)