Results for 'Deontic Logic'

993 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   77 citations  
  2. Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
  3. 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  
  4.  16
    Deontic Logic and Legal Systems.Pablo E. Navarro & Jorge L. Rodríguez - 2014 - New York , NY: Cambridge University Press. Edited by Jorge L. Rodriguez.
    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   10 citations  
  5. 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  
     
    Export citation  
     
    Bookmark   2 citations  
  6. 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  
  7.  12
    Deontic logic: introductory and systematic readings.Risto Hilpinen (ed.) - 1976 - Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston.
  8.  83
    I. deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
  9. 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  
  10.  20
    Defeasible Deontic Logic.Donald Nute - 2001 - Studia Logica 67 (1):129-139.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  11.  17
    Deontic Logic.Risto Hilpinen - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 159–182.
    Deontic logic is an area of logic which investigates normative concepts, systems of norms, and normative reasoning. The word ‘deontic’ is derived from the Greek expression ‘déon’, which means ‘what is binding’ or ‘proper’. Thus, Jeremy Bentham used the word ‘deontology’ for “the science of morality,” and the Austrian philosopher Ernst Mally, who developed in the 1920s a system of the “fundamental principles the logic of ought,” called his theory ‘Deontik’. Normative concepts include the concepts (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  22
    Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
    A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. 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. London, UK: 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  
  14. Agency and deontic logic.John Horty - 2001 - New York: 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   120 citations  
  15.  7
    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  
     
    Export citation  
     
    Bookmark   11 citations  
  16. A Deontic Logic for Programming Rightful Machines: Kant’s Normative Demand for Consistency in the Law.Ava Thomas Wright - 2023 - Logics for Ai and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence (Lingai) and the International Workshop on Logic, Ai and Law (Lail).
    In this paper, I set out some basic elements of a deontic logic with an implementation appropriate for handling conflicting legal obligations for purposes of programming autonomous machine agents. Kantian justice demands that the prescriptive system of enforceable public laws be consistent, yet statutes or case holdings may often describe legal obligations that contradict; moreover, even fundamental constitutional rights may come into conflict. I argue that a deontic logic of the law should not try to work (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Deontic logic and the priority of moral theory.Geoffrey Sayre-McCord - 1986 - Noûs 20 (2):179-197.
  18.  35
    Deontic Logic Based on Inquisitive Semantics.Karl Nygren - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. College Publications. pp. 339-357.
    This paper introduces deontic logic based on inquisitive semantics. A semantics for action formulas is introduced where each action formula is associated with a set of alternatives. Deontic operators are then interpreted as quantifying over all alternatives associated with the action formulas within their scope. It is shown how this construction provides solutions to problems related to free choice permissions and obligations, including issues concerning Hurford disjunctions. The main technical result is a complete axiomatization of the (...). (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  96
    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   5 citations  
  20. 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  
  21.  15
    Deontic logic and legal philosophy.Pablo Navarro - 2009 - In Susana Nuccetelli, Ofelia Schutte & Otávio Bueno (eds.), A Companion to Latin American Philosophy. Malden, MA: Wiley-Blackwell. pp. 439–453.
    This chapter contains sections titled: Introduction On Law and Morality Legal Rights and Legal Principles Law and Legal Systems Deontic Logic and Legal Philosophy Philosophical Doctrines in Latin America Conclusion References.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  64
    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 (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  23. 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. 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  
  25. Deontic logic and the logic of imperatives.Edward J. Lemmon - 1965 - Logique Et Analyse 8 (29):39-61.
     
    Export citation  
     
    Bookmark   44 citations  
  26. Deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
  27.  57
    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  
  28.  46
    Deontic logic and the role of freedom in moral deliberation.Richmond H. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell. pp. 177--186.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  29.  68
    Deontic logic as founded on tense logic.Richmond H. Thomason - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell. pp. 165--176.
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  30. Deontic Logic, Agency and Normative Systems.Mark Brown & Jose' Carmo (eds.) - 1996 - Berlin: Springer-Verlag.
     
    Export citation  
     
    Bookmark   7 citations  
  31. Deontic Logic: Introductory and Systematic Readings.Risto Hilpinen - 1976 - Critica 8 (23):118-125.
    No categories
     
    Export citation  
     
    Bookmark   40 citations  
  32.  17
    Defeasible Deontic Logic.Donald Nute - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  33.  83
    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  
  34.  93
    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   9 citations  
  35. Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: 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  
  36.  9
    Deontic Logic and Computer‐Supported Computer Ethics.Jeroen Van Den Hoven & Gert-Jan Lokhorst - 2002 - Metaphilosophy 33 (3):376-386.
    We provide a description and informal analysis of the commonalities in moral discourse concerning issues in the field of information and communications technology, present a logic model (DEAL) of this type of moral discourse that makes use of recent research in deontic, epistemic, and action logic, and indicate – drawing upon recent research in computer implementations of modal logic – how information systems may be developed that implement the proposed formalization.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  20
    Deontic Logic, Mental odels, and Wason Selection Task.Miguel López Astorga - 2014 - Principia: An International Journal of Epistemology 18 (3):439-447.
    A problem related to theWason selection task is that only some thematic versions of it are executed correctly. Fodor raises the thesis that the versions that are adequately solved are those that refer to deontic situations. In his opinion, there is a deontic logic that is different to classical logic and that allows reasoning appropriately in deontic contexts. In this paper, I review Fodor’s arguments, question his assumptions, and propose an alternative explanation, based on the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    Deontic logic for normative conflicts.L. Goble - 2014 - Logic Journal of the IGPL 22 (2):206-235.
  39. On paraconsistent deontic logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  74
    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  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Deontic logic and possible worlds semantics: A historical sketch.Jan Woleński - 1990 - Studia Logica 49 (2):273 - 282.
    This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  71
    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: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell.
     
    Export citation  
     
    Bookmark   19 citations  
  44.  70
    Deontic Logic: A Personal View.Georg Henrik Von Wright - 1999 - Ratio Juris 12 (1):26-38.
    This article contains an overview of the author's long‐standing involvement with deontic logic, both from a technical and from a wider philosophical point of view. As far as the formal aspects of deontic logic are concerned, the author describes his intellectual development from the original discovery of the analogy between modal (and deontic) notions on the one hand, and quantifiers on the other, through the formulation of a systematic theory of dyadic deontic concepts, to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  45.  89
    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.".
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Utilitarian Deontic Logic.Y. Murakami - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 211-230.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  47.  9
    Deontic Logic.G. H. von Wright - 1952 - Journal of Symbolic Logic 17 (2):140-140.
    Direct download  
     
    Export citation  
     
    Bookmark   74 citations  
  48.  23
    Deontic Logic.David Makinson & Lennart Aqvist - 1989 - Journal of Symbolic Logic 54 (4):1481.
  49. 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  
  50.  13
    Rich deontic logic: a preliminary study.Mark A. Brown - 2004 - Journal of Applied Logic 2 (1):19-37.
1 — 50 / 993