One of the popular albeit controversial ideas in the last century of moral philosophy is that what we ought to do is explained by our reasons. And one of the central features of reasons that accounts for their popularity among normative theorists is that they can conflict. But I argue that the fact that reasons conflict actually also poses two closely related problems for this popular idea in moral philosophy. The first problem is a generalization of a problem in deontic (...) logic concerning the existence of conflicting obligations. The second problem arises from a tension between the fact that reasons can conflict and a model of how reasons explain ‘ought’s that has been widely accepted. Having presented each of these problems, I develop a unified solution to them that is informed by results in both ethics and deontic logic. An important implication of this solution is that we must distinguish between derivative and nonderivative reasons and revise our conception how it is that reasons explain ‘ought’s. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This article gives an overview of some recent debates about the relationship between reasons and rational requirements of coherence - e.g. the requirements to be consistent in our beliefs and intentions, and to intend what we take to be the necessary means to our ends.

This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it shows how to (...) integrate exclamatives and optatives into a framework similar to the fulfillment approach. (shrink)

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study (...) illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985. (shrink)

It is argued that Ross's Paradox in deontic logic is a problem which should be taken seriously, and which can be given a solution which also solves some other wellknown paradoxes and the traditional problems with conditional obligation.

This article aims to show that the incompatibility between the application of logic to norms and values and the expressive conception of these notions – basically summed up by the Frege–Geach problem – can be overcome. To this end, a logic is constructed for the expressive conception of norms and values which provides a solution to the Frege–Geach problem and is not affected by the limitations that occur in some previous attempts. More specifically, a pragmatic language LP is introduced which (...) is an extension of the language L of standard propositional logic, obtained by adding two categories of logical-pragmatic signs to the vocabulary of L: the signs of pragmatic mood (,,, standing for assertion, obligation and approval, respectively) and the pragmatic connectives (∼, ∩, ∪, ⊃, ≡, standing for pragmatic negation, conjunction, disjunction, implication and bi-implication, respectively). The notions of pragmatic validity, consistency (satisfiability), compatibility, equivalence and inference are then defined, and some criteria of pragmatic validity are given. It is thus possible to carry out in LP inferences on norms and values expressively understood, adequately formalizing Geach's problematic inferences. (shrink)

This article surveys a range of current views on the semantics of imperatives, presenting them as more or less conservative with respect to the Truth-Conditional Paradigm in semantics. It describes and critiques views at either extreme of this spectrum: accounts on which the meaning of an imperative is a modal truth-condition, as well as various accounts that attempt to explain imperative meaning without making use of truth-conditions. It briefly describes and encourages further work on a family of views lying somewhere (...) in the middle. On such views, an imperative will semantically determine, without having as its meaning, a modal truth-condition, which figures centrally in accounting for various aspects of its meaning. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

Normative requirements are often overlooked, but they are central features of the normative world. Rationality is often thought to consist in acting for reasons, but following normative requirements is also a major part of rationality. In particular, correct reasoning – both theoretical and practical – is governed by normative requirements rather than by reasons. This article explains the nature of normative requirements, and gives examples of their importance. It also describes mistakes that philosophers have made as a result of confusing (...) normative requirements with reasons. (shrink)

The large number of writers who have in recent years attacked the problem of the logical nature of commands appear generally in agreement in accepting the distinction of common grammar between imperative and declarative sentences as representing, albeit in no clear one-to-one manner, some real difference in the logical character of the two types of expression, and possibly in the psychological sign-functioning mechanism itself. The crucial logical difference adduced is that commands can apparently rot be classified as true or false. (...) One is then, however, confronted with the problem of interpreting arguments involving imperatives which appear syllogistic in form, such as:Keep your promises!You promised to pay on Wednesday.Pay on Wednesday! (shrink)

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study (...) illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985. (shrink)

In this paper, I consider a variant of the ancient Idle Argument involving so‐called “unconditionals” with interrogative antecedents. This new Idle Argument provides an ideal setting for probing the logic of these close relatives of if‐conditionals, which has been comparatively underexplored. In the course of refuting the argument, I argue that contrary to received wisdom, many unconditionals do not entail their main clauses, yet modus ponens is still unrestrictedly valid for this class of expressions. I make these lessons precise in (...) a formal system drawing on recent work in inquisitive semantics. My larger aim is to challenge standard truth preservation accounts of logic and deductive argumentation. (shrink)

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and (...) semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic. (shrink)

In some cases, harming another gives rise to a duty to compensate for harm done. This paper argues that the influential explanations of such duties of compensation—that they are somehow derived from rights intrusions, or breaches of duties not to harm—fail. I offer and defend an alternative explanation for why certain harms and not others give rise to compensatory duties, an explanation that seeks to derive them from wide-scope duties not to harm or to compensate for harm done.

We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.

The article proposes an analysis of imperatives and possibility and necessity statements that (i) explains their differences with respect to the licensing of free choice any and (ii) accounts for the related phenomena of free choice disjunction in imperatives, permissions, and statements. Any and or are analyzed as operators introducing sets of alternative propositions. Free choice licensing operators are treated as quantifiers over these sets. In this way their interpretation can be sensitive to the alternatives any and or introduce in (...) their scope. (shrink)

Between the two horns of Jørgensen's dilemma, the authors opt for that according to which logic deals not only with truth and falsity but also with those concepts not possessing this semantic reference. Notwithstanding the “descriptive” prejudice, deontic logic has gained validity among modal logics. The technical foundation proposed consists in an abstract characterization of logical consequence. By identifying in the abstract notion of consequence the primitive from which to begin, it is possible to define the connectives - even those (...) of obligation - by means of the rules of introduction or elimination in a context of derivation. (shrink)

This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (shrink)

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (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)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

Reasons transmit. If one has a reason to attain an end, then one has a reason to effect means for that end: reasons are transmitted from end to means. I argue that the likelihood ratio (LR) is a compelling measure of reason transmission from ends to means. The LR measure is superior to other measures, can be used to construct a condition specifying precisely when reasons transmit, and satisfies intuitions regarding end-means reason transmission in a broad array of cases.

Mīmāṁsā, an Indian hermeneutics provides an exhaustive methodology to interpret Vedic statements. A formalism namely, Mīmāṁsā Inspired Representation of Actions has already been proposed in a preliminary manner. This paper expands the formalism logically and includes Syntax and Semantics covering Soundness and Completeness. Here, several interpretation techniques from Mīmāṁsā have been considered for formalising the statements. Based on these, instructions that denote actions are categorized into positive and prohibitive unconditional imperatives and conditional imperatives that enjoin reason, temporal action and goal. (...) These instructions are evaluated to three values S, V and N. If the instruction is executed with the intention of goal, then it acquires the value of S; if the intention of goal is present and the instruction is not executed, then it assumes the value of V; and if there is no intention of goal, then the instruction is evaluated to N. This formalism has also been applied in different computational settings such as AI planning, Robotics, task analysis and classification of natural language instructions. An outline of these applications and the comparison of this formalism with other relevant theories are also presented in this paper. (shrink)

Contrastivism about some concept says that the concept is relativized to sets of alternatives. Relative to some alternatives, the concept may apply, but relative to others, it may not. This article explores contrastivism about the central normative concepts of reasons and ought. Contrastivism about reasons says that a consideration may be a reason for an action A rather than one alternative, B, but may not be a reason for A rather than some other alternative, C. Likewise, contrastivism about ought says (...) that it might be that you ought to perform action A rather than action B, while it is not the case that you ought to perform A rather than some other alternative, C. It explores the shape and motivations for, and the relationship between, these contrastivist theories. (shrink)

RESUMO De acordo com a teoria das funções de verdade, a verdade/falsidade de uma proposição é computável a partir da verdade/falsidade das suas proposições “internas”: para cada proposição há uma função entre valores de verdade. Aplicada a proposições modais, origina a semântica dos mundos possíveis e, aplicada a proposições normativas, origina uma semântica que reduz os conceitos normativos aos conceitos modais, a semântica modal. Esta redução fica posta em questão com a existência dos chamados ‘paradoxos da lógica deôntica’. Estes não (...) podem ser vistos como meras anomalias, mas devem ser vistos como indícios da incorreção da semântica modal. Em todos eles, a regra da necessitação, assim como o axioma da distribuição, “não batem certo”. Não obstante, o cumprimento/incumprimento das normas já é computável a partir da verdade/falsidade das proposições que expressam os estados de coisas devidos. ABSTRACT According to the theory of truth-functions the truth/falsehood of a proposition is computable from the truth/falsehood of its “internal” propositions: for each proposition there is a function between truth values. Possible world semantics arises from the application of that theory to modal propositions; modal semantics - the reduction of normative concepts to modal concepts - arises from its application to normative propositions. But the ‘paradoxes of deontic logic’, as they are called, undermine such reduction: they cannot be seen as mere anomalies but instead as evidence for the wrongness of modal semantics. In all these paradoxes, the necessitation rule, as well as the distribution axiom, fail. Nevertheless, the fulfillment/nonfulfillment of norms is computable from the truth/falsehood of the propositions which express the required states of affairs. (shrink)

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (shrink)

A Lei de Hume, pela qual um dever ser não pode resultar de um ser, e a sua recíproca, pela qual um ser não pode resultar de um dever ser, ocupam posições proeminentes nas discussões de metaética. Neste trabalho mostrarei relações lógicas entre distintas formulações da Lei de Hume e da sua recíproca. Também mostrarei como essas formulações estão relacionadas a teses sustentadas por importantes pensadores como Poincaré, Nelson, Jörgensen e Hare.

It is argued that claims about personal obligation (of the form "s ought to 0") cannot be reduced to claims about impersonal obligation (of the form "it ought to be the case that p"). The most common attempts at such a reduction are shown to have unacceptable implications in cases involving a plurality of agents. It is then argued that similar problems will face any attempt to reduce personal obligation to impersonal obligation.

A fitting-attitude analysis which understands value in terms of reasons and pro- and con-attitudes allows limited wriggle room if it is to respect a radical division between good and good-for. Essentially, its proponents can either introduce two different normative notions, one relating to good and the other to good-for, or distinguish two kinds of attitude, one corresponding to the analysis of good and the other to good-for. It is argued that whereas the first option faces a counterintuitive scope issue, an (...) attitudinal approach couched in terms of ‘for someone's sake’ attitudes has the unwelcome consequence that whatever is good for someone is also necessarily good. It is argued that this consequence can be avoided if we modify the standard way of formulating the fitting-attitude analysis of final impersonal value. (shrink)

Roughly speaking, maximalism is the view that only certain options are to be assessed in terms of whether they have some right‐making property (such as that of producing optimal consequences), whereas omnism is the view that all options are to be assessed in terms of whether they have this property. I argue that maximalism is preferable to omnism because it provides a more plausible solution to what's known as the problem of act versions and is not subject to any significant (...) problems of its own. If I'm right, then most moral theories, which are versions of omnism, need revision. (shrink)

Formal arguments are often represented by pairs, but in this paper we consider normative arguments represented by sequences of triples, where constitutive norms derive institutional facts from brute facts, and regulative norms derive deontic facts like obligations and permissions from institutional facts. The institutional facts may be seen as the reasons explaining or warranting the deontic obligations and permissions, and therefore they can be attacked by other normative arguments too. We represent different aspects of normative reasoning by different kinds of (...) consistency checks among these triples, and we use formal argumentation theory to resolve conflicts among such normative arguments. In particular, we introduce various requirements for arguing about norms concerning violations, contrary-to-duty obligations, dilemmas, conflict resolution and different kinds of norms, and we introduce a formal argumentation theory satisfying the requirements. In order to illustrate our framework, we introduce a running example based on university regulations for prospective and actual students. (shrink)

An argument is usually said to be valid iff it is truth-preserving—iff it cannot be that all its premises are true and its conclusion false. But imperatives (it is normally thought) are not truth-apt. They are not in the business of saying how the world is, and therefore cannot either succeed or fail in doing so. To solve this problem, we need to find a new criterion of validity, and I aim to propose such a criterion.

The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to handle various problems (...) related to free choice permission. The main result is a sound and complete axiomatization of the semantics. (shrink)

This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements. When the generalized existential modality is applied to a question, the result is a statement that roughly expresses that each way of resolving the question is consistent with the available information. I study the resulting logic both from a semantic and from a proof-theoretic point of view. I (...) argue that it can be used for reasoning about a general notion of ignorance, and for reasoning about choice-offering permissions and obligations. The main technical results are sound and complete axiomatizations, both for the class of all Kripke frames, and for any class of frames corresponding to a canonical normal modal logic. (shrink)

The author discusses a question related to a certain aspect of justification of legal decisions, often so-called internal justification-a legal decision is internally justified if and only if it can be deduced from the norm(s) applicable to the case, and from the statement(s) describing the facts of the case. According to this notion, infinite irrelevant logical consequences are justified. To avoid this counterintuitive conclusion, the author analyzes three notions of relevance: Sperber-Wilson's notion, Anderson-Belnap's notion, and Schurz's notion. The author presents (...) a reconstruction of the notion of relevance very close to Schurz's notion, extended to make it suitable to the particular characteristics of deontic logic. Finally, this notion of relevance is used to discuss some aspects of the concept of normative system, conceived as a deductive system, that is, a system containing all its logical consequences. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of Fine’s recent (...) truthmaker semantics. (shrink)

A semantic theory aims to make predictions that are accurate and comprehensive. Sometimes, though, a semantic theory falls short of this aim, and there is a mismatch between prediction and data. In such cases, defenders of the semantic theory often attempt to rescue it by appealing to Gricean pragmatics. The hope is that we can rescue the theory as long as we can use pragmatics to explain away its predictive failures. This pragmatic rescue strategy is one of the most popular (...) moves in philosophy of language, philosophical logic, and formal semantics. In this paper I argue that this strategy fails whenever the predictive failures at issue can be recast in epistemological or metaphysical terms. This general “reformulation argument” undermines a wide variety of pragmatic rescue attempts. (shrink)