The massive debate in philosophy and psychology and neuroscience about higher-order theories of consciousness has not adequately distinguished between the following two claims. (Necessary Awareness): For any conscious mental state M and subject S, if S is in M, then S is aware of M. (The Higher-Order Theory): For any conscious mental state M and subject S, if S is in M, then M is conscious because S is aware of M. -/- While I will assume that the first claim (...) is true, I will argue that we should reject higher-order theories of consciousness. We should turn them on their head to go with the following theory: (The Ascending Road): For any conscious mental state M and subject S, if S is in M, then S is aware of M because M is conscious. (shrink)

The aim of this paper is to discuss a seemingly straightforward argument against physicalism which, despite being implicit in much of the philosophical debate about consciousness, has not received the attention it deserves (compared to other, better-known “epistemic”, “modal”, and “conceivability” arguments). This is the argument from the non-supervenience of the first-personal (and indexical) facts on the third-personal (and non-indexical) ones. This non-supervenience, together with the assumption that the physical facts (as conventionally understood) are third-personal, entails that some facts – (...) namely, first-personal, phenomenal ones – do not supervene on the physical facts. Unlike other arguments against physicalism, the first-personal argument, if successful, refutes not only physicalism but also other third-personal metaphysical pictures, including standard versions of dualism. (shrink)

To be acquainted with something (in the philosophical sense of “acquainted” discussed here) is to be directly aware of it. The idea that we are acquainted with certain things we experience has been discussed throughout the history of Western Philosophy, but in the early 20th century it gained especially focused attention among analytic philosophers who drew their inspiration from Bertrand Russell's work on acquaintance. Since then, many philosophers—particularly those working on self‐knowledge or perception—have used the notion of acquaintance to explain (...) various facts about human experience and knowledge. In this paper, I offer an overview of this work, with particular focus on the resurgent literature on acquaintance in contemporary analytic philosophy. After more fully explaining what acquaintance is (or is supposed to be), I describe some reasons for thinking that we are indeed acquainted with certain things we experience, and then I survey some of the facts about experience and knowledge that acquaintance may help explain. (shrink)

According to (what I will call) an inner awareness theory of consciousness, you are in a (phenomenally) conscious state only if you are aware, in some sense, of your being in the state. This theory is widely held, but what arguments are there for holding it? In this paper, I gather together in a systematic way the main arguments for holding the theory and suggest that none of them is persuasive. I end the paper by asking what our attitude to (...) the theory should be if there is no existing argument for it. (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 begin by describing what I call simple naïve realism. Then I describe relevant empirical results. Next, I develop two new empirical arguments against simple naive realism. Then I briefly look at two new, more complex forms of naïve realism: one due to Keith Allen and the other due to Heather Logue and Ori Beck. I argue that they are not satisfactory retreats for naive realists. The right course is to reject naive realism altogether. My stalking horse is contemporary naive (...) realism but there is a larger, positive lesson: new empirical results support a brain-based theory of sensory consciousness. (shrink)

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

I develop a new argument against Russellian Monism about consciousness.

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)

One popular approach to theorizing about phenomenal consciousness has been to connect it to representations of a certain kind. Representational theories of consciousness can be further sub-divided into first-order and higher-order theories. Higher-order theories are often interpreted as invoking a special relation between the first-order state and the higher-order state. However there is another way to interpret higher-order theories that rejects this relational requirement. On this alternative view phenomenal consciousness consists in having suitable higher-order representations. I call this ‘HOROR’ (‘Higher-Order (...) Representation Of a Representation’) theory to distinguish it from relational versions of higher- order theory. In this paper I make the case that HOROR theory is a plausible account of the real nature of phenomenal consciousness whatever one’s views are about whether it is physical/reducible or not. I first clarify HOROR theory and compare it to the more traditional same-order and higher-order thought theories. Afterwards I move to presenting some considerations in favor of HOROR theory. (shrink)

In the present paper, the notion that brains in vats with perceptual experiences of the same type as ours could perceptually represent other entities than shapes is challenged. Whereas it is often held that perceptual experiences with the same phenomenal character as ours could represent computational properties, I argue that this is not the case for shapes. My argument is in brief that the phenomenal character of a normal visual experience exemplifies shapes – phenomenal shapes – which functions as the (...) vehicle for our perceptual representation of shapes. Due to the unique mereological structure of shapes, phenomenal shapes are unable to reliably track any property but shapes. In so far as reliable tracking is a necessary condition for perceptual representation, phenomenal shapes can consequently and contrary to received wisdom only represent shapes. (shrink)

We can divide philosophical theories of consciousness into two main camps: First-Order theories and Higher-Order theories. Like all Higher-Order theories, many First-Order theories are mentalistic theories of consciousness: they attempt to reduce a mental state’s being consciousness using mental (but non-phenomenal) terms, such as being available to certain cognitive centers. I argue that mentalistic First-Order theories, once fully cashed out, collapse into some form of Higher-Order theory. I contend that not only is there general considerations in favor of this conclusion, (...) but that the four most prominent mentalistic ‘First-Order’ theories are, in fact, Higher-Order theories in disguise. Given a strong assumption in favor of some form of mental ism, if this is right, what emerges is a powerful argument for the Higher-Order theory of consciousness. (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)

According to an influential variety of the representational view of perceptual experience—the singular content view—the contents of perceptual experiences include singular propositions partly composed of the particular physical object a given experience is about or of. The singular content view faces well-known difficulties accommodating hallucinations; I maintain that there is also an analogue of Frege's puzzle that poses a significant problem for this view. In fact, I believe that this puzzle presents difficulties for the theory that are unique to perception (...) in that strategies that have been developed to respond to Frege's puzzle in the case of belief cannot be employed successfully in the case of perception. Ultimately, I maintain that this perceptual analogue of Frege's puzzle provides a compelling reason to reject the singular content view of perceptual experience. (shrink)

Duration distortions familiar from trauma present an apparent counterexample to what we might call the naive view of duration perception. I argue that such distortions constitute a counterexample to naiveté only on the assumption that we perceive duration absolutely. This assumption can seem mandatory if we think of the alternative, relative view as limiting our awareness to the relative durations of perceptually presented events. However, once we recognize the constant presence of a stream of non-perceptual conscious mental activity, we can (...) provide an attractive, purely relative account of temporal distortions quite consistent with the naive view. I also consider (and reject) a second empirical challenge to the naive view arising from the so-called ‘oddball effect’. I conclude by tentatively pointing to further empirical data, traditionally accounted for in terms of an internal clock model of timing, which, I suggest, may be understood more illuminatingly by appeal to the idea that we perceive duration in part relative to concurrent non-perceptual mental activity. (shrink)

In this paper, I do a few things. I develop a (largely) empirical argument against naïve realism (Campbell, Martin, others) and for representationalism. I answer Papineau’s recent paper “Against Representationalism (about Experience)”. And I develop a new puzzle for representationalists.

Two popular theses central to recent theorizing about consciousness are the transitivity principle and the transparency of experience. According to the former, conscious mental states are mental states we are aware of in some way. According to the latter, there is some awareness-relation that we seemingly cannot bear to our experiences. I argue that, within certain reasonable constraints, there is no precisification of these theses that renders them compatible.