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)

Is truth the rule or the aim of assertion? Philosophers disagree. After reviewing the available evidence, the hypothesis that truth is the aim of assertion is defended against recent attempts to prove that truth is rather a rule of assertion.

Consider someone whom you know to be an expert about some issue. She knows at least as much as you do and reasons impeccably. The issue is a straightforward case of statistical inference that raises no deep problems of epistemology. You happen to know the expert’s opinion on this issue. Should you defer to her by adopting her opinion as your own? An affirmative answer may appear mandatory. But this paper argues that a crucial factor in answering this question is (...) the description under which you identify the expert. Experts may be identified under various descriptions (e.g., “the expert appearing on Channel 7 at 5 pm”). Section 2 provides cases that illustrate how deference to a known expert may be appropriate under some descriptions, but not others. Section 3 proposes that, in these cases, the differentiating factor is self-identification: deference to an expert under a given description is appropriate when the expert self-identifies under that description. Section 4 presents a formal framework that demonstrates the sufficiency of self-identification for appropriate deference within a significant class of cases. Section 5 notes a way in which this phenomenon allows for a form of “agreeing to disagree” in Robert Aumann’s sense. Section 6 illustrates the practical application of these results to the case of testimonials. (shrink)

This paper examines three reasons to think that Craig's genealogy of the concept of knowledge is incompatible with knowledge-first epistemology and finds that far from being incompatible with it, the genealogy lends succour to it. This reconciliation turns on two ideas. First, the genealogy is not history, but a dynamic model of needs. Secondly, by recognizing the continuity of Craig's genealogy with Williams's genealogy of truthfulness, we can see that while both genealogies start out from specific needs explaining what drives (...) the development of certain concepts rather than others, they then factor in less specific needs which in reality do not come later at all, and which have also left their mark on these concepts. These genealogies thereby reveal widespread functional dynamics driving what I call the de-instrumentalization of concepts, the recognition of which adds to the plausibility of such instrumentalist approaches to concepts. (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)

Knowledge, like other things of value, can be faked. According to Hawley (2011), know-how is harder to fake than knowledge-that, given that merely apparent propositional knowledge is in general more resilient to our attempts at successful detection than are corresponding attempts to fake know-how. While Hawley’s reasoning for a kind of detection resilience asymmetry between know-how and know-that looks initially plausible, it should ultimately be resisted. In showing why, we outline different ways in which know-how can be faked even when (...) a given performance is successful; and in doing so, we distinguish how know-how can be faked (no less than know-that) via upstream and downstream indicators of its presence, and within each of these categories, we’ll distinguish (in connection with detection resilience) both faking symptoms and (various kinds of) criteria. The unappreciated resilience of faked knowledge-how to successful detection highlights a largely overlooked dimension of social-epistemic risk – risk we face not just in our capacity as recipients of testimony, but in our capacity as both (would-be) apprentices and clients of knowledge-how. (shrink)

COVID-19 vaccine refusal seems like a paradigm case of irrationality. Vaccines are supposed to be the best way to get us out of the COVID-19 pandemic. And yet many people believe that they should not be vaccinated even though they are dissatisfied with the current situation. In this paper, we analyze COVID-19 vaccine refusal with the tools of contemporary philosophical theories of responsibility and rationality. The main outcome of this analysis is that many vaccine-refusers are responsible for the belief that (...) they should not be vaccinated and epistemically rational in holding it. This is an important result because it provides insights into the legitimacy of certain public health policies. In particular, this result shows that a public health policy that would abandon the project of convincing certain vaccine-refusers with reasons – e.g., by simply making vaccination compulsory – is prima facie illegitimate. (shrink)

We are naturally inclined to judge that it is better to know that p than to merely truly believe that p. How to account for this intuition? In this paper, I examine Williamson, Goldman and Olsson, and Pritchard's answers, and agree with Pritchard that it cannot be consistently claimed that knowledge is epistemically superior to mere true belief, and that truth is the only finally valuable epistemic good. Contrary to Pritchard, I argue that the latter claim is deeply mistaken. I (...) do so by showing that mere true beliefs have no epistemic value at all. I sketch the consequences of this point concerning the epistemic value of knowledge, and answer some objections to the thesis that mere true beliefs do not possess epistemic value. (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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

Stephenson (2022) has argued that Kant’s thesis that all transcendental truths are transcendentally a priori knowable leads to omniscience of all transcendental truths. His arguments depend on luminosity principles and closure principles for transcendental knowability. We will argue that one pair of a luminosity and a closure principle should not be used, because the closure principle is too strong, while the other pair of a luminosity and a closure principle should not be used, because the luminosity principle is too strong. (...) Stephenson’s argument also depends on a factivity principle for transcendental knowability, which we will argue to be false. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

Much scientific research is characterized by a high degree of multidisciplinarity and interdependence between the experts. In these cases research may be described as a group activity, and as such analysed in terms of the intentions of the participants. In this paper I apply Bratman's notion of shared intentionality to explain the relations between social and epistemic elements in groups with a truth-oriented common goal. I argue that in truth-oriented activities the disposition to help – which is a constitutive part (...) of Bratman's notion of shared intentionality – takes the form of a commitment not to lie, and that mutual knowledge of this commitment gives the members an entitlement to rely on other members' testimonies. Thus, in truth-oriented group activities, common knowledge of the disposition toward mutual support gives epistemic relevance to cooperation. Scientific research is shaped by the coexistence of social and epistemic elements: social relations influence knowledge attributions, and the epistemic goal of the activity confers a particular character to these relations. (shrink)

This paper is a companion piece to my earlier paper “Fallibilism and Concessive Knowledge Attributions”. There are two intuitive charges against fallibilism. One is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. The second is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, even though (...) I’m not certain that he is”, or “I know that Bush it a Republican, even though it isn’t certain that he is.” In “Fallibilism and Concessive Knowledge Attributions”, I argue that fallibilism in epistemology does not countenance the truth of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. In this paper, I argue that there are independent reasons for thinking that utterances of sentences such as “I know that Bush is a Republican, though I’m not certain that he is” and “I know that Bush is a Republican, though it’s not certain that he is” are unassertible. More specifically, I argue that these are simply instances of Moore’s Paradox, such as “Dogs bark, but I don’t know that they do.” The right account of Moore’s Paradox does not involve the falsehood of the semantic content of the relevant utterances, but rather their pragmatic unacceptability. So the anti-fallibilist intuitions turn out to have pragmatic, rather than semantic import, and therefore do not tell against the truth of fallibilism. Fallibilism in epistemology is often thought to be theoretically desirable, but intuitively problematic. My purpose with these two papers is to show that fallibilism is not intuitively problematic. (shrink)

Recent epistemology has witnessed a substantial opposition between two competing approaches to capturing the notion of non-accidentality in the analysis of knowledge: the explanationist and the modalist. According to the latest advocates of the former, S knows that p if and only if S believes that p because p is true. According to champions of the latter, S knows that p if and only if S's belief that p is true in a relevant set of possible worlds. Because Bogardus and (...) Perrin's explanationism promises to deliver a plausible analysis of knowledge without any need for modal notions, it is an elegant proposal with prima facie appeal. However, such version of explanationism ultimately does not live up to its promises: in this paper, I raise some objections to their explanationist analysis of knowledge while showing that modalism is in much better shape than they think. In particular, I argue that their explanationist condition generates the wrong results in Gettier cases and fake-barn cases. I also offer and defend a novel version of modalism: I introduce a refined safety condition which is shown to successfully handle the same Gettier cases that beset Bogardus and Perrin's version of explanationism. The paper concludes with a reassessment of the explanationist's initial ambition to provide an analysis of knowledge without modal notions. The upshot will be that even if the prospects for such analysis remain dim, our money should be on the modalist, not the explanationist. (shrink)

Some externalists have recently argued that the unity of theoretical and practical reason implies that epistemic justification is factive. It is argued that arguments for the factivity of epistemic justification either (i) equate two actions that are in fact different, or (ii) make the unwarranted assumption that the by-relation transmits justification. The unity of reason does not imply that epistemic justification is factive.

According to moral encroachment facts about epistemic justification can vary with moral factors that are unrelated to the truth of the belief. Most of the literature on this topic has focused on how beliefs can wrong, and whether the data that moral encroachers offer in support of their view can be explained within a purist framework. A largely neglected question has been what kind of consequences moral encroachment would have for epistemic justification if the thesis were true. Here I remedy (...) this shortcoming by examining what kind of structural implications moral encroachment has for epistemic justification. (shrink)

Perceptual experiences justify beliefs—that much seems obvious. As Brewer puts it, “sense experiential states provide reasons for empirical beliefs” (this volume, xx). In Mind and World McDowell argues that we can get from this apparent platitude to the controversial claim that perceptual experiences have conceptual content: [W]e can coherently credit experiences with rational relations to judgement and belief, but only if we take it that spontaneity is already implicated in receptivity; that is, only if we take it that experiences have (...) conceptual content. (1994, 162) Brewer agrees. Their view is sometimes called conceptualism; nonconceptualism is the rival position, that experiences have nonconceptual content. One initial obstacle is understanding what the issue is. What is conceptual content, and how is it different from nonconceptual content? Section 1 of this paper explains two versions of each of the rival positions: state (non)conceptualism and content (non)conceptualism; the latter pair is the locus of the relevant dispute. Two prominent arguments for content nonconceptualism—the richness argument and the continuity argument—both fail (section 2). McDowell’s and Brewer’s epistemological defenses of content conceptualism are also faulty (section 3). Section 4 gives a more simple-minded case for conceptualism; finally, some reasons are given for rejecting the claim—on one natural interpretation—that experiences justify beliefs. (shrink)

This paper argues that there is a problem for the justificatory significance of perceptions that has been overlooked thus far. Assuming that perceptual experiences are propositional attitudes and that only propositional attitudes which assertively represent the world can function as justifiers, the problem consists in specifying what it means for a propositional attitude to assertively represent the world without losing the justificatory significance of perceptions—a challenge that is harder to meet than might first be thought. That there is such a (...) problem can be seen by reconsidering and modifying a well-known argument to the conclusion that beliefs cannot be justified by perceptions but only by other beliefs. Nevertheless, the aim of the paper is not to conclude that perceptions are actually incapable of justifying our beliefs but rather to highlight an overlooked problem that needs to be solved in order to properly understand the justificatory relationship between perceptions and beliefs. (shrink)

The use of ‘S knows p’ varies from context to context. The contextualist theories of Cohen, Lewis, and DeRose explain this variation in terms of semantic hypotheses: ‘S knows p’ is indexical in meaning, referring to features of the ascriber’s context like salience, interests, and stakes. The linguistic evidence against contextualism is extensive. I maintain that the contextual variation of knowledge claims results from pragmatic factors. One is variable strictness (Davis, Philos Stud, 132(3):395–438, 2007). In addition to its strict use, (...) ‘S knows p’ may be used loosely to implicate that S is close enough to knowing p for contextually indicated purposes. Here I explore another variable: belief about what is known. This factor is pragmatic rather than semantic in that it affects the use of ‘S knows p’ without affecting its truth conditions. While variation in strictness accounts for the variation in the bank, parking, and some lottery cases, variation in belief accounts for the variation in other lottery cases and the epistemology cases. Along the way, I sketch an insensitive invariantist semantics that is strict but non-skeptical, and show how it works with these pragmatic factors. (shrink)

Leading philosophical models of curiosity represent it as a desiderative attitude whose content is a question, and which is satisfied by knowledge of the answer to that question. I argue that these models do not capture the distinctive character of a form of curiosity that I call 'erotic curiosity'. Erotic curiosity addresses itself not to a question but to an object whose significance for the inquirer is affective as well as epistemic. This form of curiosity is best understood by analogy (...) to erotic love as theorized by Plato in the Symposium. (shrink)

Various philosophers accept moral views that are impartial, additive, and risk-neutral with respect to moral betterness. But, if that risk neutrality is spelt out according to expected value theory alone, such views face a dire reductio ad absurdum. If the expected sum of value in humanity's future is undefined--if, e.g., the probability distribution over possible values of the future resembles the Pasadena game, or a Cauchy distribution--then those views say that no option is ever better than any other. And, as (...) I argue, this holds in practice: our evidence supports such a probability distribution. Indeed, it supports a probability distribution that cannot be evaluated even if we adopt one of the various extensions of expected value theory proposed in the literature. Must we therefore reject all impartial, additive, risk-neutral moral theories? It turns out that we need not. I develop an alternative solution: a new method of extending expected value theory, which allows us to deal with this distribution and to salvage those moral views. I also examine how this solution affects one of the most notable implications of those views--namely, longtermism. (shrink)

Whether it seems that you know something depends in part upon practical factors. When the stakes are low, it can seem to you that you know that p, but when the stakes go up it'll seem to you that you don't. The apparent sensitivity of knowledge to stakes presents a serious challenge to epistemologists who endorse a stable semantics for knowledge attributions and reject the idea that whether you know something depends on how much is at stake. After arguing that (...) previous attempts to meet this challenge fall short, I offer a new solution: theunassertability account. The account starts with the observation that high stakes subjects aren't in an epistemic position to assert. We generally presuppose that knowing is sufficient for epistemically proper assertion, but this presupposition only stands up to scrutiny if we draw a distinction between two notions of epistemic propriety, and we shouldn't expect ordinary speakers to draw it. A subject in a high stakes situation who fails to draw the distinction will be led by the sufficiency claim to treat anything she isn't in a position to assert as something she isn't in a position to know. The sensitivity of epistemically proper assertion to practical factors explains the merely apparent sensitivity of knowledge to stakes. (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 paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

A cryptonormative judgment, roughly speaking, is a judgment that is presented by the agent who makes it as non-normative, but that is in fact normative. The idea of cryptonormativity is familiar from debates in social theory, social psychology, and continental political philosophy, but has to my knowledge never been treated in analytic metaethics, moral psychology or epistemology except in passing. In this paper, I argue, first, that cryptonormative judgments are pervasive: familiar cases from everyday life are most naturally diagnosed as (...) cryptonormative judgments. Secondly, they reveal that normative judgment is a state that can be quite deeply non-transparent to its bearer, in a way that is not, for example, assimilable to the phenomenon of self-deception. Thirdly, they shed light on debates over amoralism and lend some support to a picture of normative psychology that links normative judgment constitutively to motivation. In the conclusion, I make some remarks about the social and political insidiousness of cryptonormativity, looking forward to future work. (shrink)

The debate over rival conceptions of political legitimacy tends to focus on first-order considerations—for example, on the relative importance of procedural and substantive values. In this essay, I argue that there is an important, but often overlooked, distinction among rival conceptions of political legitimacy that originates at the meta-normative level. This distinction, which cuts across the distinctions drawn at the first-order level, concerns the source of the normativity of political legitimacy, or, as I refer to it here, the grounds of (...) political legitimacy. If we focus on the grounds of political legitimacy, there are three main conceptions of political legitimacy: will-based, belief-based, and fact-based conceptions. I present an objection to each of those main conceptions and defend a hybrid account of the grounds of political legitimacy. (shrink)

Some moral value is transparent just in case an agent with average mental capacities can feasibly come to know whether some entity does, or does not, possess that value. In this paper, I consider whether legitimacy—that is, the property of exercises of political power to be permissible—is transparent. Implicit in much theorising about legitimacy is the idea that it is. I will offer two counter-arguments. First, injustice can defeat legitimacy, and injustice can be intransparent. Second, legitimacy can play a critical (...) function in our practical thought, which sometimes requires intransparency. (shrink)

On a version of consent theory that tempts many, predatory sexual relations involving significant power imbalances (e.g. between professors and students, adults and teenagers, or employers and employees) are wrong because they violate consent-centric norms. In particular, the wronged party is said to have been incapable of consenting to the predation, and the sexual wrong is located in the encounter’s nonconsensuality. Although we agree that these are sexual wrongs, we resist the idea that they are always nonconsensual. We argue instead (...) that it is possible for students, teenagers, employees, etc. to fully consent to sexually predatory encounters; denying as much renders survivors of predation vulnerable to compounding harms. Survivors face a dilemma: give up either their understanding of their experience as wrong, or their self-conception as an agent capable of consenting. We call the latter phenomenon agential demotion. (shrink)

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)

Our decision-theoretic states are not luminous. We are imperfectly reliable at identifying our own credences, utilities and available acts, and thus can never be more than imperfectly reliable at identifying the prescriptions of decision theory. The lack of luminosity affords decision theory a remarkable opportunity — to issue guidance on the basis of epistemically inaccessible facts. We show how a decision theory can guarantee action in accordance with contingent truths about which an agent is arbitrarily uncertain. It may seem that (...) such advantages would require dubiously adverting to externalist facts that go beyond the internalism of traditional decision theory, but this is not so. Using only the standard repertoire of decision-theoretic tools, we show how to modify existing decision theories to take advantage of this opportunity. These improved decision theories require agents to maximize conditional expected utility — expected utility conditional upon an agent’s actual decision situation. We call such modified decision theories ‘self-confident’. These self-confident decision theories have a distinct advantage over standard decision theories: their prescriptions are better. (shrink)

In recent years, some defenders of traditional philosophical methodology have argued that certain critiques of armchair methods are mistaken in assuming that intuitions play central evidential roles in traditional philosophical methods. According to this kind of response, experimental philosophers attack a straw man; it doesn’t matter whether intuitions are reliable, because philosophers don’t use intuitions in the way assumed. Deutsch (2010), Williamson (2007), and Cappelen (2012) all defend traditional methods in something like this way. I also endorsed something like this (...) line in Ichikawa (2014a). -/- In this contribution, I will follow up on this sort of defence of traditional philosophical methods in three ways. In §1, I will rehearse and extend some of my reasons for challenging the idea that traditional methods depend on intuitions in an evidential role. (My reasons are very different from those discussed in (Cappelen, 2012).) I will also engage with some recent more sophisticated attempts to establish the idea that intuitions play evidential roles in philosophy, such as that of Chudnoff (2013). In §2, I will consider and argue against a dismissive response to such positions from experimental philosophers, who consider the question of philosophical reliance on intuitions to be irrelevant to the experimentalist critique. But in §3, I will argue that it would also be a mistake to conclude (as Herman Cappelen does) that the critique is rendered totally irrelevant by the denial of the evidential role of intuitions; I defend a more moderate view on which the bearing of experimental studies of philosophical intuitions is relevant for philosophical methodology, but only in a relatively limited way. (shrink)

Intuitively, we lack the standing to blame others in light of moral norms that we ourselves don't take seriously: if Adam is unrepentantly aggressive, say, he lacks the standing to blame Celia for her aggressiveness. But why does blame have this feature? Existing proposals try to explain this by reference to specific principles of normative ethics – e.g. to rule‐consequentialist considerations, to the wrongness of hypocritical blame, or principles of rights‐forfeiture based on this wrongness. In this paper, I suggest a (...) fundamentally different approach. Employing Timothy Williamson's idea of ‘constitutive rules’ of speech acts, I argue that this feature of blame is simply constitutive of any essentially moral form of disapproval. So if Adam had the standing to disapprove of Celia's aggressiveness in some form, necessarily, this disapproval couldn't be blame. If I'm right, this proposal thus not only answers our main question, but also sheds an interesting novel light on the very nature of blame. If we didn't have a form of disapproval with that feature, we wouldn't have our practice of holding each other to moral norms. (shrink)

Belief does aim at the truth. When our beliefs do not fit the facts, they cannot do what they are supposed to do, because they cannot provide us with reasons. We cannot plausibly deny that a truth norm is among the norms that govern belief. What we should not say is that the truth norm is the fundamental epistemic norm. In this paper, I shall argue that knowledge is the norm of belief and that the truth norm has a derivative (...) status. Only a knowledge‐first approach to epistemic normativity can explain why epistemic assessment has its inward‐looking focus. (shrink)

I begin with by discussing cases that seem to show that a range of norms – norms like Choose the best!, Believe the truth!, and even Keep your promises! – fail to map out an important part of normative space. At the core of the problem is the observation that in some cases we can only conform to these norms by luck, in a way that is not creditable to us. I outline a prevalent diagnosis of the problem of luck, (...) which I label perspectivist. According to this diagnosis, the problem with a range of objectivist norms is that they make reference to facts that may lie outside our perspectives, not being present to our minds. An agent’s perspective is a kind of representation of the world: her evidence, knowledge, beliefs, experiences, etc. The first aim of this paper is to argue that the perspectivist diagnosis of the problem of luck is not ultimately correct. The correct diagnosis, I argue, is feasibilist: in some situations it is not feasible to choose, act, or believe in ways that conformity to objectivist norms robustly depends on. That is, it is sometimes not feasible to manifest dispositions that robustly enough track what one ought to do or believe, according to norms like those listed above. The same, I argue, is true of perspectivist norms: sometimes it is not feasible to track facts about our own perspectives. This shift in focus from the limits of our perspectives to limits on what dispositions it is feasible to manifest has, I argue, deep ramifications for normative theory. My second aim is to sketch an alternative, feasibilist way of thinking about a more subject-directed kind of normativity, one that takes into account our limitations as human agents. The result is a normative picture that unifies the practical and theoretical domains. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

A common response to radical skeptical challenges to our knowledge of the external world has been that there are explanatory reasons (e.g., simplicity, coherence, explanatory power, conservatism) for favoring commonsense explanations of our sensory experiences over skeptical explanations. Despite the degree of visibility this class of response has enjoyed, it has often been viewed with skepticism [sic] by the epistemological community because of concerns about the epistemic merits of explanatory reasoning. I argue that skeptical challenges that employ skeptical hypotheses presuppose (...) central explanationist tenets and that this fact should raise one’s estimation of the strength of explanationist responses to skepticism. (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)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come apart.

The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

The discussion about deep disagreement has gained significant momentum in the last several years. This discussion often relies on the intuition that deep disagreement is, in some sense, rationally irresolvable. In this paper, I will provide a theory of rationally irresolvable disagreement. Such a theory is interesting in its own right, since it conflicts with the view that rational attitudes and procedures are paradigmatic tools for resolving disagreement. Moreover, I will suggest replacing discussions about deep disagreement with an analysis of (...) rationally irresolvable disagreement, since this notion can be more clearly defined than deep disagreement and captures the basic intuitions underlying deep disagreement. I will first motivate this project by critically assessing the current debate about deep disagreement. I then detail the notions of rationality and resolvable disagreement which are crucial for a suitable theory of rationally irresolvable disagreement before sketching various instances of rationally irresolvable disagreement. Finally, I argue for replacing theories of deep disagreement with theories of rationally irresolvable disagreement, an approach that has significant advantages over existing theories of deep disagreement which focus on hinge propositions or fundamental epistemic principles. (shrink)

Questions surrounding deep disagreement have gained significant attention in recent years. One of the central debates is metaphysical, focusing on the features that make a disagreement deep. Proposals for what makes disagreements deep include theories about hinge propositions and first epistemic principles. In this paper, I criticize this metaphysical discussion by arguing that it is methodologically flawed. Deep disagreement is a technical or semi-technical term, but the metaphysical discussion mistakenly treats it as a common-sense concept to be analyzed and captured (...) by our pre-theoretical intuitions. Since the literature on deep disagreement is subject to this fundamental confusion and deep disagreement is not a helpful umbrella term either, I propose eliminating the notion of deep disagreement from the philosophical discourse. Instead of analyzing the nature of deep disagreement, we should develop theories about different forms of disagreement, including disagreement about hinge propositions and disagreement about epistemic principles, and, in particular, a theory of rationally irresolvable disagreement. (shrink)

Although assertions are often characterised as essentially informative speech acts, there is a widespread disagreement concerning how the informativeness of assertions should be understood. This paper proposes the informativeness norm of assertion, which posits that assertions are speech acts that essentially deliver new information. As a result, if one asserts something that is already commonly known, one’s assertion is improper. The norm is motivated by appealing to unique conversational patterns associated with informative and uninformative uses of assertions, an analogy between (...) assertions and inquiries, and a distinction between assertions and uninformative speech acts. By focusing on the normative approach to speech acts, the paper discusses how particular norms of assertion deal with the data supporting the norm of informativeness. To be informative, the speaker must consider the epistemic position of the audience. Since the majority of norms proposed in the literature are speaker-centred, they fail to explain the submitted data. Looking more broadly, focusing on the informativeness of assertions underscores the crucial role of the audience in construing adequate speech act accounts. (shrink)

P.F. Strawson argued that ‘mature sensible experience (in general) presents itself as … an immediate consciousness of the existence of things outside us’ (1979: 97). He began his defence of this very natural idea by asking how someone might typically give a description of their current visual experience, and offered this example of such a description: ‘I see the red light of the setting sun filtering through the black and thickly clustered branches of the elms; I see the dappled deer (...) grazing in groups on the vivid green grass…’ (1979: 97). In other words, in describing experience, we tend to describe the objects of experience – the things which we experience – and the ways they are when we are experiencing them. Some go further. According to Heidegger. (shrink)