The commentators of our target article present several detailed arguments to refute the opposing theory. The real issue, however, seems to be the fundamental question of how the mind represents the content of beliefs. We distinguish between qualitative, quantitative and comparative approaches to modeling uncertain beliefs. We describe which theory falls into which of these classes. We also argue that the comparative level is the most fundamental, and challenge commentators to justify why they think that beliefs have more or less (...) structure in the human mind than can be captured at the comparative level. (shrink)

ABSTRACTProbability judgements entail a conjunction fallacy if a conjunction is estimated to be more probable than one of its conjuncts. In the context of predication of alternative logical hypothesis, Bayesian logic provides a formalisation of pattern probabilities that renders a class of pattern-based CFs rational. BL predicts a complete system of other logical inclusion fallacies. A first test of this prediction is investigated here, using transparent tasks with clear set inclusions, varying in observed frequencies only. Experiment 1 uses data where (...) BL makes dominant predictions; Experiment 2's predictions were less clear, and we additionally investigated judgements about the second-most probable hypotheses. The results corroborated a pattern-probability account and cannot be easily explained by other theories of CFs. IFs were not limited to conjunctions, but rather occurred systematically for several logical connectives. Thus, pattern-based prob... (shrink)

The Monty Hall Dilemma (MHD) is a two-step decision problem involving counterintuitive conditional probabilities. The first choice is made among three equally probable options, whereas the second choice takes place after the elimination of one of the non-selected options which does not hide the prize. Differing from most Bayesian problems, statistical information in the MHD has to be inferred, either by learning outcome probabilities or by reasoning from the presented sequence of events. This often leads to suboptimal decisions and erroneous (...) probability judgments. Specifically, decision makers commonly develop a wrong intuition that final probabilities are equally distributed, together with a preference for their first choice. Several studies have shown that repeated practice enhances sensitivity to the different reward probabilities, but does not facilitate correct Bayesian reasoning. However, modest improvements in probability judgments have been observed after guided explanations. To explain these dissociations, the present review focuses on two types of causes producing the observed biases: Emotional-based choice biases and cognitive limitations in understanding probabilistic information. Among the latter, we identify a crucial cause for the universal difficulty in overcoming the equiprobability illusion: Incomplete representation of prior and conditional probabilities. We conclude that repeated practice and/or high incentives can be effective for overcoming choice biases, but promoting an adequate partitioning of possibilities seems to be necessary for overcoming cognitive illusions and improving Bayesian reasoning. (shrink)

This work examines the influence of reference dependence, including value selection bias and congruence effects, on diagnostic reasoning. Across two studies, we explored how dependence on the initial problem structure influences the ability to solve simplified precursors to the more traditional Bayesian reasoning problems. Analyses evaluated accuracy and types of response errors as a function of congruence between the problem presentation and question of interest, amount of information, need for computation, and individual differences in numerical abilities. Across all problem variations, (...) there was consistent and strong evidence of a value selection bias in that incorrect responses almost always conformed to values that were provided in the problem rather than other errors including those related to computation. The most consistent and unexpected error across all conditions in the first experiment was that people were often more likely to utilize the superordinate value as part of their solution rather than the anticipated reference class values. This resulted in a weakened effect of congruence, with relatively low accuracy even in congruent conditions, and a dominant response error of the superordinate value. Experiment 2 confirmed that the introduction of a new sample drew attention away from the provided reference class, increasing reliance on the overall sample size. This superordinate preference error, along with the benefit of repeating the PPV reference class within the question, demonstrated the importance of reference dependence based on the salience of information within the response prompt. Throughout, higher numerical skills were generally associated with higher accuracy, whether calculations were required or not. (shrink)

Four experiments investigated uncertainty about a premise in a deductive argument as a function of the expertise of the speaker and of the conversational context. The procedure mimicked everyday reasoning in that participants were not told that the premises were to be treated as certain. The results showed that the perceived likelihood of a conclusion was greater when the major or the minor premise was uttered by an expert rather than a novice (Experiment 1). The results also showed that uncertainty (...) about the conclusion was higher when the major premise was uttered by a novice and an alternative premise by an expert, compared to when the major premise was uttered by an expert and the alternative by a novice (Experiment 2). Similarly, the believability of a conclusion was considerably lower when the minor premise was uttered by a novice and denied by an expert, as opposed to when an expert uttered the minor premise and a novice denied it (Experiment 3). Experiment 4 showed that the nature of the uncertainty induced by a denial of the minor premise depended on whether or not the context was a conversation. These results pose difficult problems for current theories of reasoning, as current theories are based on the results of experiments in which the premises are treated as certain. Our discussion of the results emphasises the importance of pragmatics in reasoning, namely, the role of general knowledge about the world in assessing the probability of a premise uttered by an expert or a novice and the role of interpretations of the premise based on pragmatic inferences in revising these initial probabilities. (shrink)

Quantum probability theory (QP) is the best formal representation available of the most common form of judgment involving attribute comparison (inside judgment). People are capable, however, of judgments that involve proportions over sets of instances (outside judgment). Here, the theory does not do so well. I discuss the theory both in terms of descriptive adequacy and normative appropriateness.

The verbs cause, enable, and prevent express beliefs about the way the world works. We offer a theory of their meaning in terms of the structure of those beliefs expressed using qualitative properties of causal models, a graphical framework for representing causal structure. We propose that these verbs refer to a causal model relevant to a discourse and that “A causes B” expresses the belief that the causal model includes a link from A to B. “A enables/allows B” entails that (...) the model includes a link from A to B, that A represents a category of events necessary for B, and that an alternative cause of B exists. “A prevents B” entails that the model includes a link from A to B and that A reduces the likelihood of B. This theory is able to account for the results of four experiments as well as a variety of existing data on human reasoning. (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)

The distinction between rules and similarity is central to our understanding of much of cognitive psychology. Two aspects of existing research have motivated the present work. First, in different cognitive psychology areas we typically see different conceptions of rules and similarity; for example, rules in language appear to be of a different kind compared to rules in categorization. Second, rules processes are typically modeled as separate from similarity ones; for example, in a learning experiment, rules and similarity influences would be (...) described on the basis of separate models. In the present article, I assume that the rules versus similarity distinction can be understood in the same way in learning, reasoning, categorization, and language, and that a unified model for rules and similarity is appropriate. A rules process is considered to be a similarity one where only a single or a small subset of an object's properties are involved. Hence, rules and overall similarity operations are extremes in a single continuum of similarity operations. It is argued that this viewpoint allows adequate coverage of theory and empirical findings in learning, reasoning, categorization, and language, and also a reassessment of the objectives in research on rules versus similarity. Key Words: categorization; cognitive explanation; language; learning; reasoning; rules; similarity. (shrink)

I take up the four issues considered by Johnson -Laird, Byrne and Girotto in their reply to Politzer. Based on the conceptual clarification which they adduce, it seems that the disagreement can be settled about the first one and can be attenuated about the second one. However, I maintain and refine my criticisms on the last two, backed up by considerations borrowed from the perspective of the conditional probability semantics for conditionals.

We take coherence based probability logic as the basic reference theory to model human deductive reasoning. The conditional and probabilistic argument forms are explored. We give a brief overview of recent developments of combining logic and probability in psychology. A study on conditional inferences illustrates our approach. First steps towards a process model of conditional inferences conclude the paper.

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)

According to mental model theory, illusory inferences are a class of deductions in which individuals systematically go wrong. Mental model theory explains them invoking the principle of truth, which is a tendency not to represent models that falsify the premises. In this paper we focus on the illusory problems based on conditional sentences. In three experiments, we show that: (a) rather than not representing models that falsify the conditionals, participants have a different understanding of what falsifies a conditional (Experiment I); (...) (b) specifically, participants think that a conditional with an impossible antecedent or consequent is false (Experiment 2); (c) if the domain of the conditionals in the illusory problems are expanded to show that their antecedents and consequents are possible, the participants find it easy to reach the correct conclusions (Experiment 3). According to our results, the illusory inferences based on conditional premises, differently from those based on disjunctive premises, are caused by a difference between the understanding of natural language factual conditionals and the truth table of the factual implication; the principle of truth is not necessary to explain them. (shrink)

Four experiments investigated the effects of probability manipulations on the indicative four card selection task (Wason, 1966, 1968). All looked at the effects of high and low probability antecedents (p) and consequents (q) on participants' data selections when determining the truth or falsity of a conditional rule, if p then q . Experiments 1 and 2 also manipulated believability. In Experiment 1, 128 participants performed the task using rules with varied contents pretested for probability of occurrence. Probabilistic effects were observed (...) which were partly consistent with some probabilistic accounts but not with non-probabilistic approaches to selection task performance. No effects of believability were observed, a finding replicated in Experiment 2 which used 80 participants with standardised and familiar contents. Some effects in this experiment appeared inconsistent with existing probabilistic approaches. To avoid possible effects of content, Experiments 3 (48 participants) and 4 (20 participants) used abstract material. Both experiments revealed probabilistic effects. In the Discussion we examine the compatibility of these results with the various models of selection task performance. (shrink)

We propose that the pragmatic factors that mediate everyday deduction, such as alternative and disabling conditions (e.g. Cummins et al., 1991) and additional requirements (Byrne, 1989) exert their effects on specific inferences because of their perceived relevance to more general principles, which we term SuperPs. Support for this proposal was found first in two causal inference experiments, in which it was shown that specific inferences were mediated by factors that are relevant to a more general principle, while the same inferences (...) were unaffected by factors not relevant to the general principle. These results were extended to deontic inferences in two further experiments. Taken together, these findings show that unstated superordinate principles play a significant role in certain types of reasoning. Questions raised by the findings for the main theoretical approaches are discussed. (shrink)

Consistent with Barbey & Sloman (B&S), it is proposed that performance on Bayesian inference tasks is well explained by nested sets theory (NST). However, contrary to those authors' view, it is proposed that NST does better by dispelling with dual-systems assumptions. This article examines why, and sketches out a series of NST's core principles, which were not previously defined.

(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 article presents a fundamental advance in the theory of mental models as an explanation of reasoning about facts, possibilities, and probabilities. It postulates that the meanings of compound assertions, such as conditionals (if) and disjunctions (or), unlike those in logic, refer to conjunctions of epistemic possibilities that hold in default of information to the contrary. Various factors such as general knowledge can modulate these interpretations. New information can always override sentential inferences; that is, reasoning in daily life is defeasible (...) (or nonmonotonic). The theory is a dual process one: It distinguishes between intuitive inferences (based on system 1) and deliberative inferences (based on system 2). The article describes a computer implementation of the theory, including its two systems of reasoning, and it shows how the program simulates crucial predictions that evidence corroborates. It concludes with a discussion of how the theory contrasts with those based on logic or on probabilities. (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)

We describe a dual-process theory of how individuals estimate the probabilities of unique events, such as Hillary Clinton becoming U.S. President. It postulates that uncertainty is a guide to improbability. In its computer implementation, an intuitive system 1 simulates evidence in mental models and forms analog non-numerical representations of the magnitude of degrees of belief. This system has minimal computational power and combines evidence using a small repertoire of primitive operations. It resolves the uncertainty of divergent evidence for single events, (...) for conjunctions of events, and for inclusive disjunctions of events, by taking a primitive average of non-numerical probabilities. It computes conditional probabilities in a tractable way, treating the given event as evidence that may be relevant to the probability of the dependent event. A deliberative system 2 maps the resulting representations into numerical probabilities. With access to working memory, it carries out arithmetical operations in combining numerical estimates. Experiments corroborated the theory's predictions. Participants concurred in estimates of real possibilities. They violated the complete joint probability distribution in the predicted ways, when they made estimates about conjunctions: P, P, P, disjunctions: P, P, P, and conditional probabilities P, P, P. They were faster to estimate the probabilities of compound propositions when they had already estimated the probabilities of each of their components. We discuss the implications of these results for theories of probabilistic reasoning. (shrink)

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.

The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental representation of a (...) conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

Humans have long been characterized as poor probabilistic reasoners when presented with explicit numerical information. Bayesian word problems provide a well-known example of this, where even highly educated and cognitively skilled individuals fail to adhere to mathematical norms. It is widely agreed that natural frequencies can facilitate Bayesian reasoning relative to normalized formats (e.g. probabilities, percentages), both by clarifying logical set-subset relations and by simplifying numerical calculations. Nevertheless, between-study performance on “transparent” Bayesian problems varies widely, and generally remains rather unimpressive. (...) We suggest there has been an over-focus on this representational facilitator (i.e. transparent problem structures) at the expense of the specific logical and numerical processing requirements and the corresponding individual abilities and skills necessary for providing Bayesian-like output given specific verbal and numerical input. We further suggest that understanding this task-individual pair could benefit from considerations from the literature on mathematical cognition, which emphasizes text comprehension and problem solving, along with contributions of online executive working memory, metacognitive regulation, and relevant stored knowledge and skills. We conclude by offering avenues for future research aimed at identifying the stages in problem solving at which correct versus incorrect reasoners depart, and how individual difference might influence this time point. (shrink)

Shors & Matzel (1997) suggest replacing the question “Is LTP a mechanism of learning?” with “Is LTP a mechanism of arousal and attention?” However, the failure of experiments to verify the LTP-learning hypothesis may arise not because it is untrue, but because in its current guise, it is not properly testable. If so, then the LTP-attention hypothesis is untestable, as well.

Familiar accounts have it that one explains thoughts or actions by showing them to be rational. It is common to find that the standards of rationality presupposed in these accounts are drawn from what would be thought to be aprioristic sources. I advance an argument to show this must be mistaken. But, recent work in epistemology and on rationality takes a less aprioristic approach to such standards. Does the new (psychological or cognitive scientific) realism in accounts of rationality itself significantly (...) improve the prospects for unproblematic forms of rationalizing explanation? Do earlier misgivings about rationalizing explanation ring hollow when the rationality to be attributed is "naturalized"? Answer: while explanation in terms of naturalized rationality would be free of one fatal flaw possessed by explanation in terms of rationality understood in the traditional fashion, it would yet have parallel flaws. (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)

The terms nested sets, partitive frequencies, inside-outside view, and dual processes add little but confusion to our original analysis (Gigerenzer & Hoffrage 1995; 1999). The idea of nested set was introduced because of an oversight; it simply rephrases two of our equations. Representation in terms of chances, in contrast, is a novel contribution yet consistent with our computational analysis System 1.dual process theory” is: Unless the two processes are defined, this distinction can account post hoc for almost everything. In contrast, (...) an ecological view of cognition helps to explain how insight is elicited from the outside (the external representation of information) and, more generally, how cognitive strategies match with environmental structures. (shrink)