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 .

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the Interplay Between Entailments Among Obligations and their Violations

  • Livio Robaldo,
  • Davide Liga

摘要

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 .