首页> 外文会议>Deontic logic in computer science >Sanction Semantics and Contrary-to-Duty Obligations
【24h】

Sanction Semantics and Contrary-to-Duty Obligations

机译:制裁语义和义务义务

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

摘要

In this paper I show that one cannot faithfully represent contrary-to-duty obligations in logics with sanction semantics. In order to do so I first provide a number of desiderata that a logic should satisfy in order to represent contrary-to-duty obligations using sanction semantics. I then show that no logic satisfying all desiderata can faithfully represent contrary-to-duty obligations. Finally I show that when dropping any one of the desiderata there is a logic that satisfies all others and can represent some contrary-to-duty obligations faithfully.
机译:在本文中,我证明了一个人不能忠实地表示具有制裁语义的逻辑中的违反职责义务。为了做到这一点,我首先提供了逻辑必须满足的许多愿望,以便使用制裁语义来表示违背义务的义务。然后,我证明,不能满足所有需求的逻辑能够忠实地代表违背义务的义务。最后,我表明,抛弃任何一种需求时,都有一种逻辑可以满足所有其他需求,并且可以忠实地代表一些违法义务。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号