This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent 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 while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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 paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.

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)

This dissertation concerns the foundations of epistemic modality. I examine 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

This paper brings out an inconsistency between David Chalmers's dualism, which is the main element of his philosophy of mind, and his structuralism, which is the main element of his epistemology. The point is ad hominem , but the inconsistency if it can be established is of considerable independent interest. For the best response to the inconsistency, I argue, is to adopt what Chalmers calls ‘type‐C Materialism’, a version of materialism that has been much discussed in recent times because of (...) its promise to move us beyond the stand‐off between standard versions of materialism and dualism. In turn, if that version of materialism is true, both dualism and structuralism should be rejected. (shrink)

In the marketplace of opinions concerning the metaphysics of mind and consciousness panqualityism (PQ) occupies an interesting position. It is a distinct variant of neutral monism, as well as of protophenomenalism, and as such it strives to carve out a conceptual niche midway between physicalism and mentalism. It is also a brand of Russellian monism, advocated by its supporters as a less costly and less extravagant alternative to panpsychism. Being clearly articulated and relatively well-developed it constitutes an intriguing view. Nonetheless, (...) the present paper takes a decisively critical stance towards PQ. In particular, it challenges it on two principal grounds. First, I argue that PQ's analysis of experience, and of the qualities tasked with constituting the phenomenal character of experience, is fundamentally flawed. Second, I argue that PQ's attempt to explain phenomenal consciousness as a function of reflective awareness is equally misguided. Along the way, the paper also points the shortcomings of previously established critiques of PQ. All in all, the discussion identifies some difficulties that are likely to generalize beyond PQ's specific circumstances, raising concerns regarding the viability of a "middle of the road" solution to the mind–body problem. (shrink)

Chalmers (2002) argues against physicalism in part using the premise that no truth about consciousness can be deduced a priori from any set of purely structural truths. Chalmers (2012) elaborates a detailed definition of what it is for a truth to be structural, which turns out to include spatiotemporal truths. But Chalmers (2012) then proposes to define spatiotemporal terms by reference to their role in causing spatial and temporal experiences. Stoljar (2015) and Ebbers (Ms) argue that this definition of spatiotemporal (...) terms allows for the trivial falsification of Chalmers (2002)’s premise about structure and consciousness. I show that this result can be avoided by tweaking the relevant premise, and moreover that this tweak is well-motivated and not ad hoc. (shrink)

According to panqualityism, a form of Russellian monism defended by Sam Coleman and others, consciousness is grounded in fundamental qualities, i.e. unexperienced qualia. Despite panqualityism’s significant promise, according to David Chalmers panqualityism fails as a theory of consciousness since the reductive approach to awareness of qualities it proposes fails to account for the specific phenomenology associated with awareness. I investigate Coleman’s reasoning against this kind of phenomenology and conclude that he successfully shows that its existence is controversial, and so Chalmers’s (...) critique is inconclusive. I then present a critique of panqualityism that avoids this controversial posit, arguing that the panqualityist treatment of awareness faces an explanatory gap, failing to account for the intimate cognitive access to qualities which we are afforded, i.e. for our ‘strong awareness’ of qualities. The real worry for panqualityists is thus not the contested phenomenology of awareness, which Chalmers relies on, but rather the special way in which we are aware of qualities. (shrink)

I argue that experiences can have microphenomenal structures, where the macrophenomenal properties we introspect are realized by non-introspectible microphenomenal properties. After explaining what it means to ascribe a microstructure to experience, I defend the thesis against its principal philosophical challenge, discuss how the thesis interacts with other philosophical issues about experience, and consider our prospects for investigating the microphenomenal realm.

Russellian monism—an influential doctrine proposed by Russell (The analysis of matter, Routledge, London, 1927/1992)—is roughly the view that physics can only ever tell us about the causal, dispositional, and structural properties of physical entities and not their categorical (or intrinsic) properties, whereas our qualia are constituted by those categorical properties. In this paper, I will discuss the relation between Russellian monism and a seminal paradox facing epiphenomenalism, the paradox of phenomenal judgment: if epiphenomenalism is true—qualia are causally inefficacious—then any judgment (...) concerning qualia, including epiphenomenalism itself, cannot be caused by qualia. For many writers, including Hawthorne (Philos Perspect 15:361–378, 2001), Smart (J Conscious Stud 11(2):41–50, 2004), and Braddon-Mitchell and Jackson (The philosophy of mind and cognition, Blackwell, Malden, 2007), Russellian monism faces the same paradox as epiphenomenalism does. I will assess Chalmers’s (The conscious mind: in search of a fundamental theory. Oxford University Press, New York, 1996) and Seager’s (in: Beckermann A, McLaughlin BP (eds) The Oxford handbook of philosophy of mind. Oxford University Press, New York, 2009) defences of Russellian monism against the paradox, and will put forward a novel argument against those defences. (shrink)

Digital physics claims that the entire universe is, at the very bottom, made out of bits; as a result, all physical processes are intrinsically computational. For that reason, many digital physicists go further and affirm that the universe is indeed a giant computer. The aim of this article is to make explicit the ontological assumptions underlying such a view. Our main concern is to clarify what kind of properties the universe must instantiate in order to perform computations. We analyse the (...) logical form of the two models of computation traditionally adopted in digital physics, namely, cellular automata and Turing machines. These models are computationally equivalent, but we show that they support different ontological commitments about the fundamental properties of the universe. In fact, cellular automata are compatible with a rather traditional form of physicalism, whereas Turing machines support a dualistic ontology, which could be understood as a realism about the laws of nature or, alternatively, as a kind of panpsychism. (shrink)

Some materialists believe that physics is rich enough to bridge Levine's Explanatory Gap1, while others believe that it is not. Here I promote an intermediate position holding that physics is rich enough to explain why this gap seems more intractable than similar inter-theoretic explanatory gaps, without providing a full-blown “physical” explanation of consciousness. At a minimum, such an approach needs to explore the prospects of empirical discoveries that can diminish the power of anti-physicalist arguments like Chalmers's “conceivability argument”2 and Jackson's (...) “knowledge argument.” While this is not an easy task, recent advances in the physics of spacetime and information convince us that these prospects are not poor. The empirical bent of this approach suggests framing it as a naturalist theory of mind seeking to situate or make room for consciousness within our great naturalist system, but the reliance of this approach on recent (re)conceptions of time and information pulls the carpet out from under essential concepts like concreteness and causation, thus demanding a radically reconfigured naturalism, or neo-naturalism. The question that will frame this discussion is, “What could possibly count as an empirical fact that can help naturalize consciousness?”. (shrink)

According to Russellian monism, consciousness is constituted at least partly by quiddities: intrinsic properties that categorically ground dispositional properties described by fundamental physics. If the theory is true, then consciousness and such dispositional properties are closely connected. But how closely? The contingency thesis says that the connection is contingent. For example, on this thesis the dispositional property associated with negative charge might have been categorically grounded by a quiddity that is distinct from the one that actually grounds it. Some argue (...) that Russellian monism entails the contingency thesis and that this makes its consciousness‐constituting quiddities epiphenomenal—a disastrous outcome for a theory that is motivated partly by its prospects for integrating consciousness into physical causation. We consider two versions of that argument, a generic version and an intriguing version developed by Robert J. Howell, which he bases on Jaegwon Kim's well‐known “exclusion argument.” We argue that neither succeeds. (shrink)

It is often claimed that Russellian monism carries a commitment to a structuralist conception of physics, on which physics describes the world only in terms of its spatiotemporal structure and dynamics. We argue that this claim is mistaken. On Russellian monism, there is more to consciousness, and to the rest of concrete reality, than spatiotemporal structure and dynamics. But the latter claim supports only a conditional claim about physics: _if_ structuralism about physics is true, then there is more to consciousness (...) and to the rest of concrete reality than physics describes. Given the fundamental nature of their position, Russellian monists can, we argue, deny the antecedent without inconsistency. We also draw out two significant consequences of that result. One is that it provides a response to some recent objections to Russellian monism, by Alyssa Ney and Eric Hiddleston. The other consequence concerns a line of reasoning known as _the structure and dynamics argument_—reasoning that is thought to motivate Russellian monism. In David J. Chalmers’s version, which is regarded as canonical, structuralism about physics is implied by a premise. If our main thesis is true, then that version is problematic, at least from the perspective of Russellian monists who take the argument to motivate their theory. However, we argue, the argument can be reformulated without relying on structuralism about physics. (shrink)

The Humility Thesis is a persistent thesis in contemporary metaphysics. It is known by a variety of names, including, but not limited to, Humility, Intrinsic Humility, Kantian Humility, Kantian Physicalism, Intrinsic Ignorance, Categorical Ignorance, Irremediable Ignorance, and Noumenalism. According to the thesis, we human beings, and any knowers that share our general ways of knowing, are irremediably ignorant of a certain class of properties that are intrinsic to material entities … Continue reading Humility Regarding Intrinsic Properties →.

I present an argument for panpsychism: the thesis that everything is conscious, or at least that fundamental physical entities are conscious. The argument takes a Hegelian dialectical form. Panpsychism emerges as a synthesis of the thesis of materalism and the antithesis of dualism. In particular, the key premises of the causal argument for materialism and the conceivability argument for dualism are all accommodated by a certain version of panpsychism. This synthesis has its own antithesis in turn: panprotopsychism, the thesis that (...) fundamental physical entities are protoconscious, also accommodates the key premises. Panpsychism and panprotopsychism are synthesized under Russellian monism, and then face an antithesis, the combination problem. The question of whether there is a new synthesis remains open. (shrink)