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
Philosophy
Identifiers
URN: urn:nbn:se:liu:diva-130576ISRN: LIU-IKK/TF-A-16/001--SEOAI: oai:DiVA.org:liu-130576DiVA: diva2:953143
Subject / course
Theoretical Philosophy
Supervisors
Examiners
Available from: 2016-08-17 Created: 2016-08-16 Last updated: 2016-08-17Bibliographically approved

Open Access in DiVA

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

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 20 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: 975 hits
ReferencesLink to record
Permanent link

Direct link