From the dictum "ought implies can", it has been argued that no account of belief's normativity can avoid the unpalatable result that, for unbelievable propositions such as "It is raining and nobody believes that it is raining", one ought not to believe them even if true. In this article, I argue that this move only succeeds on a faulty assumption about the conjunction of doxastic "oughts.".

The Surprise Exam Paradox continues to perplex and torment despite the many solutions that have been offered. This paper proposes to end the intrigue once and for all by refuting one of the central pillars of the Surprise Exam Paradox, the 'No Friday Argument,' which concludes that an exam given on the last day of the testing period cannot be a surprise. This refutation consists of three arguments, all of which are borrowed from the literature: the 'Unprojectible Announcement Argument,' the (...) 'Wright & Sudbury Argument,' and the 'Epistemic Blindspot Argument.' The reason that the Surprise Exam Paradox has persisted this long is not because any of these arguments is problematic. On the contrary, each of them is correct. The reason that it has persisted so long is because each argument is only part of the solution. The correct solution requires all three of them to be combined together. Once they are, we may see exactly why the No Friday Argument fails and therefore why we have a solution to the Surprise Exam Paradox that should stick. (shrink)

We shall evaluate two strategies for motivating the view that knowledge is the norm of belief. The first draws on observations concerning belief's aim and the parallels between belief and assertion. The second appeals to observations concerning Moore's Paradox. Neither of these strategies gives us good reason to accept the knowledge account. The considerations offered in support of this account motivate only the weaker account on which truth is the fundamental norm of belief.

On two standard views of vagueness, vagueness as to whether Harry is bald entails that nobody knows whether Harry is bald—either because vagueness is a type of missing truth, and so there is nothing to know, or because vagueness is a type of ignorance, and so even though there is a truth of the matter, nobody can know what that truth is. Vagueness as to whether Harry is bald does entail that nobody clearly knows that Harry is bald and that (...) nobody clearly knows that Harry is not bald. But it does not entail that nobody knows that Harry is bald or that nobody knows that Harry is not bald. Hence, the two standard views of vagueness are mistaken. (shrink)

The so-called "argument from vagueness", the clearest formulation of which is to be found in Ted Sider’s book Four-dimensionalism, is arguably the most powerful and innovative argument recently offered in support of the view that objects are four-dimensional perdurants. The argument is defective--I submit--and in a number of ways that is worth looking into. But each "defect" corresponds to a model of change that is independently problematic and that can hardly be built into the common-sense picture of the world. So (...) once all the gaps of the argument are filled in, the three-dimensionalist is left with the burden of a response that cannot rely on a passive plea for common sense. The argument is not a threat to common sense as such; it is a threat to the three-dimensionalist faithfulness to common sense. (shrink)

This is a defense and extension of Stephen Yablo's claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form 'None of these subsequent sentences are true' generates the same instability in assigning truth values. I argue Yablo's technique of substituting infinity for self-reference applies to all so-called 'self-referential' paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus's validity paradox, the Knower, and other enigmas of the genre. I (...) rebut objections that Yablo's paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo's paradox. I rebut objections that Yablo's liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin's algorithmic information theory. The paper concludes with comments on the mystique of self-reference. (shrink)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in line with the (...) standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

'Epistemic' theories of vagueness notoriously claim that (despite the appearances to the contrary) all of our vague terms have sharp boundaries, it's just that we can't know what they are. Epistemic theories are typically criticized for failing to explain (1) the source of the ignorance postulated, and (2) how our terms could come to have such precise boundaries. Both of these objections will, however, be shown to rest on certain 'presentist' assumptions about the relation between use and meaning, and if (...) allows that the meaning constitutive elements of our linguistic practices can extend into the future, the possibility of a new sort of 'normative epistemicism' emerges. (shrink)

Temporal externalists argue that ascriptions of thought and utterance content can legitimately reflect contingent conceptual developments that are only settled after the time of utterance. While the view has been criticized for failing to accord with our “ordinary linguistic practices”, such criticisms (1) conflate our ordinary ascriptional practices with our more general beliefs about meaning, and (2) fail to distinguish epistemically from pragmatically motivated linguistic changes. Temporal externalism relates only to the former sort of changes, and the future usage relevant (...) to what we mean reflects reason-driven practices that are rational for us to defer to. (shrink)

The so-called ‘argument from vagueness’ is among the most powerful and innovative arguments offered in support of the view that objects are four-dimensional perdurants. The argument is defective – I submit – and in a number of ways that are worth looking into. But each ‘defect’, each gap in the argument, corresponds to a model of change that is independently problematic and that can hardly be built into the common-sense picture of the world. So once all the gaps of the (...) argument are filled in, the three-dimensionalist is left with the burden of a response that cannot rely on a passive plea for common sense. The argument is not a threat to common sense as such; it is a threat to the three-dimensionalist faithfulness to common sense. (shrink)

In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is 'fact p is true and you don't know that', after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given (...) information state is called an unsuccessful update. A successful formula is a formula that always becomes common knowledge after being announced. Analysis of information systems and 'philosophical puzzles' reveals a growing number of dynamic phenomena that can be described or explained by unsuccessful updates. This increases our understanding of such philosophical problems. We also investigate the syntactic characterization of the successful formulas. (shrink)

According to one account, vagueness is "metaphysical." The friend of metaphysical vagueness believes that, for some object and some property, there can be no determinate fact of the matter whether that object exemplifies that property. A second account maintains that vagueness is due only to ignorance. According to the epistemic account, vagueness is explained completely by and is nothing over and above our not knowing some relevant fact or facts. These are the minority views. The dominant position maintains that there (...) is a third possible variety of vagueness, linguistic vagueness. And, it goes on to insist, all vagueness is of this third variety. I shall argue, however, that linguistic vagueness is not a third variety of vagueness. Either it is a species of metaphysical vagueness or a kind of ignorance. And this, I argue, makes trouble for the claim that all vagueness is linguistic. (shrink)

N.B. Dr Bykvist is now based at the Faculty of Philosophy, University of Oxford. The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page.

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

For Moore, it is a paradox that although I would be absurd in asserting that (it is raining but I don.

G. E. Moore famously pointed out that all sincere assertions of the form ‘p, but I don’t believe that p’ are inherently absurd. John Turri strongly disagrees with the consensus evaluation of such assertions as inherently absurd and offers a counterexample according to which it is possible to say ‘Eliminativism is true, but of course I don’t believe it’s true’ sincerely and without any absurdity. I argue in this paper that Turri’s attempt misses the point entirely, for the most natural (...) interpretations of his counterexample are either absurd or do not represent genuinely Moorean assertions. The critical analysis of Turri’s counterexample will enable me to reach the general conclusion that precludes the possibility of omissive Moorean assertions that are inherently non-absurd, at least if we hold that our assertions ought to have some normative function. (shrink)

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)

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)

A blindspot is a consistent but inaccessible proposition. For instance, I cannot know 'The test is on Friday but I do not know it'. No contradiction follows from the supposition that you know my blindspot. But could you know my blindspot if we are epistemic peers? Epistemic peers have the same evidence and reasoning ability. So either both peers know a proposition or both are ignorant. Since I cannot know my blindspot, neither can my peer. Thus the formal ignorance associated (...) with blindspots spreads to my peers. This contagion is used to improve a solution to the blindspot solution to the surprise test paradox. (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)

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...) the research program of computational epistemology, which investigates the parameter of maximum rationality for finite reasoners using computer simulations. (shrink)

Harry Frankfurt Journal of Philosophy, 66, 829–39 famously attacked what he called the principle of alternate possibilities. PAP states that being able to do otherwise is necessary for moral responsibility. He gave counterexamples to PAP known since then as “Frankfurt cases.” This paper sidesteps the enormous literature on Frankfurt cases while preserving some of our salient pretheoretical intuitions about the relation between alternate possibilities and moral responsibility. In particular, I introduce, explain, and defend a principle that has so far been (...) overlooked, namely, “the principle of doxastic moral asymmetry” : a rational agent, S, is morally responsible for an action that S performed, E, only if, when S did E, S justifiably believed either that E was closer to S’s most praiseworthy alternate possibility than it was to S’s most blameworthy alternate possibility, or that E was closer to S’s most blameworthy alternate possibility than it was to S’s most praiseworthy alternate possibility. (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)

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)

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.

I defend the thesis that beliefs are constitutively normative from two kinds of objection. After clarifying what a “blindspot” proposition is and the different types of blindspots there can be, I show that the existence of such propositions does not undermine the thesis that beliefs are essentially governed by a negative truth norm. I argue that the “normative variance” exhibited by this norm is not a defect. I also argue that if we accept a distinction between subjective and objective norms (...) there need be no worrying tension between doxastic norms of truth and doxastic norms of evidence. I show how a similar approach applies to the attitude of guessing. I then suggest that if we distinguish between practical and theoretical rationality, we will prefer a negative form of norm that does not positively oblige us to form beliefs. I finish by considering an alternative possible subjunctive form of norm that would also avoid problems with blindspots but suggest this has a non-intuitive consequence. (shrink)

In a series of articles, Dan Lopez De Sa and Elia Zardini argue that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, Lopez De Sa and Zardini claim that resultant inconsistency is not a necessary condition for paradoxicality. It is our contention that, even given their broader understanding of paradox, their arguments fail to undermine the instances of reasoning they attack, either (...) because they fail to see everything that is at work in that reasoning, or because they misunderstand what it is that the reasoning aims to show. (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)

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.

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)

As far as ‘modern’ logical theories of vagueness are concerned, a main distinction can be drawn between ‘semantical’ ones and ‘pragmatical’ ones. The latter are defended here, because they tend to retake into account important contextual dimensions of the problem abandoned by the former. Their inchoate condition seems not alarming, since they are of surprisingly recent date. This, however, could very well be an accidental explanation. That is, the true reason for it might sooner or later turn out to be (...) bearing exactly on the fundamental human limitations, when it comes to theorizing, that these approaches are urging us to appreciate. (shrink)

The thesis that mental content is normative is ambiguous and has many forms. This article deals only with the thesis that normativity is connected to our mental attitudes rather than with the content of the attitudes, and more specifically with the view that it is connected to belief. A number of writers have proposed various versions of a ‘norm of truth’ attached to belief. I examine various versions of this claim, and defend it against recent criticisms according to which this (...) norm lacks normative force, that it violates the principle that ‘ought implies can,’ and that it is viciously circular. I defend the view that we should distinguish the statement of the objective norm and the way it is regulated, and that this distinction can answer most of the criticisms of the norm of truth for belief. (shrink)

In this paper I discuss the kinds of idealisations invoked in normative theories—logic, epistemology, and decision theory. I argue that very often the so-called norms of rationality are in fact mere idealisations invoked to make life easier. As such, these idealisations are not too different from various idealisations employed in scientific modelling. Examples of the latter include: fluids are incompressible (in fluid mechanics), growth rates are constant (in population ecology), and the gravitational influence of distant bodies can be ignored (in (...) celestial mechanics). Thinking of logic, epistemology, and decision theory as normative models employing various idealisations of these kinds, changes the way we approach the justification of the models in question. (shrink)

An attractive approach to the semantic paradoxes holds that cases of semantic pathology give rise to indeterminacy. What attitude should a rational agent have toward a proposition that it takes to be indeterminate in this sense? Orthodoxy holds that rationality requires that an agent disbelieve such a proposition. I argue that a rational agent should be such that it is indeterminate whether it believes the proposition in question. For rational agents, indeterminacy in the objects of their attitudes will filter up (...) to the attitudes themselves. (shrink)