Some objects we value because they afford a felt connection with people, events, or places connected with their past. Visiting Canterbury cathedral, you encounter the place where, in 1170, Archbishop Thomas Becket was murdered by four knights of Henry II. Knowing that you are standing in the very place where Becket’s blood was spilled gives the past event a sense of tangible reality. One feels ‘in touch with’ the past; history seems to ‘come alive’. In this paper, I propose an (...) explanation for the phenomenology of such experiences in terms of an imaginative activity that represents what an object is historically connected with as part of the object in the present. One imagines of the site of Becket’s murder Becket being murdered. According to my account, objects that embody their histories are representations in Kendall Walton’s sense: they have the function of serving as props in games of make-believe. (shrink)

This paper argues that habits, just like beliefs, can guide intentional action. To do this, a variety of real-life cases where a person acts habitually but contrary to her beliefs are discussed. The cases serve as dissociations showing that intentional agency is possible without doxastic guidance. The upshot is a model for thinking about the rationality of habitual action and the rationalizing role that habits can play in it. The model highlights the role that our history and institutions play in (...) shaping what actions become habitual for us. (shrink)

Religious communities often discourage disagreement with religious authorities, on the grounds that allowing it would be epistemically detrimental. I argue that this attitude is mistaken, because any social position in a community—including religious authority—comes with epistemic advantages as well as epistemic limitations. I argue that religious communities stand to benefit epistemically by engaging in disagreement with people occupying other social positions. I focus on those at the community’s margins and argue that religious marginalization is apt to yield religiously important insights; (...) so their disagreement with religious authorities should be encouraged. (shrink)

Discussions concerning the modularity of the pain system have been focused on questions regarding the cognitive penetrability of pain mechanisms. It has been claimed that phenomena such as placebo analgesia demonstrate that the pain system is cognitively penetrated; therefore, it is not encapsulated from central cognition. However, important arguments have been formulated which aim to show that cognitive penetrability does not in fact entail a lack of modularity of the pain system. This paper offers an alternative way to reject the (...) modularity of the pain system, which is independent from, but consistent with, the presence of cognitive penetration. It is proposed that, given the current knowledge regarding the functioning and the structure of the pain system, there are good reasons to accept that certain central cognitive mechanisms are part of the pain system. It is argued that such a ‘cognitive constitution’ of the pain system entails that the pain system is not modular. (shrink)

Are perceptual experiences epistemically appraisable? In this paper, I argue, contra Siegel (Rationality of perception, Oxford 2017) that they are not (§§ 2–3). I also show how the problem of hijacked experience can be solved without endorsing the view that perceptual experience is epistemically appraisable (§§ 4–5). A key idea behind my proposal is a disjunctivist view on rationalising and epistemic powers of perceptual experience.

Several philosophers claim that the phenomenology of one’s own agency conflicts with standard causal theories of action, couched in terms of causation by mental events or states. Others say that the phenomenology is prima facie incompatible with such a theory, even if in the end a reconciliation can be worked out. Here it is argued that the type of action theory in question is consistent with what can plausibly be said to be presented to us in our experience of our (...) agency. Several routes to a claim that there is nevertheless a prima facie incompatibility are examined, and all are found wanting. The phenomenology of agency, it is argued, is no threat to a standard causal theory of action. (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)

Digital visualizations of cultural heritage (DVCs) are typically used to re-create or re-imagine artworks in their original state. Their apparent efficiency raises questions about their relation to the historical artefacts: What is the visualizations’ status vis à vis the originals? Can they replace them? And if so, in what capacity? This paper explores these questions from the point of view of the DVCs’ potential epistemic yield. It argues that the knowledge they are supposed to provide amounts to mediating past experiences (...) the artefacts they model occasioned and that in this role they serve an agenda with a long pedigree labelled ‘art-historical empiricism’ (AHE). However, historicism about perception can sow doubt into the AHE enterprise, including the use of DVCs. The paper maintains that if AHE is to justify or guide the DVCs’ proliferation in museums and historical scholarship, its proponents better be equipped with means of assuaging the doubt. The paper closes by discussing a general strategy of testing the soundness of epistemic uses of DVCs. (shrink)

We argue that pre-cueing studies show that perception is cognitively penetrated via mental imagery. It is important to be clear about the relation between attention and mental imagery here. We do not want to question the role of attention in pre-cueing studies. After all, it is attention that is being pre-cued. The pre-cue draws attention to certain features, which via top-down connections induces mental imagery for the pre-cued properties, which, then, after stimulus-presentation, interacts with and influences the online computations that (...) process stimulus features. That is, what mediates the cognitive penetration of perceptual processing is not pre-cued attention, but cue-induced mental imagery. (shrink)

Some kinds are both socially constructed and perceptible, such as gender and race. However, this gives rise to a puzzle that has been largely neglected in social constructionist accounts: how does culture shape and bias what we perceive? I argue that perceptual learning is the best explanation of our ability to perceive social kinds, in comparison to accounts that require a person acquire beliefs, theories, or concepts of the kind. I show how relatively simple causal factors known to influence perceptual (...) learning in the laboratory can be extended to understand how culture shapes and biases perception. This account makes clear that the process of perceptual enculturation begins at a very early age, and does not in most cases require background beliefs on the part of the learner: the causal pathways by which perceptual learning occur suffice. It has significance for our understanding of how socially constructed kinds are culturally transmitted, as well as for how such kinds might be altered through interventions. (shrink)

Experience, it is widely agreed, constrains our thinking and is also thoroughly theory-laden. But how can it constrain our thinking while depending on what it purports to constrain? To address this issue, I revisit and carefully analyze the account of observation provided by Norwood Russell Hanson, who introduced the term ‘theory-ladenness of observation’ in the first place. I show that Hanson’s account provides an original and coherent response to the initial question and argue that, if suitably developed, his account provides (...) a distinctive, powerful, and attractive alternative to relationalist and standard representationalist conceptions of experience. (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)