Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and patterning between (...) functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

Free will, if such there be, involves free choosing: the ability to mentally choose an outcome, where the outcome is 'free' in being, in some substantive sense, up to the agent of the choice. As such, it is clear that the questions of how to understand free will and mental causation are connected, for events of seemingly free choosing are mental events that appear to be efficacious vis-a-vis other mental events as well as physical events. Nonetheless, the free will and (...) mental causation debates have proceeded largely independently of each other. Here we aim to make progress in determining how the free will and mental causation debates bear on one another. We first argue that the problems of free will and of mental causation can be seen as special cases of a more general problem, concerning whether and how mental events of a given type may be efficacious, qua the types of event they are---qualitative, intentional, freely deliberative---given their apparent causal irrelevancy for effects of the type in question; here we generalize what Horgan 1989 identifies as "the problem of mental quausation" (S1). We then build on this result to identify fruitful parallels between hard determinism and eliminative physicalism (S2) and soft determinism and non-reductive physicalism (S3). (shrink)

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

The purpose of this article is to describe the development of a model of moral distress in military nursing. The model evolved through an analysis of the moral distress and military nursing literature, and the analysis of interview data obtained from US Army Nurse Corps officers (n = 13). Stories of moral distress (n = 10) given by the interview participants identified the process of the moral distress experience among military nurses and the dimensions of the military nursing moral distress (...) phenomenon. Models of both the process of military nursing moral distress and the phenomenon itself are proposed. Recommendations are made for the use of the military nursing moral distress models in future research studies and in interventions to ameliorate the experience of moral distress in crisis military deployments. (shrink)

The nurturing that produces love, care, and solidarity constitutes a discrete social system of affective relations. Affective relations are not social derivatives, subordinate to economic, political, or cultural relations in matters of social justice. Rather, they are productive, materialist human relations that constitute people mentally, emotionally, physically, and socially. As love laboring is highly gendered, and is a form of work that is both inalienable and noncommodifiable, affective relations are therefore sites of political import for social justice. We argue that (...) it is impossible to have gender justice without relational justice in loving and caring. Moreover, if love is to thrive as a valued social practice, public policies need to be directed by norms of love, care, and solidarity rather than norms of capital accumulation. To promote equality in the affective domains of loving and caring, we argue for a four-dimensional rather than a three-dimensional model of social justice as proposed by Nancy Fraser. Such a model would align relational justice, especially in love laboring, with the equalization of resources, respect, and representation. (shrink)

With the emergence of systems biology the notion of organizing principles is being highlighted as a key research aim. Researchers attempt to ‘reverse engineer’ the functional organization of biological systems using methodologies from mathematics, engineering and computer science while taking advantage of data produced by new experimental techniques. While systems biology is a relatively new approach, the quest for general principles of biological organization dates back to systems theoretic approaches in early and mid-20th century. The aim of this paper is (...) to draw on this historical background in order to increase the understanding of the motivation behind the systems theoretic approach and to clarify different epistemic aims within systems biology. We pinpoint key aspects of earlier approaches that also underlie the current practice. These are i) the focus on relational and system-level properties, ii) the inherent critique of reductionism and fragmentation of knowledge resulting from overspecialization, and iii) the insight that the ideal of formulating abstract organizing principles is complementary to, rather than conflicting with, the aim of formulating detailed explanations of biological mechanisms. We argue that looking back not only helps us understand the current practice but also points to possible future directions for systems biology. (shrink)

This article examines ‘collective feelings’ by considering how ‘others’ create impressions on the surfaces of bodies. Rather than considering ‘collective feeling’ as ‘fellow feeling’ or in terms of feeling ‘for’ the collective, the article suggests that how we respond to others in intercorporeal encounters creates the impression of a collective body. In other words, how we feel about others is what aligns us with a collective, which paradoxically ‘takes shape’ only as an effect of such alignments. The article considers different (...) examples of racism in which a particular other is held in place by being aligned with other others. The ‘moment of contact’ is shaped by past histories of contact, which allows the proximity of a racial other to be perceived as threatening, at the same time as it re-shapes the bodies in the contact zone of the encounter. Feelings rehearse associations that are already in place, in the way in which they ‘read’ the proximity of others, at the same time as they establish the ‘truth’ of the reading. The article extends its analysis by showing that bodily proximity is not required to create the impressions of others, and offers an analysis of ‘collective feelings’ within virtual communities of global nomads. Proximity does not require physical co-presence: the collective can ‘surface’ through giving up on local attachments (where the screen becomes a substitute for the skin). The article concludes that collective feelings are not feelings that the collective ‘has’, as if the collective was a subject. Rather the collective is an effect of the impressions left by others on the surfaces of skins. (shrink)

The aim of this volume is to offer an updated account of the transcendental character of phenomenology. The main question concerns the sense and relevance of transcendental philosophy today: What can such philosophy contribute to contemporary inquiries and debates after the many reasoned attacks against its idealistic, aprioristic, absolutist and universalistic tendencies—voiced most vigorously by late 20th century postmodern thinkers—as well as attacks against its apparently circular arguments and suspicious metaphysics launched by many analytic philosophers? Contributors also aim to clarify (...) the relations of transcendental phenomenology to other post-Kantian philosophies, most importantly to pragmatism and Wittgenstein’s philosophical investigations. Finally, the volume offers a set of reflections on the meaning of post-transcendental phenomenology. (shrink)

The paper argues that the philosophical starting point of Simone de Beauvoir's The Second Sex is the phenomenological understanding of the living body, developed by Edmund Husserl and Maurice Merleau-Ponty. It shows that Beauvoir's notion of philosophy stems from the phenomenological interpretation of Cartesianism which emphasizes the role of evidence, self-criticism, and dialogue.

The struggle to delineate the relationship between theology and logic flourished in the thirteenth century and culminated in two condemnations in early 1277, one in Paris and the other in Oxford. To see how much and what kind of effect ecclesiastical actions such as condemnations and prohibitions to teach had on the development of logic in the Middle Ages, we investigate the events leading up to the 1277 actions, the condemned propositions, and the parts of these condemnations connected to modal (...) and temporal logic specifically. We show that because of the specific motivations late thirteenth-century and fourteenth-century logicians had when working in modal and temporal logic, the effect of the 1277 condemnations on the development of those branches was much smaller than might have been supposed. (shrink)

Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set (...) of S-dialogically valid formulas is closed under modus ponens. Solving the composition problem is fundamental for the dialogical approach to logic; despite its simplicity, it often requires an indirect solution with the help of significant logical machinery such as cut-elimination. Direct solutions to the composition problem can, however, sometimes be had. As an example, we give a set N of dialogue rules which is well-justified from the dialogical point of view, but whose set N of dialogically valid formulas is both non-trivial and non-standard. We prove that the composition problem for N can be solved directly, and introduce a tableaux system for N. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Whiteness and the General WillDiversity Work as Willful WorkSara AhmedIn this essay I explore whiteness in relation to the general will. My starting point is that the idea of “the general will” offers us a vocabulary for thinking through the materiality of race. In his keynote address to the 40th Annual Philosophy Symposium in 2010, Charles Mills argues that race is material: it becomes part of the living human (...) body. Mills draws on recent theories of whiteness as habit, including the work of Linda Alcoff (2006) and Shannon Sullivan (2006). Quoting from Sullivan, he suggests that whiteness is in “the nose that smells, the back, neck and other muscles that imperceptibly tighten with anxiety, and the eyes that see some but not all physical differences as significant” (Sullivan 2006, 188). Whiteness is embodied; it is in bodily matter as well as affecting how bodies matter. Mills then suggests that the materiality of whiteness is its “resistance to will.” One definition of materiality could be this: resistance to will.This essay takes up the theme of the materiality of race by thinking of whiteness in relation to the will. There are clearly risks in such an undertaking: after all, the idea of whiteness as willed might seem to imply that whiteness is volitional: and can be simply “willed away.”1 I want to suggest that if whiteness is resistant to will, as that which cannot be simply willed away, then whiteness can also be understood as willed: in other words, what cannot be willed away is a willing way. Edward Said’s definition of Orientalism as “willed human work,” which as a definition has yet to be rigorously understood, could be considered an important precedent to my argument (1978, 140). The suggestion is not [End Page 1] simply that the Orient is brought into existence, or made to exist over time, but that the very labor of creating the Orient, the land of the stranger, the land far away, is what establishes a direction. Once the Orient has come to exist, there is a willing of its existence; to keep going that way is to keep that way going. Willed work is work that in willing that way creates a way that can be willed. It is not as the old English cliché says—where there’s a will there’s a way—but rather to will is to way. I think it is useful to think of whiteness in this way, as a willing way, which is of course only one way of thinking about whiteness.I pose the generality of the will as a way of reflecting on “institutional whiteness.” Whiteness becomes “the material” of an institutional body, whether that body is the nation, an organization, a neighborhood, or a street. We can consider an institution as a body with parts: it too has noses, mouths, muscles that register anxiety, as well as ears and eyes. Just think of how Neighborhood Watch, as a national or even global technology, uses the injunction that citizens should become the “eyes and ears of the police.” A good citizen is the one who accepts this injunction: the one who is willing to watch out for strangers, those who are loitering, who seem suspicious, or out of place. Institutions have “detection systems”: they have parts that register the approach of strangers. A collective body in registering those who are out of place, both creates strangers and establishes a direction toward them, as those who threaten the place of the “in place,” as those who generate anxiety.A key event in my own life was of becoming a stranger in a white neighborhood in Adelaide, Australia, in a place I called home. I was fourteen years old. I was stopped by two policemen in a car who asked me, “Are you Aboriginal?” It turned out that there had been some burglaries in the area. It was an extremely hostile address, and it was an unsettling experience at the time. It was an experience of being made into a stranger, the one who is recognized as “out of place,” as the one who does not belong, whose proximity is registered... (shrink)

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

In paediatric oncology, research and treatments are often closely combined, which may compromise voluntary informed consent of parents. We identified two key scenarios in which voluntary informed consent for paediatric oncology studies is potentially compromised due to the intertwinement of research and care. The first scenario is inclusion by the treating paediatric oncologist, the second scenario concerns treatments confined to the research context. In this article we examine whether voluntary informed consent of parents for research is compromised in these two (...) scenarios, and if so whether this is also morally problematic. For this, we employ the account of voluntary consent from Nelson and colleagues, who assert that voluntary consent requires substantial freedom from controlling influences. We argue that, in the absence of persuasion or manipulation, inclusion by the treating physician does not compromise voluntariness. However, it may function as a risk factor for controlling influence as it narrows the scope within which parents make decisions. Furthermore, physician appeal to reciprocity is not controlling as it constitutes persuasion. In addition, framing information is a form of informational manipulation and constitutes a controlling influence. In the second scenario, treatments confined to the research context qualify as controlling if the available options are restricted through manipulation of options. Although none of the influences is morally problematic in itself, a combination of influences may create morally problematic instances of involuntary informed consent. Therefore, safeguards should be implemented to establish an optimal environment for parents to provide voluntary informed consent in an integrated research-care context. (shrink)

A case study in the kinds of problems to expect from this increasingly popular marketing tactic.

Does responsible conduct of research (RCR) training improve levels of trust between researchers? Using data gathered as part of a survey on the attitudes of master's and doctoral-level students toward RCR, we found that RCR training correlated with a weakened beliefs of students toward their supervisors' ethicality but a stronger belief in the ethicality of their peers. We believe that these findings point to new avenues of research on trust in the academic setting and to needs for curriculum changes in (...) RCR training. (shrink)

In Democracy without Shortcuts, Cristina Lafont identifies proceduralist or ‘deep pluralist’ conceptions of democracy alongside epistemic and lottocratic approaches as shortcuts that avoid the more challenging but, in her view, preferable path of engaging with and attempting to sway competing views, values and beliefs of fellow citizens. I argue that with the wholesale dismissal of proceduralist accounts of democracy Lafont herself takes two shortcuts: The first concerns the characterization of deep pluralism as unable to explain substantive disagreement after a decision (...) is settled, and the second undervalues proceduralism’s ability to evaluate and criticize the substance of the political decision-making process. While her critique is fitting for minimalist conceptions of proceduralism, a theory of normative proceduralism shares many objectives with Lafont’s vision of a participatory deliberative democracy. Integrating those approaches instead of dismissing proceduralism outright would render her project appealing to theorists who would not otherwise consider themselves deliberative democrats. (shrink)

Explores the complex nature of truth in Wittgenstein’s philosophy.

Recently logic has shifted emphasis from static systems developed for purely theoretical reasons to dynamic systems designed for application to real world situations. The emphasis on the applied aspects of logic and reasoning means that logic has become a pragmatic tool, to be judged against the backdrop of a particular application. This shift in emphasis is, however, not new. A similar shift towards “interactive logic” occurred in the high Middle Ages. We provide a number of different examples of “interactive logic” (...) in the Middle Ages, all species of the disputation game obligatio. These games display a recognition of the importance of interaction in logical contexts and the way that interactive logic differs from single-agent inference. (shrink)

Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, (...) we look at the supposition theory of Lambert of Lagny, extracting from it a temporal logic and providing a formalization of that logic. (shrink)

In this article, I examine racial narratives of passing and their relationship to discourses of hybridity. Rather than defining passing as inherently transgressive, or as one side of identity politics or the other, I suggest that passing must be understood in relationship to forms of social antagonism. I ask the following questions: how are differences that threaten the system recuperated? How do ambiguous or hybrid bodies get read in a way which further supports the enunciative power of those who are (...) telling the difference? In what ways is `passing' implicated in the very discourse around tellable differences? Although to some extent all identities involve passing - insofar as the subject never `is' what it `images' itself to be - we still need to theorize the differences between passing as white and passing as black. I argue that passing as black as a white subject can function as a technique of knowledge which assumes `blackness' to be imageable and hence beable. However, for black subjects to refuse to pass as white - that is, for black subjects to pass as black - can make visible the violent histories concealed by the invisibility of the mark of passing. Such a process of passing as black subjects is tied to a politics of the collective - a coming together through the recognition of the lack that engenders passing in the first place. (shrink)

The current trend in knowledge revision in the Dynamic Epistemic Logic tradition focuses on the addition of new knowledge, rather than the possibility of losing knowledge. Yet there are natural situations, such as an agent who does not want another agent to know that she knows a certain piece of information, where there is a need to be able to model the retraction of a proposition from a knowledge base. One situation where this is systematically required is the variant of (...) the medieval theory of obligationes known as dubitatio, where one of the agents in the dialogue is obliged to hold the initial proposition, the dubitatum, as doubtful, regardless of what other propositions she may concede or deny during the disputation. In this paper, we use dubitatio as a motivation for studying deceitful agents, and we discuss various ways that an agent can move from a model where f is known to one where f is not known. (shrink)

The authors of this paper explore Gert Biesta's theorization of three domains of purpose of education: socialization, qualification, and subjectification. The aim is to study the interrelations of the domains and to develop further the theoretical discussion concerning schools' purpose for both individuals and society. Outlining the relationships of the domains of purpose allows one to see how the societal purpose of education is realized in the education of individual students. The domain of socialization sets the stage for the domains (...) of qualification and subjectification, making the balance of the latter two crucial for disadvantaged students as well as schools' societal purpose of both maintaining and reforming soci(et)al structures. Two key ideas are raised: First, in order to better understand the current dynamics of the three domains, the authors suggest separating the logic and content of “qualification.” Second, the authors discuss why it is equally useful to separate the everyday and societal dimension of purpose. The central question is this: Can individual educators find a balance between the three domains if the surrounding society overvalues the logic of qualification? (shrink)

Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal systems of argumentation in Hamblin (Fallacies. Methuen, London, 1970, Theoria 37:130–135, 1971) are some of the earliest examples. Hamblin cites the medieval theory of obligationes as inspiration for his development of formal argumentation. In an obligatio, two agents, the Opponent and the Respondent, engage in an (...) alternating-move dialogue, where the Respondent’s actions are governed by certain rules, and the goal of the dialogue is establishing the consistency of a proposition. We implement obligationes in the formal dialogue system framework of Prakken (Knowl Eng Rev 21(2):163–188, 2006) using Dynamic Epistemic Logic (van Ditmarsch et al. in Dynamic epistemic logic, Synthese Library Series. Springer, Berlin, 2007). The result is a new type of inter-agent dialogue, for consistency-checking, and analyzing obligationes in this way also sheds light on interpretational and historical questions concerning their use and purpose in medieval academia. (shrink)

This article addresses the issue of attributing phenomenal consciousness to Artificial Intelligence (AI), a mistake that can lead to ethically dangerous consequences and that is becoming widespread due to the advances of Large Language Models such as ChatGPT. We juxtapose advancements in AI with the notion of inner experience as it is present in humans. The study draws from various disciplines, including philosophy of mind, artificial intelligence, and theological texts such as "The Inner Castle" by Saint Theresa of Ávila and (...) "Confessions" by Saint Augustine. Firstly, it reviews the current state of the relationship between phenomenal consciousness and AI, followed by a critique of the idea that advanced language models, like ChatGPT, can achieve an inner experience in the same sense we use the term to describe the human inner experience. A common objection is raised, suggesting that AI can become conscious by increasing its complexity. This is countered by presenting theoretical and empirical evidence on the independence of computational intelligence and phenomenal consciousness. The study concludes that, despite AI's notable cognitive abilities, it lacks the inner experience that characterizes human experience. Then, our second main contribution is an analogy of the dwellings of the Inner Castle to the range of different subjective experiences that are available to human beings, together with actions associated to them, which can be useful to understand where the machine can perform tasks that are similar to the human and where subjective experience is key. We are now in a pivotal moment where it is essential to understand the limitations of AI for deploying it ethically. (shrink)

Fictional discourse and fictional languages provide useful test cases for theories of meaning. In this paper, we argue against truth-conditional accounts of meaning on the basis of problems posed by language(s) of fiction. It is well-known how fictional discourse -- discourse about non-existent objects -- poses a problem for truth-conditional theories of meaning. Less well-considered, however, are the problems posed by fictional languages, which can be created to either be meaningful or not to be meaningful; both of these ultimately also (...) provide problems for a truth-conditional account of meaning, because it cannot account for the ways in which we use and evaluate such fictional languages. (shrink)

The ArgumentIn 1612, Lodovico Cigoli completed a fresco in the Pauline chapel of the Basilica of Santa Maria Maggiore in Rome depicting Apocalypse 12: “A woman clothed with the sun, and the moon under her feet.” He showed the crescent Moon with spots, as his friend Galileo had observed with the newly invented telescope. Considerations of the orthodox view of the perfect Moon as held by philosophers have led historians to ask why this clearly imperfect Moon in a religious painting (...) raised no eyebrows. We argue that when considered in the context of biblical interpretation and the rhetoric of the Counter-Reformation, the imperfect Moon under the woman's feet was entirely consistent with traditional interpretations of Apocalypse 12. (shrink)

Norenzayan, Smith, Jun Kim, and Nisbett (2002) investigated cultural differences in the use of intuitive versus formal reasoning in 4 experiments. Our comment concerns the 4th experiment where Norenzayan et al. reported that, although there were no cultural differences in accuracy on abstract logical arguments, Koreans made more errors than U.S. undergraduates in judging the logical validity of concrete arguments. Norenzayan et al. concluded that Koreans are less likely than European Americans to decontextualize an argument's content from its logical structure, (...) as Koreans were more likely to consider the believability of the conclusion when assessing an argument's validity (a belief bias). Notably, Korean participants were more conservative (less likely to say an argument is valid) than European American participants when assessing arguments. An analysis of the average of the hit and correct rejection rates in each of the conditions (abstract, concrete–believable, concrete–nonbelievable) revealed that, contrary to conclusions of Norenzayan et al., European Americans were no better than Koreans at determining the validity of concrete deductive arguments with conclusions varying in believability. (shrink)