[论文解读] A semantics for obligations

Dov M. Gabbay, Karl Schlechta|ArXiv.org|Nov 17, 2008

Law, Economics, and Judicial Systems被引用 4

一句话总结

本文提出了一种基于情境之间'优于'关系的义务语义，利用质量与距离的局部和全局属性来形式化义务的满足。该语义区分了硬性义务与软性义务，通过闭包与邻域条件避免了罗斯悖论，并在有限命题模型中基于集合论与序理论结构提供了义务推导机制。

ABSTRACT

We analyze a number of properties obligations have or should have.

研究动机与目标

• 将义务形式化为可能情境之间的'更优'关系，而非绝对真理，以弥合道义逻辑与现实推理之间的语义鸿沟。
• 通过质量、闭包与邻域属性对义务推导进行精细化，解决道义逻辑中的悖论（尤其是罗斯悖论）。
• 区分硬性义务与软性义务：硬性义务要求完全闭包与理想情形的包含，而软性义务则通过'几乎所有'量词允许例外。
• 基于集合论与序理论框架，提供义务的正式推导机制，确保推导出的义务在逻辑上一致。
• 阐明事实与义务之间的不对称性，特别是在道义逻辑与经典逻辑中否定行为的差异。

提出的方法

• 将义务视为可能世界（模型）的子集，若实际世界位于该集合中，则义务被满足。
• 基于质量或距离（如汉明距离）在世界之间引入'优于'关系（≺），构成义务语义的核心。
• 通过三个条件定义硬性义务：(1) 包含所有理想（最佳）情形；(2) 在质量提升下保持闭包；(3) 在理想情形周围形成改善的邻域。
• 通过使用'几乎所有'量词放松硬性条件，引入软性义务，允许例外同时保持核心道义直觉。
• 使用集合运算（并集、交集）从基础集合 O 推导新义务，确保推导出的义务继承闭包与邻域性质。
• 应用'其他条件不变'改进与汉明邻域的概念，以建模义务满足的局部与全局属性。

实验结果

研究问题

• RQ1 如何使用可能世界之间的'优于'关系来形式化义务，而非将其视为真值函数实体？
• RQ2 哪些条件可确保推导出的义务在逻辑上一致并避免悖论（如罗斯悖论）？
• RQ3 局部属性（如汉明邻域）与全局属性（如质量下的闭包）在刻画义务满足方面有何不同？
• RQ4 软性义务如何与硬性义务在形式上区分？例外在道义推理中起什么作用？
• RQ5 义务中的合取、析取与否定在行为上与经典逻辑有何不同？如何形式化捕捉这种差异？

主要发现

• 硬性义务被定义为包含所有理想情形、在质量提升下保持闭包，并在理想情形周围形成改善邻域的集合，从而在质量转换下保持稳健性。
• 由于通过闭包与邻域条件推导，'寄信'的义务并不逻辑蕴含'寄信或烧信'的义务，因此避免了罗斯悖论。
• 在独立情况下，推导出的义务被证明是原集合的经典逻辑结果，验证了在标准假设下推导机制的有效性。
• 关系 ≺l,c（基于计数的局部'优于'）不能保证集合是改善的汉明邻域，表明基于距离与基于邻域的定义之间存在差距。
• 闭包与邻域性质在一般情况下不被并集与交集保持，凸显了义务推导的复杂性。
• 通过将严格全称量词替换为'几乎所有'，软性义务被形式化，允许例外同时保持道义一致性，并支持硬-软混合条件。