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 \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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 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 $\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. 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 \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 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 \textbf{13} examines modal responses to the alethic paradoxes. 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. 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 \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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 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 $\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. 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 \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 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 \textbf{13} examines modal responses to the alethic paradoxes. 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 paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (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)

Many favor representationalism about color experience. To a first approximation, this view holds that experiencing is like believing. In particular, like believing, experiencing is a matter of representing the world to be a certain way. Once you view color experience along these lines, you face a big question: do our color experiences represent the world as it really is? For instance, suppose you see a tomato. Representationalists claim that having an experience with this sensory character is necessarily connected with representing (...) a distinctive quality as pervading a round area out there in external space. Let us call it “sensible redness” to highlight the fact that the representation of this property is necessarily connected with the sensory character of the experience. Is this property, sensible redness, really co-instantiated with roundness out there in the space before you? (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)

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

Hermeneutical injustices, according to Miranda Fricker, are injustices that occur “when a gap in collective interpretive resources puts someone at an unfair disadvantage when it comes to making sense of their social experiences” (Fricker 2007, 1). For Fricker, the relevant injustice in these cases is the very lack of knowledge and understanding experienced by the subject. In this way, hermeneutical injustices are instances of epistemic injustices, the kind of injustice that “wrongs someone in their capacity as a subject of knowledge” (...) (Fricker 2007, 5). In this paper, however, I identify different means by which our hermeneutic activities lead to social injustices, of both a practical and epistemic kind, and I identify different ways in which those injustices manifest themselves. Since Fricker’s use of the notion of “hermeneutical injustices” to denote a well-defined kind of injustice is rightfully well-established, I here refer to the more general kinds of injustices I have in mind as “hermeneutic injustices” instead. (shrink)

Williamson’s anti-luminosity argument has been thought to be in tension with the doctrine that we enjoy privileged epistemic access to our own mental states. In this paper, I will argue that the tension is only apparent. Friends of privileged access who accept the conclusion of the argument need not give up the claim that our beliefs about our own mental states are mostly or invariably right, nor the view that mental states are epistemically available to us in a way that (...) renders everything within our mind ‘open to view’ – arguably, two main pillars of their doctrine. What they need to reject is the idea that the mental is a realm whose ’determinacy’ or ’fineness of grain’ never escapes our appreciation. This idea – I will suggest – is not essential to privileged access and defenders of the doctrine should not be afraid to give it up. (shrink)

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.

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

ABSTRACT Certain features of our conceptual scheme seem necessary for subjects with our basic nature: we cannot imagine humans accomplishing their basic projects without having a conceptual scheme with these features. Other aspects of our conceptual scheme seem more contingent: we can imagine communities effectively using a somewhat different conceptual scheme. Conceptual cartography is the project of investigating the necessity and contingency of the various features of conceptual schemes. The project of conceptual cartography has not received much explicit methodological attention. (...) But in this paper, I argue that conceptual cartography has important implications for the study of conceptual engineering. I also provide a general framework for thinking about conceptual cartography. (shrink)

How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. Standard (...) solutions for ‘clarifying’ meaning through descriptive definition encounter difficulties with the biases of status quo idioms, as well as partisan translations and circularity. Collectively called linguistic gerrymandering, these difficulties threaten political liberalism’s underlying coherency. The proposed interpretation of political argument overcomes this with a new brand of conceptual analysis that can falsifiably determine whether rhetoric has hijacked political argument. (shrink)

Discusses recent work on representationalism, including: the case for a representationalist theory of consciousness, which explains consciousness in terms of content; rivals such as neurobiological type-type identity theory (Papineau, McLaughlin) and naive realism (Allen, Campbell, Brewer); John Campbell and David Papineau's recent objections to representationalism; the problem of the "laws of appearance"; externalist vs internalist versions of representationalism; the relation between representationalism and the mind-body problem.

Modal epistemologies that rely on a fallibilism about modal claims have been gaining traction over the years. This paper critically discusses the accounts of Kung (2009; 2010; 2016) and Dohrn (2018; 2019; 2020) and argues that they are invariably susceptible to being read as entailing claims of epistemic possibility. Both Kung and Dohrn seek to ground modal intuitions on non-modal ones, and primarily appeal to the modalizing capacity of imagination to aid in the discovery of modal truths. However, insofar as (...) inference from non-modal imagination to modal truths remains fallible, then no non-ad hoc distinction can be made between substantiation of fallible metaphysically modal claims and infallible epistemically modal ones. This is because, barring an agent’s infallible knowledge of modal truths, how these truths are asserted must attend the agent’s imperfect epistemic access thereof, therefore entailing claims of modality consistent with her epistemic state – i.e., claims of epistemic possibility. If modal epistemologies in general non-modally ground their modal assertions in this fallible fashion, then they seem inevitably interpretable in terms of epistemic possibility as opposed to some non-epistemic reading of metaphysical possibility. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

In this paper, I argue that absences pose a challenge to our understanding of physicalism that has not been properly appreciated. I do this by setting out a thought experiment involving a being in whom absence properties occupy the causal roles that functionalists take to define mental properties, in which case these absence properties realize the being’s mental properties. Such a being should be compatible with the truth of physicalism, I argue, even though its mental properties are neither themselves physical (...) properties nor are they realized/grounded in physical properties—instead, they are realized/grounded in (nonphysical) absence properties. I argue that the case serves as a counterexample to leading formulations of physicalism that appeal to realization or grounding, but not to standard supervenience-based formulations of physicalism, because the latter typically include negative truths in their supervenience base in addition to physical truths. I show how realization- and grounding-based formulations of physicalism might be revised to handle the problem, but also recommend that we rethink how we understand physicalism and the role that negative entities can play for physicalists. (shrink)

Laws of nature have various roles in scientific practice. It is widely agreed that an adequate theory of lawhood ought to align with the roles that scientists assign to the laws. But philosophers disagree over whether Humean laws or non-Humean laws are better at filling these roles. In this paper, I provide an argument for settling this dispute. I consider possible situations in which scientists receive conclusive evidence that—according to the non-Humean—falsifies their beliefs about the laws, but which—according to the (...) Humean—does not falsify their beliefs about the laws. I argue that, in these possible scenarios, all law-related aspects of scientific practice would remain unchanged. In other words, scientists would treat the regularities “preferred” by the Humean as the laws of nature. On this basis, I conclude that non-Humean laws fail to align with scientific practice. (shrink)

The Significance Argument (SA) for the irreducibility of consciousness is based on a series of new puzzle-cases that I call multiple candidate cases. In these cases, there is a multiplicity of physical-functional properties or relations that are candidates to be identified with the sensible qualities and our consciousness of them, where those candidates are not significantly different. I will argue that these cases show that reductive materialists cannot accommodate the various ways in which consciousness is significant and must allow massive (...) vagueness in conscious experience. I also will argue that a nonreductive theory of the conscious-of relation can easily provide a very satisfying, unified explanation of the ways in which this relation is significant. (shrink)

This article surveys recent developments in the epistemology of modality.

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result is (...) in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (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.

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)

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)

This is a critical piece on *The Character of Consciousness* by David Chalmers. It focuses on Chalmers's two-stage view of perceptual content and the epistemology of perceptual belief that flows from this theory, and criticizes his theories of Edenic concepts, perceptual acquaintance, and perceptual belief.

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential line (...) of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

In this paper I offer a theory of what makes certain influences on visual experiences by prior mental states (including desires, beliefs, moods, and fears) reduce the justificatory force of those experiences. The main idea is that experiences, like beliefs, can have rationally assessable etiologies, and when those etiologies are irrational, the experiences are epistemically downgraded.

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (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.

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

This article explores the enduring mysteries of consciousness and the afterlife, two enigmatic topics that have fascinated humanity for ages. Despite extensive scientific efforts, the existence of an afterlife remains unproven, and understanding consciousness remains a significant challenge. The research introduces innovative hypotheses through simple thought experiments with empirical evidence and robust theoretical foundations. It delves into the complexities of consciousness, its relationship with the brain, and the need for interdisciplinary approaches encompassing physics, psychology, and philosophy. Boldly contemplating the probability (...) of a continuous consciousness after death, the study argues that existing evidence strongly supports this idea. Beyond theoretical implications, it envisions practical outcomes, suggesting that insights into these mysteries could enhance human well-being and contribute to a more harmonious world. In summary, this article embarks on a quest to shed light on age-old questions about consciousness and the afterlife. Through fresh methodologies, it aims to provide new perspectives that could reshape our understanding of existence and inspire intellectuals to positive individual and societal advancements. -/- . (shrink)

This paper presents a new response to the colour similarity argument, an argument that many people take to pose the greatest threat to colour physicalism. The colour similarity argument assumes that if colour physicalism is true, then colour similarities should be scrutable under standard physical descriptions of surface reflectance properties such as their spectral reflectance curves. Given this assumption, our evident failure to find such similarities at the reducing level seemingly proves fatal to colour physicalism. I argue that we should (...) dispense with this assumption, and thus endorse the inscrutability of colour similarity. This strategy is inspired by parallels between the colour similarity argument and the explanatory gap between mind and body made vivid by Jackson’s (1986) knowledge argument, and in particular by type-B physicalist responses to that argument. This inscrutability response is further motivated by cases in chemistry and biochemistry in which analogous scrutability theses fail to hold. Along the way, I present a challenge to standard formulations of the colour similarity argument based on the extreme context sensitivity of the similarity relation. Most presentations of the argument fail to control for such contextual variation, which raises the distinct possibility that the argument equivocates on the similarity relation across its premises. Although ultimately inconclusive, this context challenge forces a significant reformulation of the colour similarity argument, and highlights the need for much greater care in handling claims about colour similarity. (shrink)

The negative zombie argument concludes that physicalism is false from the premises that p ∧¬q is ideally negatively conceivable and that what is ideally negatively conceivable is possible, where p is the conjunction of the fundamental physical truths and laws and q is a phenomenal truth (Chalmers 2002; 2010). A sentence φ is ideally negatively conceivable iff φ is not ruled out a priori on ideal rational reflection. In this paper, I argue that the negative zombie argument is neither a (...) priori nor conclusive. First, I argue that the premises of the argument are true only if there exists an adequate finite ideal reasoner R that believes ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis. Roughly, a finite reasoner is a reasoner with cognitive limitations (e.g. finite memory). I argue that R is finite only if R reasons nonmonotonically and only approach ideal reflection at the limit of a reasoning sequence. This would render the argument nonconclusive. Finally, I argue that, for some q, R does not believe ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis (e.g. for q =‘something is conscious’). This would render the choice of an adequate q dependent on empirical information (and the argument a posteriori). I conclude that the negative zombie argument (and, maybe, all zombie arguments) is neither a priori nor conclusive. (shrink)

We motivate five constraints on theorizing about sensory experience. We then propose a novel form of naturalistic intentionalism that succeeds where other theories fail by satisfying all of these constraints. On the proposed theory, which we call structure matching tracking intentionalism, brains states track determinables. Internal structural features of those states select determinates of those determinables for presentation in experience. We argue that this theory is distinctively well-positioned to both explain internal-phenomenal structural correlations and accord external features a role in (...) fixing phenomenology. In addition, we use the theory to shed light on how one comes to experience “missing shades”. (shrink)

It is common for an object to present different colour appearances to different perceivers, even when the perceivers and viewing conditions are normal. For example, a Munsell chip might look unique green to you and yellowish green to me in normal viewing conditions. In such cases, there are three possibilities. Ecumenism: both experiences are veridical. Nihilism: both experiences are non-veridical. Inegalitarianism: one experience is veridical and the other is non-veridical. Perhaps the most important objection to inegalitarianism is the ignorance objection, (...) according to which inegalitarianism should be rejected because it is committed to the existence of unknowable colour facts. The goal of this paper is to show that ecumenists are also committed to unknowable colour facts. More specifically, I argue that, with the exception of colour eliminativism, all major philosophical theories of colour are committed to unknowable colour facts. (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)

In recent work, David Chalmers argues that “Edenic shapes”—roughly, the shape properties phenomenally presented in spatial experience—are not instantiated in our world. His reasons come largely from the theory of Special Relativity. Although Edenic shapes might have been instantiated in a classical Newtonian world, he maintains that they could not be instantiated in a relativistic world like our own. In this essay, I defend realism about Edenic shape, the thesis that Edenic shapes are instantiated in our world, against Chalmers’s challenge (...) from Special Relativity. I begin by clarifying the notion of an Edenic shape by reference to Chalmers’s notion of the “Edenic” content of perceptual experience. I then reconstruct Chalmers’s argument that Edenic shapes could not be instantiated in a relativistic world. His reasoning proceeds from two assumptions. The first is that the only shape properties instantiated in a relativistic world are those which somehow involve relations to frames of reference. This is thought to follow from the phenomenon of Lorentz contraction, a consequence of Special Relativity. The second assumption is that Edenic shapes do not involve relations to frames of reference. One reason to accept the second assumption is that it seems that Edenic shapes could be instantiated in a classical Newtonian world, where the notion of a frame-relative shape has no meaningful application. I then proceed to defend RES against Chalmers’s argument by arguing that Special Relativity, properly understood, provides no support for Chalmers’s first assumption. More generally, I argue, by way of a careful analysis of the geometric structure of Minkowski space–time and Galilean space–time Newtonian physics), that Edenic shapes are no less at home in a relativistic world than in a classical Newtonian world. (shrink)

Some truths about color are knowable a priori. For example, it is knowable a priori that redness is not identical to the property of being square. This extremely modest and plausible claim has significant philosophical implications, or so I shall argue. First, I show that this claim entails the falsity of standard forms of color functionalism, the view that our color concepts are functional concepts that pick out their referents by way of functional descriptions that make reference to the subjective (...) responses of perceivers. I then argue that, while some sophisticated forms of color functionalism can accommodate the a priori knowability of a truth like “redness is not identical to squareness,” they can only do so by abandoning color realism, the thesis that colors are instantiated by external material objects. In practice, color functionalists are almost invariably color realists. Thus, given extremely modest assumptions concerning what can be known a priori about color, we should conclude that color functionalism, at least in its typical realist form, is false. (shrink)

This paper defends a rational account of conceivability according to which conceiving is a kind of modal thinking that is distinct from imagining effectively allowing us to think beyond what we can imagine, and that we are subject to rational rather than experiential constraints when we do so. Defending this view involves appealing to the perspective of an idealized agent and I’ll argue that this appeal is not worrisome given an “objective” view of propositional justification.

I consider the first part of Marty’s Raum und Zeit, which treats of both the nature of space and spatial perception. I begin by sketching two charges that Marty raises against Kantian and Brentanian conceptions of space (and spatial perception) respectively, before detailing what I take to be a characteristically Martyan picture of space perception, though set against the backdrop of contemporary philosophy of perception. Marty has it that spatial relations are non-real but existent, causally inert relations that are grounded (...) in space, which is itself non-real but existent. Objects do not inhere in space in the way properties inhere in substances. Rather, there is a ‘non-real’ relation of ‘fulfillment’ (Erfüllung) that holds between objects and places in space, which itself subsists. I consider whether any contemporary philosophy of perception is equipped to make sense of Martyan space perception and I suggest that the most promising conception is Naïve Realism. I then outline a difficulty for this theoretical translation. Naïve Realism is a direct theory of perception whereby S is said to perceive O just in case S stands in a psychological relation of acquaintance with O, where this relation is both non-representational and explanatorily primitive. For Marty however, all relations are non-real and, insofar as they are grounded, are neither fundamental, nor brute or primitive in an explanatory sense. I close by detailing what I thereby take a distinctively Martyan form of Naïve Realism to involve. The central theoretical tenet that phenomenal character is fundamentally constituted by worldly objects is preserved; but the manifestly relational structure of the acquaintance relation, construed in particular as a relation of awareness, is treated as derivative. I make headway in spelling out the latter claim by bringing Marty into fleeting conversation with another Thomist - G.E.M. Anscombe. (shrink)

I present a novel anti-sceptical BIV argument by focusing on conditions on the production and use of the locative preposition ‘in’. I distinguish two uses of ‘in’—material and descriptive phenomenological—and I explain in what respect movement is central to the concept that our use of ‘in’ expresses. I go on to argue that a functionalist semantics of the intelligible use of ‘in’ demands a materialist philosophy of action in the spirit of G.E.M. Anscombe, but also why the structure of space (...) is not irrelevant either; appeal to the structure of space unsettles the causal-empirical assumptions that ground the picture of subjectivity and agency that the biv narrative assumes. Finally, I explain why a functionalist semantics demands a Naïve Realist metaphysics of perception, consistent with some of Putnam’s last writings on philosophy of perception. (shrink)

The paper argues that natural language quantification, as expressed by determiner phrases, is not polysemous. The foil for this claim is Hofweber, who contends that natural language quantification is polysemous between a domain reading and an inferential reading. The thesis is intended to support a more general division between externalist and internalist positions in semantics. The paper, to the contrary, argues that there is no linguistic evidence for polysemous quantification, and Hofweber’s proposal proves to be non-compositional. Further, an approach at (...) least consistent with internalism is available independent of an inferential reading, for natural language quantification can be read as ontologically neutral, which removes the rationale for the polysemy hypothesis. The paper remains neutral on so-called heavyweight vs. lightweight construals of quantification, which are not claims about natural language semantics. (shrink)

Frank Jackson's case of Mary the colour scientist, and the knowledge argument against physicalism built upon it, are well known. This paper starts from Jackson's other, more neglected, thought experiment, about Fred, who sees a unique shade of red. It explores two senses in which properties are said to be 'objective', roughly corresponding to the ideas of a property's being intersubjectively accessible, on the one hand, and its being knowable without the need for special experiences, on the other. These senses (...) of the objective are contrasted, and their links to the doctrine of physicalism explored, and it is argued that, in the sense of objectivity we should embrace, mental qualities come out as objective and physical properties. The paper ends up by proposing a novel theory about how mental qualities fit into the world—as determinates of determinable physical properties, a view that is distinguished from the closely related 'Russellian monism'. (shrink)

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (shrink)