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)

It is raining but you don’t believe that it is raining. Imagine accepting this claim. Then you are committed to saying ‘It is raining but I don’t believe that it is raining’. This would be an ‘absurd’ thing to claim or assert, yet what you say might be true. It might 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 assert something about yourself (...) that might be true of you? This is Moore’s paradox as it occurs in speech. What is the source of the absurdity? And why does it strike us that a contradiction is somehow at work when there is no contradiction in the content of what is asserted? In Section 2, I describe Moore’s formulation of the paradox and evaluate his own solutions. In Section 3, I discuss Wittgenstein’s inf luence in solving the paradox. In Section 4, I discuss Shoemaker’s priority thesis that once the absurdity in belief has been explained, then this will translate into an explanation of the absurdity in assertion. In Section 5, I discuss work on omissive and commissive Moore-paradoxical assertions, i.e. those of the forms p & I don’t believe that p and p & I believe that not-p. In Section 6, I discuss work on assertions of the form p & I don’t know that p. (shrink)

Jonas Olson writes that "a plausible moral error theory must be an error theory about all irreducible normativity". I agree. But unlike Olson, I think we cannot believe this error theory. I first argue that Olson should say that reasons for belief are irreducibly normative. I then argue that if reasons for belief are irreducibly normative, we cannot believe an error theory about all irreducible normativity. I then explain why I think Olson's objections to this argument fail. I end by (...) showing that Olson cannot defend his view as a partly revisionary alternative to an error theory about all irreducible normativity. (shrink)

This volume recreates the received notion of reflective equilibrium. It reconfigures reflective equilibrium as both a cognitive ideal and a method for approximating this ideal. The ideal of reflective equilibrium is restructured using the concept of discursive strata, which are formed by sentences and differentiated by function. Sentences that perform the same kind of linguistic function constitute a stratum. The book shows how moral discourse can be analyzed into phenomenal, instrumental, and teleological strata, and the ideal of reflective equilibrium reworked (...) in these terms. In addition, the work strengthens the method of reflective equilibrium by harnessing the resources of decision theory and inductive logic. It launches a comparative version of decision theory and employs this framework as a guide to moral theory choice. It also recruits quantitative inductive logic to inform a standard of inductive cogency. When used in tandem with comparative decision theory, this standard can aid in the effort to turn the undesirable condition of reflective disequilibrium into reflective equilibrium. (shrink)

The preface paradox can be motivated by appealing to a plausible inference from an author’s reasonable assertion that her book is bound to contain errors to the author’s rational belief that her book contains errors. By evaluating and undermining the validity of this inference, I offer a resolution of the paradox. Discussions of the preface paradox have surprisingly failed to note that expressions of fallibility made in prefaces typically employ terms such as surely, undoubtedly, and bound to be. After considering (...) what these terms mean, I show that the motivating inference is invalid. Moreover, I argue that a closer consideration of our expressions of fallibility suggest that epistemically responsible authors would not be rational to believe that their books contain errors. I conclude by considering alternative expressions of fallibility that employ terms such as possible and probable, and discuss the role that expressions of fallibility play in conversation. (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)

Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...

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)

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)

In this paper, I consider a popular version of the clever student’s reasoning in the surprise examination case, and demonstrate that a valid argument can be constructed. The valid argument is a reductio ad absurdum with the proposition that the student knows on the morning of the first day that the teacher’s announcement is fulfilled as its reductio. But it would not give rise to any paradox. In the process, I criticize Saul Kripke’s solution and Timothy Williamson’s attack on a (...) key step of the student’s reasoning. I then consider the condemned prisoner case in W. V. Quine’s paper ‘On a So-Called Paradox’. I argue that the prisoner’s reasoning as conceived by Quine is more relevant and reasonable than the student’s argument in the popular version of the surprise examination case. I also argue that Quine’s criticism of the prisoner’s reasoning is correct, and therefore that the condemned prisoner case, and the surprise examination case as well, would not generate any paradox. (shrink)

The contemporary discussion of modesty has focused on whether or not modest people are accurate about their own good qualities. This essay argues that this way of framing the debate is unhelpful and offers examples to show that neither ignorance nor accuracy about the good qualities related to oneself is necessary for modesty. It then offers an attention-based account, claiming that what is necessary for modesty is to direct one’s attention in certain ways. By analyzing modesty in this way, we (...) can best explain the distinct features of modesty, keep much of what is intuitive in contemporary accounts, and better understand why modesty is a virtue at all. (shrink)

The Knowledge Account of Assertion (KAA) says that knowledge is the norm of assertion: you may assert a proposition only if you know that it’s true. The primary support for KAA is an explanatory inference from a broad range of linguistic data. The more data that KAA well explains, the stronger the case for it, and the more difficult it is for the competition to keep pace. In this paper we critically assess a purported new linguistic datum, which, it has (...) been argued, KAA well explains. We argue that KAA does not well explain it. (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)

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)

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)

The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative cases. These (...) explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio, it does not fare substantially better with respect to immunity to any form of sorites paradox. (shrink)

Throughout the history of western philosophy, the Socratic injunction to ‘follow the argument where it leads’ has exerted a powerful attraction. But what is it, exactly, to follow the argument where it leads? I explore this intellectual ideal and offer a modest proposal as to how we should understand it. On my proposal, following the argument where it leaves involves a kind of modalized reasonableness. I then consider the relationship between the ideal and common sense or ‘Moorean’ responses to revisionary (...) philosophical theorizing. (shrink)

On the opposition between de re and de dicto conceptions of vagueness, with special reference to their bearing on the tasks of ontology.

The semantics of our event talk is a complex affair. What is it that we are talking about when we speak of Brutus’s stabbing of Caesar? Exactly where and when did it take place? Was it the same event as the killing of Caesar? Some take questions such as these to be metaphysical questions. I think they are questions of semantics—questions about the way we talk and about what we mean. And I think that this conflict between metaphysic and semantic (...) concerns is indicative of a “deep indeterminacy” (Bennett’s phrase) in our event concept. We do talk about events; but what events a statement is about is not something that can be inferred from the event names we use; it depends heavily (more heavily than with ordinary material objects) on local context and unprincipled intuitions. This paper illustrates this view in connection with two examples: the phenomenon of vagueness and the dispute over identity statements. (shrink)

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with an IQ (...) of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (shrink)

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

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.".

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)

I argue that van Fraassen's Judy Benjamin Problem and Elga's Sleeping Beauty Problem have the same structure.

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.

Assertions of statements such as ‘it’s raining, but I don’t believe it’ are standard examples of what is known as Moore’s paradox. Here I consider moral equivalents of such statements, statements wherein individuals affirm moral judgments while also expressing motivational indifference to those judgments (such as ‘hurting animals for fun is wrong, but I don’t care’). I argue for four main conclusions concerning such statements: 1. Such statements are genuinely paradoxical, even if not contradictory. 2. This paradoxicality can be traced (...) to a form of epistemic self-defeat that also explains the paradoxicality of ordinary Moore-paradoxical statements. 3. Although a simple form of internalism about moral judgment and motivation can explain the paradoxicality of these moral equivalents, a more plausible explanation can be provided that does not rely on this simple form of internalism. 4. The paradoxicality of such statements suggests a more credible understanding of the thesis that those who are not motivated by their moral judgments are irrational. (shrink)

Composite materialism, as I will understand it, is the view that human persons are composite material objects. This paper develops and investigates an argument, The Vague Singulars Argument, for the falsity of composite materialism. We shall see that cogent or not, the Vague Singulars Argument has philosophically significant ramifications.

G. E. Moore famously noted that saying 'I went to the movies, but I don't believe it' is absurd, while saying 'I went to the movies, but he doesn't believe it' is not in the least absurd. The problem is to explain this fact without supposing that the semantic contribution of 'believes' changes across first-person and third-person uses, and without making the absurdity out to be merely pragmatic. We offer a new solution to the paradox. Our solution is that the (...) truth conditions of any moorean utterance contradict its accuracy conditions. Thus we diagnose a contradiction in how the moorean utterance represents things as being; so we can do justice to the intuition that a Moore-paradoxical utterance is in some way senseless, even if we know what proposition it expresses. (shrink)

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

On the dominant view of vagueness, if it is vague whether Harry is bald, then all the specific facts about the distribution of hair on Harry's head, together with all the facts about Harry's comparison class, together with all the facts about our community-wide use of the word ‘bald’, fail to settle whether Harry is bald. On the dominant view, if it is vague whether Harry is bald, then nothing settles whether Harry is bald—it is unsettled, not merely epistemically, but (...) metaphysically, whether Harry is bald. Call this view vagueness-as-indeterminacy. Vagueness-as-indeterminacy entails the following proposition: that clear vagueness as to whether Harry is bald clearly does not entail that Harry is bald. I argue against this proposition, and thus against vagueness-as-indeterminacy. My argument consists of a defence of the following rival proposition: that it is vague whether clear vagueness as to whether Harry is bald entails that Harry is bald. The argument itself is short. Most of the paper is devoted to responding to various objections to the argument, as well as attempting to explain away the initial appeal of the proposition that clear vagueness as to whether Harry is bald clearly does not entail that Harry is bald. (shrink)

According to an old and attractive view, vagueness must be eliminated before semantic notions — truth, implication, and so on — may be applied. This view was accepted by Frege, but is rarely defended nowadays.1 This..

Though most of analytic philosophy is based upon intuitions, some philosophers are beginning to question whether intuitions are an appropriate basis for philosophical theory. This paper responds to the arguments of some contemporary philosophers who hold that intuitions should not be treated as evidence for anything other than our contingent psychological constitution. It begins with a demonstration that skeptical arguments by Gilbert Harman and Alvin Goldman are variations on an argument with the potential to undermine the use of intuitions in (...) much philosophical inquiry. After a demonstration that Nicholas Sturgeon’s response to Harman’s argument is inadequate, it argues that all of the instances of the skeptical argument are unsuccessful because they are epistemically self-defeating. (shrink)

This paper provides a new solution to the epistemic paradox of belief-instability, a problem of rational choice which has recently received considerable attention (versions of the problem have been discussed by — among others — Tyler Burge, Earl Conee, and Roy Sorensen). The problem involves an ideally rational agent who has good reason to believe the truth of something of the form:[Ap] p if and only if it is not the case that I accept or believe p.

I motivate and briefly sketch a linguistic theory of vagueness, on which the notion of indeterminacy is understood in terms of the conventions of language: a sentence is indeterminate iff the conventions of language either forbid asserting it and forbid asserting its negation, under the circumstances, or permit asserting either. I then consider an objection that purports to show that if this theory (or, as far as I can see, any other theory of vagueness that deserved the label "linguistic" were (...) true, there would be no such thing as indeterminacy. I respond to this objection by arguing on independent grounds against its main premise, the widely-accepted claim that if it is indeterminate whether P, no human being knows whether P. I defend an alternative view according to which, when it is indeterminate whether P, it is often also indeterminate whether we know that P. (shrink)

I provide a method of measuring the inconsistency of a set of sentences from 1-consistency, corresponding to complete consistency, to 0-consistency, corresponding to the explicit presence of a contradiction. Using this notion to analyze the lottery paradox, one can see that the set of sentences capturing the paradox has a high degree of consistency (assuming, of course, a sufficiently large lottery). The measure of consistency, however, is not limited to paradoxes. I also provide results for general sets of sentences.

Timothy Williamson’s potentially most important contribution to epistemicism about vagueness lies in his arguments for the basic epistemicist claim that the alleged cut-off points of vague predicates are not knowable. His arguments for this are based on so-called ‘margin for error principles’. This paper argues that these principles fail to provide a good argument for the basic claim. Williamson has offered at least two kinds of margin for error principles applicable to vague predicates. A certain fallacy of equivocation seems to (...) underlie his justification for both kinds of principles. Besides, the margin for error principles of the first kind can be used in the derivation of unacceptable consequences, while the margin for error principles of the second kind can be shown to be compatible with the falsity of epistemicism, under a number of assumptions acceptable to the epistemicist. (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)

It is bad news to find out that one's cognitive or perceptual faculties are defective. Furthermore, it’s not always transparent how one ought to revise one's beliefs in light of such news. Two sorts of news should be distinguished. On the one hand, there is news that a faculty is unreliable -- that it doesn't track the truth particularly well. On the other hand, there is news that a faculty is anti-reliable -- that it tends to go positively wrong. These (...) two sorts of news call for extremely different responses. We provide accounts of these responses, and prove bounds on the degree to which one can reasonably count oneself as mistaken about a given subject matter. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

One version of Moore’s Paradox is the challenge to account for the absurdity of beliefs purportedly expressed by someone who asserts sentences of the form ‘p & I do not believe that p’. The absurdity of these beliefs is philosophically puzzling, given that Moorean sentences are contingent and often true; and express contents that are unproblematic when presented in the third-person. In this paper I critically examine the most popular proposed solution to these two puzzles, according to which Moorean beliefs (...) are absurd because Moorean sentences are instances of pragmatic paradox; that is to say, the propositions they express are necessarily false-when-believed. My conclusion is that while a Moorean belief is a pragmatic paradox, it is not just another pragmatic paradox, because this diagnosis does not explain all the puzzling features of Moorean beliefs. In particularly, while this analysis is plausible in relation to the puzzle posed by characteristic of Moorean sentences, I argue that it fails to account for. I do so in the course of an attempt to formulate the definition of a pragmatic paradox in more precise formal terms, in order to see whether the definition is satisfied by Moorean sentences, but not by their third-person transpositions. For only an account which can do so could address adequately. After rejecting a number of attempted formalizations, I arrive at a definition which delivers the right results. The problem with this definition, however, is that it has to be couched in first-person terms, making an essential use of ‘I’. Thus the problem of accounting for first-/third-person asymmetry recurs at a higher order, which shows that the Pragmatic Paradox Resolution fails to identify the source of such asymmetry highlighted by Moore’s Paradox. (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)

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

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 develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between 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)

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