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)

This paper addresses a little puzzle with a surprisingly long pedigree and a surprisingly large wake: the puzzle of Free Choice Permission. I begin by presenting a popular sketch of a pragmatic solution to the puzzle, due to Kratzer and Shimoyama, which has received a good deal of discussion, endorsement and elaboration in recent work :535–590, 2006; Fox, in: Sauerland and Stateva Presupposition and implicature in compositional semantics, 2007; Geurts, Mind Lang 24:51–79, 2009; von Fintel, Central APA session on Deontic (...) Modals, 2012). I then explain why the general form of the Kratzer and Shimoyama explanation is not extensionally adequate. This leaves us with two possibilities with regard to the original solution-sketch; either the suggested pragmatic route fails, or it succeeds in a particularly strange way: Free Choice permission is rendered a kind pragmatic illusion on the part of both speakers and hearers. Finally, I discuss some ramifications. (shrink)

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)

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.

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)

Non-cognitivism is a variety of irrealism about ethics with a number of influential variants. Non-cognitivists agree with error theorists that there are no moral properties or moral facts. But rather than thinking that this makes moral statements false, noncognitivists claim that moral statements are not in the business of predicating properties or making statements which could be true or false in any substantial sense. Roughly put, noncognitivists think that moral statements have no truth conditions. Furthermore, according to non-cognitivists, when people (...) utter moral sentences they are not typically expressing states of mind which are beliefs or which are cognitive in the way that beliefs are. Rather they are expressing non-cognitive attitudes more similar to desires, approval or disapproval. Cognitivism is the denial of non-cognitivism. Thus it holds that moral statements do express beliefs and that they are apt for truth and falsity. But cognitivism need not be a species of realism since a cognitivist can be an error theorist and think all moral statements false. Still, moral realists are cognitivists insofar as they think moral statements are apt for truth and falsity and that many of them are in fact true. (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 the distinction between the normative and the descriptive interpretation of norm sentences can be regarded as a distinction between two kinds of utterances. A norm or a directive has as its content a normative proposition. A normative utterance of a normative proposition in appropriate circumstances makes the proposition true, and an assertive utterance has as its truth-maker the norm system to which it refers. This account of norms, norm-contents, and utterances of norm sentences solves Jørgensen's problem: (...) logical relations among norms can be defined in the usual way in terms of the truth-conditions of the normative propositions which form their content. There is no distinction between the logic of norms and the logic of normative propositions; in this respect the present account differs from Carlos Alchourrón and Eugenio Bulygin's account of the logic of normative propositions. Se argumenta que la distinción entre la interpretación normativa y la descriptiva de las oraciones normativas puede ser considerada como una distinción entre dos tipos de emisiones. Una norma o directiva tiene como su contenido una proposición normativa. Una emisión normativa de una proposición normativa en circunstancias apropiadas hace verdadera la proposición y es el sistema de normas al que se refiere una emisión asertiva el que la hace verdadera. Esta concepción de normas, contenidos de normas y emisiones de oraciones normativas resuelve el problema de Jörgensen: las relaciones lógicas entre normas pueden ser definidas de manera usual en términos de las condiciones de verdad de las proposiciones normativas que forman su contenido. No hay diferencia alguna entre la lógica de normas y la lógica de proposiciones normativas; en este aspecto la presente concepción difiere de la concepción de la lógica de proposiciones normativas de Carlos Alchourrón y Eugenio Bulygin. (shrink)

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

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.

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)

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)

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.

Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems and a (...) semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (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.

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.

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.

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.

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.

In a recent paper, Sven Danielsson argued that the ‘original paradoxes' of deontic logic, in particular Ross's paradox and Prior's paradox of derived obligation, can be solved by restricting the modal inheritance rule. I argue that this does not solve the paradoxes.

Abstract.One of the theses of the present work is that, at the strictly logical and methodological level, practical logic has neither made, nor can it make any contribution to the philosophy of law, since none of the three branches of practical logic that have been taken into account, namely, the logic of norms, deontic logic and legal logic, seems to be theoretically possible. The contribution of practical logic to the analysis of legal language is assessed in terms of both the (...) instruments of analysis elaborated by practical logic, the artificial languages, and the results obtained in two capital subjects, the negations of norms and the permissions. (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 investigates the semantic treatment of conditional obligation, explicit permission (often called positive permission), and prohibition based on models with agents and branched time. In such models branches (rather than moments) are taken as basic, and the branching provides a way to represent the indeterminism which is normally presupposed by talk of free will, responsibility, action and ability. Careful treatment of the relation between ability and responsibility avoids many common problems with accounts of conditional obligation. Recognition of the generality (...) often involved in conditional obligations makes possible a sensitive way of expressing some kinds of general prohibitions, which in turn makes it possible to account for the special role of explicit permission. (shrink)

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.

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (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)

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)

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)

In moral dilemmas, where circumstances prevent two or more equally justified prima facie ethical requirements from being fulfilled, it is often maintained that, since the agent cannot do both, conjoint obligation is overridden by Kant's principle that ought implies can, but that the agent nevertheless has a disjunctive obligation to perform one of the otherwise obligatory actions or the other. Against this commonly received view, it is demonstrated that although Kant's ought-can principle may avoid logical inconsistency, the principle is incompatible (...) with disjunctive obligation in standard deontic logic, and that it entails paradoxically that none of the conflicting dilemma actions will in fact occur. The principle appears to provide the only plausible safeguard against deontic antinomy, but cannot be admitted because of its collision with considered moral judgments. (shrink)

Using concepts of evolutionary game theory, this paper presents a critique of ethical intuitionism, or non-naturalism, in its cognitivist and objectivist interpretation. While epistemological considerations suggest that human rational learning through experience provides no basis for objective moral knowledge, it is argued below that modern evolutionary theory explains why this is so, i.e., why biological organisms do not evolve so as to experience objective preferences and obligations. The difference between the modes of the cognition of objective and of valuative environmental (...) attributes is explained with reference to different modes of natural selection acting on the cognitive apparatus of the organism. The negative implications are pointed out which the observable diversity of intraspecific behavioural adaptations and of cultural values has for the cognitivist, objectivist foundation of ethics. Eventually a non-cognitivist alternative to ethical intuitionism is outlined in terms of empirical authority relations, with the ritualisation of dominance-submission patterns as the evolutionary origin of human charismatic authority. (shrink)

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 paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed ‘coherent’, how to deal with normative conflicts, how contraryto-duty obligations can be appropriately modeled, how dyadic deontic operators may be redefined to relate to sets of norms instead of preference relations between possible worlds, how various concepts of permission can be accommodated, how meaning postulates and counts-as conditionals can be taken into account, and how sets of norms may (...) be revised and merged. The problems are discussed from the viewpoint of input/output logic as developed by van der Torre & Makinson. We argue that norms, not ideality, should take the central position in deontic semantics, and that a semantics that represents norms, as input/output logic does, provides helpful tools for analyzing, clarifying and solving the problems of deontic logic. (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)

The advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy. The enigmatic style that is common in philosophical logic must give way to explicit discussions of the problematic relationship between formal models and the philosophical concepts and issues that motivated their development.

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)

The dilemma mentioned in the title have long been a puzzle to logic. To solve it, it was necessary to make some philosophical decisions. The article provides these decisions and discusses the way to solve the problem.

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

The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...) for modal hypodoxes as duals to known paradoxes. I also try to continue this search further by mapping the relations between some paradoxes and hypodoxes in duality squares. This investigation increases the known extension of the concept of hypodox, and the duality relation between paradoxes and hypodoxes assists in finding some of these. (shrink)

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)