Impossible and Conflicting Obligations in Justification Logic
Logic in Computer Science
2023-10-09 v2
Abstract
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. We then discuss the philosophical implications with regard to some deontic paradoxes.
Cite
@article{arxiv.2309.15763,
title = {Impossible and Conflicting Obligations in Justification Logic},
author = {Federico L. G. Faroldi and Meghdad Ghari and Eveline Lehmann and Thomas Studer},
journal= {arXiv preprint arXiv:2309.15763},
year = {2023}
}