It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the A-worlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...) antecedents at some world, the same worlds are deemed as relevant for all occasions of utterance. But surely this is inadequate, if shifts of contexts between occasions are to be accounted for. Both the linguistic and logical implications of this defect are discussed, and in order to overcome it a modification of David Lewis’ ordering semantics for counterfactuals is developed for a modified language. I follow Lewis by letting contexts determine comparative similarity assignments, and show that the addition of syntactic context parameters (context indices) to the language gives the freedom required to switch between sets of relevant antecedent worlds from occasion to occasion by choosing the corresponding similarity assignment accordingly. Thus an account that extends Lewis’ analysis of a language containing a single counterfactual connective > to a language containing infinitely many counterfactual connectives >_c, each indexed by a different context name c, overcomes the limitations of traditional analyses. Finally it is also shown that these traditional accounts can be recovered from the modified account if certain contextual restrictions are in place. -/- . (shrink)

The nature of the cognition-motor interface has been brought to prominence by Butterfill & Sinigaglia, who argue that the representations employed by the cognitive and motor systems should not be able to interact with each other. Here I argue that recent empirical evidence concerning the interface contradicts several of the assumptions incorporated in Butterfill & Sinigaglia’s account, and I seek to develop a theoretical picture that will allow us to explain the structure of the interface presented by this evidence. The (...) central idea is that neural plasticity incorporates metarepresentational rules for constructing representational systems and linking them. The structure of the cognition-motor interface is constructed flexibly during development and skill learning based on information processing demands. (shrink)

Currie’s (2010) argument that “i-desires” must be posited to explain our responses to fiction is critically discussed. It is argued that beliefs and desires featuring ‘in the fiction’ operators—and not sui generis imaginings (or "i-beliefs" or "i-desires")—are the crucial states involved in generating fiction-directed affect. A defense of the “Operator Claim” is mounted, according to which ‘in the fiction’ operators would be also be required within fiction-directed sui generis imaginings (or "i-beliefs" and "i-desires"), were there such. Once we appreciate that (...) even fiction-directed sui generis imaginings would need to incorporate ‘in the fiction’ operators, the main appeal of the idea that sui generis imaginings (or "i-beliefs" or "i-desires") are at work in fiction-appreciation dissipates. [This is Chapter 10 of Explaining Imagination (OUP, 2020)]. (shrink)

Comparatively easy questions we might ask about creativity are distinguished from the hard question of explaining transformative creativity. Many have focused on the easy questions, offering no reason to think that the imagining relied upon in creative cognition cannot be reduced to more basic folk psychological states. The relevance of associative thought processes to songwriting is then explored as a means for understanding the nature of transformative creativity. Productive artificial neural networks—known as generative antagonistic networks (GANs)—are a recent example of (...) how a system’s ability to generate novel products can both be finely tuned by prior experience and grounded in strategies that cannot be articulated by the system itself. Further, the kinds of processes exploited by GANs need not be seen as incorporating something akin to sui generis imaginative states. The chapter concludes with reflection on the added relevance of personal character to explanations of creativity. [This is Chapter 12 of the book Explaining Imagination.]. (shrink)

​Imagination will remain a mystery—we will not be able to explain imagination—until we can break it into parts we already understand. Explaining Imagination is a guidebook for doing just that, where the parts are other ordinary mental states like beliefs, desires, judgments, and decisions. In different combinations and contexts, these states constitute cases of imagining. This reductive approach to imagination is at direct odds with the current orthodoxy, according to which imagination is a sui generis mental state or process—one with (...) its own inscrutable principles of operation. Explaining Imagination upends that view, showing how, on closer inspection, the imaginings at work in hypothetical reasoning, pretense, the enjoyment of fiction, and creativity are reducible to other familiar mental states—judgments, beliefs, desires, and decisions among them. Crisscrossing contemporary philosophy of mind, cognitive science, and aesthetics, Explaining Imagination argues that a clearer understanding of imagination is already well within reach. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...) of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based on mental models. Reasoners vary their use of tactics in ways that have no deterministic account. This variation leads different individuals to assemble different strategies, which include the construction of incremental diagrams corresponding to mental models, (...) and the pursuit of the consequences of a single model step by step. Moreover, the difficulty of a problem (i.e., the number of mental models required by the premises) predisposes reasoners towards certain strategies. Likewise, the sentential connectives in the premises also bias reasoners towards certain strategies, e.g., conditional premises tend to elicit reasoning step by step whereas disjunctive premises tend to elicit incremental diagrams. (shrink)

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)

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)

When people understand a counterfactual such as “if the flowers had been roses, the trees would have been orange trees,” they think about the conjecture, “there were roses and orange trees,” and they also think about its opposite, the presupposed facts. We test whether people think about the opposite by representing alternates, for example, “poppies and apple trees,” or whether models can contain symbols, for example, “no roses and no orange trees.” We report the discovery of an inference‐to‐alternates effect—a tendency (...) to make an affirmative inference that refers to an alternate even from a negative minor premise, for example, “there were no orange trees, therefore there were poppies.” Nine experiments show the inference‐to‐alternates effect occurs in a binary context, but not a multiple context, and for direct and indirect reference; it can be induced and reduced by prior experience with similar inferences, and it also occurs for indicative conditionals. The results have implications for theories of counterfactual conditionals, and of negation. (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)

This study examined the hypothesis that conditional reasoning involves visual short-term memory resources (Johnson-Laird, 1985). A total of 147 university students were given measures of verbal and visual short-term memory capacity and a series of concrete and abstract conditional reasoning problems. Results indicate that there is a positive correlation between verbal working memory capacity and reasoning with both concrete and abstract premises. A positive correlation was also obtained between visual working memory capacity and reasoning with concrete premises.

Prior research shows mixed findings regarding individuals’ belief-revision strategies. The current research is aimed to test (a) whether individuals’ reasoning across abstract vs real-world content shows similarity, and (b) whether individuals’ syllogistic reasoning predicts their belief-revision strategies. Experiment 1, testing 76 participants (50 females), provides evidence for the similarity in reasoning across abstract and real-world content (p.05). Individuals seem to revise the conditional statement in the AC and DA inferences, especially when the content poses a threat. In contrast, individuals prefer (...) to revise the categorical premise in the MT inferences, especially when the content poses a threat. These findings suggest that in the face of inconsistency individuals’ decision about which of their prior beliefs they should revise is influenced by the structure and content of the belief-contravening problem rather than their reasoning ability. (shrink)

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)

In this paper, I flesh out an account of the inferential basing relation using a theory about how humans reason: the mental models theory. I critically assess some of the notions that are used by that theory to account for inferential phenomena. To the extent that the mental models theory is well confirmed, that account of basing would be motivated on empirical grounds. This work illustrates how epistemologists could offer explications of the basing relation which are more detailed and less (...) empirically risky. (shrink)

In Wason’s Selection Task, subjects: process information from the instructions and build a mental representation of the problem, then: select a course of action to solve the problem,under the constraints imposed by the instructions. We analyze both aspects as part of a constraint satisfaction problem without assuming Wason’s ‘logical’ solution to be the correct one. We show that outcome of step may induce mutually inconsistent constraints, causing subjects to select at step solutions that violate some of them. Our analysis explains (...) why inconsistent constraints are less likely disrupt non-abstract versions of the tasks, but unlike Bayesians does not posit different mechanisms in abstract and thematic variants. We then assess the logicality of the task, and conclude on cognitive tasks as coordination problems. (shrink)

People can be taught to manipulate symbols according to formal mathematical and logical rules. Cognitive scientists have traditionally viewed this capacity—the capacity for symbolic reasoning—as grounded in the ability to internally represent numbers, logical relationships, and mathematical rules in an abstract, amodal fashion. We present an alternative view, portraying symbolic reasoning as a special kind of embodied reasoning in which arithmetic and logical formulae, externally represented as notations, serve as targets for powerful perceptual and sensorimotor systems. Although symbolic reasoning often (...) conforms to abstract mathematical principles, it is typically implemented by perceptual and sensorimotor engagement with concrete environmental structures. (shrink)

Participants acting as mock jurors made inferences about whether a person was a suspect in a murder based on an expert's testimony about the presence of objects at the crime scene and the disclosure that the testimony was true or false. Experiment 1 showed that participants made more correct inferences, and made inferences more quickly, when the truth or falsity of the expert's testimony was disclosed immediately after the testimony rather than when the disclosure was delayed. Experiment 2 showed no (...) advantage for prior disclosure over immediate disclosure. Experiment 3 showed that the pattern of inferences when there was no disclosure mirrored the pattern when it was disclosed that the expert's testimony was true rather than false. Participants made more correct inferences from true conjunctions than disjunctions, and from false disjunctions than conjunctions. We discuss the implications for theories of the mental representations and cognitive processes that underlie human reasoning. (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)

Shastri & Ajjanagadde argue convincingly that both structured connectionist networks and parallel dynamic inferencing are necessary for reflexive reasoning - a kind of inferencing and reasoning that occurs rapidly, spontaneously, and without conscious effort, and which seems necessary for everyday tasks such as natural language understanding. As S&A describe, reflexive reasoning requires a solution to thedynamic binding problem, that is, how to encode systematic and abstract knowledge and instantiate it in specific situations to draw appropriate inferences. Although symbolic artificial intelligence (...) systems trivially solve the dynamic binding problem using computers' registers and pointers, it has remained a difficult problem for connectionist systems. S&A's temporal synchrony solution to the dynamic binding problem using synchronous firing of argument units and the entities that are bound to them illustrates one way in which connectionist networks can do thisusing a constrained but important class of long-term knowledge rules. Their structured connectionist solution allows dynamic inferencing to proceed in parallel and therefore has a number of advantages for reflexive reasoning over most other connectionist and symbolic systems. (shrink)

Lange & Dyer misunderstand what is meant by an “entity” and confuse a medium of representation with the content being represented. This leads them to the erroneous conclusion that SHRUTI will run out of phases and that its representation of bindings lacks semantic content. It is argued that the limit on the number of phases suffices, and SHRUTI can be interpreted as using “dynamic signatures” that offer significant advantages over fixed preexisting signatures. Bonatti refers to three levels of commitment to (...) a representational theory of the mind and states that SHRUTI is committed to RTM at levels 1 and 2. He acknowledges that SHRUTI is not committed at level 3, but argues that an extended SHRUTI would have to make such a commitment. We agree that SHRUTI is committed to RTM at level 1 and, in a sense, also at level 2. SHRUTI, however, is not committed to RTM at level 3 and, even though it has been extended in several ways, it has retained its original representational character. (shrink)

Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based on mental models. Reasoners vary their use of tactics in ways that are not deterministic. This variation leads different individuals to assemble different strategies, which include the construction of incremental diagram corresponding to mental models, and (...) the pursuit of the consequences of a single model step by step. Moreover, the difficulty of a problem (i.e. the number of mental models required by the premises) predisposes reasoners towards certain strategies. Likewise, the sentential connectives in the premises also bias reasoners towards certain strategies, e.g., conditional premises tend to elicit reasoning step by step whereas disjunctive premises tend to elicit incremental diagrams. (shrink)

Four experiments assessed the relative involvement of different working memory components in two types of reasoning tasks: propositional and spatial reasoning. Using the secondary-task methodology, visual, central-executive, and phonological loads were realised. Although the involvement of visuospatial resources in propositional reasoning has traditionally been considered to be small, an overall analysis of the present data suggests an alternative account. A theoretical analysis of the pattern of results in terms of Evans' (1984, 1989) twostage theory of reasoning is proposed and tested (...) in Experiments 3 and 4, in which direct evidence for the alternative account was obtained: significant disruption of propositional reasoning by a concurrent spatial load. (shrink)

The connective or can be treated as an inclusive disjunction or else as an exclusive disjunction. Although researchers are aware of this distinction, few have examined the conditions under which each interpretation should be anticipated. Based on linguistic-pragmatic analyses, we assume that interpretations are initially inclusive before either (a) remaining so, or (b) becoming exclusive by way of an implicature ( but not both ). We point to a class of situations that ought to predispose disjunctions to inclusive interpretations and (...) to situations that encourage exclusive interpretations. A disjunction's ultimate interpretation is based on its potential informativeness, where the interpretation of the disjunctive utterance having the smallest number of true conditions is considered most informative. Our investigation leads to five experiments employing arbitrary materials. Among the problems expected to encourage inclusive interpretations are those that present disjunctions in the antecedents of conditionals and in question forms. The best candidates to produce implicatures are those disjunctions that underdetermine an expected conjunctive conclusion, although other disjunctive utterances that are more informative as exclusive are discussed and tested. (shrink)

Johnson-Laird's mental models theory claims that reasoning is a semantic process of construction and manipulation of models in working memory of limited capacity. Accordingly, both a deduction and a given interpretation of a premise would be all the harder the higher the number of models they require. The purpose of the present experiment was twofold. First, it aimed to demonstrate that the interpretation of if...then conditional sentences in children (third, sixth, and ninth graders) evolves as a function of the number (...) of models the children can produce. We proposed a theory of conditional reasoning development that hypothesises a developmental trend of three successive levels of interpretations underlain by one, two, and then three models, i.e. conjunctive, biconditional, and conditional respectively. Second, we aimed to show that these different levels correlate with working memory capacities: the higher the working memory span, the higher the number of models underlying the conditional interpretation. These two hypotheses were verified, supporting the mental models theory. The results are compared with the rival theory of mental logic. (shrink)

Two experiments examined the role of conditional reasoning in the logical deduction game, Mastermind . An analysis suggested that Modus Tollens (MT) reasoning could be used to determine the code structure, for example, in determining if any of the colours in the code are repeated. Consistent with this analysis, Experiment 1 showed that only MT errors are correlated with the number of hypotheses advanced in Mastermind . A subsequent analysis showed that conditional reasoning such as Affirming the Consequent (AC) and (...) Denying the Antecedent (DA) could lead to particularly damaging inferences only when the code was four different colours. When that was known before play, Experiment 2 showed that AC errors, but not MT errors, were significantly correlated with Mastermind hypotheses advanced. A stepwise multiple regression analysis supported these findings: When the solvers knew they were playing a four-colour code, there was a slight diminution in the variance explained by MT errors, and a significant increase in the variance explained by AC errors. An analysis of the number of different possible codes that could be consistent with hypotheses actually played showed that the number of such codes is far fewer when the code consists of four different colours than when its structure is not known. This analysis suggests that reasoners are therefore unlikely to discover many alternative causes for the feedback given when the code consists of four different colours, and it is under these conditions that humans are most likely to engage in AC reasoning. (shrink)

Byrne has demonstrated that although subjects can make deductively valid inferences of the modus ponens and modus tollens forms, these valid inferences can be suppressed by presenting an appropriate additional premise “If R then Q” with the original conditional “If P then Q”. This suppression effect challenges the assumption of all syntactic theories of conditional reasoning that formal rules of inference such as modus ponens is part of mental logic. This paper argues that both the syntactic and the mental model (...) accounts of the suppression effect are inadequate because they fail to give a principled account of the critical interpretive component involved in reasoning. In contrast, the relative salience model proposed in this study emphasized the centrality of the interpretative processes with the critical component being the relative salience of premises as judged by subjects on the basis of their prior knowledge activated in particular problem situations. Using 120 undergraduates and 120 policemen as subjects, predictions from the model were tested and confirmed in a suppression paradigm and evidence of convergent validity for the construct of salience were obtained. The results cannot be reconciled with either the syntactic view or the mental model view that have dominated theories of conditional reasoning. (shrink)