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

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

Socrates’ official answer to Meno’s question about the value of knowledge, near the end of Plato’s Meno, is that knowledge is stable. I argue that both the answer and the question have been widely misunderstood. The question has been taken to be why knowing at a time is better than true belief at that time, and Socrates’ answer has been taken to point to the greater persistence of knowledge over time. I argue instead that, given the broader context of the (...) question and answer in the Meno, together with what Plato has to say about stability elsewhere, Meno’s question is better understood as a more difficult question – and Socrates’ answer as a good solution to it. This also involves arguing that Socrates’ analogy to the statues of Daedalus is not intended as the simple illustration of Socrates’ official answer for which commentators have taken it. (shrink)

"Self-knowledge" is commonly used in philosophy to refer to knowledge of one's particular mental states, including one's beliefs, desires, and sensations. It is also sometimes used to refer to knowledge about a persisting self -- its ontological nature, identity conditions, or character traits. At least since Descartes, most philosophers have believed that self-knowledge is importantly different from knowledge of the world external to oneself, including others' thoughts. But there is little agreement about what precisely distinguishes self-knowledge from knowledge in other (...) realms. Partially because of this disagreement, philosophers have endorsed competing accounts of how we acquire self-knowledge. These accounts have important consequences for the scope of mental content, for mental ontology, and for personal identity. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

forthcoming in reisner and steglich-peterson, eds., Reasons for Belief If I believe, for no good reason, that P and I infer (correctly) from this that Q, I don’t think we want to say that I ‘have’ P as evidence for Q. Only things that I believe (or could believe) rationally, or perhaps, with justification, count as part of the evidence that I have. It seems to me that this is a good reason to include an epistemic acceptability constraint on evidence (...) possessed…1 It is a truism that adopting an unjustified belief does not put you in a better evidential position with respect to believing its consequences. This truism has led many philosophers to assume that there must, at a minimum, be a justification condition (and perhaps even a knowledge condition) on what it takes to count as having evidence. This is the best (or only) possible explanation of the truism, these philosophers have believed. This paper explores an alternative explanation for the truism. According to the alternative explanation that I will offer, unjustified beliefs do not put you in a better evidential position with respect to believing their consequences because any evidence you have in virtue of having an unjustified belief is guaranteed to be defeated. Since the lack of justification for a belief guarantees its defeat, I will suggest, we don't need to postulate a special justification condition (much less a knowledge condition) on what it takes to count as having evidence. Why is this important? It is important because the assumption that there must be a justification condition (or perhaps a knowledge condition) on what it takes to count as having evidence places a high bar on what it takes to have evidence - such a high bar that it is difficult to see how this bar could be met in the case of basic, perceptually justified beliefs. As a result, the high bar set by this condition plays a fundamental role, I will claim, in central features of a core dialectic from the epistemology of basic perceptual belief which plays a central role in the debates between internalism and externalism, foundationalism and coherentism, and rationalism and empiricism.. (shrink)

In this paper I explore why one might hope to, and how to begin to, develop an expressivist account of truth – that is, a semantics for ‘true’ and ‘false’ within an expressivist framework. I do so for a few reasons: because certain features of deflationism seem to me to require some sort of nondescriptivist semantics, because of all nondescriptivist semantic frameworks which are capable of yielding definite predictions rather than consisting merely of hand-waving, expressivism is that with which I (...) am most familiar, and because I believe that certain problems about truth and particularly about paradox seem to me to look different, when seen through the lens of an expressivist theory. I don’t mean to defend such a theory in this paper, and indeed I have cast doubts on the ultimate prospects of the framework I will be employing here elsewhere.1 But I do think that seeing what an expressivist theory of truth would look like helps to shed light on both expressivism and on truth. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

This paper defends a principle I call Equal Treatment, according to which the rationality of a belief is determined in precisely the same way as the rationality of any other state. For example, if wearing a raincoat is rational just in case doing so maximizes expected value, then believing some proposition P is rational just in case doing so maximizes expected value. This contrasts with the popular view that the rationality of belief is determined by evidential support. It also contrasts (...) with the common idea that in the case of belief, there are two different incommensurable senses of rationality, one of which is distinctively epistemic. I present considerations that favor Equal Treatment over these two alternatives, reply to objections, and criticize some arguments for Evidentialism. I also show how Equal Treatment opens the door to a distinctive kind of response to skepticism. (shrink)

In this paper, I present an argument for the revision of classical logic. The argument is based on the coherence of a metaethical position which is a species of agnosticism. According to this view, the debate between cognitivists and noncognitivists about moral discourse is unresolved. I argue that there is something at stake in this debate and so something one can coherently be agnostic about. The revisionary argument also draws on principles of epistemic closure. I make these principles explicit and (...) indicate to what extent they can plausibly be assumed. The proposal to revise classical logic is likely to meet with some resistance: classical logic is too deeply entrenched in our reasoning. Before suggesting what to put in its place, I address and defuse four objections that might be levelled against the argument for its revision. I close with some general remarks on the force of arguments for logical reform. (shrink)

A common objection against deflationist theories of truth is that they cannot do justice to the correspondence intuition, i.e. the intuition that there is an explanatory relationship between, for instance, the truth of ‘Snow is white’ and snow's being white. We scrutinize two attempts to meet this objection and argue that both fail. We then propose a new response to the objection which, first, sheds doubt on the correctness of the correspondence intuition and, second, seeks to explain how we may (...) nonetheless have come to have that intuition. (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a naïve realist conception of veridical perception in the light of the challenge from the argument from hallucination. The naïve realist claims that some sensory experiences are relations to mind-independent objects. That is to say, taking experiences to be episodes or events, the naïve realist supposes that some such episodes have as constituents mind-independent objects. In turn, the disjunctivist claims that in a case of (...) veridical perception like this very kind of experience that you now have, the experiential episode you enjoy is of a kind which could not be occurring were you having an hallucination. The common strategy of arguments from hallucination set out to show that certain things are true of hallucinations, and hence must be true of perceptions. For example, it is argued that hallucinations must have non-physical objects of awareness, or that such states are not relations to anything at all, but are at best seeming relations to objects. In insisting that veridical perceptual experience is of a distinct kind from hallucination, the disjunctivist denies that any of these conceptions of hallucination challenges our conception of veridical perceptions as relations to mind-independent objects. More specifically, I assume that the disjunctivist advocates naïve realism because they think that this position best articulates how sensory experience seems to us to be just through reflection. If the disjunctivist is correct in this contention, then anyone who accepts the conclusion of the argument from hallucination must also accept that the nature of sensory experience is other than it seems to us to be. In turn, one may complain that any such error theory is liable to lead to sceptical consequences. A Humean scepticism about the senses launches a challenge about our knowledge of the world through questioning the conception we have of what sense experience is, and how it can provide knowledge of the world. (shrink)

Exploring intentionality from an externalist perspective, I distinguish three kinds of intentionality in the case of seeing, which I call transparent, translucent, and opaque respectively. I then extend the distinction from seeing to knowing, and then to believing. Having explicated the three-fold distinction, I then critically explore some important consequences that follow from granting that (i) there are transparent and translucent intentional states and (ii) these intentional states are mental states. These consequences include: first, that existential opacity is neither the (...) mark of intentionality nor of the mental; second, that Sellars has not shown that all intentionality is non-relational; third, that a key Quinean argument for semantic indeterminacy rests on a false premise; fourth, that perceptual experience is intentional on Alston’s Theory of Appearing; fifth, that either some mental causation is more than internal physiological causation or some mental states are epiphenomenal. (shrink)

Traditionally, perceptual experiences—for example, the experience of seeing a cat—were thought to have two quite distinct components. When one sees a cat, one’s experience is “about” the cat: this is the representational or intentional component of the experience. One’s experience also has phenomenal character: this is the sensational component of the experience. Although the intentional and sensational components at least typically go together, in principle they might come apart: the intentional component could be present without the sensational component or vice (...) versa. (shrink)

There are passages in Kant’s writings according to which empirical intuitions have to be (a) singular, (b) object-dependent, and (c) immediate. It has also been argued that empirical intuitions (d) are not truth-apt, and (e) need to provide the subject with a proof of the possibility of the cognized object. Having relied on one or another of the a-e constraints, the naïve realist readers of Kant have argued that it is not possible for empirical intuitions to be representations. Instead they (...) have argued for a relationalist reading of empirical intuitions in terms of an acquaintance relation between the subject and the intuited object. -/- For the sake of argument, I will grant the naïve realist reader of Kant that empirical intuitions should satisfy all the a-e constraints. Nevertheless, by incorporating these constraints, one by one, into a representationalist theory of empirical intuitions, I will show that not only doesn’t a naïve realist reading of empirical intuitions follow, but also that the naïve realist has hastily overlooked a range of perfectly representationalist readings of intuitions available to Kant and his representationalist allies. On the positive side, I will argue that there is an extra constraint on intuitions—i.e., that givenness does not require presence to consciousness—that directly goes against any naïve realist account of intuitions. (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)

In this article it is argued that the standard theoretical account of risk in the contemporary literature, which is cast along probabilistic lines, is flawed, in that it is unable to account for a particular kind of risk. In its place a modal account of risk is offered. Two applications of the modal account of risk are then explored. First, to epistemology, via the defence of an anti-risk condition on knowledge in place of the normal anti-luck condition. Second, to legal (...) theory, where it is shown that this account of risk can cast light on the debate regarding the extent to which a criminal justice system can countenance the possibility of wrongful convictions. (shrink)

This paper develops a precise understanding of the thesis of moral encroachment, which states that the epistemic status of an opinion can depend on its moral features. In addition, I raise objections to existing accounts of moral encroachment. For instance, many accounts fail to give sufficient attention to moral encroachment on credences. Also, many accounts focus on moral features that fail to support standard analogies between pragmatic and moral encroachment. Throughout the paper, I discuss racial profiling as a case study, (...) arguing that moral encroachment can help us identify one respect in which racial profiling is epistemically problematic. (shrink)

Radical moral encroachment is the view that belief itself is morally evaluable, and that some moral properties of belief itself make a difference to epistemic rationality. To date, almost all proponents of radical moral encroachment hold to an asymmetry thesis: the moral encroaches on rational belief, but not on rational credence. In this paper, we argue against the asymmetry thesis; we show that, insofar as one accepts the most prominent arguments for radical moral encroachment on belief, one should likewise accept (...) radical moral encroachment on credence. We outline and reject potential attempts to establish a basis for asymmetry between the attitude types. Then, we explore the merits and demerits of the two available responses to our symmetry claim: (i) embracing moral encroachment on credence and (ii) denying moral encroachment on belief. (shrink)

It is tempting to posit an intimate relationship between belief and assertion. The speech act of assertion seems like a way of transferring the speaker’s belief to his or her audience. If this is right, then you might think that the evidential warrant required for asserting a proposition is just the same as the warrant for believing it. We call this thesis entitlement equality. We argue here that entitlement equality is false, because our everyday notion of belief is unambiguously a (...) weak one. Believing something is true, we argue, is compatible with having relatively little confidence in it. Asserting something requires something closer to complete confidence. Specifically, we argue that believing a proposition merely requires thinking it likely, but that thinking that a proposition is likely does not entitle one to assert it. This conclusion conflict with a standard view that ‘full belief’ is the central commonsense non-factive attitude. (shrink)

When is a belief or judgment justified? One might be forgiven for thinking the search for single answer to this question to be hopeless. The concept of justification is required to fulfil several tasks: to evaluate beliefs epistemically, to fill in the gap between truth and knowledge, to describe the virtuous organization of one’s beliefs, to describe the relationship between evidence and theory (and thus relate to confirmation and probabilification). While some of these may be held to overlap, the prospects (...) for fulfilling all may well seem poor. Furthermore the internalist requires that justification be an introspectible property of beliefs and a fundamental epistemic concept, while the externalist is often happy to ignore the concept altogether or at best regard it as an embarrassing add-on to their epistemology. In the light of this one might reasonably give up on justification altogether or adopt pluralist approach, denying that justification is any single property of beliefs of judgments. (shrink)

You shouldn’t have done it. But you did. Against your better judgment you scrolled to the end of an article concerning the state of race relations in America and you are now reading the comments. Amongst the slurs, the get-rich-quick schemes, and the threats of physical violence, there is one comment that catches your eye. Spencer argues that although it might be “unpopular” or “politically incorrect” to say this, the evidence supports believing that the black diner in his section will (...) tip poorly. He insists that the facts don’t lie. The facts aren’t racist. In denying his claim and in believing otherwise, it is you who engages in wishful thinking. It is you who believes against the evidence. You, not Spencer, are epistemically irrational. -/- My dissertation gives an account of the moral-epistemic norms governing belief that will help us answer Spencer and the challenge he poses. We live in a society that has been shaped by racist attitudes and institutions. Given the effects of structural racism, Spencer’s belief could have considerable evidential support. Spencer notes that it might make him unpopular, but he cares about the truth and he is willing to believe the unpopular thing. But, Spencer’s belief seems racist. Spencer asks, however, how could his belief be racist if his beliefs reflect reality and are rationally justified? Moreover, how could he wrong anyone by believing what he epistemically ought to believe given the evidence? In answer, I argue that beliefs can wrong. (shrink)

I argue that joint attention solves the “base problem” as it arises for Schiffer’s and Lewis’s theories of common knowledge. The problem is that an account is needed of the perceptual base of some forms of common knowledge that gets by without itself invoking common knowledge. The paper solves the problem by developing a theory of joint attention as consisting in the exercise of joint know-how involving particular and sometimes distal targets and arguing that certain joint perceivers can always have (...) a minimal form of propositional common knowledge about the location of these targets. On such a view, perceptual common knowledge is based on the experience of a process that is maintained by way of perceivers’ exercise of an object-involving form of joint know-how. Some reductive theories of collective intentionality require that agents’ intentions and subplans are common knowledge (or “out in the open”) between them. For these theories the base problem arises again. The enacted theory of joint attention can solve the problem. The argument is exactly parallel to the common knowledge case. The openness of joint agents’ intentions and meshing subplans is explained by appeal to their practical knowledge of how to maintain the process by way of which they pursue the collective intention. They can then make this knowledge explicit by linguistic communication. When they succeed in communicating knowledge of their meshing subplans as pursued in a joint action context, they necessarily have this knowledge in common. For theories of collective intentionality that include a common knowledge condition, the experience of participating in a perceptually constituted joint action provides the base that renders harmless the regress that otherwise threatens reductive analyses. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

When and why does it matter whether we can give an explicit justification for what we believe? This paper examines these questions in the light of recent empirical work on the social functions served by our capacity to reason, in particular, Mercier and Sperber’s argumentative theory of reasoning.

An assertion is existentially known if and only if: (i) the speaker knows that the sentence she uses to make the assertion expresses a true proposition; (ii) she makes the assertion based on that knowledge; and (iii) she does not believe, have justification for, or know the proposition asserted. Accordingly, if existentially known assertions could be made correctly—as argued by Charlie Pelling in his ‘Assertion and the Provision of Knowledge’—this would show that the norm of assertion cannot be the speaker's (...) belief in, justification for or knowledge of the proposition. In this paper, I try to show that Pelling's argument is inconclusive, as it rests on two assumptions which can be resisted. In turn, I offer a pair of alternative strategies to explain how we can deal with existentially known assertions under the assumption that the speaker's knowledge is the norm of assertion. (shrink)

Expressivism’s central idea is that normative sentences bear the same relation to non-cognitive attitudes that ordinary descriptive sentences bear to beliefs: the expression relation. Allan Gibbard teIls us that “that words express judgments will be accepted by almost everyone” - the distinctive contribution of expressivism, his claim goes, is only a view about what kind of judgments words express. But not every account of the expression relation is equally suitable for the expressivist’s purposes. In fact, what I argue in this (...) paper, considering four possible accounts of expression, is that how suitable each account is for the expressivist’s purpose varies in proportion to how controversial it is. So Gibbard is wrong - if expression is to get expressivism off the ground, then it will be enormously controversial whether words do express judgments. And thus expressivism is committed to strong claims about the semantics of non-normative language. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

This paper elaborates a new solution to the lottery paradox, according to which the paradox arises only when we lump together two distinct states of being confident that p under one general label of ‘belief that p’. The two-state conjecture is defended on the basis of some recent work on gradable adjectives. The conjecture is supported by independent considerations from the impossibility of constructing the lottery paradox both for risk-tolerating states such as being afraid, hoping or hypothesizing, and for risk-averse, (...) certainty-like states. The new proposal is compared to views within the increasingly popular debate opposing dualists to reductionists with respect to the relation between belief and degrees of belief. (shrink)

One interesting and potentially attractive feature of the sensitivity account of knowledge is that it not only preserves knowledge of ordinary propositions, but also concedes the skeptic's intuition that we do not know skeptical hypotheses do not obtain. This paper challenges the sensitivity‐based reply to the skeptic, advocated by Robert Nozick, among others. Sensitivity generates an implausibly bizarre result that although we do not know we are not brains in vats (because a belief to this effect is insensitive), a real (...) BIV who is in a much worse epistemic situation can sensitively believe that it is not in the good case. This result reveals a fundamental problem with the sensitivity conditional: its antecedent is not suitable for picking out possibilities that are relevant for our epistemic evaluation. I then offer a systematic explanation of why it is the safety account—the main competitor of sensitivity—that picks out a more suitable set of possibilities. A consequence of this comparison is that the safety account delivers an overall more satisfying reply to the skeptic than sensitivity does. (shrink)

According to the sensitivity account of knowledge, if one knows that p, then (roughly) were p false, one would not believe that p. One important issue regarding sensitivity is whether or not it preserves inductive knowledge. Critics including Jonathan Vogel, Ernest Sosa, and Duncan Pritchard argue that it does not. Proponents including Kevin Wallbridge insist that it does. In this paper, I first draw attention to an often-neglected distinction between two different versions of sensitivity—a distinction that has important implications for (...) the debate regarding inductive knowledge. In particular, I distinguish between the sensitivity principle originally defended by Robert Nozick and another version that has been the focus of many recent discussions. With the distinction in place, it is shown that a sensitivity theorist cannot preserve inductive knowledge while being unscathed. For neither account can simultaneously preserve inductive knowledge while properly handling the Gettier problem. Overall, sensitivity theorists are in trouble. (shrink)

In this paper, I first seek a relatively plausible formulation of the safety principle. To this end, I refute a recent form of safety by Duncan Pritchard and then defend another weaker form of safe...

According to the safety principle, if one knows that p, one's belief that p could not easily have been false. One problem besetting this principle is the lottery problem – that of explaining why one does not seem to know that one will lose the lottery purely based on probabilistic considerations, prior to the announcement of the lottery result. As Greco points out, it is difficult for a safety theorist to solve this problem, without paying a heavy price. In this (...) paper, I first reject three existing safety-based solutions to the lottery problem, due to Pritchard, Sosa, and Broncano-Berrocal. Failure of these accounts reveals that there is something crucial missing in the safety principle. By way of remedying this, I propose to integrate a safety principle with a condition regarding one's own awareness of (nearby) error-possibilities. The resulting account, as I argue, enjoys a number of theoretical advantages, including its capacity to handle the lottery problem. (shrink)

This paper commences by making a case for a naturalized approach to knowledge‐first epistemology. On this basis it then goes on to describe and defend a naturalized, functionalist account of group knowledge. It then contrasts this with Jennifer Lackey's (2021) account of the epistemological status of groups.

We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. The model thereby (...) captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. (shrink)

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

Philosophers and psychologists sometimes categorize emotions like surprise and curiosity as specifically epistemic. Is there some reasonably unified and interesting class of emotions here? If so, what unifies it? This paper proposes and defends an evaluative account of epistemic emotions: What it is to be an epistemic emotion is to have fittingness conditions that distinctively involve some epistemic evaluation. We argue that this view has significant advantages over alternative proposals and is a promising way to identify a limited and interesting (...) class of emotions. (shrink)