We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be “correct”, in the sense of formalizable in a formal proof system. We then present a view on the relationship between mathematics and logic that clarifies the role of formal correctness in mathematics. Finally, we discuss the significance of these arguments for recent discussions about automated theorem provers and applications of AI to mathematics.

Elliot R. Wolfson is Professor of Religious Studies and the Marsha and Jay Glazer Chair of Jewish Studies at the University of California, Santa Barbara.

Wolfson's systematic presentation of the philosophy of Spinoza has long been a classic. It is with pride that we make it available again in a one-volume edition.

In Furnishing the Mind, Jesse Prinz attempts to swing the pendulum back toward empiricism.

Jesse Prinz argues that recent work in philosophy, neuroscience, and anthropology supports two radical hypotheses about the nature of morality: moral values are based on emotional responses, and these emotional responses are inculcated by culture, not hard-wired through natural selection. In the first half of the book, Jesse Prinz defends the hypothesis that morality has an emotional foundation. Evidence from brain imaging, social psychology, and psychopathology suggest that, when we judge something to be right or wrong, we are (...) merely expressing our emotions. Prinz argues that these emotions do not track objective features of reality; rather, the rightness and wrongness of an act consists in the fact that people are disposed to have certain emotions towards it. In the second half of the book, he turns to a defense of moral relativism. Moral facts depend on emotional responses, and emotional responses vary from culture to culture. Prinz surveys the anthropological record to establish moral variation, and he draws on cultural history to show how attitudes toward practices such as cannibalism and marriage change over time. He also criticizes evidence from animal behavior and child development that has been taken to support the claim that moral attitudes are hard-wired by natural selection. Prinz concludes that there is no single true morality, but he also argues that some moral values are better than others; moral progress is possible. Throughout the book, Prinz relates his views to contemporary and historical work in philosophical ethics. His views echo themes in the writings of David Hume and Friedrich Nietzsche, but Prinz supports, extends, and revises these classic theories using the resources of cutting-edge cognitive science. The Emotional Construction of Morals will stimulate and challenge anyone who is curious about the nature and origin of moral values. (shrink)

Psychologism is defined as “the doctrine that the laws of mathematics and logic can be reduced to or depend on the laws governing thinking” (Moran & Cohen, 2012 266). And for Husserl, the laws of logic include the laws of meaning: “logic evidently is the science of meanings as such [Wissenschaft von Bedeutungen als solchen]” (Husserl ( 1975 ) 98/2001 225). I argue that, since it is sufficient for a theory to be psychologistic if the empiricistic theory of abstraction is (...) employed, it follows that neural networks are psychologistic insofar as they use this theory of abstraction, which I demonstrate is the case (Husserl ( 1975 ) 191/2001 120). It’s sufficient for psychologism because, according to Husserl, the theory in question reduces one’s phenomenological ability to intend types (or universals) to one’s past history of intending tokens (or particulars), usually amalgamated in some fashion (classically via associations; recently via autoencoders) (ibid; Kelleher, 2019 ). Similarly dynamical systems theory entails psychologism. For dynamical systems theory ties content to the temporal evolution of a system, which, according to Husserl, violates the fact that intentionality toward validities and objectivities does not pertain to "particular temporal experience[s]" (Husserl ( 1975 ) 194/2001 121). It follows that neither the species (neural networks), nor the genus (dynamical systems), can avoid psychologism and intend objects "in specie" (ibid). After critiquing these two approaches, I proceed to give an account based on the essentialist school of cognitive psychology of how we may intend objects "in specie" while avoiding the empiricistic theory of abstraction (Keil, 1989, Carey, 2009, Marcus & Davis, 2019 ). Such an account preserves the type-token distinction without psychologistic reduction to the temporal evolution of a dynamical system (Hinzen, 2006 ). This opens the way toward a truly unifying account of Husserlian phenomenology in league with cognitive science that avoids Yoshimi's ( 2016 ) and neurophenomenology's psychologistic foundation (herein demonstrated) and builds upon Sokolowski's ( 2003 ) syntactic account of Husserlian phenomenology. (shrink)

The moral domain is broader than the empathy and justice concerns assessed by existing measures of moral competence, and it is not just a subset of the values assessed by value inventories. To fill the need for reliable and theoretically grounded measurement of the full range of moral concerns, we developed the Moral Foundations Questionnaire on the basis of a theoretical model of 5 universally available sets of moral intuitions: Harm/Care, Fairness/Reciprocity, Ingroup/Loyalty, Authority/Respect, and Purity/Sanctity. We present evidence for the (...) internal and external validity of the scale and the model, and in doing so we present new findings about morality: Comparative model fitting of confirmatory factor analyses provides empirical justification for a 5-factor structure of moral concerns; convergent/discriminant validity evidence suggests that moral concerns predict personality features and social group attitudes not previously considered morally relevant; and we establish pragmatic validity of the measure in providing new knowledge and research opportunities concerning demographic and cultural differences in moral intuitions. These analyses provide evidence for the usefulness of Moral Foundations Theory in simultaneously increasing the scope and sharpening the resolution of psychological views of morality. (shrink)

Gut Reactions is an interdisciplinary defense of the claim that emotions are perceptions of changes in the body.

Reading the philosophical literature on consciousness, one might get the idea that there is just one problem in consciousness studies, the hard problem. That would be a mistake. There are other problems; some are more tractable, but none are easy, and all interesting. The literature on the hard problem gives the impression that we have made little progress. Consciousness is just an excuse to work and re-work familiar positions on the mind-body problem. But progress is being made elsewhere. Researchers are (...) moving towards increasingly specific accounts of the neural basis of conscious experience. These efforts will leave some questions unanswered, but they are no less significant for that. (shrink)

Hubert Dreyfus once noted that it would be difficult to ascertain whether Edmund Husserl had a computational theory of mind. I provide evidence that he had one. Both Steven Pinker and Steven Horst think that the computational theory of mind must have two components: a representational-symbolic component and a causal component. Bearing this in mind, we proceed to a close-reading of the sections of “On the Logic of Signs” wherein Husserl presents, if I’m correct, his computational theory of mind embedded (...) in a language of thought. My argument goes like this: the computational theory of mind is the idea, following Haugeland, that the mind comes prepackaged as, or is endogenously constrained to be, an automatic formal system; this explains, according to Husserl, why automatic trains of thought without logical intent resemble arguments exhibiting deductive structure with logical intent. In general, an automatic formal system yields true results provided that the syntactic symbols with which they compute are univocal and are semantically evaluable, and the mechanized inferences they perform are valid and preserve truth. These two conditions describe a computational cognitive process: the first condition connects representations to syntax, and the second condition uses the syntax, in inauthentic judging, to arrive at true conclusions through blind causality. Now, in point of textual fact, these are the conditions which Husserl attributes to our “natural psychological mechanism of symbolic inference” which typically yields true results. Since a formal system attributed to the “internal structure” of the mind, and guided by blind causality, just is the computational theory of mind, it follows, I think, that Husserl had a computational theory of mind. This computational theory is, moreover, embedded in a language of thought, since Husserl attributes a language-like form to our thoughts so that they may be mechanically processed. I conclude with a discussion of my results. (shrink)

The present article examines how people’s belief in an afterlife, as well as closely related supernatural beliefs, may open an empirical backdoor to our understanding of the evolution of human social cognition. Recent findings and logic from the cognitive sciences contribute to a novel theory of existential psychology, one that is grounded in the tenets of Darwinian natural selection. Many of the predominant questions of existential psychology strike at the heart of cognitive science. They involve: causal attribution (why is mortal (...) behavior represented as being causally related to one’s afterlife? how are dead agents envisaged as communicating messages to the living?), moral judgment (why are certain social behaviors, i.e., transgressions, believed to have ultimate repercussions after death or to reap the punishment of disgruntled ancestors?), theory of mind (how can we know what it is “like” to be dead? what social-cognitive strategies do people use to reason about the minds of the dead?), concept acquisition (how does a common-sense dualism interact with a formalized socio-religious indoctrination in childhood? how are supernatural properties of the dead conceptualized by young minds?), and teleological reasoning (why do people so often see their lives as being designed for a purpose that must be accomplished before they perish? how do various life events affect people’s interpretation of this purpose?), among others. The central thesis of the present article is that an organized cognitive “system” dedicated to forming illusory representations of (1) psychological immortality, (2) the intelligent design of the self, and (3) the symbolic meaning of natural events evolved in response to the unique selective pressures of the human social environment. (shrink)

Elliot R. Wolfson intervenes in the debate over Martin Heidegger and Nazism from a unique perspective, as a scholar of Jewish mysticism and philosophy who has been profoundly influenced by Heidegger's work. He reveals crucial aspects of Heidegger's thinking that betray an affinity with dimensions of Jewish thought.

Childhood obesity is in important respects a result of legal policies that influence both dietary intake and physical activity. The law must shift focus away from individual risk factors alone and seek instead to promote situational and environmental influences that create an atmosphere conducive to health. To attain this goal, advocates should embrace a population-wide model of public health, and policymakers must critically examine the fashionable rhetoric of consumer choice.

The Conscious Brain brings neuroscientific evidence to bear on enduring philosophical questions. Major philosophical and scientific theories of consciousness are surveyed, challenged, and extended.

In this commentary, I focus on Machery's criticism of Neo-Empiricism. I argue that Neo-Empiricism can survive Machery's critique, and I show that there is an empiricist strategy for forestalling eliminativism.

Dependencies are identified in two recently proposed first-order axiom systems for plane hyperbolic geometry. Since the dependencies do not specifically concern hyperbolic geometry, our results yield two simpler axiom systems for absolute geometry.

In this long-awaited volume, on which he worked for twenty years, Mr. Wolfson describes the body of doctrine known as the Kalam.

Prototype theory emerged out of two main sources. First, research on perceptual category learning suggested that people spontaneously abstract representations of the statistical central tendency when they are exposed to a range of similar images. The abstracted representation corresponds to the average or prototype for a range of training images and can be used to classify future examples. The second source was philosophical. On some versions, the prototype features are organized into structured lists, which divide into such subheadings as physical (...) attributes, means of locomotion, and perhaps diet. In a connectionist framework, a prototype might be a collection of weighted feature-representing nodes, or, more graphically, points in a multidimensional space, whose dimensions correspond to nodes in the network. On an empiricist approach, prototype features might be interpreted as components of structured mental images, and imagistic simulations of prototype activities. (shrink)

This paper outlines a theoretical context for research into ‘the subject of ethics’ in terms of how students come to see themselves as self-reflective actors. I maintain that the ‘subject of ethics’, or ethical subjectivity, has been overlooked as a necessary aspect of creating politically transformative spaces in education. At the heart of egalitarian politics lies a fundamental tension between the equality of voices and the notion that one way of being or one voice may be deemed more legitimate than (...) another; which in turn puts the equality of beings into question. Building from Michel Foucault’s work regarding ethics and subjectivity, I suggest that a ‘subject of ethics’ can be viewed, in part, as a series of relations of self that form the horizon upon which a subject comes to work on themselves relative to moral codes and power relations. Ethical relations of self can be a useful concept for those interested in educational research that furthers social and ecological justice. In the conclusion of this paper I also discuss the limitations of locating ethics entirely within a constituted human subject. (shrink)

Advocates of biomimicry encourage a new industrial paradigm that ostensibly leaves behind the crude violence of Francis Bacon, the domination of nature-as-machine, and a history of toxic production processes that have given rise to a present and coming climate crisis. As part of a broader trend towards the conceptualization and development of a ‘bioeconomy’, we argue here that biomimicry produces ‘nature’ in new ways. At face value, these new approaches to valuing nature may seem less violent and exploitative. Yet, new (...) natures can and are tortured in new ways. We argue that biomimicry produces ‘nature’ through well-worn logics of resource enclosure and privatization, focusing upon two fundamental shifts in how nonhuman life is figured and put to work: (1) the production of nature as intellectual property (as opposed to raw materials); (2) the production of nature as an active subject (as opposed to a passive receptacle or vehicle). (shrink)

Char et al. aspire to provide “a systematic approach to identifying … ethical concerns” around machine learning healthcare applications, which includes artificial intelligence and...

Structured argumentation formalisms, such as ASPIC +, offer a formal model of defeasible reasoning. Usually such formalisms are highly parametrized and modular in order to provide a unifying framework in which different forms of reasoning can be expressed. This generality comes at the price that, in their most general form, formalisms such as ASPIC + do not satisfy important rationality postulates, such as non-interference. Similarly, links to other forms of knowledge representation, such as reasoning with maximal consistent sets of rules, (...) are insufficiently studied for ASPIC + although such links have been established for other, less complex forms of structured argumentation where defeasible rules are absent. Clearly, for a formal model of defeasible reasoning it is important to understand for which range of parameters the formalism displays a behavior that adheres to common standards of consistency, logical closure and logical relevance and can be adequately described in terms of other well-known forms of knowledge representation. In this paper we answer this question positively for a fragment of ASPIC + without the attack form undercut by showing that it satisfies all standard rationality postulates of structured argumentation under stable and preferred semantics and is adequate for reasoning with maximal consistent sets of defeasible rules. The study is general in that we do not impose any other requirements on the strict rules than to be contrapositable and propositional and in that we also consider priorities among defeasible rules, as long as they are ordered by a total preorder and lifted by weakest link. In this way we generalize previous similar results for other structured argumentation frameworks and so shed further light on the close relations between assumption-based argumentation and ASPIC +. (shrink)

Claims concerning processes, claims of the form “xisφing”, have been the subject of renewed interest in recent years in the philosophy of action. However, this interest has frequently limited itself to noting certain formal features such claims have, and has not extended to a discussion of when they are true. This article argues that a claim of the form “xisφing” is true when what is happening withxis such that, if it is not interrupted, a φing will occur. It then applies (...) itself more directly to the case of action, arguing that when “xisφing” describesx's intentional action, it is true iffxis acting from a method she knows to be sufficient to φ, in the sense that if she is not interrupted in carrying out this method, she will φ. I use this criterion to argue that the carbon‐copier example Donald Davidson gives in “Intending” fails to refute Elizabeth Anscombe's claim that an agent who is φing intentionally knows that she is, because the agent in Davidson's example is not intentionally making the copies. (shrink)

This book offers a new interpretation of the Phaedo, arguing that the central issue of the dialogue is the relation between logos and the defining activity of the soul, which is gathering the multiplicity of phenomena into the intelligible wholes of experience in accord with logos.

Life poses a threat to materialism. To understand the phenomena of animate nature, we make use of a teleological form of explanation that is peculiar to biology, of explanations in terms of what I call the ‘vital categories’ – and this holds even for accounts of underlying physico-chemical ‘mechanisms’. The materialist claims that this teleological form of explanation does not capture what is metaphysically fundamental, whereas her preferred physical form of explanation does. In this essay, I do three things. (1) (...) I argue that the ‘vital categories’, such as life form and life-process, do not reduce to the ‘physical categories’ and show that there are no grounds for the materialist's metaphysically limiting claim; (2) I sketch a positive view on how vital and physical explanations can both apply to a given phenomenon, and on how they interrelate; and (3) I show that this view meshes nicely with evolutionary theory, despite being committed to a form of ‘biological essentialism’. (shrink)

As part of the roundtable, “Moral Injury, Trauma, and War,” this essay explores the relationship between revisionist just war theory and moral injury. It proceeds in four sections. First, it offers a brief overview of the just war tradition, focusing on traditionalist and revisionist accounts, respectively. Next, it explores the relationship between moral injury and armed conflict. Then, it explores the links between moral injury and revisionist accounts of just war theory. Finally, by way of conclusion, the essay signals two (...) potential complementary paths forward that future research could use to clarify the revisionist position and its link with moral injury. (shrink)

Recent work in cognitive science provides overwhelming evidence for a link between emotion and moral judgment. I review findings from psychology, cognitive neuroscience, and research on psychopathology and conclude that emotions are not merely correlated with moral judgments but they are also, in some sense, both necessary and sufficient. I then use these findings along with some anthropological observations to support several philosophical theories: first, I argue that sentimentalism is true: to judge that something is wrong is to have a (...) sentiment of disapprobation towards it. Second, I argue that moral facts are response-dependent: the bad just is that which cases disapprobation in a community of moralizers. Third, I argue that a form of motivational internalism is true: ordinary moral judgments are intrinsically motivating, and all non-motivating moral judgments are parasitic on these. (shrink)

Thus declares Francis Hutcheson, expressing a view widespread during the Enlightenment, and throughout the history of philosophy. According to this tradition, we are by nature moral, and ourS concern for good and evil is as natural to us as our capacity to feel pleasure and pain. The link between morality and human nature has been a common theme since ancient times, and, with the rise of modern empirical moral psychology, it remains equally popular today. Evolutionary ethicists, ethologists, developmental psychologists, social (...) neuroscientists, and even some cultural anthropologists tend to agree that morality is part of the bioprogram (e.g., Cosmides & Tooby, 1992; de Waal, 1996; Haidt & Joseph, 2004; Hauser, 2006; Ruse, 1991; Sober & Wilson, 1998; Turiel, 2002). Recently, researchers have begun to look for moral modules in the brain, and they have been increasingly tempted to speculate about the moral acquisition device, and innate faculty for norm acquisition akin to celebrated language acquisition device, promulgated by Chomsky (Dwyer, 1999; Mikhail, 2000; Hauser, this volume). All this talk of modules and mechanism may make some shudder, especially if they recall that eugenics emerged out of an effort to find the biological sources of evil. Yet the tendency to postulate an innate moral faculty is almost irresistible. For one thing, it makes us appear nobler as a species, and for another, it offers an explanation of the fact that people in every corner of the globe seem to have moral rules. Moral nativism is, in this respect, an optimistic doctrine—one that makes our great big world seem comfortingly smaller. I want to combat this alluring idea. I do not deny that morality is ecumenical, but I think it is not innate—at least that the current state of evidence is unpersuasive. Morality, like all human capacities, depends on having particular biological predispositions, but none of these, I submit, deserves to be called a moral faculty. Morality is a byproduct—accidental or invented—of faculties that evolved for other purposes.. (shrink)

Burnout has important ramifications for employees and organizations and preventing burnout forms an ethical issue for managers. However, the role of the leader and especially the role of ethical aspects of leadership have received relatively little attention in relation to burnout to date. We conducted a survey among employees (N = 386) of a Dutch retail organization, nested in 122 teams with a leader. Our first contribution is that we empirically show the hypothesized opposing relationships of ethical and passive leadership (...) behavior with follower burnout. Furthermore, we examined two job characteristics as mechanisms that link these forms of leadership and burnout. Lastly, we show that the positive relationship of ethical leadership with burnout via role clarity (but not overload) is dependent on the degree of passive leadership the leader is perceived to display. Our results suggest that organizations should promote ethical leadership behaviors and limit passive leadership behaviors by stimulating leaders to be active in their role and use their social influence to promote ethical conduct. (shrink)

An adequate linguistic theory of slurs must address three major aspects of their meaning: descriptive, evaluative and expressive. Slurs denote specific groups, they are used to convey speakers’ evaluative attitudes, and some have a very strong emotional impact. In this paper, I argue that a variety of mechanisms are required to account for this range of properties. Semantically, slurs simply denote the groups that they target. Pragmatically, speakers use slurs to show, in the Relevance-Theoretic sense, that they share a negative (...) attitude towards the targeted group. However, this does not yet explain the capacity of certain ‘toxic’ slurs to express strong emotions of the speaker and to elicit a strong emotional reaction in hearers. In order to account for this psychological impact, I posit that, like curse words, slurs undergo distinct neurolinguistic processing that links them directly to emotional centers in the brain. (shrink)

A timely and uniquely compelling plea for the importance of nurture in the ongoing nature-nurture debate. In this era of genome projects and brain scans, it is all too easy to overestimate the role of biology in human psychology. But in this passionate corrective to the idea that DNA is destiny, Jesse Prinz focuses on the most extraordinary aspect of human nature: that nurture can supplement and supplant nature, allowing our minds to be profoundly influenced by experience and culture. (...) Drawing on cutting-edge research in neuroscience, psychology, and anthropology, Prinz shatters the myth of human uniformity and reveals how our differing cultures and life experiences make each of us unique. Along the way he shows that we can’t blame mental illness or addiction on our genes, and that societal factors shape gender differences in cognitive ability and sexual behavior. A much-needed contribution to the nature-nurture debate, Beyond Human Nature shows us that it is only through the lens of nurture that the spectrum of human diversity becomes fully and brilliantly visible. (shrink)

We investigated whether (a) people positively reevaluate the characters of recently dead others and (b) supernatural primes concerning an ambient dead agent serve to curb selfish intentions. In Study 1, participants made trait attributions to three strangers depicted in photographs; one week later, they returned to do the same but were informed that one of the strangers had died over the weekend. Participants rated the decedent target more favorably after learning of his death whereas ratings for the control targets remained (...) unchanged between sessions. This effect was especially pronounced for traits dealing with the decedent’s prosocial tendencies (e.g., ethical, kind). In Study 2, a content analysis of obituaries revealed a similar emphasis on decedents’ prosocial attributes over other personality dimensions (e.g., achievement-relatedness, social skills). Finally, in Study 3, participants who were told of an alleged ghost in the laboratory were less likely to cheat on a competitive task than those who did not receive this supernatural prime. The findings are interpreted as evidence suggestive of adaptive design. (shrink)

It is generally agreed that dispositions cannot be analyzed in terms of simple subjunctive conditionals (because of what are called “masked dispositions” and “finkish dispositions”). I here defend a qualified subjunctive account of dispositions according to which an object is disposed to Φ when conditions C obtain if and only if, if conditions C were to obtain, then the object would Φ ceteris paribus . I argue that this account does not fall prey to the objections that have been raised (...) in the literature. (shrink)