Consistency and permission in deontic justification logic

Faroldi, Federico L G; Ghari, Meghdad; Lehmann, Eveline; Studer, Thomas (2022). Consistency and permission in deontic justification logic (In Press). Journal of logic and computation Oxford University Press 10.1093/logcom/exac045

Text exac045.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Author holds Copyright Download (525kB) | Request a copy

Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd⁠, are complete for arbitrary constant specifications. Consistency is sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes.

Interest & Impact

Downloads

2 since deposited on 24 Jan 2023
2 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item