Switch to: References

Add citations

You must login to add citations.
  1. Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Deontic Logic and Normative Systems.Olivier Roy, Allard Tamminga & Malte Willer (eds.) - 2016 - London, UK: College Publications.
    The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification.".
    Download  
     
    Export citation  
     
    Bookmark  
  • Doing Well Enough in an Andersonian-Kangerian Framework.Paul McNamara - 1998 - In Paul McNamara & Henry Prakken (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. IOS Press. pp. 181-198.
    I recast the DWE ("Doing Well Enough") deontic framework as an Andersonian-Kangerian modal framework and explore its metatheory systematically.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Remedial Interchange, Contrary-to-Duty Obligation and Commutation.Xavier Parent - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):345-375.
    This paper discusses the relation between deontic logic and the study of conversational interactions. Special attention is given to the notion of remedial interchange as analysed by sociologists and linguistic pragmaticians. This notion is close to the one of contrary-to-duty obligation, which deontic logicians have been studying in its own right. The present article also investigates the question of whether some of the aspects of conversational interactions can fruitfully be described by using formal tools originally developed in the study of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In O. Roy, T. Allard & W. Malte (eds.), Deontic Logic and Normative Systems. College Publications. pp. 80-92.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A History of AI and Law in 50 Papers: 25 Years of the International Conference on AI and Law. [REVIEW]Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald P. Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton & Adam Z. Wyner - 2012 - Artificial Intelligence and Law 20 (3):215-319.
    We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Fundamental Legal Concepts: A Teleological Characterisation.Giovanni Sartor - forthcoming - Artificial Intelligence and Law.
    Download  
     
    Export citation  
     
    Bookmark  
  • Fundamental Legal Concepts: A Formal and Teleological Characterisation. [REVIEW]Giovanni Sartor - 2006 - Artificial Intelligence and Law 14 (1-2):101-142.
    We shall introduce a set of fundamental legal concepts, providing a definition of each of them. This set will include, besides the usual deontic modalities (obligation, prohibition and permission), the following notions: obligative rights (rights related to other’s obligations), permissive rights, erga-omnes rights, normative conditionals, liability rights, different kinds of legal powers, potestative rights (rights to produce legal results), result-declarations (acts intended to produce legal determinations), and sources of the law.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Making Room for Going Beyond the Call.Paul McNamara - 1996 - Mind 105 (419):415-450.
    In the latter half of this century, there have been two mostly separate threads within ethical theory, one on 'superogation', one on 'common-sense morality'. I bring these threads together by systematically reflecting on doing more than one has to do. A rich and coherent set of concepts at the core of common-sense morality is identified, along with various logical connections between these core concepts. Various issues in common-sense morality emerge naturally, as does a demonstrably productive definition of doing more than (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Autonomous Agents with Norms.Frank Dignum - 1999 - Artificial Intelligence and Law 7 (1):69-79.
    In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide the norms over three levels: the private level the contract level and the convention level. We show how deontic logic can be used to model the concepts and how the theory of speech acts can be used to model the generation of (some of) the norms. Finally we give some idea about (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Ought' and 'Must.Andrew J. I. Jones & Ingmar Pörn - 1986 - Synthese 66 (1):89 - 93.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Deontic Logic in the Representation of Law: Towards a Methodology. [REVIEW]Andrew J. I. Jones & Marek Sergot - 1992 - Artificial Intelligence and Law 1 (1):45-64.
    There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • But What Should I Do?Sven Ove Hansson - 1999 - Philosophia 27 (3-4):433-440.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Two Dimensional Standard Deontic Logic [Including a Detailed Analysis of the 1985 Jones–Pörn Deontic Logic System].Mathijs Boer, Dov M. Gabbay, Xavier Parent & Marija Slavkovic - 2012 - Synthese 187 (2):623-660.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Doing Well Enough: Toward a Logic for Common-Sense Morality.Paul McNamara - 1996 - Studia Logica 57 (1):167 - 192.
    On the traditional deontic framework, what is required (what morality demands) and what is optimal (what morality recommends) can't be distinguished and hence they can't both be represented. Although the morally optional can be represented, the supererogatory (exceeding morality's demands), one of its proper subclasses, cannot be. The morally indifferent, another proper subclass of the optional-one obviously disjoint from the supererogatory-is also not representable. Ditto for the permissibly suboptimal and the morally significant. Finally, the minimum that morality allows finds no (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Revenger's Paradox.Sven Ove Hansson - 1991 - Philosophical Studies 61 (3):301 - 305.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Note on the Deontic System DL of Jones and Pörn.Sven Ove Hansson - 1989 - Synthese 80 (3):427 - 428.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Contrary-to-Duty Obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
    We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Two Approaches to the Formalisation of Defeasible Deontic Reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
    This paper compares two ways of formalising defeasible deontic reasoning, both based on the view that the issues of conflicting obligations and moral dilemmas should be dealt with from the perspective of nonmonotonic reasoning. The first way is developing a special nonmonotonic logic for deontic statements. This method turns out to have some limitations, for which reason another approach is recommended, viz. combining an already existing nonmonotonic logic with a deontic logic. As an example of this method the language of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Rejoinder to Hansson.Andrew J. I. Jones & Ingmar Pörn - 1989 - Synthese 80 (3):429 - 432.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Deontic Database Constraints, Violation and Recovery.José Carmo & Andrew J. I. Jones - 1996 - Studia Logica 57 (1):139 - 165.
    The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations.Guido Governatori & Antonino Rotolo - 2006 - Australasian Journal of Logic 4:193-215.
    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.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Contrary-to-Duty Paradoxes and Counterfactual Deontic Logic.Daniel Rönnedal - 2019 - Philosophia 47 (4):1247-1282.
    In this paper, I will discuss some examples of the so-called contrary-to-duty paradox, a well-known puzzle in deontic logic. A contrary-to-duty obligation is an obligation telling us what ought to be the case if something forbidden is true, for example: ‘If she is guilty, she should confess’. Contrary-to-duty obligations are important in our moral and legal thinking. Therefore, we want to be able to find an adequate symbolisation of such obligations in some logical system, a task that has turned out (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Priority Structures in Deontic Logic.Johan van Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data.Chris Fox - 2010 - In Piotr Stalmaszczyk (ed.), Objects of Inquiry in Philosophy of Language and Linguistics. Ontos Verlag. pp. 103.
    Download  
     
    Export citation  
     
    Bookmark  
  • Deontic Logic as Logic of Legal Norms: Two Main Sources of Problems.Tecla Mazzarese - 1991 - Ratio Juris 4 (3):374-392.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reactive Kripke Models and Contrary to Duty Obligations. Part A: Semantics.Dov M. Gabbay - 2013 - Journal of Applied Logic 11 (1):103-136.
    Download  
     
    Export citation  
     
    Bookmark  
  • Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
    This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Categorical Imperative: Category Theory as a Foundation for Deontic Logic.Clayton Peterson - 2014 - Journal of Applied Logic 12 (4):417-461.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Paradoxes of Permission an Action Based Solution.Dov Gabbay, Loïc Gammaitoni & Xin Sun - 2014 - Journal of Applied Logic 12 (2):179-191.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Two Dimensional Standard Deontic Logic [Including a Detailed Analysis of the 1985 Jones–Pörn Deontic Logic System].Mathijs de Boer, Dov M. Gabbay, Xavier Parent & Marija Slavkovic - 2012 - Synthese 187 (2):623-660.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Deontic Logic and Legal Knowledge Representation.Andrew J. I. Jones - 1990 - Ratio Juris 3 (2):237-244.
    . The current literature in the Artificial Intelligence and Law field reveals uncertainty concerning the potential role of deontic logic in legal knowledge representation. For instance, the Logic Programming Group at Imperial College has shown that a good deal can be achieved in this area in the absence of explicit representation of the deontic notions. This paper argues that some rather ordinary parts of the law contain structures which, if they are to be represented in logic, will call for use (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On the Logic of Deontic Conditionals.Andrew J. I. Jones - 1991 - Ratio Juris 4 (3):355-366.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson - 2015 - Logica Universalis 9 (1):47-92.
    This paper provides an analysis of contrary-to-duty reasoning from the proof-theoretical perspective of category theory. While Chisholm’s paradox hints at the need of dyadic deontic logic by showing that monadic deontic logics are not able to adequately model conditional obligations and contrary-to-duties, other arguments can be objected to dyadic approaches in favor of non-monotonic foundations. We show that all these objections can be answered at one fell swoop by modeling conditional obligations within a deductive system defined as an instance of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations