In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably structured according to (...) the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We further show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and we give a sound and complete axiomatization with respect to them. This approach to the agent’s internal deductive reasoning is finally combined with actions of external information. (shrink)

A consistent finding in research on conditional reasoning is that individuals are more likely to endorse the valid modus ponens (MP) inference than the equally valid modus tollens (MT) inference. This pattern holds for both abstract task and probabilistic task. The existing explanation for this phenomenon within a Bayesian framework (e.g., Oaksford & Chater, 2008) accounts for this asymmetry by assuming separate probability distributions for both MP and MT. We propose a novel explanation within a computational-level Bayesian account of reasoning (...) according to which “argumentation is learning”. We show that the asymmetry must appear for certain prior probability distributions, under the assumption that the conditional inference provides the agent with new information that is integrated into the existing knowledge by minimizing the Kullback-Leibler divergence between the posterior and prior probability distribution. We also show under which conditions we would expect the opposite pattern, an MT-MP asymmetry. (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.

Research into the cognition of conditionals has predominantly focused on conditional reasoning, producing a range of theories which explain associated phenomena with considerable success. However, such theories have been less successful in accommodating experimental data concerning how agents assess the probability of indicative conditionals. Since an acceptable account of conditional reasoning should be compatible with evidence regarding how we evaluate conditionals’ likelihoods, this constitutes a failing of such theories. Section 1 introduces the most dominant established approach to conditional reasoning: mental (...) models theory. Surveying a range of experimental results, I show that mental models theory (along with competing theories) is incapable of fully accounting for findings regarding judgements about conditionals’ probabilities. Section 2 introduces an alternative account of deductive reasoning, the erotetic theory, recently proposed by Koralus and Mascarenhas (2013). Section 3 argues that, given a natural extension, this theory is able to explain the otherwise unaccounted for data. (shrink)

In this paper the arguments for optimal data selection and the contrast class account of negations in the selection task and the conditional inference task are summarised, and contrasted with the matching bias approach. It is argued that the probabilistic contrast class account provides a unified, rational explanation for effects across these tasks. Moreover, there are results that are only explained by the contrast class account that are also discussed. The only major anomaly is the explicit negations effect in the (...) selection task (Evans, Clibbens, & Rood, 1996), which it is argued may not be the result of normal interpretative processes. It is concluded that the effects of negation on human reasoning provide good evidence for the view that human reasoning processes may be rational according to a probabilistic standard. (shrink)

We examined a large set of conditional inference data compiled from several previous studies and asked three questions: How is normative performance related to intelligence? Does negative conclusion bias stem from Type 1 or Type 2 processing? Does implicit negation bias stem from Type 1 or Type 2 processing? Our analysis demonstrated that rejecting denial of the antecedent and affirmation of the consequent inferences was positively correlated with intelligence, while endorsing modus tollens inferences was not; that the occurrence of negative (...) conclusion bias was related to the extent of Type 2 processing; and that the occurrence of implicit negation bias was not related to the extent of Type 2 processing. We conclude that negative conclusion bias is, at least in part, a product of Type 2 processing, while implicit negation bias is not. (shrink)

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)

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 addresses the apparent mismatch between the normative and descriptive literatures in the cognitive science of conditional reasoning. Descriptive psychological theories still regard material implication as the normative theory of the conditional. However, over the last 20 years in the philosophy of language and logic the idea that material implication can account for everyday indicative conditionals has been subject to severe criticism. The majority view is now apparently in favour of a subjective conditional probability interpretation. A comparative model fitting (...) exercise is presented that shows that a conditional probability model can explain as much of the data on abstract indicative conditional reasoning tasks as psychological theories that supplement material implication with various rationally unjustified processing assumptions. Consequently, when people are asked to solve laboratory reasoning tasks, they can be seen as simply generalising their everyday probabilistic reasoning strategies to this novel context. (shrink)

We report two studies on the effect of implicitly versus explicitly conveying affirmation and denial problems about conditionals. Recently Evans and Handley (1999) and Schroyens et al. (1999b, 2000b) showed that implicit referencing elicits matching bias: Fewer determinate inferences are made, when the categorical premise (e.g., B) mismatches the conditional's referred clause (e.g., A). Also, the effect of implicit affirmation (B affirms not-A) is larger than the effect of implicit denial (B denies A). Schroyens et al. hypothesised that this interaction (...) is due to uncertainty in the case-wise affirmation of the contrast class of negated elements involved in implicit affirmations. In Experiment 1 we tested this hypothesis by manipulating the set size of the conditional clauses. The results confirm that binary sets, where the contrast class is a singleton, eliminate the differential effect of implicit affirmation and denial. With non-binary sets the interaction is not modulated by the scope of the contrast class (3, 5, 9 elements). Experiment 2 further investigated the role of contrast classes by using class inclusion to construct implicit affirmations (Mammal vs Mammal or Monkey) and implicit denial (No-Mammal vs Mammal or Monkey), in addition to the standard implicit problems mediated by contrast-class inclusion [(No-)Mammal/No-Mammal; Reptile; Snake). Findings indicate that class inclusion (Mammal/Monkey; Reptile/ Snake) only marginally affects performance, and is independent of the type of problem. This would suggest that the implicitness problem-type interaction is dependent on constructing contrast classes. However, the experiment failed to replicate the interaction, even on the subset of problems repeating the abstract letter/number format of Experiment 1. Moreover, with the natural binary set-sizes (vowels/consonants) the implicitness effect was eliminated entirely. (shrink)

This paper addresses the apparent mismatch between the normative and descriptive literatures in the cognitive science of conditional reasoning. Descriptive psychological theories still regard material implication as the normative theory of the conditional. However, over the last 20 years in the philosophy of language and logic the idea that material implication can account for everyday indicative conditionals has been subject to severe criticism. The majority view is now apparently in favour of a subjective conditional probability interpretation. A comparative model fitting (...) exercise is presented that shows that a conditional probability model can explain as much of the data on abstract indicative conditional reasoning tasks as psychological theories that supplement material implication with various rationally unjustified processing assumptions. Consequently, when people are asked to solve laboratory reasoning tasks, they can be seen as simply generalising their everyday probabilistic reasoning strategies to this novel context. (shrink)

Two experiments examined the contribution of working memory (WM) to the retrieval and inhibition of background knowledge about counterexamples (alternatives and disablers, Cummins, ) during conditional reasoning. Experiment 1 presented a conditional reasoning task with everyday, causal conditionals to a group of people with high and low WM spans. High spans rejected the logically invalid AC and DA inferences to a greater extent than low spans, whereas low spans accepted the logically valid MP and MT inferences less frequently than high (...) spans. In Experiment 2, an executive-attention-demanding secondary task was imposed during the reasoning task. Findings corroborate that WM resources are used for retrieval of stored counterexamples and that people with high WM spans will use WM resources to inhibit the counterexample activation when the type of counterexample conflicts with the logical validity of the reasoning problem. (shrink)