// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

Epistemic contradictions are now a well-known and often discussed phenomenon among those who study epistemic modals. These contradictions are expressed by sentences like ‘It is raining and it might not be raining’ whose oddness to the common ear demands an explanation. However, it has turned out to be a rather controversial enterprise to provide such an explanation in a sufficiently precise and general manner. According to pragmatic explanations, epistemic contradictions are semantically consistent but pragmatically defective. According to semantic explanations, one (...) should regard epistemic contradictions as plain semantic inconsistencies. Endorsing such a semantic solution is, however, tantamount to rejecting classical logic, which predicts the consistency of epistemic contradictions. After arguing that all existing solutions to this problem face as yet unmet challenges, I will present a new solution that adequately overcomes these challenges. I will propose to view epistemic contradictions as semantically consistent but epistemically defective sentences. The main thesis emerging will be that we need neither abandon the inference rules of classical logic nor the classical truth-conditional approach to semantics to deal adequately with epistemic contradictions. (shrink)

When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis (...) of embedding data. And, provided that the converse does not hold—that is, that A can make sense of strictly more embedding data than B can—it would also show that there is a precise sense in which B is more constrained than A, yielding a pro tanto simplicity-based consideration in favor of B. In this paper I develop tools which allow us to make comparisons of this kind, which I call comparisons of potential expressive power. I motivate the development of these tools by way of exploration of the recent debate about epistemic modals. Prominent theories which have been developed in response to embedding data turn out to be strictly less expressive than the standard relational theory, a fact which necessitates a reorientation in how to think about the choice between these theories. (shrink)

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (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)

It is widely accepted that when ‘might’ expresses certain kinds of relative modality, the sentence ‘p and it might not be the case that p’ is in some sense inconsistent. It has proven difficult to define a formal semantics that explicates this inconsistency while meeting certain other desiderata, in particular, that p does not imply ‘Must p’. This paper presents such a semantics. The key idea is that background contexts have to have multiple levels, including an inner set consisting of (...) worlds that represent what might be true and an outer set of worlds such that a sentence must be true only if it is true in all of them. This is an open access publication. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

According to expressivists, normative language expresses desire‐like states of mind. According to noncognitivists, normative beliefs have a desire‐like functional role. What is the relation between these two doctrines? It is widely assumed that expressivism commits you to noncognitivism, and vice versa. This paper opposes that assumption. I advance a view that combines a noncognitivist psychology with a descriptivist semantics for normative language. While this might seem like an ungainly hybrid, I argue that it has important advantages over more familiar metaethical (...) positions. The noncognitivist aspect of the theory captures all of the explanatory benefits standardly associated with expressivism. At the same time, the descriptivist element allows us to avoid the semantic headaches for expressivism. (shrink)

Philosophical Perspectives, Volume 35, Issue 1, Page 23-49, December 2021.

The past decade has seen a protracted debate over the semantics of epistemic modals. According to contextualists, epistemic modals quantify over the possibilities compatible with some contextually determined group’s information. Relativists often object that contextualism fails to do justice to the way we assess utterances containing epistemic modals for truth or falsity. However, recent empirical work seems to cast doubt on the relativist’s claim, suggesting that ordinary speakers’ judgments about epistemic modals are more closely in line with contextualism than relativism (...) (Knobe & Yalcin 2014; Khoo 2015). This paper furthers the debate by reporting new empirical research revealing a previously overlooked dimension of speakers’ truth-value judgments concerning epistemic modals. Our results show that these judgments vary systematically with the question under discussion in the conversational context in which the utterance is being assessed. We argue that this ‘QUD effect’ is difficult to explain if contextualism is true, but is readily explained by a suitably flexible form of relativism. (shrink)

Eavesdropping judgments (judgments about truth, retraction, and consistency across contexts) about epistemic modals have been used in recent years to argue for a radical thesis: that truth is assessment-relative. We argue that judgments for 'I think that p' pattern in strikingly similar ways to judgments for 'Might p' and 'Probably p'. We argue for this by replicating three major experiments involving the latter and adding a condition with the form 'I think that p', showing that subjects respond in the same (...) way to 'thinks' as to modals. This poses a serious challenge to relativist treatments of the modal judgments, since a relativist treatment of the corresponding 'thinks' judgments is totally implausible, so if a unified account of the phenomena is to be found, it cannot be a relativist one. We briefly sketch how a unified account might look. (shrink)

We propose a framework that makes space for both non-indexical contextualism and assessment-sensitivity. Such pluralism is motivated by considering possible variance in judgments about retraction. We conclude that the proposed pluralism, instead of problematizing, vindicates defining truth of a proposition w.r.t. a context of utterance and a context of assessment. To implement this formally, we formalize initialization of parameters by contexts. Then, a given parameter, depending on a speaker's judgment, can get initialized by either the context of utterance or the (...) context of assessment. An upshot of the proposal is that one need not exclusively espouse one of non-indexical contextualism or assessment-sensitivity about a particular class of expressions, for instance predicates of personal taste, in language; one can be pluralist in this sense. (This manuscript is part of an ongoing research project). (shrink)