La discusión sobre el psicologismo lógico, que parecía ya superada desde Frege-Husserl, ha vuelto a posicionarse hoy en la filosofía de la lógica. Se examina, en primer lugar, la idea según la cual lo que hoy se entiende por lógica respondería en lo esencial a las tesis defendidas por el anti-psicologismo. En segundo término, se plantea que algunos enfoques actuales en ciencia cognitiva, como el de la facultad cognitiva proto-lógica de R.Hanna, y el de los dominios cognitivos, de Stennings y (...) van Lambalgen, permiten apoyar la idea de que la naturaleza de la lógica va más allá de los atributos antipsicologistas. (shrink)

The idea that mental illnesses are impairments in rationality is very old, and very common (Kasanin 1944; Harvey et al. 2004; Graham 2010). But is it true? In this article two severe mental disorders, schizophrenia and delusional disorder, are investigated in order to find some defects in rationality. Through the analysis of patients’ performances on different tests, and the investigation of their typical reasoning styles, I will show that mental disorders can be deficits in social cognition, or common sense, but (...) not in rationality (Sass 1992; Johnson-Laird et al. 2006; Bergamin 2018). Moreover, my claim is that psychopathological patients can also be, in some circumstances, more logical than normal controls (Kemp et al. 1997; Owen et al. 2007). From a philosophical point of view these data seem to be very relevant, because they help us to reconsider our idea of rationality, and to challenge the common way to look at sanity and mental illness. (shrink)

Each of our theories of mental representation provides some insight into how the mind works. However, these insights often seem incompatible, as the debates between symbolic, dynamical, emergentist, sub-symbolic, and grounded approaches to cognition attest. Mental representations—whatever they are—must share many features with each of our theories of representation, and yet there are few hypotheses about how a synthesis could be possible. Here, I develop a theory of the underpinnings of symbolic cognition that shows how sub-symbolic dynamics may give rise (...) to higher-level cognitive representations of structures, systems of knowledge, and algorithmic processes. This theory implements a version of conceptual role semantics by positing an internal universal representation language in which learners may create mental models to capture dynamics they observe in the world. The theory formalizes one account of how truly novel conceptual content may arise, allowing us to explain how even elementary logical and computational operations may be learned from a more primitive basis. I provide an implementation that learns to represent a variety of structures, including logic, number, kinship trees, regular languages, context-free languages, domains of theories like magnetism, dominance hierarchies, list structures, quantification, and computational primitives like repetition, reversal, and recursion. This account is based on simple discrete dynamical processes that could be implemented in a variety of different physical or biological systems. In particular, I describe how the required dynamics can be directly implemented in a connectionist framework. The resulting theory provides an “assembly language” for cognition, where high-level theories of symbolic computation can be implemented in simple dynamics that themselves could be encoded in biologically plausible systems. (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)

Metalogic is an open-ended cognitive, formal methodology pertaining to semantics and information processing. The language that mathematizes metalogic is known as metalanguage and deals with metafunctions purely by extension on patterns. A metalogical process involves an effective enrichment in knowledge as logical statements, and, since human cognition is an inherently logic–based representation of knowledge, a metalogical process will always be aimed at developing the scope of cognition by exploring possible cognitive implications reflected on successive levels of abstraction. Indeed, it is (...) basically impracticable to maintain logic–and–metalogic without paying heed to cognitive theorizing. For it is cognitively irrelevant whether possible conclusions are deduced from some premises before the premises are determined to be true or whether the premises themselves are determined to be true first and, then, the conclusions are deduced from them. In this paper we consider the term metalogic as inherently embodied under the framework referred to as cognitive science and mathematics. We propose a metalogical interpretation of Arrow’s impossibility theorem and, to that end, choice theory is understood as a mental course of action dealing with logic and metalogic issues, in which a possible mathematical approach to model a mental course of action is adopted as a systematic operating method. Nevertheless, if we look closely at the core of Arrow’s impossibility theorem in terms of metalogic, a second fundamental contribution to this framework is represented by the Nash equilibrium. As a result of the foregoing, therefore, we prove the metalogical equivalence between Arrow’s impossibility theorem and the existence of the Nash equilibrium. More specifically, Arrow’s requirements correspond to the Nash equilibrium for finite mixed strategies with no symmetry conditions. To demonstrate this proof, we first verify that Arrow’s set and Nash’s set are isomorphic to each other, both sets being under stated conditions of non–symmetry. Then, the proof is completed by virtue of category theory. Indeed, the two sets are categories that correspond biuniquely to one another and, thus, it is possible to define a covariant functor that preserves their mutual structures. According to this, we show the proof–dedicated metalanguage as a precursor to a special equivalence theorem. (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

This position paper advocates combining formal epistemology and the new paradigm psychology of reasoning in the studies of conditionals and reasoning with uncertainty. The new paradigm psychology of reasoning is characterized by the use of probability theory as a rationality framework instead of classical logic, used by more traditional approaches to the psychology of reasoning. This paper presents a new interdisciplinary research program which involves both formal and experimental work. To illustrate the program, the paper discusses recent work on the (...) paradoxes of the material conditional, nonmonotonic reasoning, and Adams’ Thesis. It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach. (shrink)

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability theory provide (...) appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (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)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

The current literature suggests that the use of Husserl’s and Heidegger’s approaches to phenomenology is still practiced. However, a clear gap exists on how these approaches are viewed in the context of constructivism, particularly with non-traditional female students’ study of mathematics. The dissertation attempts to clarify the constructivist role of phenomenology within a transcendental framework from the first-hand meanings associated with the expression of the relevancy as expressed by interviews of six nontraditional female students who have studied undergraduate mathematics. Comparisons (...) also illustrate how the views associated with Husserl’s stance on phenomenology inadvertently relate to the stances of the participants interviewed as part of the study. The research questions focus on the emotional association with studying mathematics and how pre-conceived opinions regarding the study of mathematics may have influenced the essences of the experiences of the participants who have studied collegiate-level mathematics. The essences of the experiences of the participants are analyzed using bracketing and epoché to ensure personal biases of the researcher do not affect the interpretation of the expressed essences of the participants. Data collection is accomplished through two series of qualitative interviews seeking the participants’ firsthand impressions of how they view the way instructional design is oriented with regard to mathematics. Additional questions seek to illuminate the participants’ point of view regarding their emotional association with mathematics as well as their opinions and theoretical perspectives on the study of mathematics. (shrink)

Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...) as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (shrink)

Causal reasoning is one of our most central cognitive competencies, enabling us to adapt to our world. Causal knowledge allows us to predict future events, or diagnose the causes of observed facts. We plan actions and solve problems using knowledge about cause-effect relations. Without our ability to discover and empirically test causal theories, we would not have made progress in various empirical sciences. In the past decades, the important role of causal knowledge has been discovered in many areas of cognitive (...) psychology. Despite the ubiquity of causal reasoning, textbooks of cognitive psychology have neglected this growing field. The goal of The Oxford Handbook of Causal Reasoning is to fill this gap. The handbook brings together the leading researchers in the field of causal reasoning and offers state-of-the-art presentations of theories and research. It provides introductions of competing theories of causal reasoning, and discusses its role in various cognitive functions and domains. The final section presents research from neighboring fields. 1. Causal Reasoning: An Introduction Michael R. Waldmann Part I: Theories of Causal Cognition 2. Associative Accounts of Causal Cognition Mike E. Le Pelley, Oren Griffiths, and Tom Beesley 3. Rules of Causal Judgment: Mapping Statistical Information Onto Causal Beliefs José C. Perales, Andrés Catena, Antonio Cándido, and Antonio Maldonado 4. The Inferential Reasoning Theory of Causal Learning: Toward a Multi- Process Propositional Account Yannick Boddez, Jan De Houwer, and Tom Beckers 5. Causal Invariance as an Essential Constraint for Creating a Causal Representation of the World: Generalizing the Invariance of Causal Power Patricia W. Cheng and Hongjing Lu 6. The Acquisition and Use of Causal Structure Knowledge Benjamin Margolin Rottman 7. Formalizing Prior Knowledge in Causal Induction Thomas L. Griffiths 8. Causal Mechanisms Samuel G. B. Johnson and Woo-kyoung Ahn 9. Force Dynamics and Causation Phillip Wolff and Robert Thorstad 10. Mental Models and Causation P. N. Johnson- Laird and Sangeet S. Khemlani 11. Pseudocontingencies Klaus Fiedler and Florian Kutzner 12. Singular Causation David Danks 13. Cognitive Neuroscience of Causal Reasoning Joachim T. Operskalski and Aron K. Barbey Part II: Basic Cognitive Functions 14. Visual Impressions of Causality Peter White 15. Goal-Directed Actions Bernhard Hommel 16. Planning and Control Magda Osman 17. Reinforcement Learning and Causal Models Samuel J. Gershman 18. Causation and the Probability of Causal Conditionals David E. Over 19. Causal Models and Conditional Reasoning Mike Oaksford and Nick Chater 20. Concepts as Causal Models: Categorization Bob Rehder 21. Concepts as Causal Models: Induction Bob Rehder 22. Causal Explanation Tania Lombrozo and Nadya Vasilyeva 23. Diagnostic Reasoning Björn Meder and Ralf Mayrhofer 24. Inferring Causal Relations by Analogy Keith J. Holyoak and Hee-Seung Lee 25. Causal Argument Ulrike Hahn, Roland Bluhm, and Frank Zenker 26. Causality in Decision- Making York Hagmayer and Philip M. Fernbach Part III: Domains of Causal Reasoning 27. Intuitive Theories Tobias Gerstenberg and Joshua B. Tenenbaum 28. Space, Time, and Causality Marc J. Buehner 29. Causation in Legal and Moral Reasoning David A. Lagnado and Tobias Gerstenberg 30. The Role of Causal Knowledge in Reasoning About Mental Disorders Woo-kyoung Ahn, Nancy S. Kim, and Matthew S. Lebowitz 31. Causality and Causal Reasoning in Natural Language Torgrim Solstad and Oliver Bott 32. Social Attribution and Explanation Denis Hilton Part IV: Development, Phylogeny, and Culture 33. The Development of Causal Reasoning Paul Muentener and Elizabeth Bonawitz 34. Causal Reasoning in Non-Human Animals Christian Schloegl and Julia Fischer 35. Causal Cognition and Culture Andrea Bender, Sieghard Beller, and Douglas L. Medin. (shrink)

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.

Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. We report four experiments which investigate three rules of SYSTEMP, namely the AND, the LEFT LOGICAL EQUIVALENCE, and the OR rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of SYSTEM P. We found a relatively good agreement of human reasoning and principles of nonmonotonic (...) reasoning. Contrary to the results reported in the ‘heuristics and biases’ tradition, the subjects committed relatively few upper bound violations (conjunction fallacies). (shrink)

In this article, we provide a broad overview of the interplay among cognition, belief systems, and institutions, and how they affect economic performance. We argue that a deeper understanding of institutions’ emergence, their working properties, and their effect on economic and political outcomes should begin from an analysis of cognitive processes. We explore the nature of individual and collective learning, stressing that the issue is not whether agents are perfectly or boundedly rational, but rather how human beings actually reason and (...) choose, individually and in collective settings. We then tie the processes of learning to institutional analysis, providing arguments in favor of what can be characterized as “cognitive institutionalism.” Besides, we show that a full treatment of the phenomenon of path dependence should start at the cognitive level, proceed at the institutional level, and culminate at the economic level. (shrink)

The computational paradigm, which has dominated psychology and artificial intelligence since the cognitive revolution, has been a source of intense debate. Recently, several cognitive scientists have argued against this paradigm, not by objecting to computation, but rather by objecting to the notion of representation. Our analysis of these objections reveals that it is not the notion of representation per se that is causing the problem, but rather specific properties of representations as they are used in various psychological theories. Our analysis (...) suggests that all theorists accept the idea that cognitive processing involves internal information-carrying states that mediate cognitive processing. These mediating states are a superordinate category of representations. We discuss five properties that can be added to mediating states and examine their importance in various cognitive models. Finally, three methodological lessons are drawn from our analysis and discussion. (shrink)

Much evidence has accumulated in favor of such a dual view of reasoning. There is however some vagueness in the way the two systems are characterized. Instead of a principled distinction, we are presented with a bundle of contrasting features - slow/fast, automatic/controlled, explicit/implicit, associationist/rule based, modular/central - that, depending on the specific dual process theory, are attributed more or less exclusively to one of the two systems. As Evans states in a recent review, “it would then be helpful to (...) have some clear basis for this distinction”; he also suggests that “we might be better off talking about type 1 and type 2 processes” rather than systems. We share the intuitions that drove the development of dual system theories. Our goal here is to propose in the same spirit a principled distinction between two types of inferences: ‘intuitive inference’ and ‘reflective inference’. We ground this distinction in a massively modular view of the human mind where metarepresentational modules play an important role in explaining the peculiarities of human psychological evolution. We defend the hypothesis that the main function of reflective inference is to produce and evaluate arguments occurring in interpersonal communication. This function, we claim, helps explain important aspects of reasoning. We review some of the existing evidence and argue that it gives support to this approach. (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.

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.

In this paper I will argue that this entire dialectic is somewhat misguided. The mental states which are generally assumed to fall under the category of ‘intuition’ likely comprise a highly heterogeneous group; from the point of view of psychology or of neuroscience, in fact, ‘intuitions’ appear to be generated by several fundamentally different sorts of mental processes. If this is correct, then the term ‘intuition’ may simply carve things too broadly. I will argue that it is a mistake to (...) focus on the ‘reliability of intuition’; empirical evidence suggests that the reliability of one type of intuition may tell us next to nothing about the reliability of other types. Rather than debating the evidential status of intuition as a whole, philosophers interested in methodology would do well to focus their investigations much more narrowly. (shrink)

This paper explores the question of what logic is not. It argues against the wide spread assumptions that logic is: a model of reason; a model of correct reason; the laws of thought, or indeed is related to reason at all such that the essential nature of the two are crucially or essentially co-illustrative. I note that due to such assumptions, our current understanding of the nature of logic itself is thoroughly entangled with the nature of reason. I show that (...) most arguments for the presence of any sort of essential re- lationship between logic and reason face intractable problems and demands, and fall well short of addressing them. These arguments include those for the notion that logic is normative for reason (or that logic and correct reason are in some way the same thing), that logic is some sort of description of correct reason and that logic is an abstracted or idealised version of correct reason. A strong version of logical realism is put forward as an alternative view, and is briefly explored. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (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)

Conditionals are central to inference. Before people can draw inferences about a natural language conditional, they must interpret its meaning. We investigated interpretation of uncertain conditionals using a probabilistic truth table task, focussing on (i) conditional event, (ii) material conditional, and (iii) conjunction interpretations. The order of object (shape) and feature (color) in each conditional's antecedent and consequent was varied between participants. The conditional event was the dominant interpretation, followed by conjunction, and took longer to process than conjunction (mean di (...) erence 500 ms). Material conditional responses were rare. The proportion of conditional event responses increased from around 40% at the beginning of the task to nearly 80% at the end, with 55% of participants showing a qualitative shift of interpretation. Shifts to the conditional event occurred later in the feature-object order than in the object-feature order. We discuss the results in terms of insight and suggest implications for theories of interpretation. (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)

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)

Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductive reasoning, the kind of reasoning in which the truth of the premises need not guarantee the truth of the conclusion.

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

In this paper, we claim that the problem of conditionals should be dealt with by carefully distinguishing between thinking conditional propositions and conditional thinking, i.e. thinking on the basis of some supposition. This distinction deserves further investigation, if we are to make sense of some old and new experimental data concerning the understanding and the assertion of conditional sentences. Here we will argue that some of these data seem to refute the mental models theory of conditional reasoning, setting the ground (...) for a different approach to the cognitive study of conditionals. (shrink)

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

This work explores the importance of similarity-based processes in human everyday reasoning, beyond purely rule-based processes prevalent in AI and cognitive science. A unified framework encompassing both rulebased and similarity-based reasoning may provide explanations for a variety of human reasoning data.

We discuss O&C's probabilistic approach from a probability logical point of view. Specifically, we comment on subjective probability, the indispensability of logic, the Ramsey test, the consequence relation, human nonmonotonic reasoning, intervals, generalized quantifiers, and rational analysis.

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)

The mental model theory predicts that reasoners normally represent what is true, but not what is false. One consequence is that reasoners should make "illusory" inferences, which are compelling but invalid. Three experiments confirmed the existence of such illusions based on disjunctions of disjunctions. They also established a successful antidote to them: Reasoners are much less likely to succumb to illusions if the inferences concern disjunctions of physical objects (alternative newspaper advertisements) rather disjunctions of the truth values of assertions. The (...) results shed light both on the cause of the illusions and on the current controversy among different theories of reasoning. (shrink)

Researchers currently working on relational reasoning typically argue that mental model theory (MMT) is a better account than the inference rule approach (IRA). They predict and observe that determinate (or one-model) problems are easier than indeterminate (or two-model) problems, whereas according to them, IRA should lead to the opposite prediction. However, the predictions attributed to IRA are based on a mistaken argument. The IRA is generally presented in such a way that inference rules only deal with determinate relations and not (...) with indeterminate ones. However, (a) there is no reason to presuppose that a rule-based procedure could not deal with indeterminate relations, and (b) applying a rule-based procedure to indeterminate relations should result in greater difficulty. Hence, none of the recent articles devoted to relational reasoning currently presents a conclusive case for discarding IRA by using the well-known determinate vs indeterminate problems comparison. (shrink)

How do people imagine the possibilities in which an assertion would be true and the possibilities in which it would be false? We argue that the mental representation of the meanings of connectives, such as "and", "or", and "if", specify how to construct the true possibilities for simple assertions containing just a single connective. It follows that the false possibilities are constructed by inference from the true possibilities. We report converging evidence supporting this account from four experiments in which the (...) participants had to list the true and the false possibilities for various sorts of assertion. Their systematic errors, response times, and think-aloud protocols corroborated the theory's predictions. Not even true possibilities are immediately available for complex assertions containing two or more different connectives. The task of listing the true possibilities then becomes difficult, and the task of listing the false possibilities almost impossible. (shrink)

Epistemology has recently witnessed a number of efforts to rehabilitate rationalism, to defend the existence and importance of a priori knowledge or warrant construed as the product of rational insight or apprehension (Bealer 1987; Bigelow 1992; BonJour 1992, 1998; Burge 1998; Butchvarov 1970; Katz 1998; Plantinga 1993). This effort has sometimes been coupled with an attack on naturalistic epistemology, especially in BonJour 1994 and Katz 1998. Such coupling is not surprising, because naturalistic epistemology is often associated with thoroughgoing empiricism and (...) the rejection of the a priori. In this paper, however, I shall present a conception of naturalistic epistemology that is entirely compatible with a priori justification or knowledge. The resulting conception, I claim, gives us a better appreciation of the respective merits of the rational and the empirical, as well as a better understanding of how moderate epistemological naturalism comports, at least in principle, with moderate rationalism. This paper defends moderate rationalism; but it does not defend everything rationalists have often wanted, only what it is reasonable to grant them. (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)