On the Interplay Between Entailments Among Obligations and their Violations
摘要
In Standard Deontic Logic (SDL), it is established that if a statement p is obligatory, then any other statement q entailed by p is also obligatory. This principle is commonly referred to as OB-RM. However, the appropriateness of OB-RM in deontic and normative reasoning has been widely criticized, leading to the proposal of various (restricted) versions of the rule. This paper argues that OB-RM is also unsuitable when considering the violations associated with obligations, particularly the penalties that must be imposed when these violations occur. To address this issue, the paper introduces an extension of the RDF-based framework recently proposed in [20], which integrates violations, penalties, and entailments among obligations. The extended framework is available at https://github.com/liviorobaldo/jurisin2025 .