Moral realism and ethical naturalism are both highly attractive ethical positions but historically they have often been thought to be irreconcilable. Since the late 1980s defenders of Cornell Realism have argued that the two positions can consistently be combined. They make three constitutive claims: (i) Moral properties are natural kind properties that (ii) are identical to (or supervene) on descriptive functional properties, which (iii) causally regulate our use of moral terms. We offer new arguments against the feasibility of Cornell realism (...) and then show that there is a way to be a naturalistic realist that avoids internal inconsistency and uniquely provides for moral normativity. (shrink)

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual reductive account (...) combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

This paper develops and defends a new argument against physicalist views of consciousness: the inconceivability argument. The argument has two main premises. First, it is not (ideally, positively) conceivable that phenomenal truths are grounded in physical truths. (For example, one cannot positively conceive of a situation in which someone has a vivid experience of pink wholly in virtue of the movements of colorless, insentient atoms.) Second, (ideal, positive) inconceivability is a guide to falsity. I attempt to show that the inconceivability (...) argument enjoys a significant advantage over the more familiar conceivability argument. One can reasonably endorse the inconceivability argument without endorsing the conceivability argument, but one cannot reasonably endorse the conceivability argument without also endorsing the inconceivability argument. (shrink)

The time has come to consider whether experimental philosophy’s (“x-phi”) early arguments, debates, and conceptual frameworks, that may have worn well in its early days, fit with the diverse range of projects undertaken by experimental philosophers. Our aim is to propose a novel taxonomy for x-phi that identifies four paths from empirical findings to philosophical consequences, which we call the “fourfold route.” We show how this taxonomy can be fruitfully applied even at what one might have taken to be the (...) furthest edges of possible applications of x-phi in metaphysics and formal philosophy. Ultimately, the fourfold route helps us understand a different kind of empirical fact: the development of x-phi itself. (shrink)

I define two metaphysical positions that anti-physicalists can take in response to Jonathan Schaffer’s ground functionalism. Ground functionalism is a version of physicalism where explanatory gaps are everywhere. If ground functionalism is true, arguments against physicalism based on the explanatory gap between the physical and experiential facts fail. In response, first, I argue that some anti-physicalists are already safe from Schaffer’s challenge. These anti-physicalists reject an underlying assumption of ground functionalism: the assumption that macrophysical entities are something over and above (...) the fundamental entities. I call their position “lightweight anti-physicalism.” Second, I go on to argue that even if anti-physicalists accept Schaffer’s underlying assumption, they can still argue that the consciousness explanatory gap is especially mysterious and thus requires a special explanation. I call the resulting position “heavyweight anti-physicalism.” In both cases, the consciousness explanatory gap is a good way to argue against physicalism. (shrink)

I exploit parallel considerations in the philosophy of mind and metaethics to argue that the reasoning employed in an important argument for panpsychism overgeneralizes to support an analogous position in metaethics: panmoralism. Next, I raise a number of problems for panmoralism and thereby build a case for taking the metaethical parallel to be a reductio ad absurdum of the argument for panpsychism. Finally, I contrast panmoralism with a position recently defended by Einar Duenger Bohn and argue that the two suffer (...) from similar problems. I conclude by drawing some general lessons for panpsychism. (shrink)

This paper argues that promises are proposals in joint practical deliberation, the activity of deciding together what to do. More precisely: to promise to ϕ is to propose (in a particular way) to decide together with your addressee(s) that you will ϕ. I defend this deliberative theory by showing that the activity of joint practical deliberation naturally gives rise to a speech act with exactly the same properties as promises. A certain kind of proposal to make a joint decision regarding (...) one's own actions turns out to have the very same normative effects, under the very same conditions, as a promise. I submit that this cannot be a coincidence: we should conclude that promises and the relevant kind of proposals in joint practical deliberation are one and the same. (shrink)

Hume’s Law that one cannot derive an “ought” from an “is” has often been deemed to bear a significance that extends far beyond logic. Repeatedly, it has been invoked as posing a serious threat to views about normativity: naturalism in metaethics and positivism in jurisprudence. Yet in recent years, a puzzling asymmetry has emerged: while the view that Hume’s Law threatens naturalism has largely been abandoned (due mostly to Pigden’s work, see e.g. Pigden 1989), the thought that Hume’s Law is (...) a serious challenge to positivism has only grown in prominence. Our main aim is to establish that Hume’s Law is not a threat to positivism or naturalism. First, we connect extensive, but unfortunately siloed, discussions of this issue. Second, we show that Hume’s Law is not a serious threat to naturalism or positivism, for the gap between logic and such theses is very hard to bridge in a way that would make Hume’s Law able to bear this significance. Finally, we emphasize an implication of our discussion: it undermines one of the main “dialectical tributaries” in jurisprudence (Toh 2018). (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

In this paper, I argue for a new solution to Mary’s puzzle in Jackson’s famous knowledge argument. We are told that imprisoned Mary knows all facts or truths about color and color vision. On her release, she learns something new according to B-type of materialism and according to property dualism. I argue that this cognitive improvement can only be accounted for in terms of what Schellenberg has recently called “capacitism,” namely the claim that that experience is constitutively a matter of (...) discriminating and singling out particulars by employing perceptual capacities. Of course, I am not claiming that knowing the phenomenal character is simply the possession of abilities, let alone that the phenomenal character is a sort of know-how. That is why my claim is not affiliated with Lewis and Nemirow's ability hypothesis position. I take for granted here a sort of property-representationalism, according to which the phenomenal character of experience supervenes on the cluster of properties that the respective experiences represent. On her release, Mary acquires those perceptual abilities on the basis of which she learns to discriminate all shades of color. And after applying her old physical concept RED to the shade of red, she comes to know what it is like to experience red (propositional knowledge). (shrink)

We draw attention to a series of implicit assumptions that have structured the debate about Frege’s Puzzle. Once these assumptions are made explicit, we rely on them to show that if one focuses exclusively on the issues raised by Frege cases, then one obtains a powerful consideration against a fine-grained conception of propositional-attitude content. In light of this consideration, a form of Russellianism about content becomes viable.

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

This paper explores the practice of explanation by status, in which a truth with a certain status is supposed to be explained by its having that status. It first investigates whether such explanations are possible. Having found existing accounts of the practice wanting, it then argues for a novel account of explanation by status as empty-base explanation. The latter notion captures a certain limiting case of ordinary explanation so that according to the empty-base account, explanation by status can be fruitfully (...) understood as a corresponding limiting case of ordinary explanation. One way in which the empty-base account is argued to be superior to other treatments of explanation by status is that it allows for a principled assessment of the possibility of particular kinds of explanation by status. Thus, one result of the present discussion is that explanation by essential status and status as a law are possible, while explanation by merely necessary status is not. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

When a train operator tells us that our train will be late ‘because of delays’, their attempt at explanation fails because there is insufficient distance between the explanans and the explanandum. In this paper, I motivate and defend an account of ‘explanatory distance’, based on the idea that explanations give information about dependence. I show that this account offers useful resources for addressing problem cases, including recent debates about grounding explanation, and the historical case of Molière’s dormitive virtue.

Peter Carruthers argues that the global workspace theory implies there are no facts of the matter about animal consciousness. The argument is easily extended to other cognitive theories of consciousness, posing a general problem for consciousness studies. But the argument proves too much, for it also implies that there are no facts of the matter about human consciousness. A key assumption of the argument is that scientific theories of consciousness must explain away the explanatory gap. I criticize this assumption and (...) point to an alternative strategy for defending scientific theories of consciousness, one that better reflects the ongoing scientific practice. I argue there are introspectable inferential connections from phenomenal concepts to functional concepts that scientists can use to individuate the global workspace in terms of capacities that animals and humans share. (shrink)

This chapter analyzes the relation between brain sciences and philosophy of mind, in order to clarify in what ways philosophy can contribute to neuroscience and neuroscience can contribute to philosophy. Especially since the 1980s and the emergence of “neurophilosophy”, more and more philosophers have been bringing home morals from neuroscience to settle philosophical issues. I mention examples from the problem of consciousness, philosophy of perception and the problem of free will, and I argue that such attempts are not successful in (...) trying to settle questions like whether psychology can be reduced to neuroscience, whether we see the external world directly in perception, or whether we have free will. The failure results from an ability of the philosophical questions to evade the data. What makes these questions persisting philosophical questions is precisely that there is no way to settle them through empirical evidence, as they are conceptual questions and their solution lies in conceptual analysis. (shrink)

The key idea behind reduction is a simple and familiar one: it’s that there’s more to things than meets the eye. Surprisingly, this simple idea provides the resources to block a number of notable anti-reductionist arguments: Mackie’s argument from queerness against objective moral values, Kripke’s Humphrey objection and its recent variants, and Jubien’s objection from irrelevance against Lewisian modal realism. What is wrong with each of these arguments is that they suppose that what is to be reduced must not be (...) dissimilar to what it is to be reduced to. This supposition is shown to be misguided and that the success or otherwise of a reduction turns on quite different considerations. (shrink)

We review existing strategies for bringing modal intuitions to bear against materialist theories of consciousness, and then propose a new strategy. Unlike existing strategies, which assume that imagination (suitably constrained) is a good guide to modal truth, the strategy proposed here makes no assumptions about the probative value of imagination. However, unlike traditional modal arguments, the argument developed here delivers only the conclusion that we should not believe that materialism is true, not that we should believe that it is false.

The cognitive phenomenology thesis has it that conscious cognitive states essentially exhibit a phenomenal character. Defenders of ‘conservatism’ about cognitive phenomenology think that the phenomenology of thought is reducible to sensory phenomenology. In contrast, proponents of ‘liberalism’ hold that there is a proprietary, sui generis cognitive phenomenology. Horgan develops a morph-sequence argument to argue for liberalism. The argument is based on the conceivability of a cognitive phenomenology zombie, i.e. a man who does not understand Chinese but shares the behavior and (...) sensory phenomenology with his twin who does understand Chinese. I argue that the conceivability of a cognitive phenomenology-zombie fails to settle the debate between conservatives and liberals. The roots of the ineffectiveness of the argument lie in the diverse readings of sensory phenomenology which flesh out the relation between sensory phenomenology and concepts differently but explain the conceivability of the scenario equally well. The lesson to learn is that to adjudicate the debate about cognitive phenomenology, we first have to clarify the notion of sensory phenomenology. (shrink)

Illusionism about phenomenal consciousness is the thesis that phenomenal consciousness does not exist, even though it seems to exist. This thesis is widely judged to be uniquely counterintuitive: the idea that consciousness is an illusion strikes most people as absurd, and seems almost impossible to contemplate in earnest. Defenders of illusionism should be able to explain the apparent absurdity of their own thesis, within their own framework. However, this is no trivial task: arguably, none of the illusionist theories currently on (...) the market is able to do this. I present a new theory of phenomenal introspection and argue that it might deal with the task at hand. (shrink)

Many philosophers have tried to defend physicalism concerning phenomenal consciousness, by explaining dualist intuitions within a purely physicalist framework. One of the most common strategies to do so consists in interpreting the alleged “explanatory gap” between phenomenal states and physical states as resulting from a fallacy, or a cognitive illusion. In this paper, I argue that the explanatory gap does not rest on a fallacy or a cognitive illusion. This does not imply the falsity of physicalism, but it has consequences (...) on the kind of physicalism we should embrace. (shrink)

How has multiplicity superseded impossibility in philosophical challenges to artificial consciousness? I assess a trajectory in recent debates on artificial consciousness, in which metaphysical and explanatory challenges to the possibility of building conscious machines lead to epistemological concerns about the multiplicity underlying ‘what it is like’ to be a conscious creature or be in a conscious state. First, I analyse earlier challenges which claim that phenomenal consciousness cannot arise, or cannot be built, in machines. These are based on Block’s Chinese (...) Nation and Chalmers’ Hard Problem. To defuse such challenges, theorists of artificial consciousness can appeal to empirical methods and models of explanation. Second, I explain why this naturalistic approach produces an epistemological puzzle on the role of biological properties in phenomenal consciousness. Neither behavioural tests nor theoretical inferences seem to settle whether our machines are conscious. Third, I evaluate whether the new challenge can be managed through a more fine-grained taxonomy of conscious states. This strategy is supported by the development of similar taxonomies for biological species and animal consciousness. Although it makes sense of some current models of artificial consciousness, it raises questions about their subjective and moral significance. (shrink)

This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; (...) and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. (shrink)

According to a view I’ll call Epistemic Normativism, knowledge is normative in the same sense in which paradigmatically normative properties like justification are normative. This paper argues against EN in two stages and defends a positive non-normativist alternative. After clarifying the target in §1, I consider in §2 some arguments for EN from the premise that knowledge entails justification. I first raise some worries about inferring constitution from entailment. I then rehearse the reasons why some epistemologists reject the Entailment Thesis (...) and argue that a non-normativist picture provides the best explanation of all the intuitions surrounding this thesis, favorable and unfavorable. On this picture, human knowledge is a structured non-normative complex that has as one of its parts a justification-making property, analogous in role to good-making properties like pleasurableness. After giving three arguments against EN in §3 and answering an objection in §4, I turn in §5 to further develop the positive view sketched in §2. In §6, I take stock and conclude. (shrink)

As a first pass, physicalism is the doctrine that there is nothing over and above the physical. Much recent philosophical work has been devoted to spelling out what this means in more rigorous terms and to assessing the case for the view. What follows is a survey of such work. I begin by looking at competing accounts of what is meant by nothing over and above and then turn to how the physical should be understood. Once we are clear on (...) the options for formulating the physicalist thesis, we will look at the leading argument for the view. Along the way, I will suggest avenues for further exploration. (shrink)

A review of recent work on physicalism, focusing on what it means to say nothing exists over and above the physical, how "the physical" should be defined, and the causal argument for physicalism.

ABSTRACTType B, or a posteriori, physicalism is the view that phenomenal-physical identity statements can be necessarily true, even though they cannot be known a priori—and that the key to understanding their status is to understand the special features of our phenomenal concepts, those concepts of our experiential states acquired through introspection. This view was once regarded as a promising response to anti-physicalist arguments that maintain that an epistemic gap between phenomenal and physical concepts entails that phenomenal and physical properties are (...) distinct. More recently, however, many physicalists have lost confidence in the view, and have proposed less promising defences of physicalism—or have become outright sceptical about its prospects. I argue here that these physicalists have underestimated the resources of Type B physicalism and are thereby retreating too quickly—or fighting battles that have already been won. (shrink)

This dissertation contains four independent essays addressing a cluster of related topics in the philosophy of mind. Chapter 1: “Fundamentality Physicalism” argues that physicalism can usefully be conceived of as a thesis about fundamentality. The chapter explores a variety of other potential formulations of physicalism (particularly modal formulations), contrasts fundamentality physicalism with these theses, and offers reasons to prefer fundamentality physicalism over these rivals. Chapter 2:“Modal Rationalism and the Demonstrative Reply to the Master Argument Against Physicalism” introduces the Master Argument (...) Against Physicalism and investigates its crucial premise: the inference from an a priori gap between the physical and consciousness to a lack of necessitation between the two. I argue against the strong form of modal rationalism that underwrites the master argument and offer a more moderate rationalist view. I offer a novel demonstrative reply to the master argument, according to which a connection between conscious experience and demonstratives, not dualism, is the source of the epistemic gap between consciousness and the physical. Chapter 3: “Conceptual Mastery and the Knowledge Argument” argues that Frank Jackson’s famous anti-physicalist knowledge argument featuring Mary, a brilliant neuroscientist raised in a black and white room, founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been removed, Mary can know the relevant truths. Chapter 4: “Toward a Theory of Conceptual Mastery” investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I argue against three views of conceptual mastery, according to which conceptual mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. I propose and respond to objections to my own “meaning postulate view” of the conditions under which a thinker has mastery of a concept. (shrink)

Maybe the most important argument in David Chalmers’s monumental book Constructing the World is the one he calls the ‘Frontloading Argument’, which is used in Chapter 4 to argue for the book’s central thesis, A Priori Scrutability. And, at first blush, the Frontloading Argument looks very strong. I argue here, however, that it is incapable of securing the conclusion it is meant to establish.

I assume that there exists a general phenomenon, the phenomenon of the explanatory gap, surrounding consciousness, normativity, intentionality, and more. Explanatory gaps are often thought to foreclose reductive possibilities wherever they appear. In response, reductivists who grant the existence of these gaps have offered countless local solutions. But typically such reductivist responses have had a serious shortcoming: because they appeal to essentially domain-specific features, they cannot be fully generalized, and in this sense these responses have been not just local but (...) parochial. Here I do better. Taking for granted that the explanatory gap is a genuine phenomenon, I offer a fully general diagnosis that unifies these previously fragmented reductivist responses. (shrink)

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

Is it rational to believe that the mind is identical to the brain? Identity theorists say it is (or looks like it will be, once all the neuroscientific evidence is in), and they base this claim on a general epistemic route to belief in identity. I re-develop this general route and defend it against some objections. Then I discuss how rational belief in mind–brain identity, obtained via this route, can be threatened by an appropriately adjusted version of the anti-physicalist knowledge (...) argument. Responses to this threat usually appeal either to different modes of presentation or to phenomenal concepts. But neither type of response is satisfactory. I provide a novel response, which appeals to an innocuous epistemic peculiarity of phenomenal states, namely their, as I shall call it, evidential insulation. (shrink)

Using his two-dimensional semantics, I demonstrate that David Chalmers’s 2010 ‘two-dimensional argument against materialism’ is sound only if a wide swath of reductive physicalist theses – crucially, those involving identity and other intrinsic reductive relations – are inconceivable. 2DA therefore begs the question against its opponents and undermines its argumentative relevance. Comparisons are drawn to similar arguments in Marton and Sturgeon; the present account differs in its formal and philosophical simplicity, as well as its specific application to reductivist doctrines beyond (...) the ineffective and merely supervenient. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, we (...) moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

The hard problem of consciousness is to explain why certain physical states are conscious: why do they feel the way they do, rather than some other way or no way at all? Arthur Reber claims to solve the hard problem. But he does not: even if we grant that amoebae are conscious, we can ask why such organisms feel the way they do, and Reber’s theory provides no answer. Still, Reber’s theory may be methodologically useful: we do not yet have (...) a satisfactory theory of consciousness, but perhaps the study of simple minds is a way to go about finding one. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This thesis explores the possibility of composite consciousness: phenomenally conscious states belonging to a composite being in virtue of the consciousness of, and relations among, its parts. We have no trouble accepting that a composite being has physical properties entirely in virtue of the physical properties of, and relations among, its parts. But a long­standing intuition holds that consciousness is different: my consciousness cannot be understood as a complex of interacting component consciousnesses belonging to parts of me. I ask why: (...) what is it about consciousness that makes us think it so different from matter? And should we accept this apparent difference? (shrink)

I argue that there can be no such thing as a borderline case of the predicate ‘phenomenally conscious’: for any given creature at any given time, it cannot be vague whether that creature is phenomenally conscious at that time. I first defend the Positive Characterization Thesis, which says that for any borderline case of any predicate there is a positive characterization of that case that can show any sufficiently competent speaker what makes it a borderline case. I then appeal to (...) the familiar claim that zombies are conceivable, and I argue that this claim entails that there can be no positive characterizations of borderline cases of ‘phenomenally conscious’. By the Positive Characterization Thesis, it follows that ‘phenomenally conscious’ can not have any borderline cases. (shrink)

How should ‘the physical’ be defined for the purpose of formulating physicalism? In this paper I defend a version of the via negativa according to which a property is physical just in case it is neither fundamentally mental nor possibly realized by a fundamentally mental property. The guiding idea is that physicalism requires functionalism, and thus that being a type identity theorist requires being a realizer-functionalist. In §1 I motivate my approach partly by arguing against Jessica Wilson's no fundamental mentality (...) constraint. In §2 I set out my preferred definition of ‘the physical’ and make my case that physicalism requires functionalism. In §3 I defend my proposal by attacking the leading alternative account of ‘the physical,’ the theory-based conception. Finally, in §4 I draw on my definition, together with Jaegwon Kim's account of intertheoretic reduction, to defend the controversial view that physicalism requires a priori physicalism. (shrink)

Much of the contemporary debate in the philosophy of mind is concerned with the clash between certain strongly held intuitions and what science tells us about the mind and its relation to the world. What science tells us about the mind points strongly towards some version or other of physicalism. The intuitions, in one way or another, suggest that there is something seriously incomplete about any purely physical story about the mind.

Event-causal libertarians maintain that an agent’s settling of whether certain states-of-affairs obtain on a particular occasion can be reduced to the causing of events (e.g., bodily motions, coming to a resolution) by certain mental events or states, such as certain desires, beliefs and/or intentions. Agent-causal libertarians disagree. A common critique against event-causal libertarian accounts is that the agent’s role of settling matters is left unfilled and the agent “disappears” from such accounts—a problem known as the disappearing agent problem. Recently, Franklin (...) (Philos Stud 170:413–432, 2014) has argued that an “enriched” event-causal account can overcome this problem. Franklin, however, doesn’t consider whether, as Pereboom (J Philos 99:499–531, 2015) argues, the agent as decider of “torn decisions” disappears from even enriched accounts. As I show here, Franklin’s enriched account takes some modifying if it is to overcome Pereboom’s torn decision problem—a special case of the disappearing agent problem. However, as I also show, there is a more fundamental problem facing event-causal libertarian accounts. It is implausible that an agent qua event or state simultaneously settles whether and how she intervenes. The upshot is that events and/or states lack an ability essential to completely fulfilling an agent’s role qua settler. This isn’t a problem for agent-causal accounts like the one offered by Steward (A metaphysics for freedom. Oxford University Press, Oxford, 2012) because in as much as an agent qua substance settles whether her body moves in certain ways on certain occasions she simultaneously settles whether and how she intervenes. As a consequence, event-causal libertarians face a dilemma, or rather several, that agent-causal libertarians do not. This may ultimately be explained by the irreducibility of causation by agents to causation by events. (shrink)

Frank Jackson has argued that only if we have a priori knowledge of the extension-fixers for many of our terms can we vindicate the methodological practice of relying on intuitions to decide between philosophical theories. While there has been much discussion of Jackson’s claim that we have such knowledge, there has been comparatively little discussion of this most powerful argument for that claim. Here I defend an alternative explanation of our intuitions about possible cases, one that does not rely on (...) a priori extension-fixers. This alternative explanation provides a vindication of our reliance on intuitions, while blocking Jackson’s abductive argument for a priori semantic knowledge. In brief, I argue that we should regard our armchair intuitions as providing an important, a priori source of evidence for hypotheses about the contents of our implicit referential policies with regard to our terms. But all such hypotheses have a potential falsifier that is only discoverable empirically. In other words, gold-standard evidence for such hypotheses is always empirical. (shrink)

One major problem many hypotheses regarding the neural correlate of consciousness, face is what we might call “the why question”: why would this particular neural feature, rather than another, correlate with consciousness? The purpose of the present paper is to develop an NCC hypothesis that answers this question. The proposed hypothesis is inspired by the cross-order integration theory of consciousness, according to which consciousness arises from the functional integration of a first-order representation of an external stimulus and a second-order representation (...) of that first-order representation. The proposal comes in two steps. The first step concerns the “general shape” of the NCC and can be directly derived from COI theory. The second step is a concrete hypothesis that can be arrived at by combining the general shape with empirical considerations. (shrink)

This is a review of David Chalmers's /Constructing the World/. The short, short version: there are issues, but you should definitely read the book.

What is the mind? Is consciousness a process in the brain? How do our minds represent the world? Philosophy of Mind: Classical and Contemporary Readings is a grand tour of writings on these and other perplexing questions about the nature of the mind. The most comprehensive collection of its kind, the book includes sixty-three selections that range from the classical contributions of Descartes to the leading edge of contemporary debates. Extensive sections cover foundational issues, the nature of consciousness, and the (...) nature of mental content. Three of the selections are published here for the first time, while many other articles have been revised especially for this volume. Each section opens with an introduction by the editor. Philosophy of Mind is suitable for students at all levels and also for general readers. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)