This paper presents corpus and experimental data that problematize the traditional analysis of must as a strong necessity modal, as recently revived and defended by von Fintel and Gillies :351–383, 2010). I provide naturalistic examples showing that must p can be used alongside an explicit denial of knowledge of p or certainty in p, and that it can be conjoined with an expression indicating that p is not certain or that not-p is possible. I also report the results of an (...) experiment involving lotteries, where most participants endorsed a sentence of the form must not-p despite being instructed that p is a possibility. Crucially, endorsement was much higher for must in this context than for matched sentences with knowledge or certainty expressions. These results indicate that the requirements for felicitous use of must are weaker than for know and certain rather than being at least as strong, as the epistemic necessity theory would predict. However, it is possible to account for these data while retaining the key insights of von Fintel and Gillies’ analysis of the evidential component of must. I discuss several existing accounts that could be construed in this way and explain why none is completely satisfactory. I then propose a new model that embeds an existing scalar theory into a probabilistic model of informational dynamics structured around questions and answers. (shrink)

In this paper I argue for a non-referential interpretation of some uses of indexicals embedded under epistemic modals. The so-called descriptive uses of indexicals come in several types and it is argued that those embedded within the scope of modal operators do not require non-referential interpretation, provided the modality is interpreted as epistemic. I endeavor to show that even if we allow an epistemic interpretation of modalities, the resulting interpretation will still be inadequate as long as we retain a referential (...) interpretation of indexicals. I then propose an analysis of descriptive indexicals that combines an epistemic interpretation of modality with a non-referential interpretation of indexicals. (shrink)

ABSTRACTRecent debate over the semantics and pragmatics of epistemic modals has focused on intuitions about cross-contextual truth-value assessments. In this paper, we advocate a different approach to evaluating theories of epistemic modals. Our strategy focuses on judgments of the incompatibility of two different epistemic possibility claims, or two different truth value assessments of a single epistemic possibility claim. We subject the predictions of existing theories to empirical scrutiny, and argue that existing contextualist and relativist theories are unable to account for (...) the full pattern of observed judgments. As a way of illustrating the theoretical upshot of these results, we conclude by developing a novel theory of epistemic modals that is able to predict the results. (shrink)

A number of authors, including me, have argued that the output of our most complex climate models, that is, of global climate models and Earth system models, should be assessed possibilistically. Worries about the viability of doing so have also been expressed. I examine the assessment of the output of relatively simple climate models in the context of discovery and point out that this assessment is of epistemic possibilities. At the same time, I show that the concept of epistemic possibility (...) used in the relevant studies does not fit available analyses of this concept. Moreover, I provide an alternative analysis that does fit the studies and broad climate modelling practices as well as meshes with my existing view that climate model assessment should typically be of real possibilities. On my analysis, to assert that a proposition is epistemically possible is to assert that it is not known to be false and is consistent with at least approximate knowledge of the basic way things are. I, finally, consider some of the implications of my discussion for available possibilistic views of climate model assessment and for worries about such views. I conclude that my view helps to address worries about such assessment and permits using the full range of climate models in it. (shrink)

At the center of the debate between contextualist versus relativist semantics for epistemic modal claims is an empirical question about when competent subjects judge epistemic modal disagreement to be present. John MacFarlane’s relativist claims that we judge there to be epistemic modal disagreement across the widest range of cases. We wish to dispute the robustness of his data with the results of two studies. Our primary conclusion is that the actual disagreement data is not consistent with relativist predictions, and so, (...) that the primary motivation for relativism disappears. Our study differs from a related study by Knobe and Yalcin :1–21, 2014) in that we focus directly on the question of genuine disagreement, as opposed to a question about truth or the appropriateness of retraction. Some of our findings agree with theirs about relativism. We uncover new lessons along the way, including that there are widespread situation effects of epistemic modal discourse; idiosyncratic features of the vignettes significantly influencing judgments about epistemic modal disagreement. We reflect with mixed feelings on the prospects for contextualism to accommodate our findings. (shrink)

If what is known need not be closed under logical consequence, then a distinction arises between something's being known to be the case (by a specific agent) and its following from something known (to that subject). When each of these notions is represented by a sentence operator, we get a bimodal logic in which to explore the relations between the two notions.

Seven proposed accounts of epistemic possibility are criticized, and a new account is proposed, making use of the notion of having justification for dismissing a proposition. The new account explains intuitions about otherwise puzzling cases, upholds plausible general principles about epistemic possibility, and explains the practical import of epistemic modality judgements. It is suggested that judgements about epistemic possibility function to assess which propositions are worthy of further inquiry.

The argument from faultless disagreement employed by the relativist purports to show that contextualism falls short of explaining cases of faultless disagreement. The demonstration is intended to give credence to the relativist semantics of epistemic modality expressions. In this paper we present some cases showing that even though cases of faultless disagreement do reveal some intrinsic features of epistemic modality claims, they do not support the relativist semantics. The sophistication of faultless disagreement goes beyond what the relativist semantics can cope (...) with. We also advance an epistemologically oriented proposal to account for faultless disagreement. (shrink)

Owing to the problem of inescapable clashes, epistemic accounts of might-counterfactuals have recently gained traction. In a different vein, the might argument against conditional excluded middle has rendered the latter a contentious principle to incorporate into a logic for conditionals. The aim of this paper is to rescue both ontic mightcounterfactuals and conditional excluded middle from these disparate debates and show them to be compatible. I argue that the antecedent of a might-counterfactual is semantically underdetermined with respect to the counterfactual (...) worlds it selects for evaluation. This explains how might-counterfactuals select multiple counterfactual worlds as they apparently do and why their utterance confers a weaker alethic commitment on the speaker than does that of a would-counterfactual, as well as provides an ontic solution to inescapable clashes. I briefly sketch how the semantic underdetermination and truth conditions of mightcounterfactuals are regulated by conversational context. (shrink)

A person required to risk money on a remote digit of π would, in order to comply fully with the theory [of personal probability] have to compute that digit, though this would really be wasteful if the cost of computation were more than the prize involved. For the postulates of the theory imply that you should behave in accordance with the logical implications of all that you know. Is it possible to improve the theory in this respect, making allowance within (...) it for the cost of thinking, or would that entail paradox? (shrink)

In this paper I will be arguing that there are cases in which a subject, S, should have known that p, even though, given her state of evidence at the time, she was in no position to know it. My argument for this result will involve making two claims. The uncontroversial claim is this: S should have known that p when another person has, or would have, legitimate expectations regarding S’s epistemic condition, the satisfaction of these expectations would require that (...) S knows that p, and S fails to know that p. The controversial claim is that these three conditions are sometimes jointly satisfied. I will spend the majority of my time defending the controversial claim. I will argue that there are two main sources of legitimate expectations regarding another’s epistemic condition: participation in a legitimate social practice ; and moral and epistemic expectations more generally . In developing my position on this score, I will have an opportunity to defend the doctrine that there are “practice-generated entitlements” to expect certain things, where it can happen that the satisfaction of these expectations requires another’s having certain pieces of knowledge; to contrast practice-generated entitlements to expect with epistemic reasons to believe; to defend the idea that moral and epistemic standards themselves can be taken to reflect legitimate expectations we have of each other; to compare the “should have known” phenomenon with a widely-discussed phenomenon in the ethics literature—that of culpable ignorance; and finally to suggest the bearing of the “should have known” phenomenon to epistemology itself. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarianexplanation. I discuss the relationship of necessitarian explanation to ground.

Moore's paradox pits our intuitions about semantic oddnessagainst the concept of truth-functional consistency. Most solutions tothe problem proceed by explaining away our intuitions. But``consistency'' is a theory-laden concept, having different contours indifferent semantic theories. Truth-functional consistency is appropriateonly if the semantic theory we are using identifies meaning withtruth-conditions. I argue that such a framework is not appropriate whenit comes to analzying epistemic modality. I show that a theory whichaccounts for a wide variety of semantic data about epistemic modals(Update Semantics) buys (...) us a solution to Moore's paradox as a corollary.It turns out that Moorean propositions, when looked at through the lenseof an appropriate semantic theory, are inconsistent after all. (shrink)

The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. In recent discussions, some have attempted to explicate the notion in terms of epistemic possibility. There are, however, two notions of epistemic possibility, a more familiar one and a novel one. I argue that these two notions are independent of one another. Both are irrelevant to an account of modal knowledge on (...) the predominant view of modal reality. Only the novel notion is relevant and apt on the competing view of modal reality; but this latter view is problematic in light of compelling counterexamples. Insufficient care regarding the independent notions of epistemic possibility can lead to two problems: a gross problem of conflation and a more subtle problem of obscuring a crucial fact of modal epistemology. Either problem needlessly hampers efforts to develop an adequate account of modal knowledge. I conclude that the familiar notion of epistemic possibility should be eschewed in the context of modal epistemology. (shrink)

This paper focuses on the relation between epistemic reasons and the subject’s epistemic perspective. It tackles the questions of whether epistemic reasons are dependent on the perspective of the subject they are reasons for, and if so, whether they are dependent on the actual or the potential perspective. It is argued that epistemic reasons are either independent or minimally dependent on the subject’s epistemic perspective. In particular, I provide three arguments supporting the conclusion that epistemic reasons are not dependent on (...) the subject’s actual perspective. Furthermore, I show that variants of these arguments apply against popular views holding that epistemic reasons depend on the subject’s potential perspective, such as the view that epistemic reasons are facts that one is in a position to know. (shrink)

I think that there are good reasons to adopt a relativist semantics for epistemic modal claims such as ``the treasure might be under the palm tree'', according to which such utterances determine a truth value relative to something finer-grained than just a world (or a <world, time> pair). Anyone who is inclined to relativise truth to more than just worlds and times faces a problem about assertion. It's easy to be puzzled about just what purpose would be served by assertions (...) of this kind, and how to understand what we'd be up to in our use of sentences like ``the treasure might be under the palm tree'', if they have such peculiar truth conditions. After providing a very quick argument to motivate a relativist view of epistemic modals, I bring out and attempt to resolve this problem in making sense of the role of assertions with relativist truth conditions. Solving this problem should be helpful in two ways: first, it eliminates an apparently forceful objection to relativism, and second, spelling out the relativist account of assertion and communication will help to make clear just what the relativist position is, exactly, and why it's interesting. (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might plausibly (...) get selected in the challenge cases. (shrink)

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This paper (...) develops an explanation of the puzzling facts about embedding within an orthodox framework. (shrink)

Concessive knowledge attributions (CKAs) are knowledge attributions of the form ‘S knows p, but it’s possible that q’, where q obviously entails not-p (Rysiew, Nous (Detroit, Mich.) 35:477–514, 2001). The significance of CKAs has been widely discussed recently. It’s agreed by all that CKAs are infelicitous, at least typically. But the agreement ends there. Different writers have invoked them in their defenses of all sorts of philosophical theses; to name just a few: contextualism, invariantism, fallibilism, infallibilism, and that the knowledge (...) rules for assertion and practical reasoning are false. In fact, there is a lot of confusion about CKAs and their significance. I try to clear some of this confusion up, as well as show what their significance is with respect to the debate between fallibilists and infallibilists about knowledge in particular. (shrink)

In this paper I argue for a doctrine I call ?infallibilism?, which I stipulate to mean that If S knows that p, then the epistemic probability of p for S is 1. Some fallibilists will claim that this doctrine should be rejected because it leads to scepticism. Though it's not obvious that infallibilism does lead to scepticism, I argue that we should be willing to accept it even if it does. Infallibilism should be preferred because it has greater explanatory power (...) than fallibilism. In particular, I argue that an infallibilist can easily explain why assertions of ?p, but possibly not-p? (where the ?possibly? is read as referring to epistemic possibility) is infelicitous in terms of the knowledge rule of assertion. But a fallibilist cannot. Furthermore, an infallibilist can explain the infelicity of utterances of ?p, but I don't know that p? and ?p might be true, but I'm not willing to say that for all I know, p is true?, and why when a speaker thinks p is epistemically possible for her, she will agree (if asked) that for all she knows, p is true. The simplest explanation of these facts entails infallibilism. Fallibilists have tried and failed to explain the infelicity of ?p, but I don't know that p?, but have not even attempted to explain the last two facts. I close by considering two facts that seem to pose a problem for infallibilism, and argue that they don't. (shrink)

Linguistic intervention in rational decision making is standardly captured in terms of information change. But the standard view gives us no way to model interventions involving expressions that only have an attentional effects on conversational contexts. How are expressions with non‐informational content – like epistemic modals – used to intervene in rational decision making? We show how to model rational decision change without information change: replace a standard conception of value (on which the value of a set of worlds reduces (...) to values of individual worlds in the set) with one on which the value of a set of worlds is determined by a selection function that picks out a generic member world. We discuss some upshots of this view for theorizing in philosophy and formal semantics. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are evaluated with respect to partial, rather than complete, worlds. There is no consensus about what situations are, just as there is no consensus about what possible worlds or events are. According to some, situations are structured entities consisting of relations and individuals standing in those relations. According to others, situations are particulars. In spite of unresolved foundational issues, the partiality provided by situation semantics (...) has led to some genuinely new approaches to a variety of phenomena in natural language semantics. In the way of illustration, this article includes relatively detailed overviews of a few selected areas where situation semantics has been successful: implicit quantifier domain restrictions, donkey pronouns, and exhaustive interpretations. It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations. Other areas where a situation semantics perspective has led to progress include attitude ascriptions, questions, tense, aspect, nominalizations, implicit arguments, point of view, counterfactual conditionals, and discourse relations. (shrink)

The simplest story about modals—might, must, possibly, necessary, have to, can, ought to, presumably, likelier, and the rest—is also the canon: modals are context-dependent quantifiers over a domain of possibilities. Different flavors of modality correspond to quantification over different domains of possibilities. Logical modalities quantify over all the possibilities there are, physical modalities over possibilities compatible with the..

Recently, a number of theorists (MacFarlane (2003, 2011), Egan et al. (2005), Egan (2007), Stephenson (2007a,b)) have argued that an adequate semantics and pragmatics for epistemic modals calls for some technical notion of relativist truth and/or relativist content. Much of this work has relied on an empirical thesis about speaker judgments, namely that competent speakers tend to judge a present-tense bare epistemic possibility claim true only if the prejacent is compatible with their information. Relativists have in particular appealed to judgments (...) elicited in so-called eavesdropping and retraction cases to support this empirical thesis. But opposing theorists have denied the judgments, and at present there is no consensus in the literature about how the speaker judgments in fact pattern. Consequently there is little agreement on what exactly a semantics and pragmatics for epistemic modals should predict about the pattern of judgments in these cases. Further theorizing requires greater clarity on the data to be explained. To clarify the data, we subjected eavesdropping and retraction cases to experimental evaluation. Our data provide evidence against the claim that competent speakers tend to judge a present-tense bare epistemic possibility claim true only if the prejacent is compatible with their information. Theories designed to predict this result are accordingly undermined. (shrink)

My dissertation asks how we affect conversational context and how it affects us when we participate in any conversation—including philosophical conversations. Chapter 1 argues that speakers make pragmatic presuppositions when they use proper names. I appeal to these presuppositions in giving a treatment of Frege’s puzzle that is consistent with the claim that coreferential proper names have the same semantic value. I outline an explanation of the way presupposition carrying expressions in general behave in belief ascriptions, and suggest that substitutivity (...) failure is a special case of this behavior. Chapter 2 develops a compositional probabilistic semantics for the language of subjective uncertainty, including epistemic adjectives scoped under quantifiers. I argue that we should distinguish sharply between the effects that epistemically hedged statements have on conversational context, and the effects that they have on belief states. I also suggest that epistemically hedged statements are a kind of doxastic advice, and explain how this hypothesis illuminates some otherwise puzzling phenomena. Chapter 3 argues that ordinary causal talk is deeply sensitive to conversational context. The principle that I formulate to characterize that context sensitivity explains at least some of the oddness of ‘systematic causal overdetermination,’ and explains why some putative overgenerated causes are never felicitously counted, in conversation, as causes. But the principle also makes metaphysical theorizing about causation rather indirectly constrained by ordinary language judgments. (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

There is an account of modal operators that is both elegant and powerful and that deserves to be called the standard account. There are, however, some epistemic uses of modal operators which seem to be counterexamples to the account – they pose what I call the objectivity problem. It is often thought that the objectivity problem can be fixed by a certain kind of modification to the standard account. I argue that this kind of modification cannot work. Then I argue (...) that the problem posed for the standard account by recently discussed eavesdropper cases is really just the objectivity problem in a different guise, thereby emphasizing the need for a new solution to the objectivity problem. Finally, I propose a new solution to the objectivity problem. (shrink)

There is a lot that we don’t know. That means that there are a lot of possibilities that are, epistemically speaking, open. For instance, we don’t know whether it rained in Seattle yesterday. So, for us at least, there is an epistemic possibility where it rained in Seattle yesterday, and one where it did not. It’s tempting to give a very simple analysis of epistemic possibility: • A possibility is an epistemic possibility if we do not know that it does (...) not obtain. But this is problematic for a few reasons. One issue, one that we’ll come back to, concerns the first two words. The analysis appears to quantify over possibilities. But what are they? As we said, that will become a large issue pretty soon, so let’s set it aside for now. A more immediate problem is that it isn’t clear what it is to have de re attitudes towards possibilities, such that we know a particular possibility does or doesn’t obtain. Let’s try rephrasing our analysis so that it avoids this complication. (shrink)

I want to discuss a puzzle about the semantics of epistemic modals, like “It might be the case that” as it occurs in “It might be the case that Goldbach’s conjecture is false.”1 I’ll argue that the puzzle cannot be adequately explained on standard accounts of the semantics of epistemic modals, and that a proper solution requires relativizing utterance truth to a context of assessment, a semantic device whose utility and coherence I have defended elsewhere for future contingents (MacFarlane..

At the heart of my pragmatic theory of truth and ontology is a view of the relation between language and reality which I term internal justification: a way of explaining how sentences may have truth-values which we cannot discover without invoking the need for the mystery of a correspondence relation. The epistemology upon which the theory depend~ is fallibilist and holistic ; places heavy reliance on modal idioms ; and leads to the conclusion that current versions of realism and anti-realism (...) are deficient. Just as my theory avoids the need for an epistemic 'given', it avoids the need for a metaphysical 'given' or 'joints'. I offer a view of the nature of philosophy and what it can properly achieve with respect to ontological questions ; since those views lead me to believe that philosophical discussion about what exists should be restricted to 'entities' discussed in non-philosophical contexts, my views on how we should understand claims made about the existence of middle-sized physical objects, theoretical entities in science, and abstract entities in mathematics, give the thesis a schematic completeness. My theory leads me to a conception of inquiry which defends the cognitive status of moral statements whilst being critical of Kantian and utilitarian approaches to morality. Chapter 1 explores the views of my closest philosophical allies: William James and Nelson Goodman. (shrink)

Arguments from ignorance should be schematized: It has not been proven false that p. So it is possible that p. So, it is reasonable to believe p. Also, in opposition to standard views they should be distinguished from burden of proof and absence of evidence arguments. Much of the persuasiveness of such arguments can be located in the slippery uses of "possible." Besides equivocations on "possible" the argument is a fallacy for two reasons. First, the possibility implied by the first (...) premise does not yield the serious possibility that is needed for establishing the conclusion. Second, ignorance is never sufficient reason for belief, only adequate evidence. (shrink)