Topological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams. We hypothesized in particular that a counterexample search generally underlies this type of reasoning. We first verified that educated adults without specific math training were able to produce correct diagrammatic representations contained in the premisses of an inference. Our first experiment then revealed that subjects who correctly judged an (...) inference as invalid almost always produced a counterexample to support their answer. Noticeably, even if the counterexample always bore a certain level of similarity to the initial diagram, we observed that an object was more likely to be varied between the two drawings if it was present in the conclusion of the inference. Experiments 2 and 3 then directly probed counterexample search. While participants were asked to evaluate a conclusion on the basis of a given diagram and some premisses, we modulated the difficulty of reaching a counterexample from the diagram. Our results indicate that both decreasing the counterexample density and increasing the counterexample distance impaired reasoning performance. Taken together, our results suggest that a search procedure for counterexamples, which proceeds object‐wise, could underlie diagram‐based geometric reasoning. Transposing points, lines, and circles to our spatial environment, the present study may ultimately provide insights on how humans reason about topological relations between positions, paths, and regions. (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)

The mental model theory postulates that reasoners build models of the situations described in premises, and that these models normally represent only what is true. The theory has an unexpected consequence. It predicts the existence ofillusions in inferences. Certain inferences should have compelling but erroneous conclusions. Two experiments corroborated the occurrence of such illusions in inferences about what is possible from disjunctions of quantified assertions, such as, “at least some of the plastic beads are not red.” Experiment 1 showed that (...) participants erroneously inferred that impossible situations were possible, and that possible situations were impossible, but that they performed well with control problems based on the same premises. Experiment 2 corroborated these findings in inferences from assertions based on dyadic relations, such as, “all the boys played with the girls.”. (shrink)

It has been reported as a robust effect that people are likely to select a matching case in the Wason selection task. For example, they usually select the 5 case, in the Wason selection task with the conditional "if an E, then a not-5". This was explained by the matching bias account that people are likely to regard a matching case as relevant to the truth of the conditional (Evans, 1998). However, because a positive concept usually constructs a smaller set (...) than its negative one does (a rarity assumption), it is more effective to get information on the truth of the conditional in a positive set than in a negative set. Thus the optimal data selection account can also explain the effect. The set size of Q and matching by introducing negation were manipulated independently in four experiments. From the results it was inferred that the so-called matching bias was an amalgam of two different cognitive components-relevance judgement by matching and optimal data selection. (shrink)

We report the results of two experiments that show that participants rely on both emotion and reason in moral judgments. Experiment 1 showed that when participants were primed to communicate feelings, they provided emotive justifications not only for personal dilemmas, e.g., pushing a man from a bridge that will result in his death but save the lives of five others, but also for impersonal dilemmas, e.g., hitting a switch on a runaway train that will result in the death of one (...) man but save the lives of five others; when they were primed to communicate thoughts, they provided non-emotive justifications for both personal and impersonal dilemmas. Experiment 2 showed that participants read about a protagonist's emotions more quickly when the protagonist was faced with a personal dilemma than an impersonal one, but they read about the protagonist's decision to act or not act equally quickly for personal and impersonal dilemmas. (shrink)

Cognitive psychology investigates the structural properties of human reasoning. We review some achievements of this kind of research and give a critical evaluation of its methods.

We review the various explanations that have been offered toaccount for subjects'' behaviour in Wason ''s famous selection task. Weargue that one element that is lacking is a good understanding ofsubjects'' semantics for the key expressions involved, and anunderstanding of how this semantics is affected by the demands the taskputs upon the subject''s cognitive system. We make novel proposals inthese terms for explaining the major content effects of deonticmaterials. Throughout we illustrate with excerpts from tutorialdialogues which motivate the kinds of (...) analysis proposed. Our long termgoal is an integration of the various insights about conditionalreasoning on offer from different cognitive science methodologies. Thepurpose of this paper is to try to draw the attention of logicians andsemanticists to this area, since we believe that empirical investigationof the cognitive processes involved could benefit from semanticanalyses. (shrink)

In this response, we clarify several misunderstandings of the understanding/acceptance principle and defend our specific operationalization of that principle. We reiterate the importance of addressing the problem of rational task construal and we elaborate the notion of computational limitations contained in our target article. Our concept of thinking dispositions as variable intentional-level styles of epistemic and behavioral regulation is explained, as is its relation to the rationality debate. Many of the suggestions of the commentators for elaborating two-process models are easily (...) integrated into our generic dual-process account. We further explicate how we view the relation between System 1 and System 2 and evolutionary and normative rationality. We clarify our attempt to fuse the contributions of the cognitive ecologists with the insights of the original heuristics and biases researchers. (shrink)

A number of theoretical positions in psychology—including variants of case‐based reasoning, instance‐based analogy, and connectionist models—maintain that abstract rules are not involved in human reasoning, or at best play a minor role. Other views hold that the use of abstract rules is a core aspect of human reasoning. We propose eight criteria for determining whether or not people use abstract rules in reasoning, and examine evidence relevant to each criterion for several rule systems. We argue that there is substantial evidence (...) that several different inferential rules, including modus ponens, contractual rules, causal rules, and the law of large numbers, are used in solving everyday problems. We discuss the implications for various theoretical positions and consider hybrid mechanisms that combine aspects of instance and rule models. (shrink)

A normative framework for modeling causal and counterfactual reasoning has been proposed by Spirtes, Glymour, and Scheines. The framework takes as fundamental that reasoning from observation and intervention differ. Intervention includes actual manipulation as well as counterfactual manipulation of a model via thought. To represent intervention, Pearl employed the do operator that simplifies the structure of a causal model by disconnecting an intervened-on variable from its normal causes. Construing the do operator as a psychological function affords predictions about how people (...) reason when asked counterfactual questions about causal relations that we refer to as undoing, a family of effects that derive from the claim that intervened-on variables become independent of their normal causes. Six studies support the prediction for causal arguments but not consistently for parallel conditional ones. Two of the studies show that effects are treated as diagnostic when their values are observed but nondiagnostic when they are intervened on. These results cannot be explained by theories that do not distinguish interventions from other sorts of events. (shrink)

This paper reviews the largely psychological literature surrounding apparent failures of human rationality (sometimes referred to as 'the Rationality Wars') and locates it with respect to concepts and issues within more traditional epistemological inquiry. The goal is to bridge the gap between these two large and typically disconnected literatures – concerning rationality and the psychology of human reasoning, on the one hand, and epistemological theories of justified or rational belief, on the other – and to do so in such as (...) way as to expose interesting points of contact and convergence between them. (shrink)

An important debate in the reasoning literature concerns the extent to which inference processes are domain-free or domain-specific. Typically, evidence in support of the domain-specific position comprises the facilitation observed when abstract reasoning tasks are set in realistic context. Three experiments are reported here in which the sources of facilitation were investigated for contextualised versions of Raven's Progressive Matrices (Richardson, 1991) and non-verbal analogies from the AH4 test (Richardson & Webster, 1996). Experiment 1 confirmed that the facilitation observed for the (...) contextualised matrices was in part due to extraneous aspects of commentaries originally intended to activate domainspecific processes. Experiments 2 and 3 indicated that the remainder of the facilitation for the matrices, and all of the facilitation for the analogies, could be explained by visual salience: Converting the item elements into realistic objects had enabled them and their transitions to be identified more easily. Hence, performance at simplified abstract items was as good as, or better than, at contextualised items. It is concluded that facilitation effects cannot be interpreted as showing that domain-specific processes constitute a self-contained system separate from domain-free processes. In turn, this means that domain-free processes cannot be dismissed as being unimportant for reasoning. (shrink)

The paper presents the theoretical and methodological aspects of research on the development of argument- ation in elementary school children. It presents a theoretical framework detailing psychological mechanisms responsible for the acquisition and transfer of argumentative discourse and demonstrates several applications of the framework, described in sufficient detail to guide future empirical investigations of oral, written, individual, or group argumentation performance. Software programs capable of facilitating data analysis are identified and their uses illustrated. The analytic schemes can be used to (...) analyze large amounts of verbal data with reasonable precision and efficiency. The conclusion addresses more generally the challenges for and possibilities of empirical study of the development of argumentation. (shrink)

Homo sociologicus and homo oeconomicus are, for different reasons, unsatisfactory models for the social sciences. A third model, called “rational model in the broad sense”, seems better endowed to cope with the many different expressions of rationality of the social agent. Some contributions by Weber, Durkheim and Marx are early examples of the application of this model of social explanation based on good subjective reasons. According to this model and to the evidence of cognitive anthropology, it is possible to reconcile (...) primitive thinking with the inferential principles of Western people. Lastly, cognitive psychology can contribute to the discovery of generalizations of reason-based choices that can strengthen the explanatory power of “rational model in the broad sense”. (shrink)

We report two new phenomena of deontic reasoning: (1) For conditionals with deontic content such as, "If the nurse cleaned up the blood then she must have worn rubber gloves", reasoners make more modus tollens inferences (from "she did not wear rubber gloves" to "she did not clean up the blood") compared to conditionals with epistemic content. (2) For conditionals in the subjunctive mood with deontic content, such as, "If the nurse had cleaned up the blood then she must have (...) had to wear rubber gloves", reasoners make the same frequency of all inferences as they do for conditionals in the indicative mood with deontic content. In this regard, subjunctive deontics are different from subjunctive epistemic conditionals: reasoners interpret subjunctive epistemic conditionals as counterfactual and they make more negative inferences such as modus tollens from them. The experiments show these two phenomena occur for deontic conditionals that contain the modal auxiliary "must" and ones that do not. We discuss the results in terms of the mental representations of deontic conditionals and of counterfactual conditionals. (shrink)

We address the problem of predicting how people will spontaneously divide into groups a set of novel items. This is a process akin to perceptual organization. We therefore employ the simplicity principle from perceptual organization to propose a simplicity model of unconstrained spontaneous grouping. The simplicity model predicts that people would prefer the categories for a set of novel items that provide the simplest encoding of these items. Classification predictions are derived from the model without information either about the number (...) of categories sought or information about the distributional properties of the objects to be classified. These features of the simplicity model distinguish it from other models in unsupervised categorization (where, for example, the number of categories sought is determined via a free parameter), and we discuss how these computational differences are related to differences in modeling objectives. The predictions of the simplicity model are validated in four experiments. We also discuss the significance of simplicity in cognitive modeling more generally. (shrink)

Periodically, by a rough estimate twice per decade, a new popular book aspires to shake our common understanding of rationality. Since this concept is not only the backbone of normative analysis in...

Three experiments investigated the contrasting predictions of the evolutionary and decision-theoretic approaches to deontic reasoning. Two experiments embedded a hazard management (HM) rule in a social contract scenario that should lead to competition between innate modules. A 3rd experiment used a pure HM task. Threatening material was also introduced into the antecedent, p, of a deontic rule, if p then must q. According to the evolutionary approach, more HM responses (Cosmides & Tooby, 2000) are predicted when p is threatening, whereas (...) decision theory predicts fewer. All 3 experiments were consistent with decision theory. Other theories are discussed, and it is concluded that they cannot account for the behavior observed in these experiments. (shrink)

In two experiments, we investigated how people interpret and reason with realistic conditionals in the form of inducements (i.e., promises and threats) and advice (i.e., tips and warnings). We found that inducements and advice differed with respect to the degree to which the speaker was perceived to have (a) control over the consequent, (b) a stake in the outcome, and (c) an obligation to ensure that the outcome occurs. Inducements and advice also differed with respect to perceived sufficiency and necessity, (...) as well as the degree to which these statements were perceived to be effective in changing the behaviour described in the antecedent of the conditional. Multiple regression analyses indicated that perceived control over the consequent, necessity, and sufficiency emerged as the best predictors of (a) the degree to which statements were perceived to be effective in changing the behaviour of the addressee, and (b) inference patterns on a conditional arguments task. (shrink)