Results for 'deontic logic'

1000+ found
Order:
See also
  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.
    Direct download  
     
    Export citation  
     
    Bookmark   63 citations  
  2. Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
  3. Deontic Logic and Natural Language.Fabrizio Cariani - forthcoming - In Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.), The Handbook of Deontic Logic (Vol. II). College Publications.
    There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  69
    Agency and Deontic Logic.John F. Horty - 2001 - Oxford, England: Oxford University Press.
    John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions over extended periods of time. Offering a conceptual rather than technical emphasis, Horty's framework allows a number of recent issues from moral theory to be set out clearly and discussed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   109 citations  
  5.  1
    Deontic Logic: Introductory and Systematic Readings.Risto Hilpinen (ed.) - 1976 - New York, NY, USA: Sold and Distributed in the U.S.A. And Canada by Kluwer Boston.
  6. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Deontic Logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
  8.  67
    I. Deontic Logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
  9.  84
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  10. Enriching Deontic Logic.Ilaria Canavotto & Alessandro Giordani - 2018 - Journal of Logic and Computation 1:1-23.
    It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  47
    Deontic Logics for Prioritized Imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.
    When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases – that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all – and provide semantics and axiomatic systems for accordingly defined (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12. Deontic Logic and Ethics.Shyam Nair - forthcoming - In Gabbay, John Horty, Xavier Parent, Ron van der Meyden & Leon van der Torre (eds.), Handbook of Deontic Logic and Normative System, Volume 2. College Publications.
    Though there have been productive interactions between moral philosophers and deontic logicians, there has also been a tradition of neglecting the insights that the fields can offer one another. The most sustained interactions between moral philosophers and deontic logicians have notbeen systematic but instead have been scattered across a number of distinct and often unrelated topics. This chapter primarily focuses on three topics. First, we discuss the “actualism/possibilism” debate which, very roughly, concerns the relevance of what one will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    Deontic Logic and Legal Systems.Pablo E. Navarro & Jorge L. Rodríguez - 2014 - Cambridge University Press.
    A considerable number of books and papers have analyzed normative concepts using new techniques developed by logicians; however, few have bridged the gap between the English legal culture and the Continental tradition in legal philosophy. This book addresses this issue by offering an introductory study on the many possibilities that logical analysis offers the study of legal systems. The volume is divided into two sections: the first covers the basic aspects of classical and deontic logic and its connections, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Dyadic Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
    The purpose of this paper is to develop a class of semantic tableau systems for some dyadic deontic logics. We will consider 16 different pure dyadic deontic tableau systems and 32 different alethic dyadic deontic tableau systems. Possible world semantics is used to interpret our formal languages. Some relationships between our systems and well known dyadic deontic logics in the literature are pointed out and soundness results are obtained for every tableau system. Completeness results are obtained (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  10
    Defeasible Deontic Logic.Donald Nute - 2001 - Studia Logica 67 (1):129-139.
  16. Deontic Logic.G. H. von Wright - 1952 - Journal of Symbolic Logic 17 (2):140-140.
    Direct download  
     
    Export citation  
     
    Bookmark   62 citations  
  17.  75
    Situationist Deontic Logic.Sven Ove Hansson - 1997 - Journal of Philosophical Logic 26 (4):423-448.
    Situationist deontic logic is a model of that fraction of normative discourse which refers to only one situation and one set of alternatives. As we can see from a whole series of well-known paradoxes, standard deontic logic (SDL) is seriously mistaken even at the situationist level. In this paper it is shown how a more realistic deontic logic can be based on the assumption that prescriptive predicates satisfy the property of contranegativity. A satisfactory account (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  6
    Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
    Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. A useful logic in which to specify normative system behaviour, deontic logic has (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  74
    Dynamic Deontic Logic and its Paradoxes.Albert J. J. Anglberger - 2008 - Studia Logica 89 (3):427-435.
    In Meyer’s promising account [7] deontic logic is reduced to a dynamic logic. Meyer claims that with his account “we get rid of most (if not all) of the nasty paradoxes that have plagued traditional deontic logic.” But as was shown by van der Meyden in [4], Meyer’s logic also contains a paradoxical formula. In this paper we will show that another paradox can be proven, one which also effects Meyer’s “solution” to contrary to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  40
    Deontic Logic, Weakening and Decisions Concerning Disjunctive Obligations.Michael J. Shaffer - 2022 - Logos and Episteme 13 (1):93-102.
    This paper introduces two new paradoxes for standard deontic logic (SDL). They are importantly related to, but distinct from Ross' paradox. These two new paradoxes for SDL are the simple weakening paradox and the complex weakening paradox. Both of these paradoxes arise in virtue of the underlaying logic of SDL and are consequences of the fact that SDL incorporates the principle known as weakening. These two paradoxes then show that SDL has counter-intuitive implications related to disjunctive obligations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Deontic Logic and the Logic of Imperatives.Edward J. Lemmon - 1965 - Logique Et Analyse 8 (29):39-61.
     
    Export citation  
     
    Bookmark   44 citations  
  22.  85
    A Deontic Logic of Action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
    The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  23.  80
    Deontic Logic for Strategic Games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.
    We develop a multi-agent deontic action logic to study the logical behaviour of two types of deontic conditionals: (1) conditional obligations, having the form "If group H were to perform action aH, then, in group F's interest, group G ought to perform action aG" and (2) conditional permissions, having the form "If group H were to perform action aH, then, in group F's interest, group G may perform action aG". First, we define a formal language for multi-agent (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  24.  53
    Deontic Logic as Founded on Tense Logic.Richmond H. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic. pp. 165--176.
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  25. Deontic Logic: Introductory and Systematic Readings.Risto Hilpinen - 1976 - Critica 8 (23):118-125.
    No categories
     
    Export citation  
     
    Bookmark   37 citations  
  26.  1
    Defeasible Deontic Logic.Donald Nute (ed.) - 1997 - Dordrecht, Boston, and London: Kluwer Academic Publishers.
    Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  27.  31
    Deontic Logic and the Role of Freedom in Moral Deliberation.Richmond H. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic. pp. 177--186.
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  28.  70
    Deontic Logic and the Priority of Moral Theory.Geoffrey Sayre-McCord - 1986 - Noûs 20 (2):179-197.
  29.  38
    Naturalizing Deontic Logic: Indeterminacy, Diagonalization, and Self‐Affirmation.Melissa Fusco - 2018 - Philosophical Perspectives 32 (1):165-187.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  33
    A Deontic Logic Framework Allowing for Factual Detachment.Christian Straßer - 2011 - Journal of Applied Logic 9 (1):61-80.
  32.  10
    Deontic Logic.David Makinson & Lennart Aqvist - 1989 - Journal of Symbolic Logic 54 (4):1481.
  33.  62
    Utilitarian Deontic Logic.Lou Goble - 1996 - Philosophical Studies 82 (3):317 - 357.
  34.  1
    Deontic Logic, Agency and Normative Systems:?Eon ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996. [REVIEW]Mark A. Brown - 1995 - Springer.
    This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems. The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. 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 (...) with the language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  66
    Obligations and Prohibitions in Talmudic Deontic Logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.
    This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: O T A Talmudic obligation F T A Talmudic prohibition F D A Standard deontic prohibition O D A Standard deontic obligation. In classical logic one would have expected that deontic obligation O D is definable by $O_DA \equiv F_D\neg A$ and that O T and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  11
    Defeasible Deontic Logic.Donald Nute - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  38.  71
    An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Straßer & Joke Meheus - 2013 - Journal of Philosophical Logic 42 (2):285-315.
    We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Deontic Logic, Agency and Normative Systems.Mark Brown & Jose' Carmo (eds.) - 1996 - Berlin: Springer-Verlag.
     
    Export citation  
     
    Bookmark   6 citations  
  40.  34
    Expressivity Results for Deontic Logics of Collective Agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2020 - Synthese 198 (9):8733-8753.
    We use a deontic logic of collective agency to study reducibility questions about collective agency and collective obligations. The logic that is at the basis of our study is a multi-modal logic in the tradition of *stit* logics of agency. Our full formal language has constants for collective and individual deontic admissibility, modalities for collective and individual agency, and modalities for collective and individual obligations. We classify its twenty-seven sublanguages in terms of their expressive power. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Agency and Deontic Logic.Paul Mcnamara - 2004 - Mind 113 (449):179-185.
    This is a review of John Horty's book, _Agency and Deontic Logic_, OUP 2000.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  42.  37
    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 (...), will call for use of a reasonably sophisticated deontic logic. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  46
    Mīmāṃsā Deontic Logic: Proof Theory and Applications.Agata Ciabattoni, Francesco Antonio Genco, Björn Lellmann & Elisa Freschi - 2015 - In Hans De Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer. pp. 323--338.
  44.  59
    Precedent, Deontic Logic, and Inheritance.John F. Horty - unknown
    The purpose of this paper is to e»tahlish some connections between precedent-based reasoning as it is studied in the field of Artificial Intelligence and Law, particularly in the work of Ashley, and two other fields: deontic logic and nonmonotonic logic. First, a deontic logic is described that allows lor sensible reasoning in the presence of conflicting norms. Second, a simplified version of Ashley's account of precedent-based reasoning is reformulated within the framework of this deontic (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  45. Andersonian Deontic Logic, Propositional Quantification, and Mally.Gert-Jan C. Lokhorst - 2006 - Notre Dame Journal of Formal Logic 47 (3):385-395.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  31
    Deontic Logic and Computer-Supported Computer Ethics.Jeroen van Den Hoven & Gert-Jan Lokhorst - 2002 - In James Moor & Terrell Ward Bynum (eds.), Cyberphilosophy: The Intersection of Philosophy and Computing. Blackwell. pp. 376-386.
  47.  43
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  12
    Deontic Logic for Normative Conflicts.L. Goble - 2014 - Logic Journal of the IGPL 22 (2):206-235.
  49.  51
    Deontic Logic: A Personal View.Georg Henrik Von Wright - 1999 - Ratio Juris 12 (1):26-38.
  50. Deontic Logic and the Role of Freedom in Moral Deliberation.Richmond A. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic.
    Translate
     
     
    Export citation  
     
    Bookmark   16 citations  
1 — 50 / 1000