The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...) propositional quantifiers. Then, I will show how these systems can be extended by a couple of propositional quantifiers. I will use a kind of TxW semantics to describe the systems semantically and semantic tableaux to describe them syntactically. Every system will include a constant · that stands for The Good. ‘·’ is read as ‘The Good is realised’. All systems that contain the propositional quantifiers will also include a constant '*' that stands for The Moral Law. '*' is read as ‘The Moral Law is fulfilled’. I will prove that all systems (without the propositional quantifiers) are sound and complete with respect to their semantics and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)

A contrary-to-duty obligation (sometimes called a reparational duty) is a conditional obligation where the condition is forbidden, e.g. “if you have hurt your friend, you should apologise”, “if he is guilty, he should confess”, and “if she will not keep her promise to you, she ought to call you”. It has proven very difficult to find plausible formalisations of such obligations in most deontic systems. In this paper, we will introduce and explore a set of temporal alethic dyadic deontic systems, (...) i.e., systems that include temporal, alethic and dyadic deontic operators. We will then show how it is possible to use our formal apparatus to symbolise contrary-to-duty obligations and to solve the so-called contrary-to-duty (obligation) paradox, a problem well known in deontic logic. We will argue that this response to the puzzle has many attractive features. Semantic tableaux are used to characterise our systems proof theoretically and a kind of possible world semantics, inspired by the so-called T× W semantics, to characterise them semantically. Our models contain several different accessibility relations and a preference relation between possible worlds, which are used in the definitions of the truth conditions for the various operators. Soundness results are obtained for every tableau system and completeness results for a subclass of them. (shrink)

According to typical ought-implies-can principles, if you have an obligation to vaccinate me tomorrow, then you can vaccinate me tomorrow. Such principles are uninformative about conditional obligations: what if you only have an obligation to vaccinate me tomorrow if you synthesize a vaccine today? Then maybe you cannot vaccinate me tomorrow ; what you can do instead, I propose, is make it the case that the conditional obligation is not violated. More generally, I propose the ought-implies-can-obey principle: an agent has (...) an obligation only at times at which the agent can obey the obligation. I also propose another principle, which captures the idea that ‘ought’ implies ‘can avoid’. I defend both principles mainly by arguing that they help explain why agents lose obligations, including conditional ones. (shrink)

I extend theories of nonmonotonic reasoning to account for reasons allowing free choice. My approach works with a wide variety of approaches to nonmonotonic reasoning and explains the connection between reasons for kinds of action and reasons for actions or subkinds falling under them. I use an Anderson–Kanger reduction of reason statements, identifying key principles in the logic of reasons.

Advocates of Expressivism about basically any kind of language are best-served by abandoning a traditional content-centric approach to semantic theorizing, in favor of an update-centric or dynamic approach (or so this paper argues). The type of dynamic approach developed here — in contrast to the content-centric approach — is argued to yield canonical, if not strictly classical, "explanations" of the core semantic properties of the connectives. (The cases on which I focus most here are negation and disjunction.) I end the (...) paper by describing a distinctive sense in which mental states might play a fundamental role in the practice of semantic theorizing (as I understand it), and I connect this to a distinctive account of the pragmatic function of, e.g., a normatively laden claim in discourse. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Die vorliegende Schrift unternimmt eine Revision des vorherrschenden Bildes der Rolle und der Konzeptionen von Moral und Ethik im Wiener Kreis. Dieses Bild wird als zu einseitig und undifferenziert zurückgewiesen. Die Ansicht, die Mitglieder des Wiener Kreises hätten kein Interesse an Moral und Ethik gezeigt, wird widerlegt. Viele Mitglieder waren nicht nur moralisch und politisch interessiert, sondern auch engagiert. Des Weiteren vertraten nicht alle die Standardauffassung logisch-empiristischer Ethik, die neben der Anerkennung deskriptiv-empirischer Untersuchungen durch die Ablehnung jeglicher normativer und inhaltlicher (...) Ethik und der Verfechtung eines extremen Nonkognitivismus geprägt ist. Am meisten entspricht die Standardauffassung den Ansichten Rudolf Carnaps, weniger bereits jenen Karl Mengers, Otto Neuraths oder Philipp Franks. Am weitesten weichen Moritz Schlick, Victor Kraft sowie Herbert Feigl von der Standardauffassung ab. Entgegen dem herkömmlichen Bild weltabgewandter Logiker und Metaethiker wurde im Wiener Kreis sogar Angewandte Ethik betrieben, und dies bereits unter diesem Namen. Neben den ethischen Hauptthemen und Ansichten der jeweiligen Philosophen in ihrer Entwicklung im Rahmen ihres persönlichen und kulturellen Kontextes zeigt die Untersuchung, dass allen Ansätzen eine aufgeklärte und humanistische Version von Moral und Ethik gemeinsam ist. Dieser wissenschaftliche Humanismus, der sich schon in der Programmschrift Wissenschaftliche Weltauffassung. Der Wiener Kreis findet, liegt jedoch in verschiedenen Ausprägungen vor. Was die Abweichungen von der Standardauffassung wesentlich betrifft, ist ihre unterschiedliche Auffassung von Moral als gemeinsames oder individuelles Unternehmen. Carnap führt ein extremer Individualismus zu einem extremen Nonkognitivismus, in dem ihm Menger folgt. Bei Schlick ist die Lage zweideutig, was sich in unterschiedlichen Moralbegriffen widerspiegelt. Bei Kraft und Feigl tritt das Verständnis von Moral als gemeinschaftlich geteilte Praxisform klar hervor. Auf der Basis eines gemeinsamen Begriffs des moralisch Guten, der auch eine Sachkomponente enthält, ist eine Verständigung über moralische Fragen möglich. Von einem extremen Nonkognitivismus kann dort nicht mehr die Rede sein. Mit diesen Ergebnissen verbietet es sich, dem Wiener Kreis allgemein eine Ablehnung normativer Ethik und einen extremen Nonkognitivismus zuzuschreiben. Eine systematische Ethik, die Moral als Gemeinschaftspraxis begreift, steht einigen im Wiener Kreis näher, als das vorherrschende Bild suggerieren möge. Wer meint, mit engem Bezug zur Tradition des Wiener Kreises nur Carnap folgen zu können und Ethik als suspektes Unternehmen betrachten zu müssen, irrt. Ethik war in der Tradition Analytischer Philosophie nicht immer so marginalisiert, wie sie es in manchen ihrer Teilrichtungen heute noch ist und Gegner(innen) der Analytischen Philosophie vorwerfen. Die vorliegende Untersuchung liefert die nötige Revision einer verfänglichen Fehlentwicklung. (shrink)

Overview of fundamental work in deontic logic.

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

A suggestion is made for representing iterated deontic modalities in stit theory, the “seeing-to-it-that” theory of agency. The formalization is such that normative sentences are represented as agentive sentences and therefore have history dependent truth conditions. In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration... of the deontic modalities.

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O. In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. (...) To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. (shrink)

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone, that the standard account has several unpalatable consequences. We argue that Humberstone’s alternative account has certain disadvantages, (...) and offer another - considerably simpler - solution. (shrink)

Free choice permission, a crucial test case concerning the semantics/ pragmatics boundary, usually receives a pragmatic treatment. But its pragmatic features follow from its semantics. We observe that free choice inferences are defeasible, and defend a semantics of free choice permission as strong permission expressed in terms of a modal conditional in a nonmonotonic logic.

This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.

The present article provides a taxonomic analysis of bimodal logics of normative ideality and normative awfulness, two notions whose meaning is here explained in terms of the moral values pursued by a given community. Furthermore, the article addresses the traditional problem of a reduction among deontic concepts: we explore the possibility of defining other relevant normative notions, such as obligation, explicit permission and Hohfeldian relations, in terms of ideality and awfulness. Some proposals in this respect, which have been formulated in (...) the literature over the years, are here improved and discussed with reference to the various logics that we will introduce. (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)

The point of the present paper is to draw attention to some interesting similarities, as well as differences, between the approaches to the logic of noncontingency of Evgeni Zolin and of Claudio Pizzi. Though neither of them refers to the work of the other, each is concerned with the definability of a (normally behaving, though not in general truth-implying) notion of necessity in terms of noncontingency, standard boolean connectives and additional but non-modal expressive resources. The notion of definability involved is (...) different in the two cases (‘external’ for Zolin, ‘internal’ for Pizzi), as are the additional resources: infinitary conjunction in the case of Zolin, and for Pizzi, first, propositional quantification, and then, later, most ingeniously, the use of a propositional constant. As well as surveying and comparing of the work of these authors, the discussion includes some some novelties, such as the confirmation of a conjecture of Zolin’s (Theorem 2.7). (shrink)

This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of propositional alternatives (...) that correlate with a partition that the speaker may or may not be able to indicate explicitly. Free choice arises as the specific case where the partition is induced by the preferences of the addressee. (shrink)

This paper shows that the Dawson technique of modelling deontic logics into alethic modal logics to gain insight into deontic formulas is not available for modelling a normal (in the spirit of Anderson) relevance deontic modal logic into either of the normal relevance alethic modal logics R S4or R M. The technique is to construct an extension of the well known entailment matrix set M 0and show that the model of the deontic formula P (A v B). PA v PB (...) is excluded. (shrink)

The Mīmāṃsā school of Indian philosophy has for its main purpose the interpretation of injunctions that are found in a set of sacred texts, the Vedas. In their works, Mīmāṃsā authors provide some of the most detailed and systematic examinations available anywhere of statements with a deontic force; however, their considerations have generally not been registered outside of Indological scholarship. In the present article we analyze the Mīmāṃsā theory of Vedic injunctions from a logical and philosophical point of view. The (...) theory at issue can be regarded as a system of reasoning based on certain fundamental principles, such as the distinction between strong and weak duties, and on a taxonomy of ritual actions. We start by reconstructing the conceptual framework of the theory and then move to a formalization of its core aspects. Our contribution represents a new perspective to study Mīmāṃsā and outlines its relevance, in general, for deontic reasoning. (shrink)

We present a new axiomatization of the deontic fragment of Anderson's relevant deontic logic, give an Andersonian reduction of a relevant version of Mally's deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson's system, and discuss the meaning of Anderson's propositional constant in a wide range of Andersonian deontic systems.

This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.

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)

From a logical point of view, permissibility can be reduced to possibility by introducing demands which can be met. The alleged reduction is circular from a philosophical perspective, however, because demands are fundamentally deontic. This paper solves this problem by replacing demands which can be met with rules which can be satisfied and violated.

This paper analyzes Mally’s system of deontic logic, introduced in his The Basic Laws of Ought: Elements of the Logic of Willing (1926). We discuss Mally’s text against the background of some contributions in the literature which show that Mally’s axiomatic system for deontic logic is flawed, in so far as it derives, for an arbitrary A, the theorem “A ought to be the case if and only if A is the case”, which represents a collapse of obligation. We then (...) try to sort out and understand which axioms are responsible for the collapse and consider two ways of amending Mally’s system: (i) by changing its original underlying logical basis, that is classical logic, and (ii) by modifying Mally’s axioms. (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)