David Earl Over is a leading cognitive scientist and, with his firm grounding in philosophical logic, he also exerts a powerful influence on the psychology of reasoning. He is responsible for not only a large body of empirical work and accompanying theory, but for advancing a major shift in thinking about reasoning, commonly known as the 'new paradigm' in the psychology of human reasoning. Over's signature mix of philosophical logic and experimental psychology has inspired generations of researchers, psychologists, and philosophers (...) alike over more than a quarter of a century. The chapters in this volume, written by a leading group of contributors including a number who helped shape the psychology of reasoning as we know it today, each take their starting point from the key themes of Over's ground-breaking work. The essays in this collection explore a wide range of central topics--such as rationality, bias, dual processes, and dual systems--as well as contemporary psychological and philosophical theories of conditionals. It concludes with an engaging new chapter, authored by David Over himself, which details and analyses the new paradigm psychology of reasoning. This book is therefore important reading for scholars, researchers, and advanced students in psychology, philosophy, and the cognitive sciences, including those who are not familiar with Over's thought already. (shrink)

David E. Over is a leading cognitive scientist and, with his firm grounding in philosophical logic, he also exerts a powerful influence on the psychology of reasoning. He is responsible for not only a large body of empirical work and accompanying theory, but for advancing a major shift in thinking about reasoning, commonly known as the ‘new paradigm’ in the psychology of human reasoning. -/- Over’s signature mix of philosophical logic and experimental psychology has inspired generations of researchers, psychologists, and (...) philosophers alike over more than a quarter of a century. The chapters in this volume, written by a leading group of contributors including a number who helped shape the psychology of reasoning as we know it today, each take their starting point from the key themes of Over’s ground-breaking work. The essays in this collection explore a wide range of central topics—such as rationality, bias, dual processes, and dual systems—as well as contemporary psychological and philosophical theories of conditionals. It concludes with an engaging new chapter, authored by David E. Over himself, which details and analyses the new paradigm psychology of reasoning. -/- This book is therefore important reading for scholars, researchers, and advanced students in psychology, philosophy, and the cognitive sciences, including those who are not familiar with Over’s thought already. (shrink)

We propose a critique of normativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we (...) propose that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater’s rational analysis and Stanovich and West’s individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations. (shrink)

We propose a critique ofnormativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we propose (...) that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater's rational analysis and Stanovich and West's individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations. (shrink)

This volume is a state-of-the-art survey of the psychology of reasoning, based around, and in tribute to, one of the field "s most eminent figures: Jonathan St B.T. Evans.

Two Experiments demonstrate the existence of a “collapse illusion”, in which reasoners evaluate Truthteller-type propositions (“I am telling the truth”) as if they were simply true, whereas Liar-type propositions (“I am lying”) tend to be evaluated as neither true nor false. The second Experiment also demonstrates an individual differences pattern, in which shallow reasoners are more susceptible to the illusion. The collapse illusion is congruent with philosophical semantic truth theories such as Kripke's (1975), and with hypothetical thinking theory's principle of (...) satisficing, but can only be partially accounted for by the model theory principle of truth. Pragmatic effects related to sentence cohesion further reinforce hypothetical thinking theory interpretation of the data, although the illusion and cohesion data could also be accounted for within a modified mental model theory. (shrink)

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing on (...) the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

_ Source: _Volume 26, Issue 2, pp 174 - 211 This article explores the metaphysical, epistemological, and mystical aspects of happiness in the Judeo-Arabic _Treatise on Ultimate Happiness_, of which only two chapters have survived from what is thought to have been a more comprehensive text. Although the treatise is attributed to Moses Maimonides, the conception of happiness it presents is clearly that of the Pietists, the Jewish-Sufi circle of thirteenth-century Egypt. The discussion of happiness in this short treatise constitutes (...) an important chapter in the philosophical and mystical discourse about happiness in medieval Jewish-Islamic thought, especially within the Jewish-Sufi mystical stream led by Maimonides’s descendants. (shrink)

Originally identified by Hume, the validity of is–ought inference is much debated in the meta-ethics literature. Our work shows that inference from is to ought typically proceeds from contextualised, value-laden causal utility conditional, bridging into a deontic conclusion. Such conditional statements tell us what actions are needed to achieve or avoid consequences that are good or bad. Psychological research has established that people generally reason fluently and easily with utility conditionals. Our own research also has shown that people’s reasoning from (...) is to ought is pragmatically sensitive and adapted to achieving the individual’s goals. But how do we acquire the necessary deontic rules? In this paper, we provide a rationale for this facility linked to Evans’s framework of dual mind rationality. People have an old mind which derives its rationality by repeating what has worked in the past, mostly by experiential learning. New mind rationality, in contrast, is evolutionarily recent, uniquely developed in humans, and draws on our ability to mentally simulate hypothetical events removed in time and place. We contend that the new mind achieves its goals by inducing and applying deontic rules and that a mechanism of deontic introduction evolved for this purpose. (shrink)

Elqayam & Evans (E&E) argue that the major objective of research on human thinking should be the development of descriptive theories, and they challenge normativism the belief that people ought to conform to a normative standard” (target article, sect. 1, para. 10). I contend that although their argument for the importance of developing descriptive theories is compelling, normative theories are also important, not only for improving thinking but for investigating and understanding it as well.

Normativism, the approach that judges human rationality by comparison against normative standards, has recently come under intensive criticism as unsuitable for psychological enquiry, and it has been suggested that it should be replaced with a descriptivist paradigm. My goal in this paper is to outline and defend a meta-theoretical framework of such a paradigm, grounded rationality, based on the related principles of descriptivism and (moderate) epistemic relativism. Bounded rationality takes into account universal biological and cognitive limitations on human rationality. Grounded (...) rationality accepts universal constraints but adds cognitive variability: Within-individual variability (dual processing), and individual as well as cultural differences. I discuss the implications of grounded rationality to dual processing, proposing that investing limited cognitive resources in analytic processing might be less instrumentally rational for individuals with low cognitive ability. (shrink)

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth‐table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

In recent years, the psychology of reasoning has been undergoing a paradigm shift, with general Bayesian, probabilistic approaches replacing the older, much more restricted binary logic paradigm. At the same time, dual processing theories have been gaining influence. We argue that these developments should be integrated and moreover that such integration is already underway. The new reasoning paradigm should be grounded in dual processing for its algorithmic level of analysis just as it uses Bayesian theory for its computational level of (...) analysis. Moreover, we propose that, within the new paradigm, these levels of analysis reflect on each other. Bayesianism suggests a specific theoretical understanding of dual processing. Just as importantly, the duality in processing carries over to duality in function; although both types of processes compute degrees of belief, they generate different functions. (shrink)

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth-table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

This theoretical note proposes a two-dimensional cognitive architecture for dual-process theories of reasoning and decision making. Evans (2007b, 2008a, 2009) distinguishes between two types of dual-processing models: parallel-competitive , in which both types of processes operate in parallel, and default-interventionist , in which heuristic processes precede the analytic processes. I suggest that this temporal dimension should be enhanced with a functional distinction between interactionist architecture, in which either type of process influences the content and valence of the other, and independent (...) architecture, in which they do not. Override architecture is a special case of the latter, which postulates statistical interaction, but no interaction of valence and content. I show that this added dimensional distinction casts doubt on two assumptions of statistical modelling that Evans makes: independence and linearity. However, Evans' (2007b) point, that statistical modelling is underspecified vis- -vis the verbal theory, is given further support. The functional dimension is crucial to interpreting the statistical model, as well as to theoretical understanding of the cognitive architecture and its educational applications. (shrink)

Our target article identified normativism as the view that rationality should be evaluated against unconditional normative standards. We believe this to be entrenched in the psychological study of reasoning and decision making and argued that it is damaging to this empirical area of study, calling instead for a descriptivist psychology of reasoning and decision making. The views of 29 commentators (from philosophy and cognitive science as well as psychology) were mixed, including some staunch defences of normativism, but also a number (...) that were broadly supportive of our position, although critical of various details. In particular, many defended a position that we call which sees a role for normative evaluation within boundaries alongside more descriptive research goals. In this response, we clarify our use of the term and add discussion of defining both as descriptive and non-normative concepts. We consider the debate with reference to dual-process theory, the psychology of reasoning, and empirical research strategy in these fields. We also discuss cognitive variation by age, intelligence, and culture, and the issue of relative versus absolute definitions of norms. In conclusion, we hope at least to have raised consciousness about the important boundaries between norm and description in the psychology of thinking. (shrink)

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...) Woolhouse's and Francks's new English edition gives the only full representation of this debate, and will therefore be essential reading for anyone who wishes to gain a proper understanding of Leibniz's philosophy and its intelletual context. All the texts are newly translated and extensively annotated; many appear in English for the first time. (shrink)

Seminar papers on Dvaitadvaita philosophy with reference to Advaitabrahmasiddhi of Madhusūdana Sarasvatī and Nyāyāmr̥ta of Vyāsatīrtha, 1460-1539.

-- v. 2. Pami︠a︡ti Vitalii︠a︡ Ivanovicha Svint︠s︡ova.

This chapter offers a proceduralist argument against capital punishment. More specifically, it contends that the possibility of irrevocable mistakes precludes the just administration of the death penalty. At stake is a principle of political morality: legal institutions must strive to remedy their mistakes and to compensate those who suffer from wrongful sanctions. The incompatibility of remedy and execution is the crux of the irrevocability argument: because the wrongly executed cannot enjoy the morally required compensation, execution is impermissible. Along with defending (...) his key premises, Yost explains the complicated role that sentencing uncertainty plays in the argument. He concludes by noting some of the flaws in substantive consequentialist and retributivist justifications of capital punishment. (shrink)

Purpose. The research is aimed at substantiation of the process of formation of various human images in the postmodernism era in the context of biophilosophy, taking into account the need to find an adequate response to historical challenges and the production of new value orientations reflecting succession of civilization development. Theoretical basis. The author in his theoretical constructs proceeds from the need of taking into account the biophilosophical aspect of postmodern man, as the one who, remaining a representative of the (...) species Homo sapiens, began to dynamically change, losing its own natural and functional qualities, acquiring to a large extent the socio-technology-related qualities. The thesis that in the postmodern society the moral and legal foundations of existence of human being, as the subject of actions and responsibility for these actions, practically coincide with the biological foundations is taken as initial argument. New biological knowledge, as well as the related technologies, orient the public consciousness towards production of fundamentally new or modernization of the existing bio-philosophical ideas. The author's vision of the anthropological collision of the Post-Modernism era is caused by the fact that the issues of a postmodern man acquire a special urgency at the end of the ХХ – early XXI century. A progressive disproportion between a human being, whose abilities as a representative of the species Homo sapiens are biologically limited, and the human community, which sees no limits in its information and technological expansion, is of current interest. Originality. The author reveals the key features of the Post-Modernism era, in which a fundamentally different civilizational space originates, and where a new type of person emerges in its internal culture, which is called the postmodern man. The postmodern man was considered through the prism of bio-philosophy. Its interest in man is caused by his or her place in nature, the prospects of development at the individual, population and species levels. Conclusions. In the process of development of bio-philosophy, its research field will be naturally expanded with the use of philosophical means of perception of life as such and filling the bio-philosophy with philosophical and biological issues. In contemporary conditions, the study of the boundaries of biological reality and its previously unknown properties, definition of new horizons of theoretical knowledge in the science of life, the critical rethinking of the concepts of biocentrism and anthropocentrism in the space of modern scientific knowledge, the definition of perspective trends in the study of man, his or her place and role in the planetary being is of great importance. (shrink)