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   55 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.  67
    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   106 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.  81
    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  
  9. 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  
  10.  67
    I. Deontic Logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
  11. 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  
  12.  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  
  13.  10
    Defeasible Deontic Logic.Donald Nute - 2001 - Studia Logica 67 (1):129-139.
  14.  46
    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   12 citations  
  15.  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  
  16. 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  
  17.  5
    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  
  18. Deontic Logic.G. H. von Wright - 1952 - Journal of Symbolic Logic 17 (2):140-140.
    Direct download  
     
    Export citation  
     
    Bookmark   52 citations  
  19. Deontic Logic and the Logic of Imperatives.Edward J. Lemmon - 1965 - Logique Et Analyse 8 (29):39-61.
     
    Export citation  
     
    Bookmark   43 citations  
  20.  84
    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   27 citations  
  21.  51
    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   32 citations  
  22.  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   7 citations  
  23.  78
    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   8 citations  
  24.  70
    Deontic Logic and the Priority of Moral Theory.Geoffrey Sayre-McCord - 1986 - Noûs 20 (2):179-197.
  25. Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic (...). That is, we first define norm systems and a semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Deontic Logic: Introductory and Systematic Readings.Risto Hilpinen - 1976 - Critica 8 (23):118-125.
    No categories
     
    Export citation  
     
    Bookmark   32 citations  
  27.  28
    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   27 citations  
  28.  33
    A Deontic Logic Framework Allowing for Factual Detachment.Christian Straßer - 2011 - Journal of Applied Logic 9 (1):61-80.
  29.  38
    Naturalizing Deontic Logic: Indeterminacy, Diagonalization, and Self‐Affirmation.Melissa Fusco - 2018 - Philosophical Perspectives 32 (1):165-187.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  10
    Deontic Logic.David Makinson & Lennart Aqvist - 1989 - Journal of Symbolic Logic 54 (4):1481.
  31. 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  
  32.  70
    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  
  33.  59
    Utilitarian Deontic Logic.Lou Goble - 1996 - Philosophical Studies 82 (3):317 - 357.
  34. 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  
  35.  32
    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  
  36. 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  
  37. Deontic Logic, Agency and Normative Systems.Mark Brown & Jose' Carmo (eds.) - 1996 - Berlin: Springer-Verlag.
     
    Export citation  
     
    Bookmark   6 citations  
  38.  34
    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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  10
    Defeasible Deontic Logic.Donald Nute - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  40.  58
    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  
  41.  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 & Jose Carmo - 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  
  42.  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.
  43. 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  
  44.  51
    Deontic Logic: A Personal View.Georg Henrik Von Wright - 1999 - Ratio Juris 12 (1):26-38.
  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.  1
    New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics.Risto Hilpinen (ed.) - 1981 - Dordrecht, Netherland: Springer Verlag.
    The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Deontic Logic and its Philosophical Morals.Jaakko Hintikka - 1969 - In Models for Modalities: Selected Essays. Reidel Publishing Company. pp. 184--214.
     
    Export citation  
     
    Bookmark   11 citations  
  48. 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   3 citations  
  49. Imperative and Deontic Logic.Peter Geach - 1957 - Analysis 18 (3):49-56.
    The author contends that moral utterances and imperatives have different logical features. He discusses r m hare's "language of morals" in terms of his distinction between plain imperatives and deontic utterances. (staff).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  50.  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.
1 — 50 / 1000