2023/09/27 by Federico L. G. Faroldi, Meghdad Ghari, Faroldi, Federico L. G. +5
Computer Science · Neuroscience · #FOS: Computer and information sciences #Free Will and Agency #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2309.15763
openalex publication_date 2023/09/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.