I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

The study of animal cognition raises profound questions about the minds of animals and philosophy of mind itself. Aristotle argued that humans are the only animal to laugh, but in recent experiments rats have also been shown to laugh. In other experiments, dogs have been shown to respond appropriately to over two hundred words in human language. In this introduction to the philosophy of animal minds Kristin Andrews introduces and assesses the essential topics, problems and debates as they cut across (...) animal cognition and philosophy of mind. She addresses the following key topics: what is cognition, and what is it to have a mind? What questions should we ask to determine whether behaviour has a cognitive basis? the science of animal minds explained: ethology, behaviourist psychology, and cognitive ethology rationality in animals animal consciousness: what does research into pain and the emotions reveal? What can empirical evidence about animal behaviour tell us about philosophical theories of consciousness? does animal cognition involve belief and concepts; do animals have a ‘Language of Thought’? animal communication other minds: do animals attribute ‘mindedness’ to other creatures? moral reasoning and ethical behaviour in animals animal cognition and memory. Extensive use of empirical examples and case studies is made throughout the book. These include Cheney and Seyfarth’s ververt monkey research, Thorndike’s cat puzzle boxes, Jensen’s research into humans and chimpanzees and the ultimatum game, Pankseep and Burgdorf’s research on rat laughter, and Clayton and Emery’s research on memory in scrub-jays. Additional features such as chapter summaries, annotated further reading and a glossary make this an indispensable introduction to those teaching philosophy of mind, animal cognition. It will also be an excellent resource for those in fields such as ethology, biology and psychology. (shrink)

*As mentioned in Peter Coy's NYT essay "When Being Good Is Just a Matter of Being Lucky" (2023) -/- ----- -/- How is the problem of free will related to the problem of moral luck? In this essay, I answer that question and outline a new solution to the paradox of moral luck, the source-paradox solution. This solution both explains why the paradox arises and why moral luck does not exist. To make my case, I highlight a few key connections (...) between the paradox of moral luck and two related problems, namely the problem of free will and determinism and the paradox of self-creation. Piecing together intuitions, arguments, and insights from recent work on each of these three problems, I argue that the type of control necessary for moral responsibility can only be had by someone who is a genuine source of his own actions, but the relevant notion of sourcehood admits no coherent characterization. If our commonsense view of moral responsibility is incoherent, it is unsurprising that our commitment to the existence of morally responsible agents commits us to some paradoxical things—e.g. to both the existence and impossibility of moral luck. For more information about this article, please write to gmail account: kristin.mickelson.42. (shrink)

I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (x : (...) B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (shrink)

Comparative psychology, the multidisciplinary study of animal behavior and psychology, confronts the challenge of how to study animals we find cute and easy to anthropomorphize, and animals we find odd and easy to objectify, without letting these biases negatively impact the science. In this Element, Kristin Andrews identifies and critically examines the principles of comparative psychology and shows how they can introduce other biases by objectifying animal subjects and encouraging scientists to remain detached. Andrews outlines the scientific benefits of treating (...) animals as sentient research participants who come from their own social contexts and with whom we will be in relationship. With discussions of science's quest for objectivity, worries about romantic and killjoy theories, and debates about chimpanzee cognition between primatologists who work in the field and those in the lab, Andrews shows how scientists can address the different biases through greater integration of the subdisciplines of comparative psychology. (shrink)

"The Manipulation Argument has recently taken center stage in the free-will debate, yet little else can be said of this newcomer that is uncontroversial. At present, even the most fundamental elements of the Manipulation Argument--its structure, conclusion, and target audience--are a matter of dispute. As such, we cannot begin, as we ideally would, with a simple and relatively uncontroversial overview of the argument. Instead, clarifying the debate over the basic structure and general conclusion of the Manipulation Argument will be our (...) goal." -/- UPDATE: I now refer to an isolated objection to the counterexample step as a hardline reply, an isolated attack on the generalization step a softline reply, and an isolated response to the explanation step as an "al dente" reply. Al dente replies have been given in Mele's 2005 critique of the Four-Case Argument and my 2015 (2012) critique of Mele's Zygote Argument. I also now refer to a manipulation argument which has a generalization step that concludes to impossibilism and an explanation step which proposes an explanation for the impossibility of free will as a "Master Manipulation Argument" (examples of master manipulation arguments include Mickelson 2015 and 2019). (shrink)

While more species are being identified as cultural on a regular basis, stark differences between human and animal cultures remain. Humans are more richly cultural, with group-specific practices and social norms guiding almost every element of our lives. Furthermore, human culture is seen as cumulative, cooperative, and normative, in contrast to animal cultures. One hypothesis to explain these differences is grounded in the observation that human children across cultures appear to spontaneously over-imitate silly or causally irrelevant behaviors that they observe. (...) The few studies on over-imitation in other species are largely taken as evidence that spontaneous over-imitation is not present in other species. This leads to the over-imitation hypothesis – that the differences between human culture and animal cultures can be traced to the human unique tendency to over-imitate. In this paper, we analyze the current state of the literature on animal over-imitation and challenge the adequacy of the over-imitation hypothesis for the differences between humans and animal cultures. To make this argument, we first argue that the function of human over-imitation is norm-learning and that over-imitation, like skill-learning, should be subject to selective social learning effects. Then we review the empirical evidence against animal over-imitation and argue that these studies do not take into account the relevant variables given the normative and selective nature of over-imitation. We then analyze positive empirical evidence of over-imitation in great apes and canids from the experimental literature and conclude that the current body of evidence suggests that some canids and primates may have the capacity for over-imitation. This paper offers a methodological suggestion for how to study animal over-imitation, and a theoretical suggestion that over-imitation might be much more widely found among species. The larger implication for claims about human uniqueness suggests that if we do find widespread evidence of over-imitation across species, many of the current theories of human uniqueness that focus on human hyper-cooperation or social norms may have only identified a difference of degree, not of kind, between humans and other animals. (shrink)

This introduction to the topical collection, Folk Psychology: Pluralistic Approaches reviews the origins and basic theoretical tenets of the framework of pluralistic folk psychology. It places special emphasis on pluralism about the variety folk psychological strategies that underlie behavioral prediction and explanation beyond belief-desire attribution, and on the diverse range of social goals that folk psychological reasoning supports beyond prediction and explanation. Pluralism is not presented as a single theory or model of social cognition, but rather as a big-tent research (...) program encompassing both revisionary and more traditionally inspired approaches to folk psychology. After reviewing the origins of pluralistic folk psychology, the papers in the current issue are introduced. These papers fall into three thematic clusters: Folk-psychological strategies beyond propositional attitude attribution ; Enculturation and regulative folk psychology ; and Defenses of pluralism. (shrink)

Derk Pereboom's Four-Case Argument is among the most famous and resilient manipulation arguments against compatibilism. I contend that its resilience is not a function of the argument's soundness but, rather, the ill-gotten gain from an ambiguity in the description of the causal relations found in the argument's foundational case. I expose this crucial ambiguity and suggest that a dilemma faces anyone hoping to resolve it. After a thorough search for an interpretation which avoids both horns of this dilemma, I conclude (...) that none is available. Rather, every metaphysically coherent interpretation invites either a hard- or soft-line reply to Pereboom's argument. I then consider a recharacterization of the dilemma which seems to clear the way for the defence of a revised Four-Case Argument. I address this rejoinder by identifying a still more fundamental problem shared by all viable interpretations of the manipulation cases, showing that each involves a type of manipulation which undermines the victim's agency. Because this diagnosis supports a soft-line reply to every viable interpretation of the argument and can be endorsed by any compatibilist, I consider it the final piece of the Soft-line Solution to the Four-Case Argument. Finally, I suggest a new taxonomy of manipulation arguments, arguing that none that employs the suppressive variety of manipulation found in Pereboom's argument offers a threat to compatibilism. (shrink)

I respond to an argument presented by Daniel Povinelli and Jennifer Vonk that the current generation of experiments on chimpanzee theory of mind cannot decide whether chimpanzees have the ability to reason about mental states. I argue that Povinelli and Vonk’s proposed experiment is subject to their own criticisms and that there should be a more radical shift away from experiments that ask subjects to predict behavior. Further, I argue that Povinelli and Vonk’s theoretical commitments should lead them to accept (...) this new approach, and that experiments which offer subjects the opportunity to look for explanations for anomalous behavior should be explored. (shrink)

Frans de Waal (1948-2024) transformed our understanding of primate cognition and social behavior, shaping the perspectives of scientists, philosophers, and the general public through his groundbreaking research and engaging popular books.

The view that folk psychology is primarily mindreading beliefs and desires has come under challenge in recent years. I have argued that we also understand others in terms of individual properties such as personality traits and generalizations from past behavior, and in terms of group properties such as stereotypes and social norms (Andrews 2012). Others have also argued that propositional attitude attribution isn’t necessary for predicting others’ behavior, because this can be done in terms of taking Dennett’s Intentional Stance (Zawidzki (...) 2013), appealing to social structures (Maibom 2007), shared norms (McGeer 2007) or via solution based heuristics for reaching equilibrium between social partners (Morton 2003). But it isn’t only prediction that can be done without thinking about what others think; we can explain and understand people in terms of their personality traits, habitual behaviors, and social practices as well. The decentering of propositional attitude attributions goes hand in hand with a move away from taking folk psychology to be primarily a predictive device. While experiments examining folk psychological abilities in children, infants, and other species still rest on asking subjects to predict behavior, theoretical investigations as to the evolutionary function of folk psychology have stressed the role of explanation (Andrews 2012) and regulative functions (McGeer 2007, Zawidzki 2013, Fenici 2011). In this paper I argue that an explanatory role for folk psychology is also a regulative role, and that language is not required for these regulative functions. I will start by drawing out the relationship between prediction, explanation, and regulation of behavior according to both mindreading approaches to folk psychology and the pluralistic account I defend. I will argue that social cognition does not take the form of causal reasoning so much as it does normative reasoning, and will introduce the folk psychological spiral. Then I will examine the cognitive resources necessary for participating in the folk psychological spiral, and I will argue that these cognitive resources can be had without language. There is preliminary evidence that some other species understand one another through a normative lens that, through looping effects, creates expectations that community members strive to live up to. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

In the context of animal cognitive research, anthropomorphism is defined as the attribution of uniquely human mental characteristics to animals. Those who worry about anthropomorphism in research, however, are immediately confronted with the question of which properties are uniquely human. One might think that researchers must first hypothesize the existence of a feature in an animal before they can, with warrant, claim that the property is uniquely human. But all too often, this isn't the approach. Rather, there is an a (...) priori argument against attributing some properties to animals. Which features are thought to be uniquely human on a priori grounds? The class can be quite large, including psychological states such as beliefs and desires, personality traits such as confidence or timidity, emotions such as happiness or anger, social organizational properties such as culture or friendship, moral behavior such as punishment or rape. For convenience, I will refer to the members of the class as "psychological properties". One critic includes feeling, purpose, intentionality, consciousness, and even cognition in his list of psychological properties that are incorrectly attributed to animals (Kennedy 1992). Among the critics, there is quite a bit of disagreement about what counts as an anthropomorphic attribution, and this alone should raise questions about the charge. We can identify two different questions about the practice of attributing psychological properties to animals within a scientific context. First we can ask whether it is scientifically respectable to examine questions about the mental, psychological, cultural, etc. states of animals. Those who bemoan anthropomorphism think that we ought not even ask such questions. I will look at the worries about asking the question, and argue that there is no special problem with it. The second question arises with an affirmative answer to the first. Given that it is scientifically respectable to examine whether an animal has a psychological property, there must be some scientifically respectable method for doing the examination.. (shrink)

In this essay, I suggest that Spinoza acknowledges a distinction between formal reality that is infinite and timelessly eternal and formal reality that is non-infinite (i. e., finite or indefinite) and non-eternal (i. e., enduring). I also argue that if, in Spinoza’s system, only intelligible causation is genuine causation, then infinite, timelessly eternal formal reality cannot cause non-infinite, non-eternal formal reality. A denial of eternal-durational causation generates a puzzle, however: if no enduring thing – not even the sempiternal, indefinite individual (...) composed of all finite, enduring things – is caused by the infinite, eternal substance, then how can Spinoza consistently hold that the one infinite, eternal substance is the cause of all things and that all things are modes of that substance? At the end of this essay, I sketch how Spinoza could deny eternal-durational causation while still holding that an infinite, eternal God is the cause of all things and that all things are modes. I develop the interpretation more in the companion essay.1 1 In “Spinoza’s Monism II,” in the next issue of this journal. (shrink)

In this essay, I argue for the rejection of Vihvelin's ‘Three-fold Classification’ , a nonstandard taxonomy of free-will compatibilism, incompatibilism, and impossibilism. Vihvelin is right that the standard taxonomy of these views is inadequate, and that a new taxonomy is needed to clarify the free-will debate. Significantly, Vihvelin notes that the standard formal definition of ‘incompatibilism’ does not capture the historically popular view that deterministic laws pose a threat to free will. Vihvelin's proposed solution is to redefine ‘incompatibilism.’ However, Vihvelin's (...) formal definition of ‘incompatibilism’ is flawed according to her own arguments. In addition, Vihvelin's characterization of ‘compatibilism’ is incomplete, and at least two important free-will views are missing from her proposed taxonomy. Given the problems with Vihvelin's arguments for 3-FC, her novel view of the dialectic between the major free-will views lacks support. (shrink)

Birch sketches out an ingenious account of how the psychology of social norms emerged from individual-level norms of skill. We suggest that these individual-level norms of skill are likely to be much more widespread than Birch suggests, extending deeper into the hominid lineage, across modern great ape species, all the way to distantly related creatures like honeybees. This suggests that there would have been multiple opportunities for social norms to emerge from skill norms in human prehistory.

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument (OZA) from a positive, explanatory conclusion to a negative, non-explanatory conclusion--and, correspondingly, redefined 'incompatibilism' so that it would no longer refer in his work to the view that determinism precludes (undermines, eliminates, destroys, etc.) free will, but (...) refers narrowly to the perhaps spurious association claim that appears in the conclusion of the revised Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made, the invalidity objection that led to them, nor to the fact that his revised Zygote Argument was originally presented by me as a (non-optimal) reaction to my invalidity objection to his original Zygote Argument. To my knowledge, Mele has only mentioned this 2015 paper once, at it was not in the context of understanding manipulation arguments; it was, rather, in the context of defending his revised, non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4). There, Mele singles out *just this 2015 paper* as a place where they'll find what Mele degrades as a type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. This is notable because Mele provides no empirical evidence that his preferred definition is standard, and most (including Lehrer, who coined the term) reject the negative, non-explanatory, association-based definition that Mele came to endorse in the aftermath of my invalidity objection to OZA. So, if Mele had a genuine concern about philosophers who use the term 'incompatibilism', then Mele could have--and should have--named almost any leading figure in free will for this purpose (since most--including Pereboom, Vihvelin, Haji, etc.) reject the non-explanatory definition that Mele-2013+ now endorses. Yet, for untold reasons, Mele isolated the working definition of 'incompatibilism' used in one paper by one unemployed junior researcher to use as his example--even though Neil Levy had used this same definition in previously published work (eg. Levy 2011). Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms -- especially considering that he might have instead pointed them to my OTHER 2015 paper, "A Critique of Vihvelin's Three-Fold Classification" in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the negative, non-explanatory "incompossibilist" definition that Mele adopted after my objection to OZA). By all appearances, Mele's main aim in citing specifically THIS paper and none of my other work was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). Mele adds to this unseemly rhetorical campaign in his book *Manipulation Agents* where he mentions an invalidity objection in the intro (p. 84) and then discusses that objection in the final lines of Chapter 5 of the book (p. 120-121). The invalidity objection discussed here is completely pedantic, has never been seriously raised in the primary literature (and was previously addressed in multiple places my multiple philosophers, including me), and has nothing whatever to do with my invalidity objection. In other words, Mele was content to discuss an invalidity objection that no one has ever had to an argument that is clearly valid while completely ignoring the ONLY substantive invalidity objection to his argument in print. This is unfortunate, because it has led to serious confusion --including the patently false description of my invalidity objection to OZA as an objection to the revised version of the Zygote Argument that Mele adopted in *response* my objection (e.g., Capes mistakenly claims "Mickelson (2015) contends that arguments like this [i.e. like the revised Zygote Argument] are invalid. But that’s because she defines “incompatibilism” differently than I’ve defined it here" in his "Manipulation Arguments and Direct Arguments" chapter in the 2023 Wiley-Blackwell Companion to Free Will; I did not say this, and the definition of 'incompatibilism' is irrelevant to my objection). In "The Zygote Argument Is Invalid--Now What?", I simply use the invalidity of the simple 2-premise Zygote Argument as a foil to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele has yet to address my reasons for calling attention to the non-trivial invalidity of his OZA or to any of my answers to the "Now What?" question in this paper, even though this question and my proposed answers to this question are the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this "Now What?" paper have helped to move the free-will debate forward, I suggest looking at the discussions of the "paradigm shift" in the free-will debate that helps to explain why the free-will debate has become mired in stalemates and empty verbal disputes that are found, for example, in my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

An old question in Spinoza scholarship is how finite, non-eternal things transitively caused by other finite, non-eternal things (i. e., the entities described in propositions like E1p28) are caused by the infinite, eternal substance, given that what follows either directly or indirectly from the divine nature is infinite and eternal (E1p21–23). In “Spinoza’s Monism I,” “Spinoza’s Monism I,” in the previous issue of this journal. I pointed out that most commentators answer this question by invoking entities that are indefinite and (...) sempiternal, but argued that perhaps we should not be so quick to assume that in Spinoza’s system, an infinite and eternal substance could cause such indefinite, sempiternal entities. But if such eternal-durational causation is denied, then it seems harder to see how Spinoza’s system could be coherent: if Spinoza holds that the infinite, eternal substance cannot cause anything that is not infinite and not eternal, then how can he also hold that all things are modes immanently caused by substance (E1p15, E1p18, E1p25)? In this essay, I explain how Spinoza’s system could be understood in light of a denial of eternal-durational causation. On the interpretation I offer, God is the cause of all things and all things are modes because the essences of all things follow from the divine nature and all essences enjoy infinite, eternal reality as modes immanently caused by the infinite, eternal substance. The same non-substantial essences can also be conceived as enjoying non-infinite, non-eternal reality, but so conceived, they are enduring, finite (or sempiternal, indefinite) entities that cannot be conceived as modes caused by and inhering in the one infinite, eternal substance. I conclude by pointing out that if we take this interpretive route, we do have to understand Spinoza as committed to acosmism, or a denial of the reality of the world – at least the world of enduring, finite things. (shrink)

Paternalistic interventions restrict individuals’ liberty or autonomy so as to guide their decisions towards options that are more beneficial for them than the ones they would choose in the absence of such interventions. Although some philosophers have emphasised that there is a case for justifiable paternalism in certain circumstances, much of contemporary moral and political philosophy works from a strong presumption against paternalistic interventions. However, Richard Arneson has argued that there are egalitarian reasons that support the case for paternalism: paternalistic (...) interventions can protect poor decision-makers from making ‘bad’ choices, thus preventing inequalities between them and those with better decision-making skills. This paper seeks to clarify and advance our understanding of the egalitarian argument for paternalism. Arneson’s argument adds an important and often neglected dimension to the debate about paternalism but also raises a number of questions about equality, paternalism and the relationship between the two. (shrink)

In December 2013, the Nonhuman Rights Project (NhRP) filed a petition for a common law writ of habeas corpus in the New York State Supreme Court on behalf of Tommy, a chimpanzee living alone in a cage in a shed in rural New York (Barlow, 2017). Under animal welfare laws, Tommy’s owners, the Laverys, were doing nothing illegal by keeping him in those conditions. Nonetheless, the NhRP argued that given the cognitive, social, and emotional capacities of chimpanzees, Tommy’s confinement constituted (...) a profound wrong that demanded remedy by the courts. Soon thereafter, the NhRP filed habeas corpus petitions on behalf of Kiko, another chimpanzee housed alone in Niagara Falls, and Hercules and Leo, two chimpanzees held in research facilities at Stony Brook University. Thus began the legal struggle to move these chimpanzees from captivity to a sanctuary, an effort that has led the NhRP to argue in multiple courts before multiple judges. The central point of contention has been whether Tommy, Kiko, Hercules, and Leo have legal rights. To date, no judge has been willing to issue a writ of habeas corpus on their behalf. Such a ruling would mean that these chimpanzees have rights that confinement might violate. Instead, the judges have argued that chimpanzees cannot be bearers of legal rights because they are not, and cannot be persons. In this book we argue that chimpanzees are persons because they are autonomous. (shrink)

My two principal aims in this essay are interconnected. One aim is to provide a new interpretation of the ‘infinite modes’ in Spinoza’s Ethics. I argue that for Spinoza, God, conceived as the one infinite and eternal substance, is not to be understood as causing two kinds of modes, some infinite and eternal and the rest finite and non-eternal. That there cannot be such a bifurcation of divine effects is what I take the ‘infinite mode’ propositions, E1p21–23, to establish; E1p21–23 (...) show that each and every one of the immanent effects of an infinite and eternal God is an infinite and eternal mode. The other aim is to show that these propositions can be understood as part of an extended critical response to Descartes’s infamous doctrine that God creates eternal truths and true and immutable natures. If we have the correct (Spinozan) conceptions of what God is and how God works, we see that an eternal and infinite God can only be understood to cause ‘eternal truths,’ and that these eternal truths are infinite and eternal modes of God. (shrink)

According to the mental continuity claim (MCC), human mental faculties are physical and beneficial to human survival, so they must have evolved gradually from ancestral forms and we should expect to see their precursors across species. Materialism of mind coupled with Darwin’s evolutionary theory leads directly to such claims and even today arguments for animal mental properties are often presented with the MCC as a premise. However, the MCC has been often challenged among contemporary scholars. It is usually argued that (...) only humans use language and that language as such has no precursors in the animal kingdom. Moreover, language is quite often understood as a necessary tool for having representations and forming beliefs. As a consequence, by lacking language animals could not have developed representational systems or beliefs. In response to these worries, we aim to mount a limited defense of the MCC as an empirical hypothesis. First, we will provide a short historical overview of the origins of the MCC and examine some of the motives behind traditional arguments for and against it. Second, we will focus on one particular question, namely whether language as such is necessary for having beliefs. Our goal is to show that there is little reason to think language is necessary for belief. In doing so, we will challenge a view of belief that is widely accepted by those working in animal cognition, namely representational belief, and we will argue that if belief is non-representational, then different research questions and methods are required. We will conclude with an argument that to study the evolution of belief across species, it is essential to begin the study of subjects in their social and ecological environment rather than in contexts that are not ecologically valid along the social and ecological dimensions. Thus, rather than serving as a premise in an argument 3 in favor of animal minds, the MCC can only be defended by empirical investigation, but importantly, empirical investigation of the right sort.. (shrink)

**For my more recent views of the third kind of cognition, see my "Finding Oneself in God"** -/- Abstract: Cognition of the third kind, or scientia intuitiva, is supposed to secure beatitudo, or virtue itself (E5p42). But what is scientia intuitiva, and how is it different from (and superior to) reason? I suggest a new answer to this old and vexing question at the core of Spinoza’s project in the Ethics. On my view, Spinoza’s scientia intuitiva resembles Descartes’s scientia more (...) than has been appreciated. Although Spinoza’s God is not Descartes’s benevolent, transcendent God, Spinoza agrees with Descartes that the highest certainty requires that a cognizer correctly conceive of God and her causal relation to God; it is only with cognition of the third kind that a cognizer can be certain that her adequate (that is, clear and distinct) representations of extramental things agree with formally real, extramental ideata, and so are true. If this is right, a reading of Spinoza that has dominated scholarship since the Ethics’ publication is misguided: for Spinoza, it is not always the case that having (and recognizing that one has) a clear and distinct idea is sufficient for knowing that that idea is true. I end the chapter by suggesting why scientia is intuitive for Spinoza: Spinoza attempts to avoid Cartesian-Circle-style circularity by insisting that a cognizer must intuit the correct representation of God and God’s relation to things. (shrink)

In “The Zygote Argument is Invalid: Now What?” (2015), Kristin Mickelson published an objection to the Zygote Argument that she first presented in 2012 as workshop comments on a draft of Mele's "Manipulation, Moral Responsibility, and Bullet-Biting" (2013). Assuming that the phrase "determinism precludes free will" means something like determinism-related causal factors are what prevent people from acting freely when determinism is true, Mele's original Zygote Argument was invalid. At the workshop, Mickelson presented Mele with two options to address the (...) problem, a premise-preserving option and a conclusion-preserving option. That is, Mele could change the conclusion of the original argument to the negative, non-explanatory thesis entailed by its original two premises, or find a way to add premises that would support the positive, explanatory conclusion of the original argument (which, notably, is the conclusion that Pereboom supports using best-explanation reasoning in his Four-Case Argument). Mickelson used this as an opportunity to explain the key contribution that best-explanation reasoning makes to manipulation arguments -- and why the best variant of the manipulation argument might conclude that incompatibilism is FALSE. In response to Mickelson's objection, Mele changed the conclusion of the argument before "Manipulation, Moral Responsibility, and Bullet-Biting" went to print, choosing Mickelson's proposal to change its conclusion over the suggestion to change its premises. However, Mele failed to mention Mickelson's invalidity objection in print and that he changed the conclusion of his argument as a direct response to it; nor did Mele mention the costs that Mickelson outlined for the premise-preserving solution that he adopted or the benefits of a conclusion-preserving solution. At the same time, Mele began using the term 'incompatibilism' to pick out the negative, non-explanatory claim supported by the newly revised Zygote Argument--and also started to claim (without providing evidence) that those who use the term 'incompatibilism' to denote the explanatory claim deterministic causal factors *make it the case* that no one acts freely when determinism is true" is guilty of using the term in a nonstandard and nontraditional way that he had "never had any use for"--failing to mention that he clearly used the term in this explanatory sense in his 2005 critique of the Four-Case Argument, which is to be expected give that Derk Pereboom uses the explanatory definition (as do Kadri Vihvelin, Carolina Sartorio, and *most* other contributors to the free-will literature). In THIS reply essay, Mickelson responds to an attempt by Gabriel De Marco (FSU, advisor Alfred Mele) to defend the original Zygote Argument from Mickelson's 2012/2015 critique. Unfortunately, both of De Marco's proposed "solutions" are non-starters. The first is a non-starter because De Marco merely repeats the premise-preserving solution that Mickelson offered to Mele in 2012 and that Mele adopted in print in 2013. In other words, De Marco took credit for the premise-preserving solution to the invalidity objection that Mickelson developed (although he does *redescribe* Mickelson's solution in his own idiosyncratic jargon) and Mele had already adopted in print. De Marco's second solution is a non-starter because it is constituted by a patently invalid argument. Contrary to De Marco's proposal, it's not true that the conjunction of possibilism and incompossibilism deductively entails the positive, diagnostic claim that deterministic causal factors beyond one's control preclude (destroy, undermine, is antagonistically relevant to) free will when determinism is true. *My thanks to the editors of Philosophia for publishing this reply when PhilStudies would not. (shrink)

Once upon a time, not too long ago, the question about apes and ethics had to do with moral standing—do apes have interests or rights that humans ought to respect? Given the fifty years of research on great ape cognition, life history, social organization, and behavior, the answer to that question seems obvious. Apes have emotions and projects, they can be harmed, and they have important social relationships.

In this review article of Dan Hutto's bok Folk Psychological Narratives: The Sociocultural Basis of Understanding Reasons, I argue that we can take a functional approach to FP that identifies it with the practice of explaining behaviour -- that is, we can understand folk psychology as having the purpose of explaining behaviour and promoting social cohesion by making others’ behaviour comprehensible, without thinking that this ability must be limited to those with linguistic abilities. One reason for thinking that language must (...) be implicated in FP explanations arises from the history of theorizing about the nature of scientific explanation. I will show that there are other models of explanation that are free from the metaphysical linguistic baggage of the traditional models, and argue that such models can be profitably used to make sense of an explanation-centred FP that need not involve the attribution of propositional attitudes or a functioning linguistic competence. Further, I will argue that there is evidence that pre-linguistic human children engage in explanatory practices, and that some of these explanations may be seen as narrative explanations in an important sense. (shrink)

on ). Advice about how to move forward on the mindreading debate, particularly when it comes to overcoming the logical problem, is much needed in comparative psychology. In chapter 4 of his book Ockham’s Razors, Elliott Sober takes on the task by suggesting how we might uncover the mechanism that mediates between the environmental stimuli that is visible to all, and chimpanzee social behavior. I argue that Sober's proposed method for deciding between the behaivor-reading and mindreading hypotheses fails given the (...) nature of each of those hypotheses. I argue that the behavior-reading hypothesis that Povinelli and colleagues propose is so rich and robust that it is going to make predictions that are behaviorally indiscernible from the mindreading hypothesis. Further, I argue that the logical problem artificially separates one’s knowledge of behavior and one’s knowledge of mind. If we reject this form of dualism, the logical problem doesn’t arise. (shrink)

In this chapter, I first turn to Spinoza’s obscure “ideas of ideas” doctrine and his claim that “as soon as one knows something, one knows that one knows it, and simultaneously knows that one knows that one knows, and so on, to infinity” (E2p21s). On my view, Spinoza, like Descartes, holds that a given idea can be conceived either in terms of what it represents or as an act of thinking: E2p7 (where Spinoza presents his doctrine of the “parallelism” of (...) minds and bodies) primarily concerns the former way of conceiving of an idea while E2p21 primarily concerns the latter. I propose that in E2p21, Spinoza makes a few crucial points about an adequate idea conceived as the “idea of the idea,” or as the activity of thinking: 1) when one has an adequate representation of p, one automatically knows that one is thinking an adequate representation of p, and 2) this reflective knowledge cannot be improved. I then turn to E2p43, “he who has a true idea at the same time knows that he has a true idea, and cannot doubt the truth of the thing." This is a denial of skepticism, but I think we need to be careful. E2p21 and E2p43 rule out the most hyperbolic doubts like those we see in Descartes's Third Meditation (AT VII 36), so it is the case that thinkers need no additional validation for the “adequate ideas of properties of things” and “common notions” employed in "cognition of the second kind," or reason. However, a reasoning thinker might nevertheless be troubled by doubts about the extramental world. As I have argued in other work, we can take Spinoza as following Descartes at least this far: once our reasoning thinker comes to adequate ideas of God and God’s relation to things, their ideas cannot be rendered doubtful. Here I concede that because one can reason to these adequate ideas of God and God's relation to things, scientia intuitiva is not unique in removing doubt. However, scientia intuitiva may still be distinctive in the way it removes doubt. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

The tradition of philosophical hermeneutics does not offer a definitive answer to the question “What is truth?” and the inquiry into the relationship between truth and interpretation. Instead, it presents a number of ways in which this question can be asked and discusses the validity and relevance of some plausible responses. Modern hermeneuticians emphasize the interpretative nature of human thought and existence. For Heidegger and Gadamer, truth concerns the way we lead our lives. Dilthey and Nietzsche contemplate the role of (...) the human sciences in a landscape of shifting historical and cultural horizons, arriving at quite different conclusions with respect to the possibility of truth and objectivity. Events and symbolic expressions are products of human intentions and desires, and must be understood as such. For Dilthey, this dimension of meaning is, so to speak, the imprint of human historicity. (shrink)

Personhood is not a redundant category, but a social cluster kind. On this view, chimpanzees have their own kind of personhood profile. Seeing that chimpanzees have a personhood profile allows us to argue that chimpanzees like Tommy are individuals who deserve rights under the law. If chimpanzee personhood is a matter of public policy that needs to be decided by society, then learning more about the person profiles of chimpanzees will be essential in making this case. As the public learns (...) what scientists have come to see, and with public conversations about what counts as a person, our society can make another ethical transformation that will be recognized by the courts. But without the metaphysical personhood concept to rely on, we will have a difficult time showing that chimpanzees should count as persons under the law. (shrink)

In this brief, we argue that there is a diversity of ways in which humans (Homo sapiens) are ‘persons’ and there are no non-arbitrary conceptions of ‘personhood’ that can include all humans and exclude all nonhuman animals. To do so we describe and assess the four most prominent conceptions of ‘personhood’ that can be found in the rulings concerning Kiko and Tommy, with particular focus on the most recent decision, Nonhuman Rights Project, Inc v Lavery.

This paper explores the unique phenomenology of habit and temporality put forth in Beauvoir’s La Vieillesse. I situate her understanding of temporality in relation to her early work Pyrrhus and Cinéas. I extract her notion of a boundary marked future that decreases anticipation for the future and thus rigidifies habits. In the final section I appropriate the notion of a boundary mark for a cultural phenomenology where we understand boundary marks as constituted by our understandings of ourselves in time and (...) not through aging alone. This cultural boundary mark can be used to understand how societal prejudice operates at the level of lived temporality. (shrink)

NOTE TO READERS: My current research program is firmly grounded in the technical aspects of this dissertation. That said, my views have evolved significantly since writing it, e.g. I've flipped my views on the best working definition of 'determinism', and I no longer defend the viability of incompatibilist-impossibilism (I still grant the superficial logical consistency of the two views, but now contend that there is no way to defend one without rejecting the other). I have also given up on the (...) general project of rehabilitating the terms 'compatibilism' and 'incompatibilism', as I now see them as unhelpful hangovers from a degenerated research program. (shrink)

Social norms are commonly understood as rules that dictate which behaviors are appropriate, permissible, or obligatory in different situations for members of a given community. Many researchers have sought to explain the ubiquity of social norms in human life in terms of the psychological mechanisms underlying their acquisition, conformity, and enforcement. Existing theories of the psychology of social norms appeal to a variety of constructs, from prediction-error minimization, to reinforcement learning, to shared intentionality, to domain-specific adaptations for norm acquisition. In (...) this paper, we propose a novel methodological and conceptual framework for the cognitive science of social norms that we call normative pluralism. We begin with an analysis of the explanatory aims of the cognitive science of social norms. From this analysis, we derive a recommendation for a reformed conception of its explanandum: a minimally psychological construct that we call normative regularities. Our central empirical proposal is that the psychological underpinnings of social norms are most likely realized by a heterogeneous set of cognitive, motivational, and ecological mechanisms that vary between norms and between individuals, rather than by a single type of process or distinctive norm system. This pluralistic approach, we suggest, offers a methodologically sound point of departure for a fruitful and rigorous science of social norms. (shrink)

Observations of animals engaging in apparently moral behavior have led academics and the public alike to ask whether morality is shared between humans and other animals. Some philosophers explicitly argue that morality is unique to humans, because moral agency requires capacities that are only demonstrated in our species. Other philosophers argue that some animals can participate in morality because they possess these capacities in a rudimentary form. Scientists have also joined the discussion, and their views are just as varied as (...) the philosophers’. Some research programs examine whether animals countenance specific human norms, such as fairness. Other research programs investigate the cognitive and affective capacities thought to be necessary for morality. There are two sets of concerns that can be raised by these debates. They sometimes suffer from there being no agreed upon theory of morality and no clear account of whether there is a demarcation between moral and social behavior; that is, they lack a proper philosophical foundation. They also sometimes suffer from there being disagreement about the psychological capacities evident in animals. Of these two sets of concerns—the nature of the moral and the scope of psychological capacities—we aim to take on only the second. In this chapter we defend the claim that animals have three sets of capacities that, on some views, are taken as necessary and foundational for moral judgment and action. These are capacities of care, capacities of autonomy, and normative capacities. Care, we argue, is widely found among social animals. Autonomy and normativity are more recent topics of empirical investigation, so while there is less evidence of these capacities at this point in our developing scientific knowledge, the current data is strongly suggestive. (shrink)

Following recent arguments that cultural practices in wild animal populations have important conservation implications, we argue that recognizing captive animals as cultural has important welfare implications. Having a culture is of deep importance for cultural animals, wherever they live. Without understanding the cultural capacities of captive animals, we will be left with a deeply impoverished view of what they need to flourish. Best practices for welfare should therefore require concern for animals’ cultural needs, but the relationship between culture and welfare (...) is also extremely complex, requiring us to rethink standard assumptions about what constitutes and contributes to welfare. (shrink)

Among Edvard Munch’s many portraits of Henrik Ibsen, the famous Norwegian dramatist and Munch’s senior by a generation, one stands out. Large in scope and with a characteristic pallet of roughly hewed gray blue, green and yellow, the sketch is given the title Geniuses. Munch’s sketch shows Ibsen, who had died a few years earlier, in the company of Socrates and Nietzsche. The picture was a working sketch for a painting commissioned by the University. While Munch, in the end, chose (...) a different motif for his commission, it is nonetheless significant that he found it appropriate to portrait the Norwegian dramatist in the company of key European philosophers, indeed the whole span of the European philosophical tradition from its early beginnings to its most controversial spokesman in the late 1800s. In my article, I seek to take seriously Munch’s bold and original positioning of Ibsen in the company of philosophers. Focusing on Hedda Gabler—a play about love lost and lives unlived—I explore the aesthetic-philosophical ramifications of Ibsen’s peculiar position between realism and modernism. This position, I suggest, is also reflected in Munch’s sketches for the set design for Hermann Bahr’s 1906 production of the play. (shrink)