This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

Considerations involving disagreement, as well as related considerations involving correction and retraction, have played an important role in recent debates about epistemic modals. For instance, it has been argued that contextualist views about epistemic modals have problems when it comes to explaining cases of disagreement. In response to these challenges, I explore the idea that the relevant cases of disagreement may involve credal disagreement. In a case of credal disagreement, the parties have different degrees of belief or credences. There does (...) not have to be a difference in outright beliefs in order for the parties to disagree. I argue that the idea of credal disagreement allows us to make sense of otherwise problematic cases of disagreement involving epistemic modals. I also discuss how these ideas can be extended to cases of correction and retraction. (shrink)

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the content (...) of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

This book takes purism about knowledge as the default position and defends it from the challenges of pragmatic encroachment. The book is divided into two parts, a negative and a positive one. The negative part critically examines existing purist strategies in response to pragmatic encroachment. The positive part provides a new theory of how practical factors can systematically influence our confidence and explores some implications of such influence. In particular, it provides a new purist explanation of the data commonly used (...) to motivate pragmatic encroachment on knowledge. Moreover, it develops a new variety of pragmatic encroachment, not on knowledge but on credence. Thus, my aim in this book is not to provide a full-fledged defence of all kinds of purism. Rather, I argue for purism about knowledge but pragmatic encroachment about credence. This book is a revised version of my PhD dissertation “Belief, Knowledge and Action”. In this revision, I have made some substantive changes, introduced some stylistic changes and added discussions of new relevant literature. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

Consider the following facts about the average, philosophically untrained moral relativist: (1.1) The average moral relativist denies the existence of “absolute moral truths.” (1.2) The average moral relativist often expresses her commitment to moral relativism with slogans like ‘What’s true (or right) for you may not be what’s true (or right) for me’ or ‘What’s true (or right) for your culture may not be what’s true (or right) for my culture.’ (1.3) The average moral relativist endorses relativistic views of morality (...) without endorsing relativistic views about science or mathematics. (1.4) The average moral relativist takes moral relativism to be non-relatively true and does not think there is anything contradictory about doing so. (1.5) The average moral relativist adopts an egalitarian attitude toward a wide range of moral values, practices and beliefs, claiming they are all equally legitimate or correct. (1.6) The average moral relativist often admonishes others to be more tolerant of those who engage in alternative ethical practices and to refrain from making negative moral judgments about them. (1.7) The average moral relativist sometimes makes negative moral judgments about the behavior of others—e.g., by harshly judging moral absolutists to be intolerant—but is less inclined to do so when the relativist’s metaethical views are salient in a context of judgment. (1.8) The average moral relativist takes anthropological evidence concerning the worldwide diversity of ethical views and practices to support moral relativism. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

Theorists with otherwise radically different commitments agree that epistemic modals mark the necessity or possibility of a prejacent proposition relative to a body of evidence or knowledge. However, there is vast disagreement about the semantics of epistemic modals, which stems in part from the fact that statements of epistemic possibility or necessity make no explicit reference to a speaker or group, an audience, or an evidence set. This volume introduces new philosophical papers that mark a significant contribution to the debate (...) about epistemic modals. (shrink)

This paper advocates a generalized form of Expressivism, as a strategy for resolving certain metasemantic puzzles about identifying the semantic value of a context-sensitive expression in context. According to this form of Expressivism, speakers express properties of semantic parameters, and they do so in order to proffer those properties for cognitive adoption (acceptance) by their addressees. Puzzles arising from the pressure to say what a putatively context-sensitive expression refers to or denotes in contexts that do not seem to specify a (...) referent or denotation dissolve, once we appreciate that such attempts were ill-placed to begin with. Gibbard's Norm Expressivism, according to which speakers express properties of planning states or normative systems, can be regarded as a branch of this more general theory. I will however argue that Gibbard takes on commitments -- optional for the Expressivist -- that make it a bit hard to see how to distinguish his theory from a nuanced form of Subjectivism. (shrink)

This essay is an opinionated exploration of the constraints that modal discourse imposes on the theory of assertion. Primary focus is on the question whether modal discourse challenges the traditional view that all assertions have propositional content. This question is tackled largely with reference to discourse involving epistemic modals, although connections with other flavors of modality are noted along the way.

The 3sg pronouns “he” and “she” impose descriptive gender conditions (being male/female) on their referents. These conditions are standardly analysed as presuppositions (Cooper in Quantification and syntactic theory, Reidel, Dordrecht, 1983; Heim and Kratzer in Semantics in generative grammar, Blackwell, Oxford, 1998). Cooper argues that, when 3sg pronouns occur free, they have indexical presuppositions: the gender condition must be satisfied by the pronoun’s referent in the actual world. In this paper, we consider the behaviour of free 3sg pronouns in conditionals (...) and focus on cases in which the pronouns’ gender presuppositions no longer seem to be indexical and project locally instead. We compare these cases to previously reported shifty readings of indexicals in so-called “epistemic conditionals” (Santorio in Philos Rev 121(3):359–406, 2012) and propose a unified account of locally projected gender presuppositions and shifty indexicals based on the idea that indicative conditionals are Kaplanian monsters. (shrink)

El trabajo se propone, en primer lugar, analizar el desacuerdo sin falta como elemento central en los juicios de gusto, y examinar tres posiciones: contextualismo deíctico, no deíctico y relativismo. En segundo lugar, mostrar cómo el contextualismo deíctico y el relativismo dan cuenta de dicho fenómeno, pero solo el segundo puede hacerlo y acomodarse a un fenómeno central en esos desacuerdos: la retractación.

Attempts to clarify some issues about the use of hidden arguments to predicates of personal taste, and motivate an analysis which does not make use of such arguments.

Sentences containing predicates of personal taste exhibit two striking features: whether they are true seems to lie in the eye of the beholder and whether they are true can be—and often is—subject to disagreement. In the last decade, there has been a lively debate about how to account for these two features. In this paper, I shall argue for two claims: first, I shall show that even the most promising approaches so far offered by proponents of so-called indexical contextualism fail (...) to account for the disagreement feature. They might be able to account for some disagreement data, but they have trouble accounting for two kinds of disagreement data that caused the estrangement from indexical contextualism and the migration to relativism in the first place: the denial and the retraction data. Second, I shall show that we still do not have to abandon indexical contextualism, because what I shall call the superiority approach—a new pragmatically extended version of indexical contextualism—can very well account for the data. (shrink)

Expressivists and relativists about epistemic modals often motivate their view by arguing against contextualist treatments of certain cases. However, I argue that even expressivists and relativists should consider being a kind of contextualist. Specifically, data involving mixed disjunctions motivate taking epistemic modals to be sensitive to contextually-salient partitions, and thus context-sensitive.

This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

What I am calling New Age Relativism is usually proposed as a thesis about the truth-conditions of utterances, where an utterance is an actual historic voicing or inscription of a sentence of a certain type. Roughly, it is the view that, for certain discourses, whether an utterance is true depends not just on the context of its making—when, where, to whom, by whom, in what language, and so on—and the “circumstances of evaluation”—the state of the world in relevant respects—but also (...) on an additional parameter: a context of assessment. Vary the latter and the truth-value of the utterance can vary, even though the context of its making and the associated state of the world remain fixed. (shrink)

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same time avoiding (...) the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

Epistemic modals are a prominent topic in the literature on natural language semantics, with wide-ranging implications for issues in philosophy of language and philosophical logic. Considerations about the role that epistemic "might" and "must" play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural language modal expressions. This is an opinionated overview of what I take to be some of the most exciting issues and developments in the field.

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

Indicative judgments pertain to what is true. Epistemic modal judgments pertain to what must or might be true relative to a body of information. A standard view is that epistemic modals implicitly quantify over alternative possibilities, or ways things could turn out. On this view, a proposition must be true just in case it is true in all the possibilities consistent with the available information, and a proposition might be true just in case it is true in at least one (...) possibility consistent with the available information. I report three experiments testing this view of epistemic modals. The results show that although modal judgments are sensitive to information about alternative possibilities, the standard quantification theory mischaracterizes the ordinary meaning of modals. I then report two more experiments testing the hypothesis that epistemic modals express willingness to attribute knowledge based on the available information. The results support this hypothesis. The results also show that the difference between “inside” and “outside” probabilistic information, familiar from the judgment and decision-making literature, affects epistemic modal judgments. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is the (...) characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

Predicates of personal taste (fun, tasty) and epistemic modals (might, must) share a similar analytical difficulty in determining whose taste or knowledge is being expressed. Accordingly, they have parallel behavior in attitude reports and in a certain kind of disagreement. On the other hand, they differ in how freely they can be linked to a contextually salient individual, with epistemic modals being much more restricted in this respect. I propose an account of both classes using Lasersohn’s (Linguistics and Philosophy 28: (...) 643–686, 2005) “judge” parameter, at the same time arguing for crucial changes to Lasersohn’s view in order to allow the extension to epistemic modals and address empirical problems faced by his account. (shrink)

Some accounts of evidence regard it as an objective relationship holding between data and hypotheses, perhaps mediated by a testing procedure. Mayo’s error-statistical theory of evidence is an example of such an approach. Such a view leaves open the question of when an epistemic agent is justified in drawing an inference from such data to a hypothesis. Using Mayo’s account as an illustration, I propose a framework for addressing the justification question via a relativized notion, which I designate security , (...) meant to conceptualize practices aimed at the justification of inferences from evidence. I then show how the notion of security can be put to use by showing how two quite different theoretical approaches to model criticism in statistics can both be viewed as strategies for securing claims about statistical evidence. (shrink)

Some prominent accounts of scientific evidence treat evidence as an unrelativized concept. But whether belief in a hypothesis is justified seems relative to the epistemic situation of the believer. The issue becomes yet more complicated in the context of group epistemic agents, for then one confronts the problem of relativizing to an epistemic situation that may include conflicting beliefs. As a step toward resolution of these difficulties, an ideal of justification is here proposed that incorporates both an unrelativized evidence requirement (...) and the requirement of the security of the evidence on which a conclusion from data is based. The latter requirement incorporates the consideration of epistemic modal statements. (shrink)

Some well-known metaphysical arguments against relativism rest on the claim that relativity somehow must be accompanied by relationality. I argue otherwise, and trace the consequences for some prominent disputes between relativists and absolutists.

Jacob Ross and Mark Schroeder argue that invariantist accounts of disagreement are incompatible with the phenomenon of reversibility. In this essay I develop a non-standard theory of propositional attitudes, which I call attitudinal relativism. Using the resources of attitudinal relativism, I articulate an invariantist account of disagreement that is compatible with reversibility.

In ‘Epistemic Modals’ (2007), Seth Yalcin proposes Stalnaker-style semantics for epistemic possibility. He is inspired by John MacFarlane’s ingenious defence of relativism, in which claims of epistemic possibility are made rigidly from the perspective of the assessor’s actual stock of information (rather than from the speaker’s knowledge base or that of his audience or community). The innovations of MacFarlane and Yalcin independently reinforce the modal collapse espoused by Jaakko Hintikka in his 1962 epistemic logic (which relied on the implausible KK (...) principle and heavy idealizations). I respond to this new challenge with fresh objections to the underlying S4 equivalence: p p . I also propose counter-analyses of the intriguing data which Yalcin cites in support of his new semantics. A key collateral motivation for this defence of irredundant iterations is to ward off a threat to higher order vagueness. (shrink)

Is understanding subject to a factivity constraint? That is, must the agent’s representation of some subject matter be accurate in order for her to understand that subject matter? ‘No’, I argue in this paper. As an alternative, I formulate a novel manipulationist account of understanding. Rather than correctly representing, understanding, on this account, is a matter of being able to manipulate a representation of the world to satisfy contextually salient interests. This account of understanding is preferable to factivism, I argue, (...) mainly for simplicity reasons. While it explains the intuitive data about understanding as successfully as factivist accounts, it is simpler by virtue of reducing the value truth bestows on understanding to that of usability. (shrink)

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

Traditional epistemologists assumed that the most important doxastic norms were rational requirements on belief. This orthodoxy has recently been challenged by the work of revolutionary epistemologists on the rational requirements on credences. Revolutionary epistemology takes it that such contemporary work is important precisely because traditional epistemologists are mistaken—credal norms are more fundamental than, and determinative of, belief norms. To make sense of their innovative project, many revolutionary epistemologists have also adopted another commitment, that norms on credences are governed by a (...) fundamental accuracy norm. Unfortunately for the revolutionary epistemologist, it has been difficult to define a measure of accuracy while maintaining that credal norms are more basic than belief norms. In this paper, I criticize one such proposal for measuring accuracy, that the accuracy of our credences should be assessed in terms of what we know, arguing that this picture ultimately cannot vindicate the revolutionary approach. (shrink)

This paper develops a contextualist account of certain recalcitrant embedding phenomena with epistemic modals. I focus on three prominent objections to contextualism from embedding: first, that contextualism mischaracterizes subjects’ states of mind; second, that contextualism fails to predict how epistemic modals are obligatorily linked to the subject in attitude ascriptions; and third, that contextualism fails to explain the persisting anomalousness of so-called “epistemic contradictions” in suppositional contexts. Contextualists have inadequately appreciated the force of these objections. Drawing on a more general (...) framework for implementing a contextualist theory, I argue that we can derive the distinctive embedding behavior of epistemic modals from a particular contextualist interpretation of a standard semantics for modals, general mechanisms of local interpretation, and typical features of discourse contexts. Examining embedding phenomena with epistemic modals raises difficult broader issues about conventionalization and pragmatic reasoning, the varieties of context-sensitive language, and the roles of context in interpretation. The paper concludes by briefly examining how the proposed contextualist account compares with certain relativist/expressivist accounts. (shrink)

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that we have (...) good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation. (shrink)

Contextualists and relativists about predicates of personal taste, epistemic modals, and so on (“CR-expressions”) agree that the interpretation of these expressions depends, in some sense, on context. Relativists claim that the sort of context-sensitivity exhibited by CR-expressions is importantly different from that exhibited by paradigm context-sensitive expressions. This bifurcation is often motivated by the claim that the two classes of expressions behave differently in patterns of agreement and disagreement. I provide cases illustrating that the same sorts of discourse phenomena that (...) have been thought problematic for contextualists can arise with paradigm context-sensitive expressions. These cases motivate a more unified treatment of paradigm context-sensitive expressions and the expressions that have figured in recent contextualism/relativism debates. (shrink)

Why can I not appropriately utter ‘It must be raining’ while standing outside in the rain, even though every world consistent with my knowledge is one in which it is raining? The common response to this problem is to hold that epistemic must, in addition to quantifying over epistemic possibilities, carries some additional evidential information concerning the source of one'S evidence. I argue that this is a mistake: epistemic modals are mere quantifiers over epistemic possibilities. My central claim is that (...) the seeming anomaly of the data above arises from a mistaken conception of what a possibility is. Instead of conceiving of possibilities as possible worlds, I argue that we should conceive of possibilities as answers to open questions. (shrink)

This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresponding thesis about the probabilities of statements governed by epistemic modals can be derived. The paper proceeds by deriving further consequences of this thesis, in (...) particular, the logic of epistemic modals and their logical interaction with indicative conditionals are studied. (shrink)

A paper by Schulz (Philos Stud 149:367–386, 2010) describes how the suppositional view of indicative conditionals can be supplemented with a derived view of epistemic modals. In a recent criticism of this paper, Willer (Philos Stud 153:365–375, 2011) argues that the resulting account of conditionals and epistemic modals cannot do justice to the validity of certain inference patterns involving modalised conditionals. In the present response, I analyse Willer’s argument, identify an implicit presupposition which can plausibly be denied and show that (...) accepting it would blur the difference between plain assumptions and their epistemic necessitations. (shrink)

Knowledge ascriptions seem context sensitive. Yet it is widely thought that epistemic contextualism does not have a plausible semantic implementation. We aim to overcome this concern by articulating and defending an explicit contextualist semantics for ‘know,’ which integrates a fairly orthodox contextualist conception of knowledge as the elimination of the relevant alternatives, with a fairly orthodox “Amherst” semantics for A-quantification over a contextually variable domain of situations. Whatever problems epistemic contextualism might face, lack of an orthodox semantic implementation is not (...) among them. (shrink)

This paper investigates the link between informational consequence and credence. I first suggest a natural constraint, namely that informational consequence should preserve certainty: on any rational credence distribution, when the premises of an informational inferences have credence 1, the conclusion also has credence 1. Then I show that the certainty‐preserving constraint leads to triviality. In particular, the following three claims are incompatible: (i) informational consequence is extensionally distinct from classical consequence; (ii) informational inferences preserve certainty; (iii) credences obey (a subset (...) of) classical Bayesian constraints. The proof is straightforward, but the theoretical implications are substantial. Informational theorists need to either give up the idea that credence applies to epistemic discourse, or develop a nonclassical theory of credence and credal update. Moreover, the result also suggests that there is a connection between informational consequence and triviality results, including classical triviality results like Lewis's. (shrink)

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

This paper presents a general-purpose update semantics for expressions of subjective uncertainty in natural language. First, a set of desiderata are established for how expressions of subjective uncertainty should behave in dynamic, update-based semantic systems; then extant implementations of expressions of subjective uncertainty in such models are evaluated and found wanting; finally, a new update semantics is proposed. The desiderata at the heart of this paper center around the contention that expressions of subjective uncertainty express beliefs which are not persistent, (...) whereas propositions express beliefs that are persistent. I argue that if we make the move of treating updates in a dynamic semantics as Bayesian updates, i.e. as conditionalization, then expressions of subjective uncertainty will behave the way we want them to without altering the way propositions behave. (shrink)

The ability to compare possibilities and designate some as ‘better’ than others is a fundamental aspect of our use of modals and propositional attitude verbs. This article aims to support a proposal by Sloman that certain modal expressions, in particular, ought, in fact have a more pronounced comparative backbone than others . The connection between ‘ought’ and ‘better’ is supported by linguistic data and a proposal is advanced for modeling ideals in a way that makes room for non-comparative, strong, priority-type (...) necessity. (shrink)

The phenomenon of disagreement has recently been brought into focus by the debate between contextualists and relativist invariantists about epistemic expressions such as ‘might’, ‘probably’, indicative conditionals, and the deontic ‘ought’. Against the orthodox contextualist view, it has been argued that an invariantist account can better explain apparent disagreements across contexts by appeal to the incompatibility of the propositions expressed in those contexts. This paper introduces an important and underappreciated phenomenon associated with epistemic expressions — a phenomenon that we call (...) reversibility. We argue that the invariantist account of disagreement is incompatible with reversibility, and we go on to show that reversible sentences cast doubt on the putative data about disagreement, even without assuming invariantism. Our argument therefore undermines much of the motivation for invariantism, and provides a new source for constraints on the proper explanation of purported data about disagreement. (shrink)

We assume a central thesis about modal auxiliaries due to Angelika Kratzer, the modal base presupposition: natural language expressions that contain a modal component in their meaning, including all English modal auxiliaries and epistemic modal auxiliaries (EMA)s in particular, presuppose a modal base, a function that draws from context a relevant set of propositions which contribute to a premise-semantics for the modal. Accepting this thesis for EMAs leaves open (at least) the following two questions about the meaning of English EMAs (...) like _must_ and _might_: (i) What constraints, if any, are there on the character of the premise set for an EMA? And (ii) what is the nature of the relationship between premises and conclusion that is required for truth of the EMA statement? I argue for at least a partial answer to (i), with a hypothesis about constraints on the modal base for an EMA: EMAs, unlike some other types of modals, are indexical: They are anchored to an agent-in-a-situation whose doxastic state is currently under discussion in the context of utterance. Realized in a Kratzerian semantics, indexicality sheds new light on a number of outstanding puzzles, including the widely observed variability of anchoring of EMAs, the ways in which EMAs differ from so-called root modals, Yalcin’s (Mind 116:983–1026, 2007) puzzle (a version of Moore’s paradox for epistemic modals embedded under attitudes), how to explain the apparent weakness of necessity EMAs, and problems with second order belief and disagreement. (shrink)

Propositions are generally thought to have a truth-value only relative to some parameter or sequence of parameters. Many apparently straightforward notions, like what it is to disagree or retain a belief, become harder to explain once propositional truth is thus relativized. An account of disagreement within a framework involving such ‘stoic’ propositions is here presented. Some resources developed in that account are then used to respond to the eternalist charge that temporalist propositions can't function as belief contents because they don't (...) allow us to make adequate sense of what belief retention amounts to. (shrink)

My aim in this paper is to give a philosophical analysis of the relationship between contingently available technology and the knowledge that it makes possible. My concern is with what specific subjects can know in practice, given their particular conditions, especially available technology, rather than what can be known “in principle” by a hypothetical entity like Laplace’s Demon. The argument has two parts. In the first, I’ll construct a novel account of epistemic possibility that incorporates two pragmatic conditions: responsibility and (...) practicability. For example, whether subjects can gain knowledge depends in some circumstances on whether they have the capability of gathering relevant evidence. In turn, the possibility of undertaking such investigative activities depends in part on factors like ethical constraints, economical realities, and available technology. In the second part of the paper, I’ll introduce “technological possibility” to analyze the set of actions made possible by available technology. To help motivate the problem and later test my proposal, I’ll focus on a specific historical case, one of the earliest uses of digital electronic computers in a scientific investigation. I conclude that the epistemic possibility of gaining access to scientific knowledge about certain subjects depends (in some cases) on the technological possibility for making responsible investigations. (shrink)

The paper distinguishes between weak and strong epistemic possibility and argues that the notion of strong epistemic possibility is the key to solving some of the most vexing puzzles about the semantics of epistemic modality.