How can Euler diagrams support non-consequence inferences? Although an inference to non-consequence, in which people are asked to judge whether no valid conclusion can be drawn from the given premises, is one of the two sides of logical inference, it has received remarkably little attention in research on human diagrammatic reasoning; how diagrams are really manipulated for such inferences remains unclear. We hypothesized that people naturally make these inferences by enumerating possible diagrams, based on the logical notion of self-consistency, in (...) which every Euler diagram is true in a set-theoretical interpretation. The work is divided into three parts, each exploring a particular condition or scenario. In condition 1, we asked participants to directly manipulate diagrams with size-fixed circles as they solved syllogistic tasks, with the result that more reasoners used the enumeration strategy. In condition 2, another type of size-fixed diagram was used. The diagram layout change interfered with accurate task performances and with the use of the enumeration strategy; however, the enumeration strategy was still dominant for those who could correctly perform the tasks. In condition 3, we used size-scalable diagrams, which reduced the interfering effect of diagram layout and enhanced participants’ selection of the enumeration strategy. These results provide evidence that non-consequence inferences can be achieved by diagram enumeration, exploiting the self-consistency of Euler diagrams. An alternate strategy based on counter-example construction with Euler diagrams, as well as effects of diagram layout in inferential processes, are also discussed. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...) an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

Three experiments are reported in which the relationships between task format, item type, and strategy usage were investigated for a two-dimensional relational inference task. Contrary to past findings with linear syllogisms, it was found that parallel presentation (presenting problem statements simultaneously) did not result in any increased use of deduction rule processes compared with serial presentation (presenting problem statements individually). Instead, the results suggested that mental models were used by the majority of subjects, and that multiple models were more likely (...) to be constructed with parallel presentation. It is proposed that, in general, multiple model construction will be more frequent for deduction tasks where the cognitive load is relatively low. Hence, contrary to suggestions by Polk and Newell (1995), reasoning in this way appears to be prevalent and highly robust - where supported by task format - even where the use of this strategy is disadvantageous. (shrink)

Many researchers have suggested that premise interpretation errors can account, at least in part, for errors on categorical syllogisms. However, although it is possible to show that people make such errors in simple inference tasks, the evidence for them is far less clear when actual syllogisms are administered. Part of the problem is due to the lack of clear predictions for the solutions that would be expected when using modified quantifiers, assuming that correct inferences are made from them. This paper (...) presents the expected solutions for Gricean, reversible, and reversible Gricean interpretations, and evaluates these using three datasets (two currently available, and one new). The evidence supported the adoption of reversible and reversible Gricean interpretations, but not Gricean interpretations on their own. These results suggest that the categorical syllogism task tends to induce different quantifier interpretations from those identified in simple inference tasks. (shrink)

Abstract“Natural syllogisms” are arguments formally identifiable with categorical syllogisms that have an implicit universal affirmative premise retrieved from semantic memory rather than explicitly stated. Previous studies with adult participants (Politzer, 2011) have shown that the rate of success is remarkably high. Because their resolution requires only the use of a simple strategy (known as ecthesis in classic logic) and an operational use of the concept of inclusion (the recognition that an element that belongs to a subset must belong to the (...) set but not vice versa), it was hypothesized that these syllogisms would be within the grasp of non‐adult participants, provided they have acquired the notion of deductive validity. Here, 11‐year‐old children were presented with natural syllogisms embedded in short dialogs. The first experiment showed that their performance was equivalent to adults' highest level of performance in standard experiments on syllogisms. The second experiment, while confirming children's proficiency in solving natural syllogisms, showed that they outperformed children who solved non‐natural matched syllogisms in the same experimental setting. The results are also in agreement with the argumentation theory of reasoning. (shrink)

We elaborate on the approach to syllogistic reasoning based on “case identification” (Stenning & Oberlander, 1995; Stenning & Yule, 1997). It is shown that this can be viewed as the formalisation of a method of proof that dates back to Aristotle, namely proof by exposition ( ecthesis ), and that there are traces of this method in the strategies described by a number of psychologists, from St rring (1908) to the present day. We hypothesised that by rendering individual cases explicit (...) in the premises, the chance that reasoners would engage in a proof by exposition would be enhanced, and thus performance improved. To do so, we used syllogisms with singular premises (e.g., this X is Y ). This resulted in a uniform increase in performance as compared to performance on the associated standard syllogisms. These results cannot be explained by the main theories of syllogistic reasoning in their current state. (shrink)

The psychological study of reasoning with quantifiers has predominantly focused on inference patterns studied by Aristotle about two millennia ago. Modern logic has shown a wealth of inference patterns involving quantifiers that are far beyond the expressive power of Aristotelian syllogisms, and whose psychology should be explored. We bring to light a novel class of fallacious inference patterns, some of which are so attractive that they are tantamount to cognitive illusions. In tandem with recent insights from linguistics that quantifiers like (...) “some” are treated as wh-questions, these illusory inferences are predicted by the erotetic theory of reasoning, which postulates that a process akin to question asking and answering is behind human inference making. (shrink)

The paper deals with the problem of the nature of logic and its normativity in the context of the normativity of scientific knowledge in general. We proceed from a division between fundamental aspects of scientific knowledge which are related to the nature and subject matter of particular sciences, and its applied aspects which are related to the possible applications of sciences. This division fully applies to logic. The authors note that if we view logic as a completely objective discipline, devoid (...) of any "anthropological basis", then the only rational alternative to anti-realist approaches is an ontological (realistic) strategy to justify the logical ones that seek to justify a certain kind of being. To do this, it is necessary to abandon the normative interpretation of logical evaluations and logical systems. Logic can gain a true ontological foundation, based on the devoid of the normative color of understanding logical evaluations as a particular kind of object. Logic has both a deductive core, and various applied disciplines, modern informal logic among them. While formal deductive logic is concentrated on the systems of abstract logical entities (objects) such as truth values and logical functions, the main task of informal logic consist in studying a real argument, which people apply in communicative processes, by elaborating certain standards, criteria and procedures for their interpretation and evaluation. No science can be normative in its basic (fundamental) aspects, and so is logic. Nevertheless, any science is in some degree normative with respect to its applied aspects, and informal logic perfectly illustrates this in view of a normative evolving of applied systems of the modern theories of argumentation. In addition to denying the normativity of formal deductive logic as a fundamental theoretical discipline, the authors of this article demonstrate the fundamental possibility of normative measurement of logical knowledge, in particular in the applied aspect of the development of modern informal logic. (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.

In the semantics of natural language, quantification may have received more attention than any other subject, and one of the main topics in psychological studies on deductive reasoning is syllogistic inference, which is just a restricted form of reasoning with quantifiers. But thus far the semantical and psychological enterprises have remained disconnected. This paper aims to show how our understanding of syllogistic reasoning may benefit from semantical research on quantification. I present a very simple logic that pivots on the monotonicity (...) properties of quantified statements - properties that are known to be crucial not only to quantification but to a much wider range of semantical phenomena. This logic is shown to account for the experimental evidence available in the literature as well as for the data from a new experiment with cardinal quantifiers ("at least n" and "at most n"), which cannot be explained by any other theory of syllogistic reasoning. (shrink)

(2013). Statistical models as cognitive models of individual differences in reasoning. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 89-102. doi: 10.1080/19462166.2012.674061.

Three studies of human nonmonotonic reasoning are described. The results show that people find such reasoning quite difficult, although being given problems with known subclass-superclass relationships is helpful. The results also show that recognizing differences in the logical strengths of arguments is important for the nonmonotonic problems studied. For some of these problems, specificity – which is traditionally considered paramount in drawing appropriate conclusions – was irrelevant and so should have lead to a “can’t tell” response; however, people could give (...) rational conclusions based on differences in the logical consequences of arguments. The same strategy also works for problems where specificity is relevant, suggesting that in fact specificity is not paramount. Finally, results showed that subjects’ success at responding appropriately to nonmonotonic problems involving conflict relies heavily on the ability to appreciate differences in the logical strength of simple, non-conflicting, statements. (shrink)

We report five experiments showing that the activation of the end-terms of a syllogism is determined by their position in the composite model of the premises. We show that it is not determined by the position of the terms in the rule being applied (Ford, 1994), by the syntactic role of the terms in the premises (Polk & Newell, 1995; Wetherick & Gilhooly, 1990), by the type of conclusion (Chater & Oaksford, 1999), or by the terms from the source premise (...) (Stenning & Yule, 1997). In our first experiment we found that after reading a categorical premise, the most active term is the last term in the premise. In Experiments 2, 3, and 4 we demonstrated that this pattern of activity is due to the position of the concepts in the model of the premises, regardless of the delay after reading the premises (150 or 2000 msec) or the quantity of the quantifiers (universal or existential). The fifth experiment showed that the pattern switches around after participants evaluate a conclusion. We propose that the last element in the model maintains a higher level of activity during the comprehension process because it is generally used to attach the incoming information. After this process, the first term becomes more active because it is the concept to which the whole representation is referred. These results are predicted by the mental model theory (Johnson-Laird & Byrne, 1991), but not by the verbal reasoning theory (Polk & Newell, 1995), the graphical methods theory (Yule & Stenning, 1992), the attachment-heuristic theory (Chater & Oaksford, 1999), or the mental rules theory (Ford, 1994). (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)

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)

One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a formal (...) foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (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)

We report an experiment investigating the “special-process” theory of insight problem solving, which claims that insight arises from non-conscious, non-reportable processes that enable problem re-structuring. We predicted that reducing opportunities for speech-based processing during insight problem solving should permit special processes to function more effectively and gain conscious awareness, thereby facilitating insight. We distracted speech-based processing by using either articulatory suppression or irrelevant speech, with findings for these conditions supporting the predicted insight facilitation effect relative to silent working or thinking (...) aloud. The latter condition was included to investigate the currently contested effect of “verbal overshadowing” on insight, whereby thinking aloud is claimed to hinder the operation of special, non-reportable processes. Whilst verbal overshadowing was not evident in final solution rates, there was nevertheless support for verbal overshadowing up to and beyond.. (shrink)

Current theories of reasoning such as mental models or mental logic assume a universal cognitive mechanism that underlies human reasoning performance. However, there is evidence that this is not the case, for example, the work of Ford (1995), who found that some people adopted predominantly spatial and some verbal strategies in a syllogistic reasoning task. Using written and think-aloud protocols, the present study confirmed the existence of these individual differences. However, in sharp contrast to Ford, the present study found few (...) differences in reasoning performance between the two groups, in terms of accuracy or type of conclusion generated. Hence, reasoners present an outward appearance of ubiquity, despite underlying differences in reasoning processes. These findings have implications for theoretical accounts of reasoning, and for attempts to model reasoning data. Any comprehensive account needs to account for strategic differences and how these may develop in logically untrained individuals. (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)

Cognitive scientists have revealed systematic errors in human reasoning. There is disagreement about what these errors indicate about human rationality, but one upshot seems clear: human reasoning does not seem to fit traditional views of human rationality. This concern about rationality has made its way through various fields and has recently caught the attention of philosophers. The concern is that if philosophers are prone to systematic errors in reasoning, then the integrity of philosophy would be threatened. In this paper, I (...) present some of the more famous work in cognitive science that has marshaled this concern. Then I present reasons to think that those with training in philosophy will be less prone to certain systematic errors in reasoning. The suggestion is that if philosophers could be shown to be less prone to such errors, then the worries about the integrity of philosophy could be constrained. Then I present evidence that, according to performance on the CRT (Frederick 2005), those who have benefited from training and selection in philosophy are indeed less prone to one kind of systematic error: irrationally arbitrating between intuitive and reflective responses. Nonetheless, philosophers are not entirely immune to this systematic error, and their proclivity for this error is statistically related to their responses to a variety of philosophical questions. So, while the evidence herein puts constraints on the worries about the integrity of philosophy, it by no means eliminates these worries. The conclusion, then, is that the present evidence offers prima facie reasons to ascribe a mitigated privilege to philosophers' ability to rationally arbitrate between intuitive and reflective responses. (shrink)

Natural syllogisms are expressed in terms of classes and properties of the real world. They exploit a categorisation present in semantic memory that provides a class inclusion structure. they are enthymematic and typically occur within a dialogue. Their form is identical to a formal syllogism once the minor premise is made explicit. It is claimed that reasoners routinely execute natural_syllogisms in an effortless manner based on ecthesis, which is primed by the class inclusion structure kept in long term memory.