Credences are beliefs about evidential probabilities. We give the view an assessment-sensitive formulation, show how it evades the standard objections, and give several arguments in support.

Recent scoreboard models of conversation, in addition to modeling update effects of assertions and questions, also make sense of how one may react to such discourse moves. An account of acceptance and rejection is captured by Farkas & Bruce (2010), while Bledin & Rawlins (2020) have recently made sense of how one may resist an assertion too. For rejection and resistance of assertions, truth comes out to be a crucial notion. Between X and Y, if Y doesn't believe p to (...) be true, then Y might resist or reject X's assertion of p. For questions however, truth cannot serve this purpose. A complete model of discourse would seek to offer explanation of resisting questions. Much like Bledin & Rawlins, one can non-exhaustively enumerate a class of resistance moves. In many ways, one can resist a request to make a particular question QUD. In this paper, we raise following question: which notion can serve to explain question uptake in discourse? In our paper, we show how the expected utility value (EUV) of questions can serve this role for questions. EUV is used by van Rooij (2003) to give an account of interpretation of questions; we think it can serve our intended purposes too. To demonstrate plausibility, we build a workable formalism. (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)

Aesthetic statements of the form ‘X is beautiful’ are evaluative; they indicate the speaker’s positive affective attitude regarding X. Why is this so? Is the evaluative content part of the truth conditions, or is it a pragmatic phenomenon (i.e. presupposition, implicature)? First, I argue that semantic approaches as well as these pragmatic ones cannot satisfactorily explain the evaluativity of aesthetic statements. Second, I offer a positive proposal based on a speech-act theoretical version of hybrid expressivism, which states that, with the (...) literal utterance of ‘X is beautiful’, we perform two illocutionary acts simultaneously, an assertive and an expressive one. I will specify this theory in detail and argue that it can satisfactorily account for the evaluative content of aesthetic statements. I will also discuss the advantages of the theory over other variants of expressivism in meta-aesthetics. (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.

This paper discusses the relation between Crispin Wright’s alethic pluralism and my global expressivism. I argue that on many topics Wright’s own view counts as expressivism in my sense, but that truth itself is a striking exception. Unlike me, Wright never seems to countenance an expressivist account of truth, though the materials needed are available to him in his approaches to other topics.

This paper clarifies the relationship between the Triviality Results for the conditional and the Restrictor Theory of the conditional. On the understanding of Triviality proposed here, it is implausible—pace many proponents of the Restrictor Theory—that Triviality rests on a syntactic error. As argued here, Triviality arises from simply mistaking the feature a claim has when that claim is logically unacceptable for the feature a claim has when that claim is unsatisfiable. Triviality rests on a semantic confusion—one which some semantic theories, (...) but not others, are prone to making. On the interpretation proposed here, Triviality Results thus play a theoretically constructive role in the project of natural language semantics. (shrink)

// 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)

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)

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

Despite growing appreciation in recent decades of the importance of shared intentional mental states as a foundation for everything from divergences in primate evolution, to the institution of communal norms, to trends in the development of modernity as a socio-political phenomenon, we lack an adequate understanding of the relationship between individual and shared intentionality. At the same time, it is widely appreciated that deontic reasoning concerning what ought, may, and ought not be done is, like reasoning about our intentions, an (...) exercise of practical rationality. Taking advantage of this fact, I use a plan-theoretic semantics for the deontic modalities as a basis for understanding individual and shared intentions. This results in a view that accords well with what we currently have reason to believe about the phylogenetic and ontogenetic development of norm psychology and shared intentionality in human beings, and where original intentionality can be understood in terms of the shared intentionality of a community. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

Metaethical expressivism is typically characterised as the view that normative statements express desire-like attitudes instead of beliefs. However, in this paper I argue that expressivists should claim that normative statements express beliefs in normative propositions, and not merely in some deflationary sense but in a theoretically robust sense explicated by a theory of propositional attitudes. I first argue that this can be achieved by combining an interpretationist understanding of belief with a nonfactualist view of normative belief content. This results in (...) a view I call ‘interpretative expressivism’. I then argue that traditional arguments employed by expressivists that normative statements express noncognitive attitudes can just as well support the claim that normative statements express nonfactual or nonrepresentational beliefs. Finally, I argue that this view has a number of advantages to versions of expressivism that deny that normative statements express non-deflationary normative beliefs. (shrink)

One very popular framework in contemporary epistemology is Bayesian. The central epistemic state is subjective confidence, or credence. Traditional epistemic states like belief and knowledge tend to be sidelined, or even dispensed with entirely. Credences are often introduced as familiar mental states, merely in need of a special label for the purposes of epistemology. But whether they are implicitly recognized by the folk or posits of a sophisticated scientific psychology, they do not appear to fit well with perception, as is (...) often noted. -/- This paper investigates the tension between probabilistic cognition and non-probabilistic perception. The tension is real, and the solution—to adapt a phrase from Quine and Goodman—is to renounce credences altogether. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...) she reports Pete as believing is entailed by Pete’s beliefs if they are revised in light of Jane and Jim’s background knowledge. We provide a semantic theory of revisionist reports based on this idea. We observe that the admissible “revisions” are limited in a striking way. Jane cannot say ‘Pete thinks Ann is a 6-year-old and can play tennis in ten lessons’ in the same context that she can say ‘Pete believes Ann can learn to play tennis ten lessons’, even though this too follows from Jane and Jim’s background knowledge together with what Pete believes. Our theory predicts the infelicity of these latter reports. It also has the resources to predict the truth of “exported” attitude reports and casts the relationship between these reports and “singular thought” in a new light. We conclude by discussing how revisionist reports make trouble for a simplistic view of the connection between the relations expressed by attitude verbs in natural language and the relations of most interest to philosophers of mind and cognitive science. (shrink)

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...) of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (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)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

According to noncognitivism, normative beliefs are just desire-like attitudes. While noncognitivists have devoted great effort to explaining the nature of normative belief, they have said little about all of the other attitudes we take towards normative matters. Many of us desire to do the right thing. We sometimes wonder whether our conduct is morally permissible; we hope that it is, and occasionally fear that it is not. This gives rise to what Schroeder calls the 'Many Attitudes Problem': the problem of (...) developing a plausible noncognitivist account of the full range of attitudes that we take towards normative matters. This paper explores the problem and proposes a solution. (shrink)

This paper argues that there is a class of terms, or uses of terms, that are best accounted for by an expressivist account. We put forward two sets of criteria to distinguish between expressive and factual terms. The first set relies on the action-guiding nature of expressive language. The second set relies on the difference between one's evidence for making an expressive vs. factual statement. We then put those criteria to work to show, first, that the basic evaluative adjectives such (...) as ‘good’ have expressive as well as factual uses and, second, that many adjectives whose primary meanings are factual, such as ‘powerful’, also have expressive uses. (shrink)

According to the preference-centric approach to understanding partial belief, the connection between partial beliefs and preferences is key to understanding what partial beliefs are and how they’re measured. As Ramsey put it, the ‘degree of a belief is a causal property of it, which we can express vaguely as the extent to which we are prepared to act on it’ The Foundations of Mathematics and Other Logical Essays, Routledge, Oxon, pp 156–198, 1931). But this idea is not as popular as (...) it once was. Nowadays, the preference-centric approach is frequently dismissed out-of-hand as behaviouristic, unpalatably anti-realist, and/or prone to devastating counterexamples. Cases like Eriksson and Hájek’s :183–213, 2007) preferenceless Zen monk and Christensen’s :356–376, 2001) other roles argument have suggested to many that any account of partial belief that ties them too closely to preferences is irretrievably flawed. In this paper I provide a defence of preference-centric accounts of partial belief. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a (...) positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Mind &Language, Volume 35, Issue 1, Page 115-138, February 2020.

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...) and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

This chapter develops an account of the meaning and use of various types of legal claims, and uses this account to inform debates about the nature and normativity of law. The account draws on a general framework for implementing a contextualist theory, called 'Discourse Contextualism' (Silk 2016). The aim of Discourse Contextualism is to derive the apparent normativity of claims of law from a particular contextualist interpretation of a standard semantics for modals, along with general principles of interpretation and conversation. (...) Though the semantics is descriptivist, it avoids Dworkin’s influential criticism of so-called “semantic theories of law,” and elucidates the nature of “theoretical disagreements” about the criteria of legal validity. The account sheds light on the social, interpersonal function of normative uses of language in legal discourse. It also gives precise expression to Hart’s and Raz’s intuitive distinctions among types of legal claims (internal/external, committed/detached), while giving them a uniform type of analysis. The proposed semantics and pragmatics of legal claims provides a fruitful framework for further theorizing about the nature and metaphysics of law, the relation between law and morality, and the apparent practical character of legal language and judgment. Discourse Contextualism provides a solid linguistic basis for a broader account of legal discourse and practice. (shrink)

Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them radical: (...) they can either deny that epistemic modal claims have probability at all, or they can move to a nonstandard probability theory. (shrink)

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

I present a puzzle about belief and credence, which takes the form of three independently supported views that are mutually inconsistent. The first is the view that S has a modal belief that p (e.g., S believes that probably-p) if and only if S has a corresponding credence that p. The second is the view that S believes that p only if S has some credence that p. The third is the view that, possibly, S believes that p without a (...) modal belief that p. [Word Count: 85]. (shrink)

I present unexplored and unaccounted for uses of 'wants'. I call them advisory uses, on which information inaccessible to the desirer herself helps determine what she wants. I show that extant theories by Stalnaker, Heim, and Levinson fail to predict these uses. They also fail to predict true indicative conditionals with 'wants' in the consequent. These problems are related: intuitively valid reasoning with modus ponens on the basis of the conditionals in question results in unembedded advisory uses. I consider two (...) fixes, and end up endorsing a relativist semantics, according to which desire attributions express information-neutral propositions. On this view, 'wants' functions as a precisification of 'ought', which exhibits similar unembedded and compositional behavior. I conclude by sketching a pragmatic account of the purpose of desire attributions that explains why it made sense for them to evolve in this way. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite belief (...) in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

If modus ponens is valid, then you should take up smoking.

This paper explores the idea that a semantics for ‘ought’ should be neutral between different ways of deciding what an agent ought to do in a situation. While the idea is, I argue, well-motivated, taking it seriously leads to surprising, even paradoxical, problems for theorizing about the meaning of ‘ought’. This paper describes and defends one strategy—a form of Expressivism for the modal ‘ought’—for navigating these problems.

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

In recent years, a number of theorists have claimed that beliefs about probability are transparent. To believe probably p is simply to have a high credence that p. In this paper, I prove a variety of triviality results for theses like the above. I show that such claims are inconsistent with the thesis that probabilistic modal sentences have propositions or sets of worlds as their meaning. Then I consider the extent to which a dynamic semantics for probabilistic modals can capture (...) theses connecting belief, certainty, credence, and probability. I show that although a dynamic semantics for probabilistic modals does allow one to validate such theses, it can only do so at a cost. I prove that such theses can only be valid if probabilistic modals do not satisfy the axioms of the probability calculus. (shrink)

We argue that the aesthetic domain falls inside the scope of rationality, but does so in its own way. Aesthetic judgment is a stance neither on whether a proposition is to be believed nor on whether an action is to be done, but on whether an object is to be appreciated. Aesthetic judgment is simply appreciation. Correlatively, reasons supporting theoretical, practical and aesthetic judgments operate in fundamentally different ways. The irreducibility of the aesthetic domain is due to the fact that (...) aesthetic judgment is a sensory-affective disclosure of, and responsiveness to, merit: it is a feeling that presents an object, and is responsive to it, as worthy of being liked. Aesthetic judgment is thus shown to be, on the hand, first personal and non-transferable; and, on the other hand, a presentation of reality. We thereby capture what is right in both subjectivist and objectivist conceptions of aesthetic judgment. (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)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

When speakers utter conflicting moral sentences, it seems clear that they disagree. It has often been suggested that the fact that the speakers disagree gives us evidence for a claim about the semantics of the sentences they are uttering. Specifically, it has been suggested that the existence of the disagreement gives us reason to infer that there must be an incompatibility between the contents of these sentences. This inference then plays a key role in a now-standard argument against certain theories (...) in moral semantics. In this paper, we introduce new evidence that bears on this debate. We show that there are moral conflict cases in which people are inclined to say both that the two speakers disagree and that it is not the case at least one of them must be saying something incorrect. We then explore how we might understand such disagreements. As a proof of concept, we sketch an account of the concept of disagreement and an independently motivated theory of moral semantics which, together, explain the possibility of such cases. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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. I also develop 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 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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. I invent 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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. I also develop 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 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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. I invent 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

Different people reason differently, which means that sometimes they reach different conclusions from the same evidence. We maintain that this is not only natural, but rational. In this essay we explore the epistemology of that state of affairs. First we will canvass arguments for and against the claim that rational methods of reasoning must always reach the same conclusions from the same evidence. Then we will consider whether the acknowledgment that people have divergent rational reasoning methods should undermine one’s confidence (...) in one’s own reasoning. Finally we will explore how agents who employ distinct yet equally rational methods of reasoning should respond to interactions with the products of each others’ reasoning. We find that the epistemology of multiple reasoning methods has been misunderstood by a number of authors writing on epistemic permissiveness and peer disagreement. (shrink)