Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive science, (...) we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...) updates using a simple system of dynamic epistemic logic suitably modified for that purpose. The paper highlights the connection between opaque updates and the dynamic-epistemic principles Perfect-Recall and No-Miracles. I argue that opaque updates are central to contemporary discussions in epistemology, in particular to externalist theories of knowledge and to the related problem of epistemic bootstrapping, or easy knowledge. Opaque updates allow us to explicitly investigate a dynamic form of uncertainty, using simple and precise logical tools. (shrink)

Philosophical enquiry stands to benefit from the inclusion of methods from the digital humanities to study language use. Empirical studies using the methods of the digital humanities have the potential to contribute to both conceptual analysis and intuition-based enquiry, two important approaches in contemporary philosophy. Empirical studies using the methods of the digital humanities can also provide valuable metaphilosophical insights into the nature of philosophical methods themselves. The use of methods from the digital humanities in philosophy should be expected to (...) follow a similar trajectory to another attempt to introduce empirical methods in philosophy. Experimental philosophers use empirical methods from the cognitive sciences to bear on philosophical questions. At first, we should expect the main contribution of methods from the digital humanities in philosophy to be at the metaphilosophical level. Then, given the right impetus and support, we are optimistic that methods from the digital humanities can make important and sustained contributions to first-order philosophical enquiry. This chapter gives two case studies of recent studies in which methods from the digital humanities are used to address metaphilosophical questions about the use of the word ‘intuition’ and the methods of philosophy and physics. It gives three examples of contemporary first-order philosophical debates to which methods fromthe digital humanities could make an important contribution in epistemology, metaphysics and philosophy of language. The chapter discusses some methodological challenges and limitations which are of particular importance when considering the application of methods from the digital humanities in philosophy, including concerns about the demographic representativeness of widely available corpora. (shrink)

Despite the ubiquity of knowledge attribution in human social cognition, its associated neural and cognitive mechanisms are poorly documented. A wealth of converging evidence in cognitive neuroscience has identified independent perspective-taking and inhibitory processes for belief attribution, but the extent to which these processes are shared by knowledge attribution isn't presently understood. Here, we present the findings of an EEG study designed to directly address this shortcoming. These findings suggest that belief attribution is not a component process in knowledge attribution, (...) contra a standard attitude taken by philosophers. Instead, observed differences in P3b amplitude indicate that knowledge attribution doesn't recruit the strong self-perspective inhibition characteristic of belief attribution. However, both belief and knowledge attribution were observed to display a late slow wave widely associated with mental state attribution, indicating that knowledge attribution also shares in more general processing of others' mental states. These results provide a new perspective both on how we think about knowledge attribution, as well as Theory of Mind processes generally. (shrink)

Recently, a view I refer to as “hypothetical continuism” has garnered some favour among philosophers, based largely on empirical research showing substantial neurocognitive overlaps between episodic memory and imagination. According to this view, episodically remembering past events is the same kind of cognitive process as sensorily imagining future and counterfactual events. In this paper, I first argue that hypothetical continuism is false, on the basis of substantive epistemic asymmetries between episodic memory and the relevant kinds of imagination. However, I then (...) propose and defend an alternative form of continuism, according to which episodic memory is continuous with a capacity I call “actuality-oriented imagination.” Because of the deep epistemic affinities between episodic memory and actuality-oriented imagination, it makes sense to think of them as cognitive processes of the same kind. (shrink)

One can intentionally do something only if one knows what one is doing while they are doing it. For example, one can intentionally kill one’s neighbor by opening their gas stove overnight only if one knows that the gas is likely to kill the neighbor in their sleep. One can intentionally sabotage the victory of one’s rival by putting sleeping drugs in their drink only if one knows that sleeping drugs will harm the rival’s performance. And so on. In a (...) slogan: Intentional action is action guided by knowledge. This essay reviews some motivations for a ‘knowledge-centered psychology’ — a psychology where knowledge enters center stage in an explanation of intentional action (§2). Then it outlines a novel argument for the claim that knowledge is required for intentional action (§3) and discusses some of its consequences (§§4-5). (shrink)

According to a standard assumption in epistemology, if one only partially believes that p , then one cannot thereby have knowledge that p. For example, if one only partially believes that that it is raining outside, one cannot know that it is raining outside; and if one only partially believes that it is likely that it will rain outside, one cannot know that it is likely that it will rain outside. Many epistemologists will agree that epistemic agents are capable of (...) partial beliefs in addition to full beliefs and that partial beliefs can be epistemically assessed along some dimensions. However, it has been generally assumed that such doxastic attitudes cannot possibly amount to knowledge. In Probabilistic Knowledge, Moss challenges this standard assumption and provides a formidable defense of the claim that probabilistic beliefs—a class of doxastic attitudes including credences and degrees of beliefs—can amount to knowledge too. Call this the probabilistic knowledge claim . Throughout the book, Moss goes to great lengths to show that probabilistic knowledge can be fruitfully applied to a variety of debates in epistemology and beyond. My goal in this essay is to explore a further application for probabilistic knowledge. I want to look at the role of probabilistic knowledge within a “knowledge-centered” psychology—a kind of psychology that assigns knowledge a central stage in explanations of intentional behavior. My suggestion is that Moss’s notion of probabilistic knowledge considerably helps further both a knowledge-centered psychology and a broadly intellectualist picture of action and know-how that naturally goes along with it. At the same time, though, it raises some interesting issues about the notion of explanation afforded by the resulting psychology. (shrink)

I develop a challenge for a widely suggested knowledge-first account of belief that turns, primarily, on unknowable propositions. I consider and reject several responses to my challenge and sketch a new knowledge-first account of belief that avoids it.

I argue that the ground of the epistemic force of perceptual states lies in properties of the perceptual capacities that constitute the relevant perceptual states. I call this view capacitivism, since the notion of a capacity is explanatorily basic: it is because a given subject is employing a mental capacity with a certain nature that her mental states have epistemic force. More specically, I argue that perceptual states have epistemic force due to being systematically linked to mind-independent, environ- mental particulars (...) via the perceptual capacities that constitute the perceptual states. Thus, capacitivism shows how the epistemic force of experience is grounded in metaphysical facts about experience. Capacitivism is a distinctive externalist view of evidence and knowledge that does not invoke reliability, remains stead- fastly naturalistic, and in recognizing a metaphysically substantive common elem- ent between perception and hallucination avoids any commitment to disjunctivism. (shrink)

This essay defends a novel form of virtue epistemology: Modal Virtue Epistemology. It borrows from traditional virtue epistemology the idea that knowledge is a type of skillful performance. But it goes on to understand skillfulness in purely modal terms — that is, in terms of success across a range of counterfactual scenarios. We argue that this approach offers a promising way of synthesizing virtue epistemology with a modal account of knowledge, according to which knowledge is safe belief. In particular, we (...) argue that the modal elements of the view offer important advantages over traditional virtue epistemology, which assigns a central explanatory role to aptness. At the same time, the virtue epistemological elements of the theory reveal new avenues for overcoming obstacles to traditional modal accounts of knowledge. Finally, we highlight the advantages of Modal Virtue Epistemology over alternative syntheses, such as Pritchard's (2012) hybrid approach. (shrink)

I develop a new version of the ordinary language response to skepticism. My version is based on premises about the practical functions served by our epistemic words. I end by exploring how my argument against skepticism is interestingly non-circular and philosophically valuable.

For a long time philosophers have struggled to reach a definition of knowledge that is fully satisfactory from an intuitive standard. However, what could be so fuzzy about the concept of knowledge that it makes our intuitions to not obviously support a single analysis? One particular approach from a naturalistic perspective treats this question from the point of view of the psychology of concepts. According to it, this failure is explained by the structure of our folk concept of knowledge, which (...) organizes its constitutive information in a much looser way than we assume when we rely on intuitive knowledge ascriptions. I will adopt the same starting point here, but argue against the proposed answer and defend the view that this difficulty is explained not by something related to the specific structure of our concept of knowledge but, on the contrary, by its lack of structure. I claim that our folk concept of knowledge should be understood as a primitive mental state concept. (shrink)

Sackris and Beebe (2014) report the results of a series of studies that seem to show that there are cases in which many people are willing to attribute knowledge to a protagonist even when her belief is unjustified. These results provide some reason to conclude that the folk concept of knowledge does not treat justification as necessary for its deployment. In this paper, we report a series of results that can be seen as supporting this conclusion by going some way (...) towards ruling out an alternative account of Sackris and Beebe’s results—the possibility that the knowledge attributions that they witnessed largely stem from protagonist projection, a phenomenon in language use and interpretation in which the speaker uses words that the relevant protagonist might use to describe her own situation and the listener interprets the speaker accordingly. With that said, we do caution the reader against drawing the conclusion too strongly, on the basis of results like those reported here and by Sackris and Beebe. There are alternative possibilities regarding what drives the observed knowledge attributions in cases of unjustified true belief that must be ruled out before, on the basis of such results, we can conclude with much confidence that the folk concept of knowledge does not treat justification as necessary for its deployment. (shrink)

Recent epistemology offers an account of what it is to know other persons. Such views hold promise for illuminating several issues in philosophy of religion, and for advancing a distinctive approach to religious epistemology. This paper develops an account of interpersonal knowledge, and clarifies its relation to propositional and qualitative knowledge. I then turn to our knowledge of God and God's knowledge of us, and compare my account of interpersonal knowledge with important work by Eleonore Stump on "Franciscan" knowledge. I (...) examine how interpersonal knowledge may figure in liturgical practice, in diffusing the problem of divine hiddenness, and in motivating a novel understanding of divine love. I also explore the possibility of epistemic injustice arising from dismissal or neglect of our religious testimony to one another, or of divine testimony to humanity, focusing specifically on the import of interpersonal knowledge. (shrink)

A good surgeon knows how to perform a surgery; a good architect knows how to design a house. We value their know-how. We ordinarily look for it. What makes it so valuable? A natural response is that know-how is valuable because it explains success. A surgeon’s know-how explains their success at performing a surgery. And an architect’s know-how explains their success at designing houses that stand up. We value know-how because of its special explanatory link to success. But in virtue (...) of what is know-how explanatorily linked to success? This essay provides a novel argument for the thesis that know-how’s special link to success is to be explained at least in part in terms of its being, or involving, a doxastic attitude that is epistemically alike propositional knowledge. It is argued that the role played by know-how in explaining intentional success shows that the epistemic differences between know-how and knowledge, if any, are less than usually thought; and that "revisionary intellectualism", the view that know-how is true belief that might well fall short of knowledge, is not really a stable position. If its explanatory link to success is what makes know-how valuable, an upshot of my argument is that the value of know-how is due, to a considerable extent, to its being, or involving, a kind of propositional knowledge. (shrink)

How should knowledge be analyzed? Compositionally, as having constituents like belief and justification, or as an atomic concept? In making arguments for or against these perspectives, epistemologists have begun to use experimental evidence from developmental psychology and developmental linguistics. If we were to conclude that knowledge were developmentally prior to belief, then we might have a good basis to claim that belief is not a constituent of knowledge. In this review, I present a broad range of developmental evidence from the (...) past decade and discuss some of the implications it has for the proper analysis of knowledge. The orthodox perspective from the developmental literature was one where children fail to understand belief and knowledge concepts until later in childhood, with typical asymmetries in belief attribution and knowledge attribution. But what emerges from both a discussion of newer findings and a contextualization of older findings is a picture of development whereby core competence with belief and knowledge concepts emerges much earlier than previously thought that apparent failures in later childhood may be explained by other aspects of development than conceptual development and that there is no clear evidence that knowledge attributions emerge earlier than belief attributions. (shrink)

The grounding or motivating intuitions behind internalism and externalism seem to be fundamentally at odds. If there is ever to be a viable or satisfying solution to the problem, it must satisfy the grounding intuitions behind both sides of the debate. Duncan Pritchard claims his theory of epistemological disjunctivism (ED) does just this, arguing that it could be the holy grail we have all been waiting for. However, I believe the holy grail is already out there in the form of (...) the theory that knowledge is a mental state (KMS). In this article, I defend the idea the KMS is far better able to satisfy the internalist and externalist intuitions than ED. (shrink)

Frege begins his discussion of factives in ‘On Sense and Reference’ with an example of a purported contrafactive, that is, a verb that entails, or presupposes, the falsity of the complement sentence. But the verb he cites, ‘wähnen’, is now obsolete, and native speakers are sceptical about whether it really was a contrafactive. Despite the profusion of factive verbs, there are no clear examples of contrafactive propositional attitude verbs in English, French or German. This paper attempts to give an explanation (...) of this, and to use this to shed light on the behaviour of factives more generally. The suggestion is that factive propositional attitude verbs take facts, not propositions, as the referents of their complement sentences; and that as there are no contra-facts, there can be no contra-factives. This claim is also used to help explain Timothy Williamson's observation that there is no stative propositional attitude factive that requires only belief. Various conclusions are drawn within a broadly ‘knowledge first’ approach. (shrink)

This paper critically examines Timothy Williamson’s claim that knowledge figures essentially in explanations of behavior. Since this claim implies that knowledge is causally efficacious in bringing about actions, it plays a key role in Williamson’s case for knowledge being a mental state. I first discuss a central example of Williamson, in which a burglar ransacks a house. I dispute Williamson’s claim that the best explanation of the burglar’s behavior invokes the burglar’s state of knowledge as he enters the house, by (...) arguing that there is a better explanation that only mentions the burglar’s beliefs. Since the reasons that explain the superiority of my proposed explanation generalize, I conclude that one does not have to invoke a subject’s state of knowledge to explain behavior. Nevertheless, Williamson’s explanation is superior to belief-based explanations if one only considers facts that obtain before the action takes place. In the final part of the paper, I argue that this fact does not help Williamson’s case for considering knowledge as a mental state. (shrink)

This paper proposes and defends the multifactorial view of stereotyping. According to this view, multiple factors determine whether or not any act of stereotyping increases the chance of an accurate judgment being made about an individual to whom the stereotype is applied. To support this conclusion, various features of acts of stereotyping that can determine the accuracy of stereotyping judgments are identified. The argument challenges two existing views that suggest that it is relatively easy for an act of stereotyping to (...) increase the chance of an accurate judgment being made. In the process, it shows why stereotyping that associates black people more strongly than white people with criminality in the United States cannot be defended, and actions to reduce the stereotyping criticized, on the basis that engaging in this form of stereotyping increases the chance of accurate judgments. As each of these important conclusions is supported by results from empirical psychology, the discussion exemplifies and vindicates the naturalistic approach to epistemology, according to which psychological findings provide an important contribution to understanding the epistemic standing of beliefs. (shrink)

An infuential twenty-first century philosophical project posits a central role for knowledge: knowledge is more fundamental than epistemic states like belief and justification. So-called “knowledge first” theorists find support for this thought in identifying central theoretical roles for knowledge. I argue that a similar methodology supports a privileged role for more specific category of basic knowledge. Some of the roles that knowledge first theorists have posited for knowledge generally are better suited for basic knowledge.

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

The intuition that knowledge is more valuable than true belief generates the value problem in epistemology. The aim in this paper is to focus on the intuitive notion of knowledge itself, in the context of the value problem, and to attempt to bring out just what it is that we intuitively judge to be valuable. It seems to me that the value problem brings to the fore certain commitments we have to the intuitive notion of knowledge, which, if we take (...) seriously, reveal that we actually think of knowledge as an irreducible factive mental state. (shrink)

In recent years, a number of philosophers and cognitive scientists have advocated for an ‘interactive turn’ in the methodology of social-cognition research: to become more ecologically valid, we must design experiments that are interactive, rather than merely observational. While the practical aim of improving ecological validity in the study of social cognition is laudable, we think that the notion of ‘interaction’ is not suitable for this task: as it is currently deployed in the social cognition literature, this notion leads to (...) serious conceptual and methodological confusion. In this paper, we tackle this confusion on three fronts: 1) we revise the ‘interactionist’ definition of interaction; 2) we demonstrate a number of potential methodological confounds that arise in interactive experimental designs; and 3) we show that ersatz interactivity works just as well as the real thing. We conclude that the notion of ‘interaction’, as it is currently being deployed in this literature, obscures an accurate understanding of human social cognition. (shrink)

It is a widely accepted assumption within the philosophy of mind and psychology that our ability for complex social interaction is based on the mastery of a common folk psychology, that is to say that social cognition consists in reasoning about the mental states of others in order to predict and explain their behavior. This, in turn, requires the possession of mental-state concepts, such as the concepts belief and desire. In recent years, this standard conception of social cognition has been (...) called into question by proponents of so-called ‘direct-perception’ approaches to social cognition and by those who argue that the ‘received view’ implies a degree of computational complexity that is implausible. In response, it has been argued that these attacks on the classical view of social cognition have no bite at the subpersonal level of explanation, and that it is the latter which is at issue in the debate in question. In this paper, I critically examine this response by considering in more detail the distinction between personal and subpersonal level explanations. There are two main ways in which the distinction has been developed. I will argue that on either of these, the response proposed by defenders of the received view is unconvincing. This shows that the dispute between the standard conception and alternative approaches to mindreading is a dispute concerning personal-level explanations - what is at stake in the debate between proponents of the classical view of social cognition and their critics is how we, as persons, navigate our social world. I will conclude by proposing a pluralistic approach to social cognition, which is better able to do justice to the multi-faceted nature of our social interactions as well as being able to account for recent empirical findings regarding the social cognitive abilities of young infants. (shrink)

Recent epistemology has focused almost exclusively on propositional knowledge. This paper considers an underexplored area of epistemology, namely knowledge of persons: if propositional knowledge is a state of mind, consisting in a subject's attitude to a (true) proposition, the account developed here thinks of interpersonal knowledge as a state of minds, involving a subject's attitude to another (existing) subject. This kind of knowledge is distinct from propositional knowledge, but it exhibits a gradability characteristic of context-sensitivity, and admits of shifty thresholds. (...) It is supported by a wide range of unexplored linguistic data and intuitive cases; and it promises to illuminate debates within epistemology, philosophy of religion, and ethics. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Factive mental states, such as knowing or being aware, can only link an agent to the truth; by contrast, nonfactive states, such as believing or thinking, can link an agent to either truths or falsehoods. Researchers of mental state attribution often draw a sharp line between the capacity to attribute accurate states of mind and the capacity to attribute inaccurate or “reality-incongruent” states of mind, such as false belief. This article argues that the contrast that really matters for mental state (...) attribution does not divide accurate from inaccurate states, but factive from nonfactive ones. (shrink)

This paper argues for several related theses. First, the epistemological position that knowledge requires safe belief can be motivated by views in the philosophy of science, according to which good explanations show that their explananda are robust. This motivation goes via the idea—recently defended on both conceptual and empirical grounds—that knowledge attributions play a crucial role in explaining successful action. Second, motivating the safety requirement in this way creates a choice point—depending on how we understand robustness, we'll end up with (...) different conceptions of safety in epistemology. Lastly, and most controversially, there's an attractive choice at this point that will not vindicate some of the most influential applications of the safety-theoretic framework in epistemology, e.g., Williamson's arguments against the KK principle, and luminosity. (shrink)

To have moral worth an action not only needs to conform to the correct normative theory ; it also needs to be motivated in the right way. I argue that morally worthy actions are motivated by the rightness of the action; they are motivated by an agent's concern for doing what's right and her knowledge that her action is morally right. Call this the Rightness Condition. On the Rightness Condition moral motivation involves both a conative and a cognitive element—in particular, (...) it involves moral knowledge. I argue that the Rightness Condition is both necessary and sufficient for moral worth. I also argue that the Rightness Condition gives us an attractive account of actions performed under imperfect epistemic circumstances: by agents who rely on moral testimony or by those who, like Huckleberry Finn, have false moral convictions. (shrink)

The entry is intended as an advanced introduction to the topic of knowledge-how. It starts with a list of overviews, monographs and collections, followed by selected 20th century discussions. The last two sections contain sources pertaining to Ryle's own work on the topic as well as work by other influential thinkers, and themes that are sometimes associated with knowledge-how. The remaining seven sections survey the contemporary literature on knowledge-how from three perspectives: (i) generic desiderata for accounts of knowledge-how, (ii) specific (...) topics that are already well-entrenched in the tradition of particular subdisciplines and (iii) second-order controversy regarding distinct assumptions and tools employed by the debaters. (shrink)

My concern in this paper is with the claim that knowledge is a mental state – a claim that Williamson places front and centre in Knowledge and Its Limits. While I am not by any means convinced that the claim is false, I do think it carries certain costs that have not been widely appreciated. One source of resistance to this claim derives from internalism about the mental – the view, roughly speaking, that one’s mental states are determined by one’s (...) internal physical state. In order to know that something is the case it is not, in general, enough for one’s internal physical state to be a certain way – the wider world must also be a certain way. If we accept that knowledge is a mental state, we must give up internalism. One might think that this is no cost, since much recent work in the philosophy of mind has, in any case, converged on the view that internalism is false. This thought, though, is too quick. As I will argue here, the claim that knowledge is a mental state would take us to a view much further from internalism than anything philosophers of mind have converged upon. (shrink)

Perceptions guide our actions and provide us with evidence of the world around us. Illusions and hallucinations can mislead us: they may prompt as to act in ways that do not mesh with the world around us and they may lead us to form false beliefs about that world. The capacity view provides an account of evidence that does justice to these two facts. It shows in virtue of what illusions and hallucinations mislead us and prompt us to act. Moreover, (...) it shows in virtue of what we are in a better epistemic position when we perceive than when we hallucination. In this paper, I develop the capacity view, that is, the view that perceptual experience has epistemic force in virtue of the epistemic and metaphysical primacy of the perceptual capacities employed in perception. By grounding the epistemic force of experience in facts about the metaphysical structure of experience, the capacity view is not only an externalist view, but moreover a naturalistic view of the epistemology of perceptual experience. So it is an externalist and naturalistic alternative to reliabilism. I discuss the repercussions of this view for the justification of beliefs and the epistemic transparency of mental states, as well as, familiar problem cases. (shrink)

Orthodoxy has it that knowledge is a composite of belief and non-mental factors. However, Timothy Williamson suggests that orthodoxy implies that the concept of belief is acquired before the concept of knowledge, whereas developmental data suggest the reverse. More recently, Jennifer Nagel reviews the psychological evidence, building a psychological case that the concept of knowledge emerges prior to belief. I assess the psychological state of the art and find support for the opposite conclusion. Overall the empirical evidence supports the orthodox (...) view that the concept of belief is prior to the concept of knowledge. (shrink)

Do epistemic intuitions tell us anything about knowledge? Stich has argued that we respond to cases according to our contingent cultural programming, and not in a manner that tends to reveal anything significant about knowledge itself. I’ve argued that a cross-culturally universal capacity for mindreading produces the intuitive sense that the subject of a case has or lacks knowledge. This paper responds to Stich’s charge that mindreading is cross-culturally varied in a way that will strip epistemic intuitions of their evidential (...) value. I argue that existing work on cross-cultural variation in mindreading favors my position over Stich’s. (shrink)

Many epistemologists use intuitive responses to particular cases as evidence for their theories. Recently, experimental philosophers have challenged the evidential value of intuitions, suggesting that our responses to particular cases are unstable, inconsistent with the responses of the untrained, and swayed by factors such as ethnicity and gender. This paper presents evidence that neither gender nor ethnicity influence epistemic intuitions, and that the standard responses to Gettier cases and the like are widely shared. It argues that epistemic intuitions are produced (...) by the natural ‘mindreading’ capacity that underpins ordinary attributions of belief and knowledge in everyday social interaction. Although this capacity is fallible, its weaknesses are similar to the weaknesses of natural capacities such as sensory perception. Experimentalists who do not wish to be skeptical about ordinary empirical methods have no good reason to be skeptical about epistemic intuitions. (shrink)

The traditional approach to the analysis of knowledge sees it as a true belief meeting further conditions. I discuss an empirical challenge to this traditional approach, which I call the argument from development. Briefly, the argument is that belief cannot be conceptually prior to knowledge because children acquire the concept of knowledge first. Several prominent scientists and philosophers have argued that this latter claim is supported by many findings with infants and young children. Here, I defend the traditional approach by (...) raising three challenges to the argument from development: the competence-performance challenge, the double-standard challenge, and the underdetermination challenge. I conclude that the developmental data are fully compatible with children acquiring the concept of belief first. In closing, I also argue that further research is needed to investigate when children acquire a concept of knowledge. (shrink)

Traditional debates between semantic temporalists and eternalists appeal to the efficacy of temporal operators and the intuitive (in)validity of instances of temporal reasoning. In this paper, I argue that such debates are inconclusive at best and that under-explored arguments concerning perceptual experience, memory, and knowledge offer more productive means of advancing debates between temporalists and eternalists and rendering salient several significant potential costs and benefits of these views.

This book takes purism about knowledge as the default position and defends it from the challenges of pragmatic encroachment. The book is divided into two parts, a negative and a positive one. The negative part critically examines existing purist strategies in response to pragmatic encroachment. The positive part provides a new theory of how practical factors can systematically influence our confidence and explores some implications of such influence.

Philosophical orthodoxy has it that intentional action consists in one’s intention appropriately causing a motion of one’s body, placing the latter as (conceptually and/or metaphysically) prior to the former. Here I argue that this standard schema should be reversed: acting intentionally is at least conceptually prior to intending. The argument is modelled on a Williamsonian argument for the priority of knowledge developed by Jenifer Nagel. She argues that children acquire the concept KNOWS before they acquire BELIEVES, building on this alleged (...) developmental priority of knowledge to establish its conceptual priority. I start by taking a closer look at Nagel’s argument, canvassing extant objections to do both with the empirical adequacy of her claims and their philosophical implications. Doing so allows me in the second part of the paper to draw lessons that inform the construction of a revamped parallel argument for the priority of ACTS INTENTIONALLY. (shrink)

This chapter reviews empirical research on the rules governing assertion and retraction, with a focus on the normative role of truth. It examines whether truth is required for an assertion to be considered permissible, and whether there is an expectation that speakers retract statements that turn out to be false. Contrary to factive norms (such as the influential “knowledge norm”), empirical data suggests that there is no expectation that speakers only make true assertions. Additionally, contrary to truth-relativist accounts, there is (...) no requirement for speakers to retract statements that are false at the context of assessment. We conclude by suggesting that truth still plays a crucial role in the evaluation of assertions: as a standard for evaluating their success, rather than permissibility. (shrink)

A recent focus on philosophical methodology has reinvigorated ordinary language philosophy with the contention that philosophical inquiry is better served by attending to the ordinary use of language. Taking cues from findings in the social sciences that deploy methods utilizing language, various ordinary language philosophers embrace a guiding mandate: that ordinary language usage is more reflective of our linguistic and conceptual competencies than standard philosophical methods. We analyze two hypotheses that are implicit in the research from which ordinary language approaches (...) take their cues. This pair of optimistic assumptions (a) bind word meanings to properties of their corresponding concepts and (b) regard language as a direct reflection of our underlying cognitive processes and competencies. Polysemy and pragmatics complicate each assumption. Because the ordinary language philosopher’s methodological mandate compels us to consider how individuals process the utterances they encounter in deciphering the communicative intentions of speakers, failing to attend to the import of polysemy and pragmatics in philosophical and empirical methods has the potential to frustrate the aims of their insightful mandate. The significance of those two complications is worked out with the case study of knowledge. (shrink)

Lockean views of personal identity maintain that we are essentially persons who persist diachronically by virtue of being psychologically continuous with our former selves. In this article, I present a novel objection to this variant of psychological accounts, which is based on neurophysiological characteristics of the brain. While the mental states that constitute said psychological continuity reside in the cerebral hemispheres, so that for the former to persist only the upper brain must remain intact, being conscious additionally requires that a (...) structure originating in the brainstem—the ascending reticular activating system—be functional. Hence, there can be situations in which even small brainstem lesions render individuals irreversibly comatose and thus forever preclude access to their mental states, while the neural correlates of the states themselves are retained. In these situations, Lockeans are forced to regard as fulfilled their criterion of diachronic persistence since psychological continuity, as they construe it, is not disrupted. Deeming an entity that is never again going to have any mental experiences to be a person, however, is an untenable position for a psychological account to adopt. In their current form, Lockean views of personal identity are therefore incompatible with human neurophysiology. (shrink)

In the recent literature, several authors have argued that the capacity to track factive mental states plays a central role in explaining our ability to understand and predict people’s behavior (Nagel 2013; Nagel 2017; Phillips & Norby 2019; Phillips et al. 2020; Westra & Nagel 2021). The topic of this chapter is whether this capacity also enters into an explanation of our ability to track skilled and intentional actions.

The thesis that knowledge is a factive mental state plays a central role in knowledge-first epistemology, but accepting this thesis requires also accepting an unusually severe version of externalism about the mind. On this strong attitude externalism, whether S is in the mental state of knowledge can and often will rapidly change in virtue of changes in external states of reality with which S has no causal contact. It is commonly thought that this externalism requirement originates in the factivity of (...) knowledge. However, despite a number of recent defenses of non-factive accounts of knowledge, epistemology has yet to consider whether a non-factive approach might produce a version of the mental state thesis that can avoid strong externalism. Here I do just that, exploring how three different proposals for weakening factivity might be adapted to theories of knowledge as a non-factive mental state. Contrary to what we might expect, however, none of these proposals are compatible with anything close to attitude internalism about knowledge—or even a substantially weaker externalism. All told, the widespread view that wraps up the severe externalism required for knowledge to be a mental state in factivity is mistaken. Knowledge’s external-world connection runs far deeper than the factivity constraint. (shrink)