This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

A preview of my book *Perception*. Discusses the relationship between perception and the physical world and the issue of whether reality is as it appears. Useful examples are included throughout the book to illustrate the puzzles of perception, including hallucinations, illusions, the laws of appearance, blindsight, and neuroscientific explanations of our experience of pain, smell and color. The book covers both traditional philosophical arguments and more recent empirical arguments deriving from research in psychophysics and neuroscience. The addition of chapter summaries, (...) suggestions for further reading and a glossary of terms make Perception essential reading for anyone studying the topic in detail, as well as for students of philosophy of mind, philosophy of psychology and metaphysics. (shrink)

There is tension between commonly held views concerning phenomenal imagery on the one hand and our first-person epistemic access to it on the other. This tension is evident in many individual issues and experiments in philosophy and psychology (e.g. inattentional and change blindness, the speckled hen, dream coloration, visual periphery). To dissolve it, we can give up either (i) that we lack full introspective access to the phenomenal properties of our imagistic experiences, or (ii) that phenomenal imagery is fully determined, (...) or (iii) that phenomenal imagery does not exist. Which option is preferable? I explore the feasibility of option (ii) in more details by distinguishing between di erent kinds of indeterminacy. One of the most often proclaimed versions of indeterminacy is tied to Representationalism. However, I argue that in this context, Representationalism appears to be the least satisfying option, for which I give ten reasons. By abduction, we should reject Representationalism in favour of (i) or (iii)—the most parsimonious option being eliminativism, and the most conservative being the rejection of privileged access. The decision between these two, however, should be made on a case-by-case basis, depending on which is most adequate given the data. I illustrate this with the comparison between visual agnosia and Charles-Bonnet-Syndrome. (shrink)

In two papers, Ned Block has argued that representationalists have trouble with the empirical discovery that differences in the degree of visual attention to an object can lead to a difference in h...

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

ABSTRACT Issues concerning the putative perception/cognition divide are not only age-old, but also resurface in contemporary discussions in various forms. In this paper, I connect a relatively new debate concerning perceptual confidence to the perception/cognition divide. The term ‘perceptual confidence’ is quite common in the empirical literature, but there is an unsettled question about it, namely: are confidence assignments perceptual or post-perceptual? John Morrison in two recent papers puts forward the claim that confidence arises already at the level of perception. (...) In this paper, I first argue that Morrison’s case is unconvincing, and then develop one picture on perceptual precision with the notion of ‘matching profile’ and ‘supervaluation’ : 481–495.), highlighting the fact that this is a vagueness account, which is similar to but importantly different from indeterminacy accounts : 156–184.). With this model in hand, there can be rich resources with which to draw a theoretical line between perception and cognition. (shrink)

The question of whether conscious experience is restricted by cognitive access and exhausted by report, or whether it overflows it—comprising more information than can be reported—is hotly debated. Recently, we provided evidence in favor of Overflow, showing that observers discriminated the color‐diversity (CD) of letters in an array, while their working‐memory and attention were dedicated to encoding and reporting a set of cued letters. An alternative interpretation is that CD‐discriminations do not entail conscious experience of the underlying colors. Here we (...) argue, based on conceptual considerations and consistency with neuroscience and phenomenology, in favor of the Overflow interpretation. (shrink)

Executive functioning has been said to bear on a range of traditional philosophical topics, such as consciousness, thought, and action. Surprisingly, philosophers have not much engaged with the scientific literature on executive functioning. This lack of engagement may be due to several influential criticisms of that literature by Daniel Dennett, Alan Allport, and others. In this paper I argue that more recent research on executive functioning shows that these criticisms are no longer valid. The paper clears the way to a (...) more fruitful philosophical engagement with findings on the central executive system. (shrink)

The overflow debate concerns this following question: does conscious iconic memory have a higher capacity than attention does? In recent years, Ned Block has been invoking empirical works to support the positive answer to this question. The view is called the “rich view” or the “Overflow view”. One central thread of this discussion concerns the nature of iconic memory: for example how rich they are and whether they are conscious. The first section discusses a potential misunderstanding of “visible persistence” in (...) this literature. The second section discusses varieties of attention relevant to this debate. The final section discusses the most prominent alternative interpretation of the Sperling paradigm—the postdiction interpretation—and explains how it can be made compatible with a weaker version of the rich or overflow view. (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)

The notion of subjective vividness plays a fundamental role in comparing different conscious experiences, yet it is poorly understood and lacks proper definition. Philosophical reflection on this topic is especially scarce. This article proposes a novel account of vividness arguing that its standard operationalisation in psychology conflates two major modality‐general dimensions along which experiences vary—subjective intensity and subjective specificity—which themselves are determined by further modality‐specific factors. The article identifies the neural underpinnings of these factors in the visual domain, demonstrates the (...) unificatory power of the account, and argues that vividness is part of the content of perception. (shrink)

The free energy principle says that any self-organising system that is at nonequilibrium steady-state with its environment must minimize its free energy. It is proposed as a grand unifying principle for cognitive science and biology. The principle can appear cryptic, esoteric, too ambitious, and unfalsifiable—suggesting it would be best to suspend any belief in the principle, and instead focus on individual, more concrete and falsifiable ‘process theories’ for particular biological processes and phenomena like perception, decision and action. Here, I explain (...) the free energy principle, and I argue that it is best understood as offering a conceptual and mathematical analysis of the concept of existence of self-organising systems. This analysis offers a new type of solution to long-standing problems in neurobiology, cognitive science, machine learning and philosophy concerning the possibility of normatively constrained, self-supervised learning and inference. The principle can therefore uniquely serve as a regulatory principle for process theories, to ensure that process theories conforming to it enable self-supervision. This is, at least for those who believe self-supervision is a foundational explanatory task, good reason to believe the free energy principle. (shrink)

In this paper we argue that awareness comes in degrees, and we propose a novel multi-factor account that spans both subjective experiences and perceptual representations. At the subjective level, we argue that conscious experiences can be degraded by being fragmented, less salient, too generic, or flash-like. At the representational level, we identify corresponding features of perceptual representations—their availability for working memory, intensity, precision, and stability—and argue that the mechanisms that affect these features are what ultimately modulate the degree of awareness. (...) We conclude the paper by demonstrating why the original interpretations of certain empirical findings that apparently pose problems for our account are, in fact, flawed. (shrink)

I identify three aspects to the puzzle of the speckled hen: A general puzzle, an epistemic puzzle, and a puzzle for the representationalist. These puzzles rely on an underlying “pictorialist” assumption, that we visually perceive general, determinable properties only in virtue of determinate properties or more specific, local features of our visual experience. This assumption is mistaken: Visual perception frequently starts from a position of uncertainty, and is routinely able to acquire information about general properties in the absence of more (...) specific information. Acknowledging that visual indeterminacy is structured this way resolves all three puzzles of the speckled hen. (shrink)