Abstract
When we want to examine different kinds of forms of acts within the framework of the description of the Dutch criminal law, whether an act is permitted or not permitted, we can encounter a difference. On the one hand, it could be the case that a certain act is permitted by a competent normative authority. On the other hand, it could be the case that in the Dutch criminal law a certain act is weak permitted without a competent normative authority having enacted that permission. The article presents the formalisation of the weak and strong permission in deontic logic based on the logic of enactment. A permission that follows from the absence of a prohibition, we call a weak permission; this permission is not enacted. A strong permission is always enacted (implicitly or explicitly), and implies a giving choice. The distinction between these two types of permission is a consequence of the universality of a normative system by the closure rule: 'whatever is not forbidden, is permitted'.
Original language | English |
---|---|
Title of host publication | Eight International workshop on database and expert systems applications (DEXA), Toulouse, September 1-2, 1997 |
Editors | R.R. Wagner |
Place of Publication | California |
Publisher | IEEE Computer Society |
Pages | 198-203 |
ISBN (Print) | 0-8186-8147-0 |
DOIs | |
Publication status | Published - 1997 |
Event | conference; Toulouse, 1997 - Duration: 1 Jan 1997 → … |
Conference
Conference | conference; Toulouse, 1997 |
---|---|
Period | 1/01/97 → … |
Other | Toulouse, 1997 |