Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

Language employs various coordinators to connect propositions, a subset of which are “logical” in nature and thus analogous to the truth operators of formal logic. We here focus on two linguistic connectives and their negations: conjunction _and_ and (inclusive) disjunction _or_. Linguistic connectives exhibit a truth-conditional component as part of their meaning (their semantics), but their use in context can give rise to various implicatures and presuppositions (the domain of pragmatics) as well as to inferences that go beyond semantic/pragmatic properties (...) (the result of reasoning processes). We provide a comprehensive review of the role of the logical connectives in language and argue that three sets of factors—semantic, pragmatic, and those related to reasoning—are separate and separable, though some details may differ cross-linguistically. As a way to showcase the argument, we present two experiments in language comprehension in Spanish wherein pragmatic content was minimised and reasoning processes neutered, thus potentially highlighting what might be the default meanings of the connectives under study. In Experiment 1 we show that the conjunctive reading of inclusive disjunction is available in positive contexts other than in syntactically intricate cases such as downward entailing and free choice contexts, contrary to what has been claimed in the literature. In Experiment 2 we show that negated conjunctions and disjunctions in Spanish can easily receive the same interpretation when contrasted against the same context and, moreover, that these interpretations match those available in English, despite claims from the literature that linguistic connectives and local negation interact differently in English and Romance languages. (shrink)

This thesis studies the role of conceptual content in inference and reasoning. The first two chapters offer a theoretical and historical overview of the relation between inference and meaning in philosophy and psychology. In particular, a critical analysis of the formality thesis, i.e., the idea that rational inference is a rule-based and topic-neutral mechanism, is advanced. The origins of this idea in logic and its influence in philosophy and cognitive psychology are discussed. Chapter 3 consists of an analysis of the (...) relationship between inference and representation. It is argued that inference has to be studied from a pluralistic per- spective due to its dependence on different formats of representing information. The following four chapters apply conceptual spaces, a formal theory of concepts within cognitive semantics, to three concept-based inference-types. First, an explication of Sellars notion of material inference is advanced. Later, the model is extended to account for nonmonotonic inference by studying the role expectations in reasoning. Finally, a conceptual space-model of category-based induction is presented. This model predicts most of the empirical properties of this psychological phenomenon and subsumes some of the previous theories in psychology. It is stated that the explanatory fruitfulness of this new approach is evidence for the failure of the formality thesis and calls for a unified model of rational inference that puts semantics at center stage. The last chapter of the thesis discusses how inference and concepts interact in scientific reasoning, which makes constant use of hybrid symbolic structures for representing conceptual information. Stephen Toulmin’s notions of method of representation and inferential technique are developed and applied in a case study about the emergence of the notion of instantaneous speed during the passage from geometrical physics to analytical mechanics. It is claimed that this analysis provides support to the pluralistic perspective for theorizing about reasoning. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

As modern deep networks become more complex, and get closer to human‐like capabilities in certain domains, the question arises as to how the representations and decision rules they learn compare to the ones in humans. In this work, we study representations of sentences in one such artificial system for natural language processing. We first present a diagnostic test dataset to examine the degree of abstract composable structure represented. Analyzing performance on these diagnostic tests indicates a lack of systematicity in representations (...) and decision rules, and reveals a set of heuristic strategies. We then investigate the effect of training distribution on learning these heuristic strategies, and we study changes in these representations with various augmentations to the training set. Our results reveal parallels to the analogous representations in people. We find that these systems can learn abstract rules and generalize them to new contexts under certain circumstances—similar to human zero‐shot reasoning. However, we also note some shortcomings in this generalization behavior—similar to human judgment errors like belief bias. Studying these parallels suggests new ways to understand psychological phenomena in humans as well as informs best strategies for building artificial intelligence with human‐like language understanding. (shrink)

We examine schoolchildren’s reasoning with spatial relations, such as ‘is to the left of’. Our aims are to obtain a more precise account of the effect of working memory on reasoning, a more detaile...

In this dissertation, I construct scientifically and practically adequate moral analogs of cognitive heuristics and biases. Cognitive heuristics are reasoning “shortcuts” that are efficient but flawed. Such flaws yield systematic judgment errors—i.e., cognitive biases. For example, the availability heuristic infers an event’s probability by seeing how easy it is to recall similar events. Since dramatic events, such as airplane crashes, are disproportionately easy to recall, this heuristic explains systematic overestimations of their probability (availability bias). The research program on cognitive heuristics (...) and biases (e.g., Daniel Kahneman’s work) has been scientifically successful and has yielded useful error-prevention techniques—i.e., cognitive debiasing. I attempt to apply this framework to moral reasoning to yield moral heuristics and biases. For instance, a moral bias of unjustified differences in the treatment of particular animal species might be partially explained by a moral heuristic that dubiously infers animals’ moral status from their aesthetic features. While the basis for identifying judgments as cognitive errors is often unassailable (e.g., per violating laws of logic), identifying moral errors seemingly requires appealing to moral truth, which, I argue, is problematic within science. Such appeals can be avoided by repackaging moral theories as mere “standards-of-interest” (a la non-normative metrics of purportedly right-making features/properties). However, standards-of-interest do not provide authority, which is needed for effective debiasing. Nevertheless, since each person deems their own subjective morality authoritative, subjective morality (qua standard-of-interest and not moral subjectivism) satisfies both scientific and practical concerns. As such, (idealized) subjective morality grounds a moral analog of cognitive biases—namely, subjective moral biases (e.g., committed anti-racists unconsciously discriminating). I also argue that "cognitive heuristic" is defined by its contrast with rationality. Consequently, heuristics explain biases, which are also so defined. However, such contrasting with rationality is causally irrelevant to cognition. This frustrates the presumed usefulness of the kind, heuristic, in causal explanation. As such, in the moral case, I jettison the role of causal explanation and tailor categories solely for contrastive explanation. As such, “moral heuristic” is replaced with "subjective moral fallacy," which is defined by its contrast with subjective morality and explains subjective moral biases. The resultant subjective moral biases and fallacies framework can undergird future empirical research. (shrink)

There is almost a consensus among conditional experts that indicative conditionals are not material. Their thought hinges on the idea that if indicative conditionals were material, A → B could be vacuously true when A is false, even if B would be false in a context where A is true. But since this consequence is implausible, the material account is usually regarded as false. It is argued that this point of view is motivated by the grammatical form of conditional sentences (...) and the symbols used to represent their logical form, which misleadingly suggest a one-way inferential direction from A to B. That conditional sentences mislead us into a directionality bias is a phenomenon that is well-documented in the literature about conditional reasoning. It is argued that this directional appearance is deceptive and does not reflect the underlying truth conditions of conditional sentences. This directional bias is responsible for both the unpopularity of the material account of conditionals and some of the main alternative principles and themes in conditional theory, including the Ramsey’s test, the Equation, Adams’ thesis, conditional-assertion and possible world theories. The directional mindset forgets a hard- earned lesson that made classical logic possible in the first place, namely, that grammatical form of sentences can mislead us about its truth conditions. There is a case to be made for a material account of indicative conditionals when we break the domination of words over the human mind. (shrink)

Mercier and Sperber illuminate many aspects of reasoning and rationality, providing refreshing and thoughtful analysis and elegant and well‐researched illustrations. They make a good case that reasoning should be viewed as a type of intuition, rather than a separate cognitive process or system. Yet questions remain. In what sense, if any, is reasoning a “module?” What is the link between rationality within an individual and rationality defined through the interaction between individuals? Formal theories of rationality, from logic, probability theory and (...) game theory, while not the focus of Mercier and Sperber's book, may help clarify this latter question. (shrink)

ABSTRACTStudies examining the interpretation that is given to if–then statementstypically use what are referred to as basic conditionals, which give contextless relations between two unrelated concrete terms. However, there is some evidence that basic conditionals require a more abstract form of representation. In order to examine this, we presented participants with truth-table tasks involving either basic conditionals or conditionals referring to imaginary categories, and standard conditional inference tasks with abstract and familiar premises. As expected, fewer typical defective conditional interpretations were (...) given to basic conditionals. In addition, partial correlations showed a unique relationship between the interpretation of basic conditionals and abstract inferential reasoning. Results suggest that people process basic conditionals as a form of abstract reasoning, and that the interpretation of conditionals... (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)

The suppression of the Modus Ponens inference is described as a loss of confidence in the conclusion C of an argument “If A1 then C; If A2 then C; A1” where A2 is a requirement for C to happen. It is hypothesised that this loss of confidence is due to the derivation of the conversational implicature “there is a chance that A2 might not be satisfied”, and that different syntactic introductions of the requirement A2 (e.g., “If C then A2”) will (...) lead to various frequencies in the derivation of this implicature, according to previous studies in the field of causal explanation. An experiment is conducted, whose results support those claims. Results are discussed in the light of the Mental Logic and Mental Model theories, as well as in the light of the pragmatic approach to uncertain reasoning. (shrink)

Explicatures are not cancellable. Theoretical considerations.

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...) S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (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.

If folk science means individuals having well worked out mechanistic theories of the workings of the world, then it is not feasible. Laypeople’s explanatory understandings are remarkably coarse, full of gaps, and often full of inconsistencies. Even worse, most people overestimate their own understandings. Yet recent views suggest that formal scientists may not be so different. In spite of these limitations, science somehow works and its success offers hope for the feasibility of folk science as well. The success of science (...) arises from the ways in which scientists learn to leverage understandings in other minds and to outsource explanatory work through sophisticated methods of deference and simplification of complex systems. Three studies ask whether analogous processes might be present not only in laypeople but also in young children and thereby form a foundation for supplementing explanatory understandings almost from the start of our first attempts to make sense of the world. (shrink)

The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

According to Aristotle, humans are the rational animal. The borderline between rationality and irrationality is fundamental to many aspects of human life including the law, mental health, and language interpretation. But what is it to be rational? One answer, deeply embedded in the Western intellectual tradition since ancient Greece, is that rationality concerns reasoning according to the rules of logic – the formal theory that specifies the inferential connections that hold with certainty between propositions. Piaget viewed logical reasoning as defining (...) the end-point of cognitive development; and contemporary psychology of reasoning has focussed on comparing human reasoning against logical standards. (shrink)

This article reports on a study of children's deductive reasoning in solving novel relational problems. Detailed protocols were obtained from 264 children (aged 9- 12 years) who verbalised their thinking as they solved the problems. The study included the development of a three-phase theory based on Johnson-Laird and Byrne's mental models perspective, but with some distinct modifications. These include a focus on the relational complexity entailed in model construction and in premise integration, and the advancement of four reasoning principles that (...) are applied throughout problem solution (in contrast to Johnson-Laird's falsification processes as the hallmark of deductive reasoning). The reported case studies and the results of statistical analyses supported predictions arising from the proposed theory, including the key role of the reasoning principles. The results also showed that problem difficulty is a function of relational complexity, not of the number of models to be constructed, as argued by Johnson-Laird and Byrne. (shrink)

Reasoning about social groups and their associated markers was investigated as a particular case of human reasoning about cue-category relationships. Assertions that reasoning involving cues and associated categories elicits specific probabilistic assumptions are supported by the results of three experiments. This phenomenon remains intact across the use of categorical syllogisms, conditional syllogisms, and the use of social groups that vary in their perceived cohesiveness, or entitativity. Implications are discussed for various theories of reasoning, and additional aspects of social group/coalitional reasoning (...) are also discussed. (shrink)

This article reports three experiments that investigated the relationship between working memory capacity and syllogistic and five-term series spatial inference. A series of complex and simple verbal and spatial working memory measures were employed. Correlational analyses showed that verbal and spatial working memory span tasks consistently predicted syllogistic and spatial reasoning performance. A confirmatory factor analysis showed that three factors best accounted for the data--a verbal, a spatial, and a general factor. Syllogistic reasoning performance loaded all three factors, whilst spatial (...) reasoning loaded only the general factor. The implications of these findings are discussed in the context of reasoning theories and contemporary accounts of the structure of working memory. (shrink)

Evidence from aphasia is considered that leads to a distinction between abstract and concrete thought processes and hence for a distinction between rules and similarity. It is argued that perceptual classification is inherently a rule-following procedure and these rules are unable to be followed when a patient has difficulty with name comprehension and retrieval.

How natural is natural deduction?– Gentzen's system of natural deduction intends to fit logical rules to the effective mathematical reasoning in order to overcome the artificiality of deductions in axiomatic systems (¶ 2). In spite of this reform some of Gentzen's rules for natural deduction are criticised by psychologists and natural language philosophers for remaining unnatural. The criticism focuses on the principle of extensionality and on formalism of logic (¶ 3). After sketching the criticism relatively to the main rules, I (...) argue that the criteria of economy, simplicity, pertinence etc., on which the objections are based, transcend the strict domain of logic and apply to arguments in general (¶ 4). (¶ 5) deals with Frege's critique of the concept of naturalness as regards logic. It is shown that this concept means a regression into psychologism and is exposed to the same difficulties as are: relativity, lack of precision, the error of arguing from `is' to `ought' (the naturalistic fallacy). Despite of these, the concept of naturalness plays the role of a diffuse ideal which favours the construction of alternative deductive systems in contrast to the platonic conception of logic (¶ 6). (shrink)

Research from ethology and evolutionary biology indicates the following about the evolution of reasoning capacity. First, solving problems of social competition and cooperation have direct impact on survival rates and reproductive success. Second, the social structure that evolved from this pressure is the dominance hierarchy. Third, primates that live in large groups with complex dominance hierarchies also show greater neocortical development, and concomitantly greater cognitive capacity. These facts suggest that the necessity of reasoning effectively about dominance hierarchies left an indelible (...) mark on primate reasoning architectures, including that of humans. In order to survive in a dominance hierarchy, an individual must be capable of (a) making rank discriminations, (b) recognizing what is forbidden and what is permitted based one's rank, and (c) deciding whether to engage in or refriin from activities that will allow one to move up in rank. The first problem is closely tied to the capacity for transitive reasoning, while the second and third are intimately related to the capacity for deontic reasoning. I argue that the human capacity for these types of reasoning have evolutionary roots that reach deeper into our ancestral past than the emergence of the hominid line, and the operation of these evolutionarily primitive reasoning systems can be seen in the development of human reasoning and domain-specific effects in adult reasoning. (shrink)