Epistemic permissivism is the view that it is possible for two people to rationally hold incompatible attitudes toward some proposition on the basis of one body of evidence. In this paper, I defend a particular version of permissivism – unacknowledged permissivism (UP) – which says that permissivism is true, but that no one can ever rationally believe that she is in a permissive case. I show that counter to what virtually all authors who have discussed UP claim, UP is an (...) attractive view: it is compatible with the intuitive motivations for permissivism and avoids a significant challenge to permissivism: the arbitrariness objection. (shrink)

Scientists, philosophers, and other researchers commonly assert their theories. This is surprising, as there are good reasons for skepticism about theories in cutting-edge research. I propose a new account of assertion in research contexts that vindicates these assertions. This account appeals to a distinct propositional attitude called endorsement, which is the rational attitude of committed advocacy researchers have to their theories. The account also appeals to a theory of conversational pragmatics known as the Question Under Discussion model, or QUD. Hence, (...) I call the theory the EQUD model. Motivating this account is a recognition that the speech act of assertion has two roles to play in research contexts. The first is the advocacy role, in which researchers assert a theory in order to advocate for it. The second is the evidential role, which is used to add to the common stock of information available to a field of inquiry. The EQUD model provides an account of warranted assertion for both these roles in research contexts. This success provides support for the theory of endorsement. It also provides support for information updating accounts of assertion. (shrink)

In this thesis, I will defend a new kind of compatibilist account of free action, indirect conscious control compatibilism (or indirect compatibilism for short), and argue that some of our actions are free according to it. My argument has three components, and involves the development of a brand new tool for experimental philosophy, and the use of cognitive neuroscience. The first component of the argument shows that compatibilism (of some kind) is a conceptual truth. Contrary to the current orthodoxy in (...) the free will literature, which is that our concept of free will is an incompatibilist concept - a concept according to which we have free will only if determinism is false - I will show that our concept of free will is in fact a compatibilist concept - a concept according to which we can have free will even if determinism is true - and I do so using a new experimental philosophy methodology inspired by two-dimensional semantics. -/- Of course, even if our concept of free will is a compatibilist concept, this does not mean that there are any free actions in the world: the current empirical evidence from the brain sciences appears to show that there might be no, or very few, free actions in the world, even on many compatibilist understandings of what it would take for there to be free will. The second component of the argument addresses this concern by extending our understanding of compatibilism. Agents act freely either when their actions are caused by compatibilistically acceptable psychological processes, or are indirectly caused by those same processes. Hence the name of my account: indirect compatibilism. -/- The final component of the argument defends my new account against some interesting objections and provides evidence from cognitive neuroscience that some of our actions count as free by the lights of indirect compatibilism. (shrink)

It is common to think that what theory of linguistic vagueness is correct has implications for debates in philosophy of law. I disagree. I argue that the implications of particular theories of vagueness on substantive issues of legal theory and practice are less far-reaching than often thought. I focus on four putative implications discussed in the literature concerning (i) the value of vagueness in the law, (ii) the possibility and value of legal indeterminacy, (iii) the possibility of the rule of (...) law, and (iv) strong discretion. I conclude with some methodological remarks. Delineating questions about conventional meaning, the metaphysics/metasemantics of (legal) content determination, and norms of legal interpretation and judicial practice can motivate clearer answers and a more refined understanding of the space of overall theories of vagueness, interpretation, and law. (shrink)

Elizabeth Barnes and Robert Williams have developed a theory of metaphysical indeterminacy, via which they defend the theoretical legitimacy of vague objects. In this paper, we argue that while the Barnes–Williams theory supplies a viable account of genuine metaphysical vagueness, it cannot underwrite an account of genuinely vague objects. First we clarify the distinction between these two key theses. Then we argue that the Barnes–Williams theory of metaphysical vagueness not only fails to deliver genuinely vague objects, it in fact provides (...) grounds for rejecting them. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was paradoxical (...) that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (shrink)

This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees (...) of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (shrink)

Moore’s paradox, the infamous felt bizarreness of sincerely uttering something of the form “I believe grass is green, but it ain’t”—has attracted a lot of attention since its original discovery (Moore 1942). It is often taken to be a paradox of belief—in the sense that the locus of the inconsistency is the beliefs of someone who so sincerely utters. This claim has been labeled as the priority thesis: If you have an explanation of why a putative content could not be (...) coherently believed, you thereby have an explanation of why it cannot be coherently asserted. (Shoemaker 1995). The priority thesis, however, is insufficient to give a general explanation of Moore-paradoxical phenomena and, moreover, it’s false. I demonstrate this, then show how to give a commitment-theoretic account of Moore Paradoxicality, drawing on work by Bach and Harnish. The resulting account has the virtue of explaining not only cases of pragmatic incoherence involving assertions, but also cases of cognate incoherence arising for other speech acts, such as promising, guaranteeing, ordering, and the like. (shrink)

ABSTRACTWe express and communicate many attitudes beyond belief, such as amusement, joy, admiration, hatred, and desire. I consider whether there are any general norms that would cover all of these cases. The most obvious generalisation of the most popular norms for assertion, fittingness-based theories, fail in part because it is sometimes an intrinsic good to have certain kinds of mental states. I develop an alternative, rightness-based, approach, according to which it is appropriate to communicate a mental state to an interlocutor (...) when it is right to make the interlocutor have that mental state because of the speech act. This view arises naturally from conversational participants’ common interests, and it helps to make sense of linguistic phenomena like expressives. (shrink)

This dialogue between Achilles and the Tortoise – in the spirit of those of Carroll and Hofstadter – argues against the idea, identified with the “traditional” interpretation of Aristotle’s “sea battle argument”, that future contingents are an exception to the Principle of Bivalence. It presents examples of correct everyday predictions, without which one would not be able to decide and to act; however, doing this is incompatible with the belief that the content of these predictions lacks a truth-value. The cost (...) of using a non-classical logic to cope with that may be too high for Stagirite’s defenders, and they would still need to explain why our ordinary predictions seem to have a binary truth-value. In the end, the paper suggests that the problem of future contingents – and of free will – is not a logical problem at all, but rather a limit on what an agent can believe before taking a decision. (shrink)

Two philosophical questions arise about rationality in centipede games that are logically prior to attempts to apply the formal tools of game theory to this topic. First, given that the players have common knowledge of mutual rationality and common knowledge that they are each motivated solely to maximize their own profits, is there a backwards-induction argument that employs only familiar non-technical concepts about rationality, leads to the conclusion that the first player is rationally obligated to end the game at the (...) first step, is deductively valid, employs premises all of which are prima facie highly plausible, and is prima facie sound and )? Second, if there is such an argument, then is it actually sound, or is it instead defective somehow despite being prima facie sound? Addressing these two questions is our project. We present a backwards-induction argument that is prima facie sound; we argue that it is an instance of the notorious sorites paradox, and hence that the concepts of rational obligatoriness and rational permissibility are vague; and we briefly address the potential consequences of all this for the foundations of game theory and decision theory. (shrink)

On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they are applied. Of course, such views face the sorites paradox, and various solutions have been proposed. One proposed solution involves banning repeated appeals to tolerance, while affirming tolerance in any individual case. In effect, this solution rejects the reasoning of the sorites argument. This paper discusses a thorny problem afflicting this approach to vagueness. (...) In particular, it is shown that, on the foregoing view, whether an object is a heap will sometimes depend on factors extrinsic to that object, such as whether its components came from other heaps. More generally, the paper raises the issue of how to count heaps in a tolerance-friendly framework. (shrink)

According to the so-called ‘deliberation crowds out prediction’ thesis, while deliberating about what you’ll do, you cannot rationally have credences for what you’ll do – you cannot rationally have option-credences. Versions of the thesis have been defended by authors such as Spohn, Levi, Gilboa, Price, Louise, and others. After registering a number of concerns about the thesis, I rehearse and rebut many of the main arguments for it, grouped according to their main themes: agency, vacuity, betting, and decision-theoretical considerations. I (...) go on to suggest many possible theoretical roles for option-credences. -/- I locate the debate about the thesis in a broader discussion: Are there rational credence gaps – propositions to which one cannot rationally assign credences? If there are, they spell trouble for various foundations of Bayesian epistemology, including the usual ratio formula for conditional probability, conditionalization, decision theory, and independence. According to the thesis, credence gaps are completely mundane; they arise every time someone rationally deliberates. But these foundations are safe from any threat here, I contend, since the thesis is false. Deliberation welcomes prediction. (shrink)

This paper comprises a defence of Infallibilism about knowledge. In it, I articulate two arguments in favour of Infallibilism, and for each argument show that Infallibilism about knowledge does not lead to an unpalatable Scepticism if justified belief is neither necessary nor sufficient for knowledge, and if Fallibilism about justified belief is true.

Desires matter. How are we to understand the intentionality of desire? According to the two classical views, desire is either a positive evaluation or a disposition to act: to desire a state is to positively evaluate it or to be disposed to act to realize it. This Ph.D. Dissertation examines these conceptions of desire and proposes a deontic alternative inspired by Meinong. On this view, desiring is representing a state of affairs as what ought to be or, if one prefers, (...) as what should be. Desire involves a deontic manner of representing: a norm of the ought-to-be type features in desire’s intentional mode, as opposed to content. The dissertation is structured in three parts. In order to defend this conception, I formulate three main desiderata for a promising theory of the intentionality of desire in the introduction (§0). The first concerns desire’s direction of fit, i.e. the intuition that the world should conform to our desires. The second concerns the death of desire principle, i.e. the intuition that one cannot desire what one represents as actual. The last pertains to desire’s role in psychological explanations, i.e. the intuition that desires can explain some mental states and be explained by other mental states. The first part examines the main conceptions of desire in light of these desiderata. I argue that the classical pictures of desire do not adequately meet our desiderata. The first chapter is devoted to the evaluative conception (§1), while the second examines the motivational approach (§2). Following these criticisms, I then present the deontic view of desire (§3). In the second part, I defend this conception with the help of three arguments. The main idea is that appealing to norms of the ought-to-be type can satisfy our chief desiderata: the world should conform to norms (world-to-mind direction of fit, §4), norms are grounded on values and in turn ground obligations (explanation, §5), and norms are about non-actual states of affairs (death of desire principle, §6). In the last part, I develop the deontic view to draw a cartography of the various types of desire. Some desires are correct, while others are inappropriate. This distinction is explained by the deontic conception, as it matches that between states of affairs that ought to obtain and states that should not obtain (§7). Two study cases are examined: caprice and the impermissibility of desire aggregation. Intuitively, hopes, wishes, or urges are types of desire. The next chapter presents a typology inspired by the deontic view and the type of norms there are (§8). The last chapter discusses the main objections to the deontic approach (§9). In conclusion, I show the relevance of the deontic view for several debates in philosophy of mind and ethics. Desires are crucial because they are the ‘eye’ of what should be. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

God, by definition, is all-powerful, all-good, all-wise, and all-knowing. Therein lies a problem for the theist, of course, for every one of these attributes has been the subject of fierce debate. In this paper I want to return to the debate by introducing a new problem for the idea that anyone could have the kind of perfect knowledge God is supposed to have. What distinguishes my problem from others is that the sort of knowledge it focuses on is self-knowledge, hence (...) knowledge of a particularly intimate kind. My claim is that God cannot have infallible knowledge of at least some of his own perfections, in particular his being all-wise or ideally rational. Such ignorance is not only inconsistent with the usual conception of God's omniscience, given that whatever knowledge God possesses is traditionally thought to be be a priori and infallible, but, more importantly, is inconsistent with the fundamental idea that God at least knows infallibly or incorrigibly that he has what it takes to be God: qualities such as omnibenevolence, omnipotence, and supreme wisdom. In short, my claim is that God must have a deep “blindspot” about his own nature, something which is inconsistent with a traditional picture of that nature. (shrink)

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

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

Edgington has proposed a solution to the sorites paradox in terms of ‘verities’, which she defines as degrees of closeness to clear truth. Central to her solution is the assumption that verities are formally probabilities. She is silent on what verities might derive from and on why they should be probabilities. This paper places Edgington’s solution in the framework of a spatial approach to conceptualization, arguing that verities may be conceived of as deriving from how our concepts relate to each (...) other. Building on work by Kamp and Partee, this paper further shows how verities, thus conceived of, may plausibly be assumed to have probabilistic structure. The new interpretation of verities is argued to also help answer the question of what the verities of indicative conditionals are, a question which Edgington leaves open. Finally, the question of how to accommodate higher-order vagueness, given this interpretation, is addressed. (shrink)

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...) from that model theory, one of which I will find to be more plausible than the other. (shrink)

I present an argument against the thesis of Uniqueness and in favour of Permissivism. Counterexamples to Uniqueness are provided, based on ‘Safespot’ propositions – i.e. a proposition that is guaranteed to be true provided the subject adopts a certain attitude towards it. The argument relies on a plausible principle: (roughly stated) If S knows that her believing p would be a true belief, then it is rationally permitted for S to believe p. One motivation for denying this principle – viz. (...) opposition to ‘epistemic consequentialism’ – is briefly discussed. The principle is extended to cover degrees of belief and compared with a couple of other well-known constraints on rational degrees of belief. (shrink)

Many philosophers hold that a general norm of truth governs the attitude of believing. In a recent and influential discussion, Krister Bykvist and Anandi Hattiangadi raise a number of serious objections to this view. In this paper, I concede that Bykvist and Hattiangadi's criticisms might be effective against the formulation of the norm of truth that they consider, but suggest that an alternative is available. After outlining that alternative, I argue that it is not vulnerable to objections parallel to those (...) Bykvist and Hattiangadi advance, although it might initially appear to be. In closing, I consider what bearing the preceding discussion has on important questions concerning the natures of believing and of truth. (shrink)

The mooronic solution to the surprise quiz paradox says students know there will be a surprise quiz one day this week but they lose this knowledge on the penultimate day. This is because ‘there will be a surprise quiz one day this week’ then becomes an instance of Moore's paradox. This view has surprising consequences. Furthermore, even though the surprise quiz announcement becomes an instance of Moore's paradox on the penultimate day, this does not prevent the students from knowing the (...) quiz is coming. I conclude that the first stage of the paradoxical argument succeeds and the mooronic solution fails. (shrink)

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, we explore a variation (...) on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)

ABSTRACT: Most of what we believe comes to us from the word of others, but we do not always believe what we are told. We often reject thinkers' reports by attributing biases to them. We may call this debunking. In this essay, I consider how debunking might work and then examine whether, and how often, it can help to preserve rational belief in the face of disagreement.

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

Some intentional attitudes (beliefs, fears, desires, etc.) have a common focus in spite of there being no object at that focus. For example, two beliefs may be about the same witch even when there are no witches, different astronomers had beliefs directed at Vulcan, even though there is no such planet. This relation of having a common focus, whether or not there is an actual concrete object at that focus, is called intentional identity. In the first part of this thesis (...) I develop a new theory of intentional identity, the triangulation theory, and argue that it has significant advantages over the extant theories of intentional identity in the literature. Empty attitudes (attitudes that are not, prima facie, about anything that exists) will serve as useful cases for testing theories of intentional identity. -/- In the second part, I put the theory developed in the first part to work. I use triangulation theoretic tools to shed light on other debates about intentional attitudes. Some issues to which intentional identity are relevant are the debate about the content of intentional attitudes, the issue of whether or not we need to appeal to external constraints on the content of intentional attitudes, how we should understand the agreement and disagreement of attitudes, how we should construe communication and how we ought to solve Kripke’s puzzle about belief. The second part of this thesis also motivates a broadly internalist and individualistic approach to the con-tent of intentional attitudes; it turns out that if we take a closer look at the narrowly construed psychological states of agents we find materials that allow us to make sense of phenomena usually associated with externalist constraints on the content of attitudes (such as causal constraints and eligibility constraints) in a new way. (shrink)

Intuitively, vagueness involves some sort of indeterminacy: if Plato is a borderline case of baldness, then there is no fact of the matter about whether or not he’s bald—he’s neither bald nor not bald. The leading formal treatments of such indeterminacy—three valued logic, supervaluationism, etc.—either fail to validate the classical theorems, or require that various classically valid inference rules be restricted. Here we show how a fully classical, yet indeterminist account of vagueness can be given within natural semantics, an alternative (...) semantics for classical proof theory. The key features of the account are: there is a single notion of truth—definite truth—and a single notion of validity; sentences can be true, false, or undetermined; all classical theorems and all classical inference rule are valid; the sorites argument is unsound; ‘definitely’ is treated as a meta-language predicate; higher-order vagueness is handled via semantic ascent. (shrink)

The aim of this paper is to argue that what I call the simple theory of introspection can be extended to account for our introspective knowledge of what we believe as well as what we consciously experience. In section one, I present the simple theory of introspection and motivate the extension from experience to belief. In section two, I argue that extending the simple theory provides a solution to Moore’s paradox by explaining why believing Moorean conjunctions always involves some degree (...) of irrationality. In section three, I argue that it also solves the puzzle of transparency by explaining why it’s rational to answer the question whether one believes that p by answering the question whether p. Finally, in section four, I defend the simple theory against objections by arguing that self-knowledge constitutes an ideal of rationality. (shrink)

In previous work I’ve defended an interest-relative theory of belief. This paper continues the defence. It has four aims. -/- 1. To offer a new kind of reason for being unsatis ed with the simple Lockean reduction of belief to credence. 2. To defend the legitimacy of appealing to credences in a theory of belief. 3. To illustrate the importance of theoretical, as well as practical, interests in an interest-relative account of belief. 4. To revise my account to cover propositions (...) that are practically and theoretically irrelevant to the agent. (shrink)

In this paper, we provide a Bayesian analysis of the well-known surprise exam paradox. Central to our analysis is a probabilistic account of what it means for the student to accept the teacher's announcement that he will receive a surprise exam. According to this account, the student can be said to have accepted the teacher's announcement provided he adopts a subjective probability distribution relative to which he expects to receive the exam on a day on which he expects not to (...) receive it. We show that as long as expectation is not equated with subjective certainty there will be contexts in which it is possible for the student to accept the teacher's announcement, in this sense. In addition, we show how a Bayesian modeling of the scenario can yield plausible explanations of the following three intuitive claims: (1) the teacher's announcement becomes easier to accept the more days there are in class; (2) a strict interpretation of the teacher's announcement does not provide the student with any categorical information as to the date of the exam; and (3) the teacher's announcement contains less information about the date of the exam the more days there are in class. To conclude, we show how the surprise exam paradox can be seen as one among the larger class of paradoxes of doxastic fallibilism, foremost among which is the paradox of the preface. (shrink)

This paper explores how a certain theory of knowledge—known as anti-luck virtue epistemology—can account for, and in the process shed light on, the notion of an epistemic defeater. To this end, an overview of the motivations for anti-luck virtue epistemology is offered, along with a taxonomy of different kinds of epistemic defeater. It is then shown how anti-luck virtue epistemology can explain: why certain kinds of putative epistemic defeater are not bona fide; how certain kinds of epistemic defeater are genuine (...) in virtue of exposing the subject to significant levels of epistemic risk; and how certain kinds of epistemic defeater are genuine in virtue of highlighting how the subject’s safe cognitive success does not stand in the appropriate explanatory relationship to her manifestation of relevant cognitive ability. (shrink)

This is a critical discussion of the accuracy-first approach to epistemic norms. If you think of accuracy (gradational or categorical) as the fundamental epistemic good and think of epistemic goods as things that call for promotion, you might think that we should use broadly consequentialist reasoning to determine which norms govern partial and full belief. After presenting consequentialist arguments for probabilism and the normative Lockean view, I shall argue that the consequentialist framework isn't nearly as promising as it might first (...) appear. (shrink)

Roy Sorensen introduced the concept of an epistemic blindspot in the 1980s. A proposition is an epistemic blindspot for some individual at some time if and only if that proposition is consistent but unknowable by that individual at that time. In the first half of this paper, I extend Sorensen work on blindspots by arguing that there exist blindspots that essentially involve hopes. In the second half, I show how such blindspots can contribute to and impair different pursuits of self-understanding. (...) My arguments throughout this paper draw on Luc Bovens’s account of hope. (shrink)

Review of Horgan and Potrc (2008). I discuss both their linguistic and ontological theses.

G. E. Moore famously observed that to assert ‘I went to the pictures last Tuesday but I do not believe that I did’ would be ‘absurd’. Moore calls it a ‘paradox’ that this absurdity persists despite the fact that what I say about myself might be true. Krista Lawlor and John Perry have proposed an explanation of the absurdity that confines itself to semantic notions while eschewing pragmatic ones. We argue that this explanation faces four objections. We give a better (...) explanation of the absurdity both in assertion and in belief that avoids our four objections. (shrink)

Sergio Tenenbaum and Diana Raffman contend that ‘vague projects’ motivate radical revisions to orthodox, utility-maximising rational choice theory. Their argument cannot succeed if such projects merely ground instances of the paradox of the sorites, or heap. Tenenbaum and Raffman are not blind to this, and argue that Warren Quinn’s Puzzle of the Self-Torturer does not rest on the sorites. I argue that their argument both fails to generalise to most vague projects, and is ineffective in the case of the Self-Torturer (...) itself. (shrink)

It is raining but you don’t believe that it is raining. Imagine silently accepting this claim. Then you believe both that it is raining and that you don’t believe that it is raining. This would be an ‘absurd’ thing to believe,yet what you believe might be true. Itmight be raining, while at the same time, you are completely ignorant of the state of the weather. But how can it be absurd of you to believe something about yourself that might be (...) true of you? This is Moore’s paradox as it occurs in thought. Solving the paradox consists in explaining why such beliefs are absurd. I give a survey of some of the main explanations. I largely deal with explanations of the absurdity of ‘omissive’ beliefs with contents of the form p & I don’t believe that p and of ‘commissive beliefs’ with contents of the form p & I believe that not-p as well as beliefs with contents of the form p & I don’t know that p. (shrink)

A discussion of epistemic reasons, theoretical rationality, and the relationship between them. Discusses the ontology of reasons and evidence, the relationship between reasons (motivating, normative, possessed, apparent, genuine, etc.) and rationality, the relationship between epistemic reasons and evidence, the relationship between rationality, justification, and knowledge, and many other related topics.

The Knowability Paradox is a logical argument that, starting from the plainly innocent assumption that every true proposition is knowable, reaches the strong conclusion that every true proposition is known; i.e. if there are unknown truths, there are unknowable truths. The paradox has been considered a problem for every theory assuming the Knowability Principle, according to which all truths are knowable and, in particular, for semantic anti-realist theories. A well known criticism to the Knowability Paradox is the so called restriction (...) strategy. It bounds the scope of the universal quantification in (KP) to a set of formulas whose logical form avoids the paradoxical conclusion. Specifically, Tennant suggests to restrict the quantifier in (KP) to propositions whose knowledge is provably inconsistent. He calls them Anti-Cartesian propositions and distinguished them in three kinds. In this paper we will not be concerned with the soundness of the restriction proposal and the criticisms it has received. Rather, we are interested in analyzing the proposed distinction. We argue that Tennant’s distinction is problematic because it is not completely clear, it is not grounded on an adequate logical analysis, and it is incomplete. We suggest an alternative distinction, and we give some reasons for accepting it: it results logically grounded and more complete than Tennant’s one, inclusive of it and independent from non-epistemic notions. (shrink)

Ethical vagueness has garnered little attention. This is rather surprising since many philosophers have remarked that the science of ethics lacks the precision that other fields of inquiry have. Of the few philosophers who have discussed ethical vagueness the majority have focused on the implications of vagueness for moral realism. Because the relevance of ethical vagueness for other metaethical positions has been underexplored, my aim in this paper is to investigate the ramifications of ethical vagueness for expressivism. Ultimately, I shall (...) argue that expressivism does not have the resources to adequately account for ethical vagueness, while cognitivism does. This demonstrates an advantage that cognitivism holds over expressivism. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart of (...) Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

By “epistemic pragmatism” in general I will understand the claim that whether propositions instantiate certain key epistemic properties (such as being known or being justifiably believed) depends not just on factors traditionally recognized as epistemic, but also on pragmatic factors, such as how costly it would be to the subject if the proposition were false. In what follows I consider two varieties of epistemic pragmatism. According to what I shall call moderate epistemic pragmatism, how much evidence we need in favor (...) of a proposition in order to know that the proposition is true depends on our preferences. According to what I shall call extreme epistemic pragmatism, on the other hand, our preferences influence our epistemic position at a more basic level, because they help determine how much justification we actually have in favor of the proposition in question. Simplifying brutally, moderate epistemic pragmatism has it that the more worried we are about a proposition’s being false, the more justification we need in order to know it, whereas extreme epistemic pragmatism has it that the more worried we are about a proposition’s being false, the less justification we have for it. Recently, Fantl and McGrath have presented an interesting argument for moderate epistemic pragmatism, an argument which relies on the principle that (roughly) knowledge is sufficient for action (KA). In this paper I argue that KA, together with a plausible principle about second-order evidence, entails extreme epistemic pragmatism. (shrink)