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.

I develop a conception of expressivism according to which it is chiefly a pragmatic thesis about some fragment of discourse, one imposing certain constraints on semantics. The first half of the paper uses credal expressivism about the language of probability as a stalking-horse for this purpose. The second half turns to the question of how one might frame an analogous form of expressivism about the language of deontic modality. Here I offer a preliminary comparison of two expressivist lines. The first, (...) expectation expressivism, looks again to Bayesian modelling for inspiration: it glosses deontically modal language as characteristically serving to express decision-theoretic expectation (expected utility). The second, plan expressivism, develops the idea (due to Gibbard 2003) that this language serves to express 'plan-laden' states of belief. In the process of comparing the views, I show how to incorporate Gibbard's modelling ideas into a compositional semantics for attitudes and modals, filling a lacuna in the account. I close with the question whether and how plan expressivism might be developed with expectation-like structure. (shrink)

According to a naive view sometimes apparent in the writings of moral philosophers, 'ought' often expresses a relation between agents and actions—the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naive view that 'ought' always expresses this relation—adherents of the naive view are happy to allow that 'ought' also has an evaluative sense, on which it means, roughly, that were things ideal, some proposition (...) would be the case. What is important to the naive view is that there is also a deliberative sense of 'ought', on which it relates agents to actions. In contrast, logically and linguistically sophisticated philosophers have typically rejected this naive view. According to them, there is no argument-place for an agent in any relation expressed by 'ought', nor is there any argument-place for an action. According to this view, if Jim ought to jam, that is not because there is a special distinctive deliberative ought relation between Jim and jamming; rather, it is because a certain proposition ought to be the case: namely, that Jim jams. This essay defends the naive view, by first arguing that there are two distinct normative senses of 'ought', which actually exhibit different syntactic behavior, and then going on to argue that the deliberative sense of 'ought' relates agents to actions, rather than to propositions. It closes by drawing lessons for a range of issues in moral theory. (shrink)

According to a naïve view sometimes apparent in the writings of moral philosophers, ‘ought’ often expresses a relation between agents and actions – the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naïve view that ‘ought’ always expresses this relation – on the contrary, adherents of the naïve view are happy to allow that ‘ought’ also has an epistemic sense, on which it means, (...) roughly, that some proposition is likely to be the case, and adherents of the naïve view are also typically happy to allow that ‘ought’ also has an evaluative sense, on which it means, roughly, that were things ideal, some proposition would be the case.1 What is important to the naïve view is not that these other senses of ‘ought’ do not exist, but rather that they are not exhaustive – for what they leave out, is the important deliberative sense of ‘ought’, which is the central subject of moral inquiry about what we ought to do and why – and it is this deliberative sense of ‘ought’ which the naïve view understands to express a relation between agents and actions.2 In contrast, logically and linguistically sophisticated philosophers – with a few notable exceptions3 – have rejected this naïve view. According to a dominant perspective in the interpretation of deontic logic and in linguistic semantics, for example, articulated by Roderick Chisholm (1964) and Bernard Williams (1981) in philosophy and in the dominant paradigm in linguistic semantics as articulated in particular by.. (shrink)

Based on the analysis of narrations in Free Indirect Discourse and the Historical Present, we argue that the grammatical notion of context of speech should be ramified into a Context of Thought and a Context of Utterance. Tense and person depend on the Context of Utterance, while all other indexicals are evaluated with respect to the Context of Thought. Free Indirect Discourse and the Historical Present are analyzed as special combinatorial possibilities that arise when the two contexts are distinct, and (...) exactly one of them is presented as identical to the physical point at which the sentence is articulated. (shrink)

Argues for the humean theory of motivation on the grounds that rejecting it requires rejecting decision theory.

We consider a paradox involving indicative conditionals (‘ifs’) and deontic modals (‘oughts’). After considering and rejecting several standard options for resolv- ing the paradox—including rejecting various premises, positing an ambiguity or hidden contextual sensitivity, and positing a non-obvious logical form—we offer a semantics for deontic modals and indicative conditionals that resolves the paradox by making modus ponens invalid. We argue that this is a result to be welcomed on independent grounds, and we show that rejecting the general validity of modus (...) ponens is compatible with vindicating most ordinary uses of modus ponens in reasoning. (shrink)

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

It has often been said that 'desire' is ambiguous. I do not believe the case for this has been made thoroughly enough, however. The claim typically occurs in the course of defending controversial philosophical theses, such as that intention entails desire, where it tends to look ad hoc. There is need, therefore, for a thorough and single-minded exploration of the ambiguity. I believe the results will be more profound than might be suspected.

The Desire-as-Belief thesis (DAB) states that any rational person desires a proposition exactly to the degree that she believes or expects the proposition to be good. Many people take David Lewis to have shown the thesis to be inconsistent with Bayesian decision theory. However, as we show, Lewis's argument was based on an Invariance condition that itself is inconsistent with the (standard formulation of the) version of Bayesian decision theory that he assumed in his arguments against DAB. The aim of (...) this paper is to explore what impact the rejection of Invariance has on the DAB thesis. Without assuming Invariance, we first refute all versions of DAB that entail that there are only two levels of goodness. We next consider two theses according to which rational desires are intimately connected to expectations of (multi-levelled) goodness, and show that these are consistent with Bayesian decision theory as long as we assume that the contents of 'value propositions' are not fixed. We explain why this conclusion is independently plausible, and show how to construct such propositions. (shrink)

Do logically valid arguments necessarily preserve truth? Certain inferences involving informational modal operators and indicative conditionals suggest that truth preservation and good deductive argument come apart. Given this split, I recommend an alternative to the standard truth preservation view of logic on which validity and good deductive argument coincide: logic is a descriptive science that is fundamentally concerned not with the preservation of truth, but with the preservation of structural features of information. Along the way, I defend modus ponens for (...) the indicative against an attack by Kolodny and MacFarlane, and I present a new proof system, Info, appropriate to this informational view. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

Socrates says that everyone desires the good. Does he mean that people desire what appears to them to be good? Or does he mean that they desire what really is good? This article argues, with reference passages in the Meno and Gorgias, that these alternatives are less opposed than they seem: each identifies something Socrates takes to be a necessary but insufficient condition on desiring. If what we desire must both be and appear to us to be good, then people (...) desire a subset of the things they take themselves to desire, and a subset of the things that really are good. Pointing this out to people incites them to inquire about the good, since they will be motivated to discover which appearances are mistaken and which goods they have missed out on. This explains why Socrates so frequently asserts that everyone desires the good: it serves his protreptic purposes. (shrink)