liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
The Possibility of Norm-Violation in Deontic Logics for Action Types: An Analysis of Bentzen's Action Type Deontic Logic and a New Semantics
Linköping University, Department of Culture and Communication, Arts and Humanities.
2016 (English)Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Logic, where normative concepts are applied to action expressions, rather than propositional statements. The logic offers solutions to many of the paradoxes of deontic logic. In particular, Bentzen's semantics solves many puzzles involving the interaction of permission with conjunction and disjunction. One of the reasons for these positive results is the assumption that agents always act according to norm. This assumption means that only agents with ideal behaviour are modelled; there is no possibility for norm-violation. In this thesis, proof techniques and decision procedures for Action Type Deontic Logic in the style of semantic tableau are investigated, and soundness, completeness and termination results are obtained. In order to account for the possibility of norm-violation, a new semantics based on a generalisation of Action Type Deontic Logic models is proposed. The new semantics keeps the possibility of norm-violation open, while many of the virtues of Action Type Deontic Logic remain.

Place, publisher, year, edition, pages
2016. , 41 p.
Keyword [en]
Action Type Deontic Logic, action types, action tokens, deontic logic, free choice, norm-violation, semantic tableau
National Category
URN: urn:nbn:se:liu:diva-130576ISRN: LIU-IKK/TF-A-16/001--SEOAI: diva2:953143
Subject / course
Theoretical Philosophy
Available from: 2016-08-17 Created: 2016-08-16 Last updated: 2016-08-17Bibliographically approved

Open Access in DiVA

fulltext(580 kB)24 downloads
File information
File name FULLTEXT01.pdfFile size 580 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Nygren, Karl
By organisation
Arts and Humanities

Search outside of DiVA

GoogleGoogle Scholar
Total: 24 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1598 hits
ReferencesLink to record
Permanent link

Direct link