We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, built up from propositional variables (p,q,r,...) and falsity $(\perp)$ using conjunction $(\wedge)$ , disjunction (∨) and implication (→). Write $\vdash\phi$ to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula φ there exists a formula Apφ (effectively computable from φ), containing only variables not equal to p which occur in φ, and such that for (...) all formulas ψ not involving $p, \vdash \psi \rightarrow A_p\phi$ if and only if $\vdash \psi \rightarrow \phi$ . Consequently quantification over propositional variables can be modelled in IpC, and there is an interpretation of the second order propositional calculus, IpC2, in IpC which restricts to the identity on first order propositions. An immediate corollary is the strengthening of the usual interpolation theorem for IpC to the statement that there are least and greatest interpolant formulas for any given pair of formulas. The result also has a number of interesting consequences for the algebraic counterpart of IpC, the theory of Heyting algebras. In particular we show that a model of IpC2 can be constructed whose algebra of truth-values is equal to any given Heyting algebra. (shrink)

Working in the fragment of Martin-Löfs extensional type theory [12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's paradox showing that each type possesses a closed term and (hence) that all terms of (...) each type are provably equal. We consider the kind of category theoretic structure which corresponds to this kind of type theory and obtain a categorical version of the paradox. A special case of this result is the degeneracy of a locally cartesian closed category with a morphism which is generic in the sense that every other morphism in the category can be obtained from it via pullback. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

Some have it that wholes are, somehow, identical to their parts. This doctrine is as alluring as it is puzzling. But in this paper, I show that the doctrine is inconsistent with two widely accepted theses. Something has to go.

Here's an interesting question: what are we? David Barnett has claimed that reflection on consciousness suggests an answer: we are simple. Barnett argues that the mereological simplicity of conscious beings best explains the Datum: that no pair of persons can itself be conscious. In this paper, I offer two alternative explanations of the Datum. If either is correct, Barnett's argument fails. First, there aren't any such things as pairs of persons. Second, consciousness is maximal; no conscious thing is a proper (...) part of another conscious thing. I conclude by showing how both moves comport with materialist theories of what we are and then apply them to another anti-materialist argument. (shrink)

Making room for agency in a physical world is no easy task. Can it be done at all? In this article, I consider and reject an argument in the negative.

The continental tradition in philosophy has gotten more "materialistic" over the last two hundred years. This has resulted from a combination of some very specific moves with regard to the epistemological parameters of understanding and the assertion that ideas may have material force in history. Therefore, the materialism within the continental tradition is not a materiality of being, but a materiality of understanding and action. Such an inquiry opens up space between the activities of sensation and the mental faculty of (...) cognition. 'I think, therefore I am,' is not an empirical statement, but a statement of cognition. It is assumed that this distinction is at the core of continental philosophy. Cognition is always interpretive. Experience is the start of cognition, but not its final product. Our cognitions cannot be separated from our experience of the physical, social, and cultural environment around us. The symbolic nature of language reinforces the interpretive nature of our thoughts and ideas. Our language is, therefore, always projecting an implicit image of the world. Language is, therefore, always political. The materiality of these cognitive world-views is manifested in two ways. First, in their formation. They are the products of sensual contact with the world. Second, in their effects. They move people. It is a picture of the world which serves to shape the content and character of human behavior. Whether we want to call these phantoms of the mind, world-view, ideas, thoughts, cognitions, or any other term, the dual character of their materiality is secure. This work examines the threads of materialist ideas running through the efforts of some major authors in the continental tradition in philosophy. A model of materialism is constructed in Chapter One and used to assess the materialist elements in works from Kant, Marx, Weber, Nietzsche, and contemporary poststructuralism. The work demonstrates the evolution of materialist thinking within the tradition and asserts an evolving and developing articulation of materialism in relation to the thoughts and activities of human beings." -- Publisher's description. (shrink)

Entangled by modernism -- Archaeological use of theories -- Object science -- Group formation, dissent, and change -- A method for analyzing cultural action -- Fragmenting the Bronze Age -- Contestation in the Hopewell.

It is argued that a chief obstacle to a naturalistic explanation of the origins of mind is human exceptionalism, as exemplified in the 17th century by Descartes, and in the 20th century by Noam Chomsky. As an antidote to human exceptionalism we turn to the account of aesthetic judgment in Darwin’s Descent of Man, according to which the mental capacities of humans differ from those of lower animals only in degree, not in kind. Thoroughgoing naturalistic explanation of these capacities is (...) made easier by shifting away from the substance-metaphysical implications of the search for an account of mind, toward a dispositional account of the origins of mindfulness. (shrink)

Andrew Steane reconfigures the public understanding of science, by drawing on a deep knowledge of physics and by bringing in mainstream philosophy of science. Science is a beautiful, multi-lingual network of ideas; it is not a ladder in which ideas at one level make those at another level redundant. In view of this, we can judge that the natural world is not so much a machine as a meeting-place. In particular, people can only be correctly understood by meeting with (...) them at the level of their entire personhood, in a reciprocal, respectful engagement as one person to another. Steane shows that Darwinian evolution does not overturn this but rather is the process whereby such truths came to be discovered and expressed in the world. From here the argument moves towards other aspects of human life. Our sense of value requires from us a response which is not altogether the same as following logical argument. This points us towards what religion in its good forms can express. A reply to a major argument of David Hume, and a related one of Richard Dawkins, is given. The book finishes with some brief chapters setting religion in the context of all human capacities, and showing, in fresh language, what theistic religious response is, or can be, in the modern world. (shrink)

This chapter contains sections titled: A Philosophical Gaze into the Writings of the Zodiac Killer Who is the Zodiac Killer? Peek‐A‐Boo: You Are Doomed! This is the Zodiac Speaking Conclusion.

This book examines the process philosophies of Whitehead and others against current discussions of astrobiology, extraterrestrial life, and their engagement by theological and religious systems.

It is argued that a chief obstacle to a naturalistic explanation of the origins of mind is human exceptionalism, as exempli fi ed in the seventeenth century by René Descartes and in the twentieth century by Noam Chomsky. As an antidote to human exceptionalism, we turn to the account of aesthetic judgment in Charles Darwin’s Descent of Man , according to which the mental capacities of humans differ from those of lower animals only in degree, and not in kind. Thoroughgoing (...) naturalistic explanation of these capacities is made easier by shifting away from the substance-metaphysical implications of the search for an account of mind , toward a dispositional account of the origins of mindfulness . (shrink)

Among your closest associates is a certain human animal – a living, breathing, organism. You see it when you look in the mirror. When it is sick, you don't feel too well. Where it goes, you go. And, one thinks, where you go, it must follow. Indeed, you can make it move through sheer force of will. You bear, in short, an important and intimate relation to this, your animal. So too rest of us with our animals. Animalism says that (...) this relation is nothing short of identity. According to animalists, we do not only coincide with or constitute or inhabit or otherwise hang out with these close associates, our animals: we are them. In this article, I offer an opinionated take on what animalism might be and situate it against contemporary rivals. Then, I outline a simple case for animalism. Finally, I sketch non-standard routes for animalists to take in light of standard challenges. My goal in all of this is to open up some new avenues of animalist thinking. (shrink)

The animalist says we are animals. This thesis is commonly understood as the universal generalization that all human persons are human animals. This article proposes an alternative: the thesis is a generic that admits of exceptions. We defend the resulting view, which we call ‘generic animalism’, and show its aptitude for diagnosing the limits of eight case-based objections to animalism.

There are predicates and subjects. It is thus tempting to think that there are properties on the one hand, and things that have them on the other. I have no quarrel with this thought; it is a fine place to begin a theory of properties and property-having. But in this paper, I argue that one such theory—bare particularism—is false. I pose a dilemma. Either bare particulars instantiate the properties of their host substances or they do not. If they do not, (...) then bare particularism is both unmotivated and false. If they do, then the view faces a problematic—and, I shall argue, false—crowding consequence. (shrink)

Most academics agree that emotions and moods are related but distinct phenomena. The present study assessed emotion-mood distinctions among a non-academic population and compared these views with distinctions proposed in the literature. Content analysis of responses from 106 participants identified 16 themes, with cause (65% of respondents), duration (40%), control (25%), experience (15%), and consequences (14%) the most frequently cited distinctions. Among 65 contributions to the academic literature, eight themes were proposed, with duration (62% of authors), intentionality (41%), cause (31percnt;), (...) consequences (31%), and function (18%) the most frequently cited. When the eight themes cited by both academics and non-academics were rank ordered, approximately 60% overlap in opinion was evident. A data-derived summary of emotion-mood distinctions is provided. These data should prove useful to investigators interested in developing a clearer scientific distinction between emotion and mood than is currently available. (shrink)

Materialists about human persons think that we are material through and through—wholly material beings. Those who endorse materialism more widely think that everything is material through and through. But what is it to be wholly material? In this article, I answer that question. I identify and defend a definition or analysis of ‘wholly material’.

We develop a new puzzle concerning a material being's relationship to the smallest parts of the material world. In particular, we investigate how a being could be responsible for anything if its be...

Animalism is the view that we are animals: living, breathing, wholly material beings. Despite its considerable appeal, animalism has come under fire. Other philosophers have had much to say about objections to animalism that stem from reflection on personal identity over time. But one promising objection (the `Elimination Argument') has been overlooked. In this paper, I remedy this situation and examine the Elimination Argument in some detail. I contend that the Elimination Argument is both unsound and unmotivated.

I introduce and argue for a Priority Principle, according to which we exemplify certain of our mental properties in the primary or non-derivative sense. I then apply this principle to several debates in the metaphysics and philosophy of mind.

There is a new objection to the Consequence Argument for incompatibilism. I argue that the objection is more wide-ranging than originally thought. In particular: if it tells against the Consequence Argument, it tells against other arguments for incompatibilism too. I survey a few ways of dealing with this objection and show the costs of each. I then present an argument for incompatibilism that is immune to the objection and that enjoys other advantages.

Animalism is at once a bold metaphysical theory and a pedestrian biological observation. For according to animalists, human persons are organisms; we are members of a certain biological species. In this article, I introduce some heretofore unnoticed data concerning the interlocking interests of human persons and human organisms. I then show that the data support animalism. The result is a novel and powerful argument for animalism. Bold or pedestrian, animalism is true.

Many have thought that there is a problem with causal commerce between immaterial souls and material bodies. In Physicalism or Something Near Enough, Jaegwon Kim attempts to spell out that problem. Rather than merely posing a question or raising a mystery for defenders of substance dualism to answer or address, he offers a compelling argument for the conclusion that immaterial souls cannot causally interact with material bodies. We offer a reconstruction of that argument that hinges on two premises: Kim’s Dictum (...) and the Nowhere Man principle. Kim’s Dictum says that causation requires a spatial relation. Nowhere Man says that souls can’t be in space. By our lights, both premises can be called into question. We’ll begin our evaluation of the argument by pointing out some consequences of Kim’s Dictum. For some, these will be costs. We will then present two defeaters for Kim’s Dictum and a critical analysis of Kim’s case for Nowhere Man. The upshot is that Kim’s argument against substance dualism fails. (shrink)

Here is a question as intriguing as it is brief: what are we? The animalist’s answer is equal in brevity: we are animals. This stark formulation of the animalist slogan distances it from nearby claims—that we are essentially animals, for example, or that we have purely biological criteria of identity over time. Is the animalist slogan—unburdened by modal or criterial commitments—still interesting, though? Or has it lost its bite? In this article we address such questions by presenting a positive case (...) for the importance of animalism and applying that case to recent critiques. (shrink)

Some strange cases have gripped philosophers of mind. They have been deployed against materialism about human persons, functionalism about mentality, the possibility of artificial intelligence, and more. In this paper, I cry “foul”. It’s not hard to think that there’s something wrong with the cases. But what? My proposal: their proponents ignore questions about composition. And ignoring composition is a mistake. Indeed, materialists about human persons, functionalists about mentality, and believers in the possibility of artificial intelligence can plausibly deploy moderate (...) theories of composition in defense of their views. And as it turns out, these strange cases are an interesting source of evidence for moderate theories of composition. (shrink)

According to the doctrine of animalism, we are animals in the primary and non-derivative sense. In this article, I introduce and defend a novel argument for the view.

Digital artifacts — humanly-constructed items that inhabit our computers and networks — suffer an unfortunate reputation as being virtual and therefore unreal, and all too easy to reproduce on the cheap. These features together prompt the question of this article: if digital artifacts can be reproduced for free, and if they are unreal, why do they have economic value at all? Using a focal case study of bitcoin — the most unreal digital artifact of them all, and one that has (...) been copied and pasted a thousand times over — I answer the question. Some digital artifacts can't be copied on the cheap, as it turns out, and they are real enough to be useful. (shrink)

According to theists, God is an immaterial thinking being. The main question of this article is whether theism supports the view that we are immaterial thinking beings too. I shall argue in the negative. Along the way, I will also explore some implications in the philosophy of mind following from the observation that, on theism, God’s mentality is in a certain respect magical.

For good or for ill, we have animal bodies. Through them, we move around, eat and drink, and do many other things besides. We owe much – perhaps our very lives – to these ever-present animals. But how exactly do we relate to our animals? Are we parts of them, or they of us? Do we and these living animals co-inhere or constitute or coincide? Or what? Animalism answers that we are identical to them. There are many objections to animalism, (...) and a dizzying array of rival views. In this article, we do not propose to evaluate those objections and rivals. We will instead present a new argument for that view. The argument begins with the fact that we have emotions. (shrink)

Some incompatibilists about free will or moral responsibility and determinism would abandon their incompatibilism were they to learn that determinism is true. But is it reasonable to flip-flop in this way? In this article, we contend that it is and show what follows. The result is both a defense of a particular incompatibilist strategy and a general framework for assessing other cases of flip-flopping.

This essay identifies two different methodological strategies used by the proponents of anarchism. In what is termed the "ontological" approach, the rationale for anarchism depends on a particular representation of human nature. That characterization of "being" determines the relation between the individual and the structures of social life. In the alternative approach, the epistemological status of "representation" is challenged, leaving human subjects without stable identities. Without the possibility of stable human representations, the foundations underlying the exercise of institutional power can (...) be challenged. This epistemological discussion is traced from Max Stirner to the twentieth-century movement known as poststructuralism. (shrink)

Substance dualism is on the move. Though the view remains unfashionable, a growing and diverse group of philosophers endorse it on impressive empirical, religious, and purely metaphysical grounds. In this note, I develop and evaluate one conceptual argument for substance dualism. According to that argument, we may derive a conclusion about our nature from the mere fact that we have the concept of a spirit. The argument is intriguing and fruitful; but I shall contend that it is, nonetheless, unsound.

We uncover a surprising discovery about the basis of thoughts. We begin by giving some plausible axioms about thoughts and their grounds. We then deduce a theorem, which has dramatic ramifications for the basis of all thoughts. The theorem implies that thoughts cannot come deterministically from any purely “thoughtless” states. We expect this result to be too dramatic for many philosophers. Hence, we proceed to investigate the prospect of giving up the axioms. We show that each axiom’s negation itself has (...) dramatic consequences that should be of interest to philosophers of mind. Our proof of the theorem provides a new guiderail for thinking about the nature and origin of thoughts. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

This paper focuses on the most common state policy responses to the opioid crisis, dividing them into six broad categories. Within each category we highlight the rationale behind the group of policies within it, discuss the details and support for individual policies, and explore the research base behind them. The objective is to better understand the most prevalent state responses to the opioid crisis.

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Psychologists are ethically obligated to obtain informed consent to psychotherapy "as early as is feasible" (American Psychological Association, 2002, p. 1072). However, the range of topics to be addressed includes both information that may be immediately and uniformly applicable to most clients via policy or rule, as well as information that is not immediately presentable because it varies widely across clients or emerges over time. In this study, licensed psychologists were surveyed regarding the earliest feasible point at which they could (...) provide information regarding specific aspects of psychotherapy. Results indicate that, although psychologists believe that they are capable of presenting some information, such as payment and confidentiality policies, at the outset, they believe that a discussion of more substantive issues, such as psychotherapy duration, goals, orientation, and activities, can take place only after some therapy has transpired. Implications are discussed regarding the process and event models of informed consent. (shrink)

Materialists about human persons say that we are, and must be, wholly material beings. Substance dualists say that we are, and must be, wholly immaterial. In this paper, I take issue with the “and must be” bits. Both materialists and substance dualists would do well to reject modal extensions of their views and instead opt for contingent doctrines, or doctrines that are silent about those modal extensions. Or so I argue.

In this article, we develop and defend a new argument for animalism -- the thesis that we human persons are human animals. The argument takes this rough form: since our pets are animals, we are too. We’ll begin with remarks on animalism and its rivals, develop our main argument, and then defend it against a few replies.