Deontic Logics based on Boolean Algebra

In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer (forthcoming)

Authors
Abstract
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 properties of the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area.
Keywords deontic logic  boolean algebra  Krister Segerberg
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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.
Enriching Deontic Logic.Ilaria Canavotto & Alessandro Giordani - 2018 - Journal of Logic and Computation 1:1-23.
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.

Add more citations

Similar books and articles

Two Faces of Obligation.Piotr Kulicki & Robert Trypuz - 2013 - In Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
Algebra pojęć deontycznych.Edward Nieznański - 2008 - Roczniki Filozoficzne 56 (1):231-259.
On Deontic Action Logics Based on Boolean Algebra.Robert Trypuz & Piotr Kulicki - forthcoming - Journal of Logic and Computation.
A Norm-Giver Meets Deontic Action Logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
Setna — prosta teoria norm i działań.Robert Trypuz - 2008 - Filozofia Nauki 3 (4):155--175.
DΔL: A Dynamic Deontic Logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Some Logics of Commitment and Obligation.Krister Segerberg - 1981 - In Risto Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings. Sold and Distributed in the U.S.A. And Canada by Kluwer Boston.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
Some Remarks on Openly Generated Boolean Algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.

Analytics

Added to PP index
2013-10-28

Total views
314 ( #18,861 of 2,271,721 )

Recent downloads (6 months)
60 ( #12,358 of 2,271,721 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature