It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

According to the traditional view in the philosophy of logic facts of logic bear normative authority regarding how one ought to reason. Usually this is to mean that the relation of logical consequence between statements has some special relevance for how one’s beliefs should cohere. However, as I will argue in this article, this is just one way in which logic is normative for reasoning. For one thing, belief is not the only kind of mental state involved in reasoning. Besides (...) adopting and revising beliefs, rational agents pose and resolve questions. For another thing, the consequence relation of classical logic can be conservatively extended such that it includes logical relations between questions as well. Therefore, there is an argument to be made that not only the inference of new beliefs from extant beliefs but also the process of raising additional questions falls under the normative authority of logic. Accordingly, a nuanced account of the normativity of logic presents itself, which convincingly deals with problems such as clutter-avoidance and the paradox of the preface. (shrink)

In this paper, I explore a question about deductive reasoning: why am I in a position to immediately infer some deductive consequences of what I know, but not others? I show why the question cannot be answered in the most natural ways of answering it, in particular in Descartes’s way of answering it. I then go on to introduce a new approach to answering the question, an approach inspired by Hume’s view of inductive reasoning.

Recently several papers have reported relevance effects on the cognitive assessments of indicative conditionals, which pose an explanatory challenge to the Suppositional Theory of conditionals advanced by David Over, which is influential in the psychology of reasoning. Some of these results concern the “Equation” (P(if A, then C) = P(C|A)), others the de Finetti truth table, and yet others the uncertain and-to-inference task. The purpose of this chapter is to take a Birdseye view on the debate and investigate some of (...) the open theoretical issues posed by the empirical results. Central among these is whether to count these effects as belonging to pragmatics or semantics. (shrink)

This book consists of a dialogue between two interlocutors, Pablo and a student, who discuss a great range of issues in social philosophy and political theory, and in particular, the emergence, working properties and economic effects of institutions. It uses the dialogical form to make philosophy more accessible, but also to show how ideas develop through intellectual interaction. The fact that one of the interlocutors is the "student" in a place in the real world makes the dialogue quasi-fictive in character (...) and enables the active engagement of the reader. After all, we are all philosophers and we develop our own philosophy by exchanging views and arguments. The dialogue form is and should remain the principal form of philosophizing, since ideas, like butterflies, do not merely exist – they develop. This is certainly the case in actual philosophical interaction, and it can be the case in written philosophical exposition. Although the dialogue does not presuppose prior acquaintance with the respective philosophical and social scientific literature under discussion in this book, it makes arguments more accessible, and conveys the feeling that there are no definite solutions to philosophical problems. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

According to one important proposal, the difference between perception and cognition consists in the representational formats used in the two systems (Carey, 2009; Burge, 2010; Block, 2014). In particular, it is claimed that perceptual representations are iconic, or image-like, while cognitive representations are discursive, or language-like. Taking object perception as a test case, this paper argues on empirical grounds that it requires discursive label-like representations. These representations segment the perceptual field, continuously pick out objects despite changes in their features, and (...) abstractly represent high-level features, none of which appears possible for purely iconic representations. (shrink)

Mercier and Sperber (2011a, 2011b; Mercier, 2011a, 2011b, 2011c, and 2011d) have presented a stimulating and provocative new theory of reasoning: the argumentative theory of reasoning. They maintain that argumentation is a meta-representational module. In their evolutionary view of argumentation, the function of this module would be to regulate the flow of information between interlocutors through persuasiveness on the side of the communicator and epistemic vigilance on the side of the audience. The aim of this paper is to discuss the (...) perspective of the authors in which they conceive this competence as the natural scenario of reflective reasoning. (shrink)

Logical theory codifies rules of correct inferences. On the other hand, logical reasoning is typically considered as one of the most fundamental cognitive activities. Thus, cognitive science is a natural meeting-point for investigations about the place of logic in human cognition. Investigations in this perspective strongly depend on a possible understanding of logic. This paper focuses on logic in the strict sense; that is, the theory of deductive inferences. Two problems are taken into account, namely: do humans apply logical rules (...) in ordinary reasoning?; the genesis of logic. The second issue is analyzed from the naturalistic point of view. (shrink)

Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by logical evidence. However, just as there is no agreement on logical theories, there is also no consensus on what constitutes logical evidence. In this paper, I outline Jean Piaget’s psychological theory of reasoning and show how he used it to diagnose and solve one of the paradoxes of material implication. I assess Piaget’s use of psychology as a source of evidence for (...) logical theory in light of reservations raised by psychologism, and I highlight some ramifications for exceptionalism and anti-exceptionalism about logic by considering his use of psychology as logical evidence in the framework of genetic epistemology, Piaget’s research programme. I conclude that Piaget’s psychological theory of reasoning not only plausibly serves as a source of evidence for logical theory but also makes a strong case for anti-exceptionalism about logic. (shrink)

Mercier & Sperber (M&S) argue for their argumentative theory in terms of communicative abilities. Insights can be gained by extending the discussion beyond human reasoning to rodent and robot navigation. The selection of arguments and conclusions that are mutually reinforcing can be cast as a form of abductive reasoning that I argue underlies the construction of cognitive maps in navigation tasks.

Jednym z najważniejszych celów kursów krytycznego myślenia powinno być dostarczenie słuchaczom narzędzi pomocnych w podejmowaniu trafnych decyzji w codziennym życiu. Podczas takich kursów wiele uwagi poświęca się zazwyczaj wyrabianiu u studentów umiejętności oceny argumentów. W niniejszym artykule próbuję odpowiedzieć na pytanie – jaka metoda oceny argumentów najlepiej nadaje się do zastosowania podczas kursów krytycznego myślenia? Jak sądzę, metoda taka powinna być możliwie najbardziej intuicyjna, „przyjazna użytkownikowi” – prosta zarówno do opanowania, jak i późniejszego stosowania. Są to warunki konieczne do tego, (...) aby osoby, które ukończyły kurs, faktycznie wykorzystywały ją w codzienny sytuacjach. W artykule opisuję metodę oceny argumentów, która, jak mi się wydaje, spełnia te warunki. Metoda ta opiera się przede wszystkim na koncepcjach S.N. Thomasa i M. Tokarza. Jej szczegóły, a także sposób prezentowania jej studentom, wypracowałem podczas prowadzonych przeze mnie kursów z zakresu logiki nieformalnej i krytycznego myślenia. (shrink)

According to Kanazawa (Psychol Rev 111:512–523, 2004), general intelligence, which he considers as a synonym of abstract thinking, evolved specifically to allow our ancestors to deal with evolutionary novel problems while conferring no advantage in solving evolutionary familiar ones. We present a study whereby the results contradict Kanazawa’s hypothesis by demonstrating that performance on an evolutionary novel problem (an abstract reasoning task) predicts performance on an evolutionary familiar problem (a social reasoning task).

The philosophical literature on reasoning is dominated by the assumption that reasoning is essentially a matter of following rules. This paper challenges this view, by arguing that it misrepresents the nature of reasoning as a personal level activity. Reasoning must reflect the reasoner’s take on her evidence. The rule-following model seems ill-suited to accommodate this fact. Accordingly, this paper suggests replacing the rule-following model with a different, semantic approach to reasoning.

There is a pervasive trend in Western theology to identify imago Dei with human intellectual and cognitive capacities. However, several contemporary theologians have criticized this view because, according to the critics, it leads to a truncated view of humanity. In this article, I shall concentrate on the question of rationality, first, through theologies of Thomas Aquinas and contemporary Lutheran Robert Jenson, and second, in some branches of recent cognitive psychology. I will argue that there is a significant overlap between contemporary (...) scientific interpretations of rationality and both a traditional Thomistic view and a contemporary ecumenical interpretation of imago Dei. Consequently, it is possible to give an account of imago Dei which takes structural features as central and which is in accord with contemporary science, without falling prey to the dangers that the critics of structuralism point out. (shrink)

We conducted two in vivo studies to explore how scientists respond to anomalies. Based on prior research, we identify three candidate strategies: mental simulation, mental manipulation of an image, and comparison between images. In Study 1, we compared experts in basic and applied domains (physics and meteorology). We found that the basic scientists used mental simulation to resolve an anomaly, whereas applied science practitioners mentally manipulated the image. In Study 2, we compared novice and expert meteorologists. We found that unlike (...) experts, novices used comparison to address anomalies. We discuss the nature of expertise in the two kinds of science, the relationship between the type of science and the task performed, and the relationship of the strategies investigated to scientific creativity. (shrink)

Mercier & Sperber (M&S) claim that the phenomenon of belief bias provides fundamental support for their argumentative theory and its basis in intuitive judgement. We propose that chronometric evidence necessitates a more nuanced account of belief bias that is not readily captured by argumentative theory.

We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the participants, who were asked to determine which ones of the formulas were tautologies. The participants were eight university students in computer science who had received tuition in propositional logic. The formulas appeared one by one, a time-limit of 45 s applied to each formula and no aids were allowed. For each formula we recorded the proportion of the participants who (...) classified the formula correctly before timeout and the mean response time among those participants. We propose a new proof formalism for modeling propositional reasoning with bounded cognitive resources. It models declarative memory, visual memory, working memory, and procedural memory according to the memory model of Atkinson and Shiffrin and reasoning processes according to the model of Newell and Simon. We also define two particular proof systems, T and NT, for showing propositional formulas to be tautologies and non-tautologies, respectively. The accuracy was found to be higher for non-tautologies than for tautologies ( p T was.89 and for non-tautologies the correlation between latency and minimum proof length in NT was.87. (shrink)

Short abstract (98 words). Reasoning is generally seen as a means to improve knowledge and make better decisions. However, much evidence shows that reasoning often leads to epistemic distortions and poor decisions. This suggests that the function of reasoning should be rethought. Our hypothesis is that the function of reasoning is argumentative. It is to devise and evaluate arguments intended to persuade. Reasoning so conceived is adaptive given humans’ exceptional dependence on communication and vulnerability to misinformation. A wide range of (...) evidence in the psychology of reasoning and decision making can be reinterpreted and better explained in the light of this hypothesis. (shrink)

What role does moral reasoning play in moral judgment? More specifically, what causal role does moral reasoning have in the production of moral judgments? Recently, many philosophers and psychologists have attempted to answer this question by drawing on empirical data. However, these attempts fall short because there has been no sustained attention to the question of what moral reasoning is. This paper addresses this problem, by providing a general account of moral reasoning in terms of a capacity, and suggests how (...) this account of moral reasoning can provide a way forward in current debates. (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 this prcis we focus on phenomena central to the reaction against similarity-based theories that arose in the 1980s and that subsequently motivated the approach to semantic knowledge. Specifically, we consider (1) how concepts differentiate in early development, (2) why some groupings of items seem to form or coherent categories while others do not, (3) why different properties seem central or important to different concepts, (4) why children and adults sometimes attest to beliefs that seem to contradict their direct experience, (...) (5) how concepts reorganize between the ages of 4 and 10, and (6) the relationship between causal knowledge and semantic knowledge. The explanations our theory offers for these phenomena are illustrated with reference to a simple feed-forward connectionist model. The relationships between this simple model, the broader theory, and more general issues in cognitive science are discussed. (shrink)

One thousand four-hundred thirty Portuguese psychologists answered a questionnaire that had been designed in order to ascertain the level of acceptability of a set of proposed ethical principles, which subsequently served as a basis for the Portuguese Psychologists’ Ethics Code. On the one hand, the results show that, as expected, the ethical principles rated high on the evaluation scale. On the other hand, the results also highlighted the need for a formal regulation of the practice of psychology in Portugal, especially (...) in view of participants’ noticeable failure to recognize the importance of the principle of professional integrity. The responsibility of psychologists in modern societies is huge. As such, the large number of different training programs in Portugal, and the implied lack of a strong professional identity, is a cause of concern. The creation of a professional association allows an external identification of the profession in terms of aims and methods. The main goal of such an association is to promote public trust and enhance public demand. The results also indicate that training and experience lead to a higher valorization of ethical principles, and this is an insight that will be of great importance to the professional practice of psychology. (shrink)

We perform conceptual acts throughout our daily lives; we are always judging others, guessing their intentions, agreeing or opposing their views and so on. These conceptual acts have phenomenological as well as formal richness. This paper attempts to correct the imbalance between the phenomenal and formal approaches to conceptualization by claiming that we need to shift from the usual dichotomies of cognitive science and epistemology such as the formal/empirical and the rationalist/empiricist divides—to a view of conceptualization grounded in the Indian (...) philosophical notion of “valid cognition”. Methodologically, our paper is an attempt at cross-cultural philosophy and cognitive science; ontologically, it is an attempt at marrying the phenomenal and the formal. (shrink)

Perceptual systems respond to proximal stimuli by forming mental representations of distal stimuli. A central goal for the philosophy of perception is to characterize the representations delivered by perceptual systems. It may be that all perceptual representations are in some way proprietarily perceptual and differ from the representational format of thought (Dretske 1981; Carey 2009; Burge 2010; Block ms.). Or it may instead be that perception and cognition always trade in the same code (Prinz 2002; Pylyshyn 2003). This paper rejects (...) both approaches in favor of perceptual pluralism, the thesis that perception delivers a multiplicity of representational formats, some proprietary and some shared with cognition. The argument for perceptual pluralism marshals a wide array of empirical evidence in favor of iconic (i.e., image-like, analog) representations in perception as well as discursive (i.e., language-like, digital) perceptual object representations. (shrink)

The paper aim draws together two ideas that have figured in different strands of discussion in business ethics: the ideas of intuition and of reflection. They are considered in company with the third, complementary, idea of analysis. It is argued that the interplay amongst these is very important in business ethics. The relationship amongst the three ideas can be understood by reference to parts of modern cognitive psychology, including dual-process theory and the Social Intuitionist Model. Intuition can be misleading when (...) based on fast and frugal heuristics, and reasoning needs social exchange if it is to support moral judgment effectively, but in the complex institutional environment of business, reflection and analysis can underpin social communication and feedback to develop sound intuition. Reflection and analysis are both more deliberate, systematic judgment processes than intuition, but are distinguished by the fact that reflection embraces hypothetical thinking and imagination, while analysis is careful, step-by-step reasoning. Examples of business ethics problems illustrate the need for both of these processes, and also suggest how they themselves can be enhanced in the same social exchange process that underpins the development of good intuition. (shrink)

The pursuit of happiness is a long-enshrined tradition that has recently become the cornerstone of the American Positive Psychology movement. However, “happiness” is an over-worked and ambiguous word, which, it is argued, should be restricted and only used as the label for a brief emotional state that typically lasts a few seconds or minutes. The corollary proposal for positive psychology is that optimism is a preferable stance over pessimism or realism. Examples are presented both from psychology and economics that illustrate (...) the dangers of optimism, and in which better outcomes can occur with a pessimistic stance. A more sophisticated approach is then presented in which, in relation to well-being and quality of life, neither optimism nor pessimism is seen as inherently better than the other, but, rather, in which psychological flexibility may contribute optimally to health and well-being. (shrink)

Most theory in business ethics is still steeped in rationalist and moral-realist assumptions. However, some seminal neuroscientific studies point to the primacy of moral emotions and intuition in shaping moral judgment. In line with previous interpretations, I suggest that a dual-system explanation of emotional-intuitive automaticity and deliberative reasoning is the most appropriate view. However, my interpretation of the evidence also contradicts Greene’s conclusion that nonconsequentialist decision making is primarily sentimentalist or affective at its core, while utilitarianism is largely rational-deliberative. Instead, (...) I propose that current research on the human brain, in conjunction with converging experimental evidence, hints at moral subjectivism and its evolutionary basis as the most persuasive explanation of morality. These anti-realist conjectures have far-reaching implications for a wide range of topics in business ethics, as illustrated with the specific case of corporate social responsibility as a potentially tribal conception of the good. (shrink)

People reject ‘paradoxical’ inferences, such as: Luisa didn't play music; therefore, if Luisa played soccer, then she didn't play music. For some theorists, they are invalid for everyday conditionals, but valid in logic. The theory of mental models implies that they are valid, but unacceptable because the conclusion refers to a possibility inconsistent with the premise. Hence, individuals should accept them if the conclusions refer only to possibilities consistent with the premises: Luisa didn't play soccer; therefore, if Luisa played a (...) game then she didn't play soccer. Two experiments corroborated this prediction for three sorts of ‘paradox’, including a disjunctive paradox. (shrink)

The ability to think in abstractions depends on the imagination. An important evolutionary change was the installation of a suite of six imaginative activities that emerge at first in childhood, which include empathy, symbolic play, and theory-of-mind. These abilities can be built upon in adulthood to enable the production of oral and written stories. As a technology, writing has three aspects: material, skill based, and societal. It is in fiction that expertise in writing is most strikingly attained; imagination is put (...) to use to create simulations of the social world that can usefully be offered to others. Fiction is best conceived as an externalization of consciousness, which not only enables us to understand others but also to transform ourselves so that we can reach beyond the immediate. (shrink)

The ability to think in abstractions depends on the imagination. An important evolutionary change was the installation of a suite of six imaginative activities that emerge at first in childhood, which include empathy, symbolic play, and theory-of-mind. These abilities can be built upon in adulthood to enable the production of oral and written stories. As a technology, writing has three aspects: material, skill based, and societal. It is in fiction that expertise in writing is most strikingly attained; imagination is put (...) to use to create simulations of the social world that can usefully be offered to others. Fiction is best conceived as an externalization of consciousness, which not only enables us to understand others but also to transform ourselves so that we can reach beyond the immediate. (shrink)

The communicative theory of emotions postulates that emotions are communications both within the brain and between individuals. Basic emotions owe their evolutionary origins to social mammals, and they enable human beings to use repertoires of mental resources appropriate to recurring and distinctive kinds of events. These emotions also enable them to cooperate with other individuals, to compete with them, and to disengage from them. The human system of emotions has also grafted onto basic emotions propositional contents about the cause of (...) the emotion, the self, and other matters. Complex emotions always contain such contents, whereas basic emotions can be experienced without them. This article explains the role of basic emotions in social relationships, their effects on reasoning, and their pathology in psychological illness, such as depression and obsessive-compulsive disorder. (shrink)

Recently, a cottage industry has formed with the goal of analyzing reasoning. The relevant notion of reasoning in which philosophers are expressly interested is fixed through an epistemic functional description: reasoning—whatever it is—is our personal-level, rationally evaluable means of meeting our rational requirements through managing and updating our attitudes. Roughly, the dominant view in the extant literature as developed by Paul Boghossian, John Broome, and others is that reasoning is a rule-governed operation over propositional attitudes that results in a change (...) in attitude. In this paper, I argue that our personal-level operations over mental models and visuospatial imagery, which are representations in a non-propositional/analogue format, can be rationally evaluable processes of managing our attitudes and, thus, should be considered reasoning in the relevant sense. Furthermore, I show that if reasoning can occur through operations over mental models and imagery, then the dominant rule-following account mischaracterizes the cognitive operations and representational states assumed to be constitutive of reasoning and what grounds the rational status of a line of reasoning. (shrink)

Abstract How do people find arguments while engaged in a discussion? Following an analogy with visual search, a mechanism that performs this task is described. It is a metarepresentational device that examines representations in a mostly serial manner until it finds a good enough argument supporting one’s position. It is argued that the mechanism described in dual process theories as ‘system 2’, or analytic reasoning fulfills these requirements. This provides support for the hypothesis that reasoning serves an argumentative function. Content (...) Type Journal Article Pages 1-20 DOI 10.1007/s10503-011-9256-1 Authors Hugo Mercier, Philosophy, Politics and Economics Program, University of Pennsylvania, 313 Cohen Hall, 249 South 36th Street, Philadelphia, PA 19104, USA Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X. (shrink)

Peng and Nisbett put forward an influential theory of the influence of culture on the resolution of contradiction. They suggested that Easterners deal with contradiction in a dialectical manner, trying to reconcile opposite points of view and seeking a middle-way. Westerners, by contrast, would follow the law of excluded middle, judging one side of the contradiction to be right and the other to be wrong. However, their work has already been questioned, both in terms of replicability and external validity. Here (...) we test alternative interpretations of two of Peng and Nisbett’s experiments and conduct a new test of their theory in a third experiment. Overall, the Eastern and Western participants behaved similarly, failing to exhibit the cross-cultural differences observed by Peng and Nisbett. Several interpretations of these failed replications and this failed new test are suggested. Together with previous failed replications, the present results raise questions about the breadth of Peng and Nisbett’s interpretation of cross-cultural differences in dealing with contradiction. (shrink)

Having defended the usefulness of our definition of reasoning, we stress that reasoning is not only for convincing but also for evaluating arguments, and that as such it has an epistemic function. We defend the evidence supporting the theory against several challenges: People are good informal arguers, they reason better in groups, and they have a confirmation bias. Finally, we consider possible extensions, first in terms of process-level theories of reasoning, and second in the effects of reasoning outside the lab.

The linguistic and cognitive sciences have severely underestimated the degree of linguistic diversity in the world. Part of the reason for this is that we have projected assumptions based on English and familiar languages onto the rest. We focus on some distortions this has introduced, especially in the study of semantics.

The double negation has always been considered by the logical systems from ancient times to the present. In fact, that is an issue that the current syntactic theories studying human reasoning, for example, the mental logic theory, address today. However, in this paper, I claim that, in the case of some languages such as Spanish, the double negation causes problems for the cognitive theories mainly based on formal schemata and supporting the idea of a universal syntax of thought in the (...) human mind. Thus, I propose that, given those problems, semantic frameworks such as that of the mental models theory seem to be more appropriate for explaining the human inferential activity. (shrink)

The mental model theory is an approach with clear psychological, linguistic, and cognitive consequences. This paper delves into some of the epistemological conclusions that can be drawn from it. In particular, it addresses the process why knowledge acquisition can modify the inferences people tend to make. That process is described by means of an example based on a well-known logical schema related to the conditional: Modus Tollendo Tollens.

Resumen Atendiendo a la lógica estándar, solo uno de los cinco indemostrables propuestos por Crisipo de Solos es realmente indemostrable. Sus otros cuatro esquemas son demostrables en tal lógica. La pregunta, por tanto, es: si cuatro de ellos no son verdaderamente indemostrables, por qué Crisipo consideró que sí lo eran. López-Astorga mostró que si ignoramos el cálculo proposicional estándar y asumimos que una teoría cognitiva contemporánea, la teoría de la lógica mental, describe correctamente el razonamiento humano, se puede entender por (...) qué Crisipo pensó que todos sus indemostrables eran tan básicos. No obstante, en este trabajo trato de argumentar que la teoría de la lógica mental no es el único marco que puede explicar esto. En concreto, sostengo que otra importante teoría sobre el razonamiento en el presente, la teoría de los modelos mentales, también puede ofrecer una explicación al respecto.According to standard logic, only one of the five indemonstrables proposed by Chrysippus of Soli is actually indemonstrable. The other four schemata are demonstra-ble in that logic. The question hence is, if four of them are not really indemonstrable, why Chrysippus considered them to be so. López-Astorga showed that, if we ignore standard propositional calculus and assume that a current cognitive theory, the mental logic theory, truly describes human reasoning, it can be explained why Chrysippus thought that all of his indemonstrables were so basic. However, in this paper, I try to argue that the mental logic theory is not the only framework that can account for that. In particular, I hold that another important reasoning theory at present, the mental models theory, can offer an explanation in that regard as well. (shrink)

The aim of this article is to strengthen links between cognitive brain research and formal logic. The work covers three fundamental sorts of logical inferences: reasoning in the propositional calculus, i.e. inferences with the conditional “if...then”, reasoning in the predicate calculus, i.e. inferences based on quantifiers such as “all”, “some”, “none”, and reasoning with n-place relations. Studies with brain-damaged patients and neuroimaging experiments indicate that such logical inferences are implemented in overlapping but different bilateral cortical networks, including parts of the (...) fronto-temporal cortex, the posterior parietal cortex, and the visual cortices. I argue that these findings show that we do not use a single deterministic strategy for solving logical reasoning problems. This account resolves many disputes about how humans reason logically and why we sometimes deviate from the norms of formal 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.

Henrich et al. address how culture leads to cognitive variability and recommend that researchers be critical about the samples they investigate. However, there are other sources of variability, such as individual strategies in reasoning and the content and context on which processes operate. Because strategy and content drive variability, those factors are of primary interest, while culture is merely incidental.

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)