Weak Permission is not Well-Founded, Grounded and Stable

Governatori, Guido

arXiv.org Artificial Intelligence 

Most Deontic Logics take obligation as primitive and leave the others as derived from obligations. On the other hand, normative reasoning/legal theory identifies two different notions of permission: Strong Permission and Weak Permission. While the definitions of the types of permission vary, and other notions of permission have been proposed (for a discussion on the topic, see Hansson (2013)), often strong permission is taken as a derogation to a prohibition or the obligation to the contrary, and we have a weak permission when we fail to obtain the obligation of the contrary. Another way to look at the issue is whether there are norms that explicitly permit something. If there are and the norms are effective, then we obtain an explicit (strong) permission.