What is epistemic self-trust? There is a tension in the way in which prominent accounts answer this question. Many construe epistemic trust in oneself as no more than reliance on our sub-personal cognitive faculties. Yet many accounts – often the same ones – construe epistemic trust in others as a normatively laden attitude directed at persons whom we expect to care about our epistemic needs. Is epistemic self-trust really so different from epistemic trust in others? I argue that it is (...) not. We certainly do rely on our cognitive faculties to achieve epistemic ends; but I argue that we also have the normatively rich sort of epistemic trust in ourselves. Moreover, there is a theoretical need for this normatively rich notion of epistemic self-trust: positing it yields the best account of how we secure important epistemic goods, including knowledge and recognition as knowers. I argue this by giving an account of epistemic trust in others and showing that it can be generalized to epistemic trust in oneself. (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)

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)

In a fallen world fraught with evidence against religious beliefs, it is tempting to think that, on the assumption that those beliefs are true, the best way to protect them is to hold them dogmatically. Dogmatic belief, which is highly confident and resistant to counterevidence, may fail to exhibit epistemic virtues such as humility and may instead manifest epistemic vices such as arrogance or servility, but if this is the price of secure belief in religious truths, so be it. I (...) argue, however, that even in a world full of misleading evidence against true religious beliefs, cultivating epistemic humility is the better way to achieve believers’ epistemic aims. The reason is that dogmatic belief courts certain epistemic dangers, including to the true religious beliefs themselves, whereas epistemic humility empowers believers to counter them. (shrink)

On some accounts, prostitution is just another form of casual sex and as such not particularly harmful in itself, if regulated properly. I claim that, although casual sex in general is not inher-ently harmful, prostitution in fact is. To show this, I defend an account of sex as joint action characteristically aimed at sexual enjoyment, here understood as a tangible experience of com-munity among partners, and argue that prostitution fails to achieve this good by incentivizing partners to mistreat each other. (...) To substantiate this claim, I explore ways in which prostitution fails on the virtues of temperance, respect, and sincerity. (shrink)

In this paper I argue that the detection of emotional expressions is, in its early stages, informationally encapsulated. I clarify and defend such a view via the appeal to data from social perception on the visual processing of faces, bodies, facial and bodily expressions. Encapsulated social perception might exist alongside processes that are cognitively penetrated, and that have to do with recognition and categorization, and play a central evolutionary function in preparing early and rapid responses to the emotional stimuli.

Perceptual experience has representational content. My argument for this claim is an inference to the best explanation. The explanandum is cognitive penetration. In cognitive penetration, perceptual experiences are either causally influenced, or else are partially constituted, by mental states that are representational, including: mental imagery, beliefs, concepts and memories. If perceptual experiences have representational content, then there is a background condition for cognitive penetration that renders the phenomenon prima facie intelligible. Naïve realist or purely relational accounts of perception leave cognitive (...) penetration less well-explained, even when formulated with so-called ‘standpoints’ or ‘third relata.’. (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)

Expertise is a cognitive achievement that clearly involves experience and learning, and often requires explicit, time-consuming training specific to the relevant domain. It is also intuitive that this kind of achievement is, in a rich sense, genuinely perceptual. Many experts—be they radiologists, bird watchers, or fingerprint examiners—are better perceivers in the domain(s) of their expertise. The goal of this paper is to motivate three related claims, by substantial appeal to recent empirical research on perceptual expertise: Perceptual expertise is genuinely perceptual (...) and genuinely cognitive, and this phenomenon reveals how we can become epistemically better perceivers. These claims are defended against sceptical opponents that deny significant top-down or cognitive effects on perception, and opponents who maintain that any such effects on perception are epistemically pernicious. (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)

As an important view in the epistemology of perception, dogmatism proposes that for any experience, if it has a distinctive kind of phenomenal character, then it thereby provides us with immediate justification for beliefs about the external world. This paper rejects dogmatism by looking into the epistemology of imagining. In particular, this paper first appeals to some empirical studies on perceptual experiences and imaginings to show that it is possible for imaginings to have the distinctive phenomenal character dogmatists have in (...) mind. Then this paper argues that some of these imaginings fail to provide us with immediate justification for beliefs about the external world at least partly due to their inappropriate etiology. Such imaginings constitute counterexamples to dogmatism. (shrink)

Siegel and Byrne debate whether perceptual experiences present rich properties or exclusively thin properties.

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

According to so-called “thin” views about the content of experience, we can only visually experience low-level features such as colour, shape, texture or motion. According to so-called “rich” views, we can also visually experience some high-level properties, such as being a pine tree or being threatening. One of the standard objections against rich views is that high-level properties can only be represented at the level of judgment. In this paper, I first challenge this objection by relying on some recent studies (...) in social vision. Secondly, I tackle a different but related issue, namely, the idea that, if the content of experience is rich, then perception is cognitively penetrable. Against this thesis, I argue that the very same criteria that help us vindicate the truly sensory nature of our rich experiences speak against their being cognitively penetrable. (shrink)

The phenomenon of cognitive penetration has received a lot of attention in recent epistemology, as it seems to make perceptual justification too easy to come by for experientialist theories of justification. Some have tried to respond to this challenge by arguing that cognitive penetration downgrades the epistemic status of perceptual experience, thereby diminishing its justificatory power. I discuss two examples of this strategy, and argue that they fail on several grounds. Most importantly, they fail to realize that cognitive penetration is (...) just an instance of a larger problem for experientialist theories of perceptual justification. The challenge does not lie in explaining how cognitive penetration is able to downgrade the epistemic status of perceptual experience, the challenge lies in explaining why perceptual experience would have a special epistemic status to begin with. To answer this challenge, experientialists have to solve the distinctiveness problem: they have to explain what is so distinctive about perceptual experience that enables it to provide evidential justification without being in need of justification itself. Unfortunately, an internalist answer to this problem does not appear to be forthcoming, even though it would certainly help with explaining the problem of cognitive penetration. (shrink)

This PhD thesis concerns introspective approaches to the study of the mind. Across three standalone papers, I examine the significance of introspective data and advise on appropriate kinds of training for the production of such data. An overview document first introduces major themes, methods and arguments of the thesis. Paper 1 then begins the argumentative work, interrogating the constraining function of introspection in cognitive science. Here, I evaluate “enactivist” claims about the significance of introspection, clarifying central enactivist suggestions to draw (...) out the broader importance of introspection in science and philosophy. Paper 2 then examines the proposed employment of Buddhist meditation practices in the production of rigorous introspective data. I defend such proposals against concerns that meditators yield ungeneralizable data, given the transformative character of these attention-training techniques. I argue that some meditation-trained transformations are actually epistemically-beneficial, undermining popular associations between transformation and “distortion”. Paper 3 then reviews difficulties involved in integrating meditative training into research. I emphasise the importance of specific contextual supports to meditation as critical ingredients of introspective proficiency, showing how difficulties replicating these threaten to limit the scope of meditation’s scientific benefits. I layout methodological responses to this that can maximise meditation’s positive impact going forwards. (shrink)

The distinction between perception and cognition has always had a firm footing in both cognitive science and folk psychology. However, there is little agreement as to how the distinction should be drawn. In fact, a number of theorists have recently argued that, given the ubiquity of top-down influences, we should jettison the distinction altogether. I reject this approach, and defend a pluralist account of the distinction. At the heart of my account is the claim that each legitimate way of marking (...) a border between perception and cognition deploys a notion I call ‘stimulus-control.’ Thus, rather than being a grab bag of unrelated kinds, the various categories of the perceptual are unified into a superordinate natural kind. (shrink)

ABSTRACT Is it good to form positive beliefs about those you have faith in, such as God or a religious community? Doxastic partialists say that it is. Some hold that it is good, from the viewpoint of faith, to form positive beliefs about the object of your faith even when your evidence favours negative ones. Others try to maintain respect for evidence by appealing to a highly permissive epistemology. I argue against both forms of doxastic partiality, on the grounds that (...) they foster an epistemically problematic noetic entrenchment. I instead defend evidentialism—the view that it is good to strive for true beliefs about the object of your faith, be they positive or negative, given relatively stringent evidential norms. I address the objection that evidentialism fosters disloyalty to the other party, not least because it risks losing your faith altogether. What emerges are not just epistemic norms for beliefs about religious matters, but an evidentialist account of what makes for good faith itself. (shrink)

The problem of the cognitive penetrability of perception pertains to whether perceptual processing may be impacted by higher-order cognitive processes. It may be understood in a twofold sense: 1) whether what a perceptual system computes may be altered in a way that is semantically coherent to one’s cognitive states; 2) whether perceptual experience may be influenced by cognitive processes. It has been argued that the cognitive penetrability problem is not scientifically tractable since we have no direct access to other persons’ (...) subjective experiences and, therefore, we have to rely on their reports, which are mediated by higher-order processes (e.g., judgments). In this paper, I analyze the scope of methods harnessed in contemporary work on the penetrability of perception, focusing particularly on methods from experimental psychology and neuroscience. Among them, I indicate the most promising techniques and paradigms, as well as those that are inadequate to successfully tackling the problem. I also discuss experimental results which unequivocally suggest direct influences on perception which have not been addressed to date by supporters of the view that perception is impenetrable. I also describe the predictive processing theory of cognition, focusing on how it contributes to our understanding of cognitive penetrability, and discuss scientific results validating the theory. In conclusion, converging empirical evidence seems to suggest that perception is cognitively penetrable and we seem to be at the dawn of the ultimate solution of the problem. (shrink)

Proceedings of the Aristotelian Society, Volume 115, Issue 3pt3, Page 277-306, December 2015.

In this paper, I investigate two potential ways to experimentally test the thesis that observation is theory-laden. One is a proposal due to Schurz (J Gen Philos Sci 46:139–153, 2015) and the other my own. The two are compared and found to have some features in common. One such feature is that both proposals seek to create conditions that compel test subjects with diverse theoretical backgrounds to resort to bare (or at least as bare as possible) observational judgments. Thus, if (...) judgments made under those conditions are convergent across test subjects, the said convergence would lend credibility to the view that theory-neutral observations are feasible. This still leaves the question of why any such convergence exists unanswered. Towards the end of the paper, it is argued that the best explanation for observational judgment convergence is the veridicality of those judgments. (shrink)