Deontic Logics based on Boolean Algebra

In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer (forthcoming)
Download Edit this record How to cite View on PhilPapers
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
CASDLB
Upload history
Archival date: 2013-10-28
View other versions
Added to PP index
2013-10-28

Total views
457 ( #11,870 of 58,296 )

Recent downloads (6 months)
50 ( #15,122 of 58,296 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.