What we know and what to do

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena.     

On the Treatment of Incomparability in Ordering Semantics and Premise Semantics

In his original semantics for counterfactuals, David Lewis presupposed that the ordering of worlds relevant to the evaluation of a counterfactual admitted no incomparability between worlds. He later came to abandon this assumption. But the approach to incomparability he endorsed makes counterintuitive predictions about a class of examples circumscribed in this paper. The same underlying problem is present in the theories of modals and conditionals developed by Bas van Fraassen, Frank Veltman, and Angelika Kratzer. I show how to reformulate all these theories in terms of lower bounds on partial preorders, conceived of as maximal antichains, and I show that treating lower bounds as cutsets does strictly better at capturing our intuitions about the semantics of modals, counterfactuals, and deontic conditionals.     

Justification as faultlessness

According to deontological approaches to justification, we can analyze justification in deontic terms. In this paper, I try to advance the discussion of deontological approaches by applying recent insights in the semantics of deontic modals. Specifically, I use the distinction between weak necessity modals (should, ought to) and strong necessity modals (must, have to) to make progress on a question that has received surprisingly little discussion in the literature, namely: ‘What’s the best version of a deontological approach?’ The two most obvious hypotheses are the Permissive View, according to which justified expresses permission, and the Obligatory View, according to which justified expresses some species of obligation. I raise difficulties for both of these hypotheses. In light of these difficulties, I propose a new position, according to which justified expresses a property I call faultlessness, defined as the dual of weak necessity modals. According to this view, an agent is justified in \(\phi\)-ing iff it’s not the case that she should [/ought] not \(\phi\). I argue that this ‘Faultlessness View’ gives us precisely what’s needed to avoid the problems facing the Permissive and Obligatory Views.     

On nonindexical contextualism

MacFarlane distinguishes “context sensitivity” from “indexicality,” and argues that “nonindexical contextualism” has significant advantages over the standard indexical form. MacFarlane’s substantive thesis is that the extension of an expression may depend on an epistemic standard variable even though its content does not. Focusing on ‘knows,’ I will argue against the possibility of extension dependence without content dependence when factors such as meaning, time, and world are held constant, and show that MacFarlane’s nonindexical contextualism provides no advantages over indexical contextualism. The discussion will shed light on the definition of indexicals as well as the meaning of ‘knows,’ and highlight important constraints on the way meaning can be represented in semantics.     

The evidence for relativism

The aim of this paper is to examine the kind of evidence that might be adduced in support of relativist semantics of a kind that have recently been proposed for predicates of personal taste, for epistemic modals, for knowledge attributions and for other cases. I shall concentrate on the case of taste predicates, but what I have to say is easily transposed to the other cases just mentioned. I shall begin by considering in general the question of what kind of evidence can be offered in favour of some semantic theory or framework of semantic theorizing. In other words, I shall begin with the difficult question of the empirical significance of semantic theorizing. In Sect. 2, I outline a relativist semantic theory, and in Sect. 3, I review four types of evidence that might be offered in favour of a relativistic framework. I show that the evidence is not conclusive because a sophisticated form of contextualism (or indexical relativism) can stand up to the evidence. However, the evidence can be taken to support the view that either relativism or the sophisticated form of contextualism is correct.     

Problems and results for logics about imperatives

Deviating from standard possible-worlds semantics, authors belonging to what might be called the ‘imperative tradition’ of deontic logic have proposed a semantics that directly represents norms (or imperatives). The paper examines possible definitions of (monadic) deontic operators in such a semantics and some properties of the resulting logical systems.     

Triviality Results for Probabilistic Modals

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.     

Frankfurt-Type Examples, Obligation, and Responsibility

I examine John Martin Fischer's attempt to block an argument for the conclusion that without alternative possibilities, morally deontic judgments (judgments of moral right, wrong, and obligation) cannot be true. I then criticize a recent attempt to sustain the principle that an agent is morally blameworthy for performing an action only if this action is morally wrong. I conclude with discussing Fisher's view that even if causal determinism undermines morally deontic judgments, it still leaves room for other significant moral assessments including assessments of moral blameworthiness.     

Content in a Dynamic Context

The standing tradition in theorizing about meaning, since at least Frege (1882), 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 (Moss, 2015; Swanson, 2006; Yalcin, 2007) and certain kinds of dynamic semantics (Gillies, 2004, 2010; von Fintel and Gillies, 2007; Veltman, 1985, 1996). 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.     

Action negation and alternative reductions for dynamic deontic logics

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and (2) does not impose restrictions on the use of other relevant action combinators such as sequence and iteration, and (3) has a meaningful interpretation in the normative context. The second problem we address concerns the reduction from deontic assertions to dynamic logic assertions. Our first point is that we want this reduction to obey the free-choice semantics for norms. For ought-to-be deontic logics it is generally accepted that the free-choice semantics is counter-intuitive. But for dynamic deontic logics we actually consider it a viable, if not, the better alternative. Our second concern with the reduction is that we want it to be more liberal than the ones that were proposed before in the literature. For instance, Meyer's reduction does not leave room for action whose normative status is neither permitted nor forbidden. We test the logics we define in this paper against a set of minimal logic requirements.     

Ideal Worlds — Wishful Thinking in Deontic Logic

The ideal world semantics of standard deontic logic identifies our obligations with how we would act in an ideal world. However, to act as if one lived in an ideal world is bad moral advice, associated with wishful thinking rather than well-considered moral deliberation. Ideal world semantics gives rise to implausible logical principles, and the metaphysical arguments that have been put forward in its favour turn out to be based on a too limited view of truth-functional representation. It is argued that ideal world semantics should be given up in favour of other, more plausible uses of possible worlds for modelling normative subject-matter.     

Measurement Theoretic Semantics And The Semantics Of Necessity

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this framework, and (iii) I defend the suggested account against various objections.     

How to Be an Ethical Expressivist

Expressivism promises an illuminating account of the nature of normative judgment. But worries about the details of expressivist semantics have led many to doubt whether expressivism's putative advantages can be secured. Drawing on insights from linguistic semantics and decision theory, I develop a novel framework for implementing an expressivist semantics that I call ordering expressivism. I argue that by systematically interpreting the orderings that figure in analyses of normative terms in terms of the basic practical attitude of conditional weak preference, the expressivist can explain the semantic properties of normative sentences in terms of the logical properties of that attitude. Expressivism's problems with capturing the logical relations among normative sentences can be reduced to the familiar, more tractable problem of explaining certain coherence constraints on preferences. Particular attention is given to the interpretation of wide‐scope negation. The proposed solution is also extended to other types of embedded contexts—most notably, disjunctions.     

Only time will tell – why temporal information is essential for our neuroscientific understanding of semantics

Theoretical developments about the nature of semantic representations and processes should be accompanied by a discussion of how these theories can be validated on the basis of empirical data. Here, I elaborate on the link between theory and empirical research, highlighting the need for temporal information in order to distinguish fundamental aspects of semantics. The generic point that fast cognitive processes demand fast measurement techniques has been made many times before, although arguably more often in the psychophysiological community than in the metabolic neuroimaging community. Many reviews on the neuroscience of semantics mostly or even exclusively focus on metabolic neuroimaging data. Following an analysis of semantics in terms of the representations and processes involved, I argue that fundamental theoretical debates about the neuroscience of semantics can only be concluded on the basis of data with sufficient temporal resolution. Any “semantic effect” may result from a conflation of long-term memory representations, retrieval and working memory processes, mental imagery, and episodic memory. This poses challenges for all neuroimaging modalities, but especially for those with low temporal resolution. It also throws doubt on the usefulness of contrasts between meaningful and meaningless stimuli, which may differ on a number of semantic and non-semantic dimensions. I will discuss the consequences of this analysis for research on the role of convergence zones or hubs and distributed modal brain networks, top-down modulation of task and context as well as interactivity between levels of the processing hierarchy, for example in the framework of predictive coding.     

Book Reviews

Abstract

The aim of this paper is to identify what I take to be the main conceptual problem in Lewis’ semantics for counterfactuals when the Limit Assumption (LA) is not satisfied, what I call the Discrimination Problem (DP), and to present and discuss a modification of Lewis’ semantics that aims at solving DP. First, I outline Lewis’ semantics, highlighting the aspects that will be relevant for our discussion. Second, I present DP and discuss it with a heuristic example. Third, I present the new proposal and comment some formal consequences and the objections they give rise to. Fourth, I present an allegedly equivalent version of the proposal and discuss the difference between counterfactuals and strict conditionals. Finally, I defend that the two proposals are different and argue for the first one as the best way of capturing two intuitions that seem in conflict when the LA is not satisfied. I conclude with a dilemma: either the proposal here defended works or LA is inescapable. Thus, if the proposal doesn’t work, the paper must then be considered as an indirect defense of the Limit Assumption.     

A logic for deontic dilemmas

The possibility of deontic dilemmas poses a significant problem for deontic logic. Here I review some proposals to resolve this problem, and then offer a new account. This is a simple modification of standard deontic logic that enables the system to accommodate deontic dilemmas without inconsistency and without deontic explosion, while at the same time accounting for the range of genuinely valid inferences.     

Inheritance: Professor Procrastinate and the logic of obligation1

Inheritance is the principle that deontic ‘ought’ is closed under entailment. This paper is about a tension that arises in connection with Inheritance. More specifically, it is about two observations that pull in opposite directions. One of them raises questions about the validity of Inheritance, while the other appears to provide strong support for it. We argue that existing approaches to deontic modals fail to provide us with an adequate resolution of this tension. In response, we develop a positive analysis, and show that this proposal provides a satisfying account of our intuitions.     

Deontic logic and the possibility of moral conflict

Standard dyadic deontic logic (as well as standard deontic logic) has recently come under attack by moral philosophers who maintain that the axioms of standard dyadic deontic logic are biased against moral theories which generate moral conflicts. Since moral theories which generate conflicts are at least logically tenable, it is argued, standard dyadic deontic logic should be modified so that the set of logically possible moral theories includes those which generate such conflicts. I argue that (1) there are only certain types of moral conflicts which are interesting, and which have worried moral theorists, (2) the modification of standard dyadic deontic logic along the lines suggested by those who defend the possibility of moral conflicts makes possible only uninteresting types of moral conflicts, and (3) the general strategy of piecemeal modification standard dyadic deontic logic is misguided: the possibility of interesting moral conflicts cannot be achieved in that way.     

Deontology and doxastic control

Matthias Steup has developed a compatibilist account of doxastic control, according to which one’s beliefs are under one’s control if and only if they have a “good” causal history. Paradigmatically good causal histories include being caused to believe what one’s evidence indicates, whereas bad ones include those that indicate that the believer is blatantly irrational or mentally ill. I argue that if this is the only kind of control that we have over our beliefs, then our beliefs are not properly subject to epistemic evaluation in deontological terms. I take as premises the claims (1) that acts which violate a deontic standard must be under the control of the agent that performs them, and (2) that deontic standards are deontic standards only if there is both something that it is to comply with them, and something that it is to violate them. The argument proceeds by showing that any belief which one might take to violate a deontic standard of a distinctively epistemic kind has a “bad” causal history, and so is, according to the compatibilist account, not under our control. Since these beliefs are not under our control, it follows from premise (1) that they do not violate any deontic standards of a distinctively epistemic kind. It then follows, from premise (2), that there are no deontic standards, of a distinctively epistemic kind, that govern belief. So if we have only compatibilist control over our beliefs, our beliefs are not properly subject to epistemic evaluation in deontological terms.