Dworkin’s famous argument from legal disagreements poses a problem for legal positivism by undermining the idea that the law can be (just) the result of the practice and attitudes of norm-applying officials. In recent work, the chapter author argued that a hybrid contextualist theory paired with a dispositional theory of value—a hybrid dispositionalism, for short—offers the resources to respond to similar disagreement- based arguments in other evaluative and normative domains. This chapter claims that the theory the author advocates can extend (...) to legal statements and disputes, and shares some important features with Toh’s (2011) idea that legal statements express shared acceptance of norms. The chapter proposes that a contextualist semantics for legal statements paired with the pragmatic communication of implicatures that express shared acceptances of norms, achieves the same goal that Toh aims at. (shrink)

Scott Soames argues that consideration of the practice of legal judgement gives us good reason to favor the partial-definition/context-sensitive theory of vagueness against epistemicism. Despite the fact that the value of power-delegation through vagueness is evidenced in practice, Soames says, epistemicism cannot account for it theoretically, while the partial-definition/context-sensitive theory is capable of it. In this paper, I examine the two possible arguments against epistemicism that can be extracted from Soames’s account: (i) an argument based on unknown obligations, and (ii) (...) an argument based on power-delegation through vagueness. The first argument tries to convince us that, as based on epistemicism, the law has already decided the borderline cases, so that judges have obligatory decisions even in such cases: therefore epistemicism is inconsistent with the discretion of judges in borderline cases. I show that even if we sympathize with Soames’s intuitions concerning the legal practice, the argument he offers is not conclusive since it is either invalid, unsound, or paradoxical. The second argument holds that only the gaps which the partial-definition/context-sensitive theory predicts give judges the possibility of lawmaking in borderline cases. However, by categorizing the vague laws as imperfect laws, the judges can claim the right of lawmaking without any need to refer to gaps in the law. By neutralizing these arguments, I argue that epistemicism is able to explain the phenomena just as well as the partial-definition/context-sensitive theory. (shrink)

Despite increasing prominence, ‘ought’-contextualism is regarded with suspicion by most metaethicists. As I’ll argue, however, contextualism is a very weak claim, that every metaethicist can sign up to. The real controversy concerns how contextualism is developed. I then draw an oft-overlooked distinction between “parochial” contextualism—on which the contextually-relevant standards are those that the speaker, or others in her environment, subscribe to—and “aspirational” contextualism—on which the contextually-relevant standards are the objective standards for the relevant domain. However, I argue that neither view (...) is acceptable. I suggest an original compromise: “ecumenical contextualism”, on which some uses of ‘ought’ are parochial, others aspirational. Ecumenical contextualism is compatible with realism or antirealism, but either combination yields interesting results. And though it’s a cognitivist view, it is strengthened by incorporating an expressivist insight: for robustly normative usages of ‘ought’, the contextually-relevant standards must be endorsed by the speaker. (shrink)

In the real world, there can be constraints on rational decision-making: there can be limitations on what I can know and on what you can know. There can also be constraints on my ability to deliberate or on your ability to deliberate. It is useful to know what the norms of rational deliberation should be in ideal contexts, for fully informed agents, in an ideal world. But it is also useful to know what the norms of rational deliberation should be (...) in the actual world, in non-ideal contexts, for imperfectly informed agents, especially for big, life-changing decisions. That is, we want to know how to deliberate as best we can, given the real-world limitations on what we can know, and given real-world limitations on how we are able to deliberate. In this paper, our concern is with the norms of rational deliberation in certain, important, non-ideal contexts, where the reasoning occurs from the agent’s first person, subjective point of view. The norms governing the process of deliberation for real people in the sorts of non-ideal contexts we’ll consider need to reflect the way that real agents, with an incomplete grasp on the facts and an imperfect ability to deliberate, can be expected to proceed. Our central contention is that framing and exploring the deliberative process from the first person perspective allows us to uncover and explore important, real-world constraints on boundedly rational agents deliberating from the subjective perspective. (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 presents a case for the claim that the infamous miners paradox is not a paradox. This contention is based on some important observations about the nature of ignorance with respect to both disjunctions and conditional obligations and their modal features. The gist of the argument is that given the uncertainty about the location of the miners in the story and the nature of obligations, the apparent obligation to block either mine shaft is cancelled.

This is a critical notice of Nate Charlow and Matthew Chrisman's (eds.) edited collection of articles entitled Deontic Modality. It begins from a brief overview of Angelika Kratzer's standard ordering semantic model for understanding deontic modals such as 'ought', 'must', and 'may' and some of the problems of this model. The focus is then on how many of the articles of this collection reach to these problems by either developing the standard model further or by formulating alternatives to it. This (...) critical notice then focuses on the principles that should govern our theory-choice in formal semantics once all these formal models are developed to deal with many of the problem cases discussed in this excellent collection. (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.

A series of recent studies have explored the impact of people's judgments regarding physical law, morality, and probability. Surprisingly, such studies indicate that these three apparently unrelated types of judgments often have precisely the same impact. We argue that these findings provide evidence for a more general hypothesis about the kind of cognition people use to think about possibilities. Specifically, we suggest that this aspect of people's cognition is best understood using an idea developed within work in the formal semantics (...) tradition, namely the notion of modality. On the view we propose, people may have separate representations for physical, moral and probabilistic considerations, but they also integrate these various considerations into a unified representation of modality. (shrink)

Philosophy and Phenomenological Research, EarlyView.

This chapter provides a selective survey of prominent theories of the semantics of deontic modals in logic and natural language. We focus on Kratzer’s (1977; 1981; 1991) semantics and extensions to this analysis. Kratzer’s semantics has been far and away the most influential theory of deontic modals, which provide a base case for the interpretation of normative language in general. Understanding the logic and truth-conditions of normative language is one of the core areas of metaethics. It informs our understanding of (...) normative arguments and normative reasoning. As this chapter will emphasize, some forms of normative language don’t allow for the inferences that classical logic trains philosophers to expect. Understanding what inferences are valid for normative language should impact our under-standing of how we reason, and should reason, about the normative. We will first look at how deontic modals are understood in the context of modal logic and natural language. Then we’ll survey some recent debates and discoveries in the literature on deontic modals in natural language. We close with some considerations about the relevance of natural language to metaethics. (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)

There is a long-standing view in epistemology that perception is a way of knowing. There is a less long-standing but increasingly popular view that knowledge attributions have a relativist semantics. I discuss three things here. First, I show that it is a consequence of the logic of RKA that WOK and RKA are incompatible. Second, I argue that, even if WOK is incompatible with the main rivals to RKA, this is not a consequence of the logics of these views. RKA (...) comes with a hitherto unobserved philosophical consequence that its main rivals do not come with. Third, I consider some responses to the effect that it does not matter that RKA comes with this consequence, and argue that they are all unsatisfactory as they stand. I conclude that, at the very least, the onus is placed on relativists to engage with more epistemology than they currently do to show that we do not need to worry about the incompatibility of WOK and RKA. I conclude with some suggestions about the broader relevance and implications of this paper. (shrink)

Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for (...) a language with epistemic modals and indicative conditionals. In the other direction, the formal semantics for indicative conditionals due to Kolodny and MacFarlane [9] gives rise to a new dynamic operator that is very natural from the point of view of dynamic epistemic logic, allowing succinct expression of dependence (as in dependence logic) or supervenience statements. We prove decidability for the logic with epistemic modals and Kolodny and MacFarlane's indicative conditional via a full and faithful computable translation from their logic to the modal logic K45. (shrink)

Kiesewetter defends the normativity of rationality by presenting a new solution to the problems that arise from the common assumption that we ought to be rational. He provides a defence of a reason-response conception of rationality, an evidence-relative account of reason, and an explanation of structural irrationality in relation to these accounts.

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

The book concerns what I take to be the least controversial normative principle concerning action: you ought to perform your best option—best, that is, in terms of whatever ultimately matters. The book sets aside the question of what ultimately matters so as to focus on more basic issues, such as: What are our options? Do I have the option of typing out the cure for cancer if that’s what I would in fact do if I had the right intentions at (...) the right times (e.g., the intention to type the letter T at t1, the intention to type the letter H at t2, the intention to type the letter E at t3, etc.)? If I can’t form intentions voluntarily, does that mean that I don’t have the option of forming the intention that I ought to form? Which options do we assess directly in terms of their own goodness and which do we assess in terms of their relations to the goodness of other options? What do we hold fixed when assessing how good an option is? Do we, for instance, hold fixed the agent’s future beliefs, desires, and intentions? And do we hold fixed the agent’s predictable future misbehavior? Lastly, how do the things that ultimately matter determine the goodness of an option? If one of the things that ultimately matters in determining the goodness of an option is that the option doesn’t involve violating anyone’s rights, do we evaluate the option itself in terms of whether it involves violating anyone’s rights or do we evaluate the option’s prospect in terms of this and then the option in terms of its prospect? And what if there is indeterminacy or uncertainty with regards to whether an option would involve violating someone’s rights? (shrink)

According to perspectivism about moral obligation, our obligations are affected by our epistemic circumstances. But how exactly should this claim be understood? On Zimmerman’s “Prospective View”, perspectivism is spelled out as the thesis that an option is obligatory if and only if it maximizes what Zimmerman calls “prospective value”, which is in turn determined by the agent’s present evidence. In this article, I raise two objections to this approach. Firstly, I argue that spelling out the difference between perspectivism and anti-perspectivism (...) in terms of value creates a number of problems that can be avoided by an account that proceeds in terms of reasons. Secondly, I argue that Zimmerman focuses on the wrong body of evidence, and that this commits him to an implausible solution to the problem that perspectivists face with regard to advice from better-informed sources. (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. David Elohim examines 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 \textbf{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. Elohim develops 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 \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{8} examines the interaction between Elohim's 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 $\Omega$-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 \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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. Elohim invents 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 \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{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. David Elohim examines 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 \textbf{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. Elohim develops 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 \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{8} examines the interaction between Elohim's 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 $\Omega$-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 \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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. Elohim invents 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 \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{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)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

This paper surveys some ways in which epistemic reasons ascriptions (or ERAs) appear to be context-sensitive, and outlines a framework for thinking about the nature of this context-sensitivity that is intimately related to ERAs' explanatory function.

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the cognitive (...) act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account of (...) attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical (...) logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

In tradition linked to Aristotle and Kant, many contemporary philosophers treat practical and theoretical normativity as two genuinely distinct domains of normativity. In this paper I consider the question of what it is for normative domains to be distinct. I suggest that there are two different ways that the distinctness thesis might be understood and consider the different implications of the two different distinctness theses.

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Although relativism may be said to be one of the oldest doctrines in philosophy, dating back to the teachings of Protagoras in the 5th century B.C., when it comes to contemporary philosophy, there is no consensus on what makes a view qualify as "relativist". The problem is particularly accute in metaethics, since most of the views that up to a decade ago were described as “relativist” would be more accurately described as "contextualist" or even “expressivist” in light of the distinctions (...) currenty drawn in philosophy of language and semantics. In this chapter, we distinguish two construals of relativism, developed in sections 2 and 3 respectively: the “metaphysical” construal, based on the idea that there is no single, absolute, universal morality, and the “semantic” construal, based on the idea that the truth value of moral claims is relative to a set of moral standards, or moral practices, or some other suitable parameter. Section 1 introduces the core relativist ideas in an informal way, and warns against possible misinterpretations. (shrink)

Epistemic modals in consequent place of indicative conditionals give rise to apparent counterexamples to Modus Tollens. Familiar assumptions behind familiar truth conditional theories of embedded modality facilitate a prima facie explanation—viz., that the target cases harbor epistemic modal equivocations. However, this sort of explanation goes too far. It fosters other predictions of equivocation in places where in fact there are none. It is argued that the solution is to drop the credo that modal claims are inherently relational in favor of (...) a view that treats them as inherently quantificational. In particular it is suggested that epistemic modals express covert mass noun descriptions of information of the form “the actionable information stands in logical relation L to prejacent p”. We demonstrate how this approach unlocks the equivocation problem. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

Logic has traditionally been construed as a normative discipline; it sets forth standards of correct reasoning. Explosion is a valid principle of classical logic. It states that an inconsistent set of propositions entails any proposition whatsoever. However, ordinary agents presumably do — occasionally, at least — have inconsistent belief sets. Yet it is false that such agents may, let alone ought to, believe any proposition they please. Therefore, our logic should not recognize explosion as a logical law. Call this the (...) ‘normative argument against explosion’. Arguments of this type play — implicitly or explicitly — a central role in motivating paraconsistent logics. Branden Fitelson, in a throwaway remark, has conjectured that there is no plausible ‘bridge principle’ articulating the normative link between logic and reasoning capable of supporting such arguments. This paper offers a critical evaluation of Fitelson’s conjecture, and hence of normative arguments for paraconsistency and the conceptions of logic’s normative status on which they repose. It is argued that Fitelson’s conjecture turns out to be correct: normative arguments for paraconsistency probably fail. (shrink)

It is a truism that we ought to be rational. Despite this, it has become popular to think that it is not the case that we ought to be rational. In this paper I argue for a view about rationality—the view that what one is rationally required to do is determined by the normative reasons one possesses—by showing that it can vindicate that one ought to be rational. I do this by showing that it is independently very plausible that what (...) one ought to do is determined by the normative reasons one possesses. Thus, the paper also makes a contribution tos the debate about the nature of our obligations. (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)

This chapter develops a ``nesting'' model of deontic normative principles (i.e., principles that specify moral constraints upon action) as a means to understanding the notion of a ``fundamental normative principle''. I show that an apparently promising attempt to make sense of this notion such that the ``real'' or ``fundamental'' demands of justice upon action are not constrained by social facts is either self-defeating or relatively unappealing. We should treat fundamental normative principles not as specifying fundamental constraints upon action, but as (...) specifying basic criteria for comparatively evaluating and ranking possibilities. (shrink)

In this paper, I develop a theory of how claims about an agent’s normative reasons are sensitive to the epistemic circumstances of this agent, which preserves the plausible ideas that reasons are facts and that reasons can be discovered in deliberation and disclosed in advice. I argue that a plausible theory of this kind must take into account the difference between synchronic and diachronic reasons, i.e. reasons for acting immediately and reasons for acting at some later point in time. I (...) provide a general account of the relation between synchronic and diachronic reasons, demonstrate its implications for the evidence-sensitivity of reasons and finally present and defend an argument for my view. (shrink)

It’s been argued that there are no diachronic norms of epistemic rationality. These arguments come partly in response to certain kinds of counterexamples to Conditionalization, but are mainly motivated by a form of internalism that appears to be in tension with any sort of diachronic coherence requirements. I argue that there are, in fact, fundamentally diachronic norms of rationality. And this is to reject at least a strong version of internalism. But I suggest a replacement for Conditionalization that salvages internalist (...) intuitions, and carves a middle ground between conservatism and evidentialism. (shrink)

This paper assesses the prospects of a pragmatist theory of content. I begin by criticising the theory presented in D.H. Mellor’s essay ‘Successful Semantics’. I then identify problems and lacunae in the pragmatist theory of meaning sketched in Chapter 13 of Dummett’s The Logical Basis of Metaphysics. The prospects are brighter, I contend, for a tempered pragmatism, in which the theory of content is permitted to draw upon irreducible notions of truth and falsity. I sketch the shape of such a (...) theory and illustrate the role of its pragmatist elements by showing how they point towards a promising account of the truth conditions of indicative conditionals. A feature of the account is that it validates Modus Ponens whilst invalidating Modus Tollens. (shrink)

Often our reason for doing something is an "instrumental reason": that doing that is a means to doing something else that we have reason to do. What principles govern this "instrumental transmission" of reasons from ends to means? Negatively, I argue against principles often invoked in the literature, which focus on necessary or sufficient means. Positively, I propose a principle, "General Transmission," which answers to two intuitive desiderata: that reason transmits to means that are "probabilizing" and "nonsuperfluous" with respect to (...) the relevant end. I then apply General Transmission to the debate over "detachment": whether "wide-scope" reason for a material conditional or disjunction implies "narrow-scope" reason for the consequent or disjuncts. (shrink)

Relativism has been, in its various guises, both one of the most popular and most reviled philosophical doctrines of our time. Defenders see it as a harbinger of tolerance and the only ethical and epistemic stance worthy of the open-minded and tolerant. Detractors dismiss it for its alleged incoherence and uncritical intellectual permissiveness. Debates about relativism permeate the whole spectrum of philosophical sub-disciplines. From ethics to epistemology, science to religion, political theory to ontology, theories of meaning and even logic, philosophy (...) has felt the need to respond to this heady and seemingly subversive idea. Discussions of relativism often also invoke considerations relevant to the very nature and methodology of philosophy and to the division between the so-called “analytic and continental” camps in philosophy. And yet, despite a long history of debate going back to Plato and an increasingly large body of writing, it is still difficult to come to an agreed definition of what, at its core, relativism is, and what philosophical import it has. This entry attempts to provide a broad account of the many ways in which “relativism” has been defined, explained, defended and criticized. (shrink)

I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to Boolean disjunction (...) on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)

Imperatives are linguistic devices used by an authority (speaker) to express wishes, requests, commands, orders, instructions, and suggestions to a subject (addressee). This essay's goal is to tentatively address some of the following questions about the imperative. -/- METASEMANTIC. What is the menu of options for understanding fundamental semantic notions like satisfaction, truth-conditions, validity, and entailment in the context of imperatives? Are there good imperative arguments, and, if so, how are they to be characterized? What are the options for understanding (...) the property that an account of good imperative arguments is supposed to track? What constraints on a semantic analysis of the imperative do different positions on the metasemantic issues impose? -/- SEMANTIC. How might we implement metasemantic postures in a rigorous formal system? How much can we do using familiar tools from deontic modal logic? How much leverage over semantic questions can we gain by introducing tools from natural language semantics—ordering sources, dyadic modal operators, salient alternatives, and the like—into a formal semantics for an imperative object language? How much leverage can we gain by introducing tools from rather less-utilized areas of modal logic—devices for representing actions and planning in time, modal operators constructed from action-terms, and the like—into the analysis? -/- DYNAMIC. How do imperatives succeed in performing the speech acts they are used to perform? How do imperatives update discourses? How can we leverage an account of imperative discourse update in giving a dynamic semantics for the imperative? Is there anything about the imperative that demands a dynamic semantic treatment? (shrink)

In his new book, The Dimensions of Consequentialism, Martin Peterson proposes a version of multi-dimensional consequentialism according to which risk is one among several dimensions. We argue that Peterson’s treatment of risk is unsatisfactory. More precisely, we want to show that all problems of one-dimensional (objective or subjective) consequentialism are also problems for Peterson’s proposal, although it may fall prey to them less often. In ending our paper, we address the objection that our discussion overlooks the fact that Peterson’s proposal (...) is not the best version of multi-dimensional consequentialism. Our reply is that the possibilities of improving multi-dimensional consequentialism are very limited as far as risk is concerned. (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.

Robert Aumann presents his Agreement Theorem as the key conditional: “if two people have the same priors and their posteriors for an event A are common knowledge, then these posteriors are equal” (Aumann, 1976, p. 1236). This paper focuses on four assumptions which are used in Aumann’s proof but are not explicit in the key conditional: (1) that agents commonly know, of some prior μ, that it is the common prior; (2) that agents commonly know that each of them updates (...) on the prior by conditionalization; (3) that agents commonly know that if an agent knows a proposition, she knows that she knows that proposition (the “K K” principle); (4) that agents commonly know that they each update only on true propositions. It is shown that natural weakenings of any one of these strong assumptions can lead to countermodels to Aumann’s key conditional. Examples are given in which agents who have a common prior and commonly know what probability they each assign to a proposition nevertheless assign that proposition unequal probabilities. To alter Aumann’s famous slogan: people can “agree to disagree”, even if they share a common prior. The epistemological significance of these examples is presented in terms of their role in a defense of the Uniqueness Thesis: If an agent whose total evidence is E is fully rational in taking doxastic attitude D to P, then necessarily, any subject with total evidence E who takes a different attitude to P is less than fully rational. (shrink)