Abstract.The paper offers a critical survey of two main sorts of problems hindering the possibility of conceiving deontic logic as a suitable account of the logical behaviour of (sentences expressing) legal norms. The notion of “legal norm” is viewed as the main source of the first sort of problems: (a) the typological variety of legal norms requires an account both of the differing logical behaviour of (sentences expressing) differing legal norms, and of the relations which might hold amon them; (b) (...) the ontologic, semantic, and epistemic features of legal norms shed doubt on the very attempt to figure out a logical analysis of (sentences expressing) legal norms. The notion of “systemic legal validity” is viewed as the main source of the second sort of problems: Deontic logic does not provide suitable logical tools to account for legal phenomena like enactment, derogation, and conflicts between legal norms which rely on systemic legal validity. (shrink)

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright's understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive (...) discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for normgiving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jørgensen's dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein's therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms. (shrink)

Philosophical Investigations, Volume 45, Issue 4, Page 512-527, October 2022.

Since the middle of the last century, normative language has been much studied. In particular, the normative function performed by certain sentences and by certain speech acts has been investigated in depth. Still, the normative function performed by certain physical artifacts designed and built to regulate human behaviors has not yet been thoroughly investigated. We propose to call this specific type of artifacts with normative intent ‘deontic artifacts’. This article aims to investigate this normative phenomenon that is so widespread in (...) our daily reality, but so often forgotten by scholars of norms and normativity. (shrink)

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.

In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer 's dynamic deontic logic. In the proposed formalism, an agent's commitment to goals is considered as a special kind of action which can change one's deontic preference andone's obligation to take some action is based on the preference and the effects of the action. In (...) this logic, it is shown that an agent has the obligation to take any action which is necessary for achieving as many committed goals as possible. The semantics of our logic is based on the possible world models for the dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. According to the semantics, while the preference will influence the agent's choice of action, commitment is a kind of action that will change the agent's preference. Thus we can show how obligations arise from commitments via updating of deontic preference. The integrated semantics make it possible to express and reason about the mutual relationship among these mental attitudes in a common logic. (shrink)

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)

Are all norms cognized in the same way? I present experimental evidence suggesting that they are not. I propose a distinction between two main classes of violations—the victimful and the victimless—and show that while people tend to rate acts belonging to either category as impermissible, the justifications for their judgments refer to salient features of the act only in the former case. I further show that Feinberg's distinction between harmful and offensive acts is useful in discriminating between different types of (...) victimful violations. (shrink)

Seventeenth century philosopher Gottfried Leibniz's contributions to metaphysics, mathematics, and logic are well known. Lesser known is his ‘invention’ of deontic logic, and that his invention derives from the alethic logic of the Aristotelian square of opposition. In this paper, I show how Leibniz developed this ‘logic of duties’, which designates actions as ‘possible, necessary, impossible, and omissible’ for a ‘vir bonus’ . I show that for Leibniz, deontic logic can determine whether a given action, e.g. as permitted, is therefore (...) obligatory or prohibited . Secondly, since the deontic modes are derived from what is possible, necessary, etc., for a good person to do, and that ‘right and obligation’ are the ‘moral qualities’ of a good person, we can see how Leibniz derives deontic logic from these moral qualities. Finally, I show how Leibniz grounds a central deontic concept, namely obligation, in the human capacity for freedom. (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)

This paper studies long-term norms concerning actions. In Meyer's Propositional Deontic Logic (PDₑL), only immediate duties can be expressed, however, often one has duties of longer durations such as: "Never do that", or "Do this someday". In this paper, we will investigate how to amend (PDₑL) so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these (...) two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation. (shrink)

Options and the subjective ought Content Type Journal Article Pages 1-18 DOI 10.1007/s11098-012-9880-0 Authors Brian Hedden, Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

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.

A new possible world semantics for deontic logic is proposed. Its intuitive basis is that prohibitive predicates (such as "wrong" and "prohibited") have the property of negativity, i.e. that what is worse than something wrong is itself wrong. The logic of prohibitive predicates is built on this property and on preference logic. Prescriptive predicates are defined in terms of prohibitive predicates, according to the wellknown formula "ought" = "wrong that not". In this preference-based deontic logic (PDL), those theorems that give (...) rise to the paradoxes of standard deontic logic (SDL) are not obtained. (E.g., O(p & q) → Op & Oq and Op → O(p v q)) are theorems of SDL but not of PDL.) The more plausible theorems of SDL, however, can be derived in PDL. (shrink)

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. (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.

This article examines the anxiety expressed by von Wright over the status of the deontic permission, P, as an independent normative category, given the interdefinability between P and O at the foundation of deontic logic. Two concerns are noted: the reducibility of P to O, and the inadequacy of P to convey a full permission in a social setting. Drawing on resources from the Hohfeldian analytical framework, the relational and aggregate features of permission are explored, and an aggregate conception of (...) permission, P, is recognized. With the assistance of insights from Demey and Smessaert on duals, Hansson on formalization, and Soames on interdefinability, it is concluded that the interdefinability thesis can be defended without threatening the independent status of P. Additional grounds for reaching this conclusion are provided from a detailed analysis of the relationship between P and P. Some implications of the more expansive notion of permission, P, are considered with regard to the resources of deontic logic and their application. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

Moral obligation and permissibility are usually thought to be interdefinable. Following the pattern of the duality definitions of necessity and possibility, we have that something’s being permissible could be defined as its not being obligatory to not do it. And that something’s being obligatory could be defined as its not being permissible to not do it. In this paper, I argue that neither direction of this alleged interdefinability works. Roughly, the problem is that a claim that some act is obligatory (...) or permissible entails that there is a moral law, whereas a negative claim that some act is not obligatory or not permissible does not. Nevertheless, one direction of the interdefinability can potentially be salvaged. I argue that, if we do not require the conceptual possibility of moral dilemmas, then there is a way to plausibly define obligation in terms of permissibility. I conclude that permissibility is the only feasible deontic primitive. (shrink)

Jean-François Lyotard s'interroga sulla forma delle organizzazioni sociali e ne identifica la problematica principale nell'eterogeneità che esse veicolano tra i differenti regimi di frasi: si sofferma, in particolare, sull'incompatibilità tra il regime della conoscenza e quello della libertà. A partire da tale riflessione, l'articolo esamina come le società attuali, multiculturali e globalizzate, siano chiamate oggi a compiere una scelta: abbracciare la sintesi dell'eterogeneo oppure rispettare e far rispettare la presenza inevitabile del dissidio. Nella prima occorrenza si corre il rischio di (...) trasformare il diritto in succedaneo dell'ordalia e di accendere la guerra di tutti contro tutti. Nella seconda, invece, si sperimenta la costruzione d'interazioni di tipo dipolare le quali, pur non potendo garantire contro lo scatenamento smisurato della violenza, riescono potenzialmente ad arginarlo. Queste ultime, infatti, spostano la misura della sopravvivenza dall'esclusione delle ostilità alla loro elusione, dal rifiutare il conflitto all'addomesticarlo, dal rinunciare allo sforzo muscolare al calibrarlo. (shrink)

The first issue of _Artificial Intelligence and Law_ journal was published in 1992. This paper provides commentaries on landmark papers from the first decade of that journal. The topics discussed include reasoning with cases, argumentation, normative reasoning, dialogue, representing legal knowledge and neural networks.

We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis (...) of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence. (shrink)

This paper presents an Anscombian alternative to the traditional deontic conception of ought. According to the Anscombian conception of ought developed here, ought is general as opposed to ‘peculiarly moral’, norm-referring instead of law- or obligation-referring, and ‘heroic’ in the sense that it does not presuppose that individuals can do or be as they ought. Its connection to matters of fact can, moreover, be clearly stated. In the first part of the paper, I describe some significant logical characteristics of this (...) conception, and argue that it provides a more suitable account of the oughts of ethics as compared to the deontic conception. One particular strength of the Anscombian conception of ought is that it does justice to the possibility of tragedy in human life, where tragedy is understood as the possibility that a thoroughly well-intentioned individual might sometimes ensure her own moral imperfection, precisely by doing what is morally right or best at every step along the way. To motivate this feature of the view, I sketch a corresponding picture of responsibility for actions in terms of ownership of one’s deeds. This conception of responsibility allows that what one ought to do is not always constrained by what one can do, while saving the intuitions about fairness and the practical scope of moral norms that principally motivate ‘ought implies can’. To illustrate and motivate the overall account I discuss a number of cases, including the character Winston from George Orwell’s 1984. (shrink)

. The aim of this paper is to clarify the logical structure of a code connecting together some distinctions already introduced by different authors: a distinction between primary norms and secondary norms, the latter being implied by the provisions describing institutions in the indicative; a distinction between norms the content of which concerns a state and those the content of which concerns a behaviour which is itself function of several states; a distinction, among the primary norms, of the norms of (...) competence by which a normative power can be delegated to an individual; lastly a distinction between regulative rules and constitutive rules. (shrink)

The distinction between knowledge-how and knowledge-that has long been debated in the epistemological literature. This distinction can, arguably, be better understood in terms of a more fundamental distinction between information-how and information-that. Information-how is prescriptive and informs a cognitive agent about which action can be performed to achieve a particular outcome. Information-that is descriptive and informs the agent about events, objects, and states of affairs in the world. Since the latter has received more attention in the epistemological literature, this article (...) focuses on the former. I offer a new account of information-how that answers the question, ‘When do data qualify as information-how?’. (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)

In this paper, we investigate the ‘ought implies can’ thesis, focusing on explanations and interpretations of OIC, with a view to clarifying its uses and relevance to legal philosophy. We first review various issues concerning the semantics and pragmatics of OIC; then we consider how OIC may be incorporated in Hartian and Kelsenian theories of the law. Along the way we also propose a taxonomy of OIC-related claims.

This paper articulates an account of imperatives that sensibly supports the idea of a logic of imperative inferences. We rebuke common objections to the very possibility of such a logic, from a perspective based on recent linguistic work on the morphosyntax of imperatives. Specifically, we develop the notion that the content of an imperative sentence includes both a force operator alongside an imperational content to which the force applies. We further argue that this account of the content of imperatives constitutes (...) a plausible and flexible framework to develop a logic of imperative by examining a number of reconstructions of this idea using semantical analogs of widespread modal semantics. After studying the performance of those approaches, we conclude that progress in imperative logic has been hindered by the failure to adopt conflict-tolerant and resource-sensitive semantics, but suggest that such considerations can be incorporated in this flexible framework. Finally, we also propose a simple account of the difference between operators applying to the content of imperatives and imperative operators, in a way that sheds light on some of the issues underlying the usual antinomies. (shrink)

This paper investigates whether or not cases of in concreto antinomies (ICAs for short, also called indirect antinomies, accidental antinomies, normative conflicts due to the facts, predicaments, or paranomies) can be predicted. I distinguish two main theoretical positions: “Prodetection” argues that we can predict in concreto antinomies; “unpredictability” argues that we cannot predict them.I exemplify the two positions by relying on a disagreement found in the literature; then, after reviewing that disagreement, I (i) provide arguments for both positions; (ii) highlight (...) the problematic issues for a definition of in concreto antinomy based on conceptual independence; (iii) point out some problems in Martínez Zorrilla’s threefold conception of normative conflicts; and (iv) advocate the need to introduce a case for “practically unpredictable” normative conflicts. (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)

In this paper we argue that normative reasons are hyperintensional and put forward a formal account of this thesis. That reasons are hyperintensional means that a reason for a proposition does not imply that it is also a reason for a logically equivalent proposition. In the first part we consider three arguments for the hyperintensionality of reasons: an argument from the nature of reasons, an argument from substitutivity and an argument from explanatory power. In the second part we describe a (...) hyperintensional logic of reasons based on justification logics. Eventually we discuss the philosophical import of this proposal and highlight some limitations and possible developments. (shrink)

The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.

Jeremy Bentham is often interpreted as defending a satisficing, rather than maximizing, version of utilitarianism, where an act is right as long as it produces more pleasure than pain. This lack of maximization is surprising given Bentham’s maximizing slogan ‘the greatest happiness of the greatest number’. Against the satisficing interpretation, I argue that Bentham consistently defends a maximizing version of utilitarianism, where an act’s consequences are compared to those of not performing the act. I show that following this version of (...) utilitarianism requires that one realizes the greatest happiness for all affected individuals. (shrink)

The starting point of this work is the gap between two distinct traditions in information engineering: knowledge representation and data - driven modelling. The first tradition emphasizes logic as a tool for representing beliefs held by an agent. The second tradition claims that the main source of knowledge is made of observed data, and generally does not use logic as a modelling tool. However, the emergence of fuzzy logic has blurred the boundaries between these two traditions by putting forward fuzzy (...) rules as a Janus-faced tool that may represent knowledge, as well as approximate non-linear functions representing data. This paper lays bare logical foundations of data - driven reasoning whereby a set of formulas is understood as a set of observed facts rather than a set of beliefs. Several representation frameworks are considered from this point of view: classical logic, possibility theory, belief functions, epistemic logic, fuzzy rule-based systems. Mamdani's fuzzy rules are recovered as belonging to the data - driven view. In possibility theory a third set-function, different from possibility and necessity plays a key role in the data - driven view, and corresponds to a particular modality in epistemic logic. A bi-modal logic system is presented which handles both beliefs and observations, and for which a completeness theorem is given. Lastly, our results may shed new light in deontic logic and allow for a distinction between explicit and implicit permission that standard deontic modal logics do not often emphasize. (shrink)

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

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)