Work

Is Free Choice Permission Admissible in Classical Deontic Logic

Year: 2020

Type: preprint

Abstract: We explore how, and if, free choice permission (FCP) can be accepted when we consider deontic conflicts between certain types of permissions and obligations. FCP can license, under some minimal conditions, the derivation of an indefinite number of permissions. We discuss this and other drawbacks and present four Hilbert-style classical deontic systems admitting a guarded version of FCP. The systems that we present are not too weak from the inferential viewpoint, as far as permission is concerned, and do not commit to weakening any specific logic for obligations.

Source: SSRN Electronic Journal

Authors: Guido Governatori, Antonino Rotolo

Institutions: Commonwealth Scientific and Industrial Research Organisation, Data61

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: green

OpenAlex ID: W3206124074

Cites:

Cited by: 2

Related to: 10