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)

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)

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)

Zenon Pylyshyn argues that cognitively driven attentional effects do not amount to cognitive penetration of early vision because such effects occur either before or after early vision. Critics object that in fact such effects occur at all levels of perceptual processing. We argue that Pylyshyn’s claim is correct—but not for the reason he emphasizes. Even if his critics are correct that attentional effects are not external to early vision, these effects do not satisfy Pylyshyn’s requirements that the effects be direct (...) and exhibit semantic coherence. In addition, we distinguish our defense from those found in recent work by Raftopoulos and by Firestone and Scholl, argue that attention should not be assimilated to expectation, and discuss alternative characterizations of cognitive penetrability, advocating a kind of pluralism. (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)

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)

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)