首页> 外文会议>Deontic logic in computer science >An Andersonian Deontic Logic with Contextualized Sanctions
【24h】

An Andersonian Deontic Logic with Contextualized Sanctions

机译:具有情境化制裁的安德森主义魔性逻辑

获取原文
获取原文并翻译 | 示例

摘要

We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula SB is then for instance interpreted as "B causes a sanction" or as "B provides a reason for (the applicability of) a sanction". Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central 'paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's 'gentle murderer' paradox.
机译:我们提出了将安德森将宗法逻辑简化为仅具有伦理模式的模态逻辑的改进方法。改进后的提案通过将一元制裁常量s替换为一元制裁运算符S来实现上下文关系,后者取决于违反的具体规范要求。然后将公式SB解释为“ B导致制裁”或“ B提供制裁的理由(适用性)”。由于修改了制裁运算符,因此生成的逻辑DSL使继承原理的某些实例无效。这产生了新的有趣功能。例如,DSL始终允许存在冲突义务。此外,它提供了关于道义逻辑中各种中心“悖论”的新颖见解,例如罗斯悖论,善良撒玛利亚人的悖论以及福雷斯特的“温柔杀手”悖论。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号