[論文レビュー] 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.

研究の動機と目的

• 義務を絶対的真実としてではなく、可能な状況間の'より良い'関係として形式化し、道徳論理と現実世界の推論の間の意味的ギャップを解消すること。
• 品質、閉包、近傍の性質を精緻化することで、義務の導出概念を改善し、特にロスのパラドックスを含む道徳論理のパラドックスを解消すること。
• 硬い義務は完全な閉包および理想ケースの包含を要件とし、柔ららかな義務は'ほとんどすべて'の量化子によって例外を許容する。
• 集合論的および順序論的枠組みに基づく義務の形式的導出メカニズムを提供し、導出された義務が論理的に整合的であることを保証すること。
• 事実と義務の間の非対称性、特に否定の振る舞いが道徳論理と古典論理の文脈でどのように異なるかを明確にすること。

提案手法

• 義務を可能な世界の部分集合（モデル）としてモデル化し、実際にその集合に含まれる世界が義務を満たすとみなす。
• 品質や距離（例：ハミング距離）に基づき、世界間の'より良い'関係（≺）を導入し、義務意味論の核を形成する。
• 硬い義務を3つの条件で定義する：(1) 全ての理想（最良）ケースを含む；(2) 品質の向上に伴い閉じている；(3) 理想ケースの周囲に改善する近傍を形成する。
• 『ほとんどすべて』の量化子を用いて硬い条件を緩和することで柔ららかな義務を導入し、例外を許容しながらも核心的な道徳的直感を保つ。
• 結合・交差などの集合演算を用いて、基本セット O から新たな義務を導出し、導出義務が閉包および近傍性質を継承することを保証する。
• 『他の条件が同一のとき』の改善およびハミング近傍の概念を適用し、義務満たしの局所的およびグローバルな性質をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 可能な世界間の'より良い'関係を用いて義務を形式的に定義することは可能か？ これは真値関数的実体としての義務とは異なる。
• RQ2 導出義務が論理的に整合的であり、ロスのパラドックスのようなパラドックスを避けるために必要な条件は何か？
• RQ3 局所的性質（例：ハミング近傍）とグローバル性質（例：品質に関する閉包）は、義務満たしの特徴づけにおいてどのように異なるか？
• RQ4 柔ららかな義務はどのように硬い義務と形式的に区別できるか？ 例外は道徳的推論において果たす役割は何か？
• RQ5 結合、選言、否定の義務における振る舞いは、古典論理とはどの程度異なるか？ そして、その差を形式的に捉えるにはどうすればよいか？

主な発見

• 硬い義務は、すべての理想ケースを含み、品質向上に伴い閉じており、理想ケースの周囲に改善する近傍を形成する集合として定義され、品質変遷に対して堅牢性を保証する。
• ロスのパラドックスが回避されるのは、閉包および近傍条件を用いて導出される際、'手紙を送る'義務が'手紙を送るか燃やす'義務を論理的に含まないからである。
• 独立な状況下では、導出義務が元の集合の古典的帰結であることが示され、標準的仮定下で導出メカニズムの妥当性が裏付けられる。
• 関係 ≺l,c（局所的・数え上げに基づく'より良い'）は、集合が改善するハミング近傍であるとは保証しない。これは、距離に基づく定義と近傍に基づく定義の間のギャップを示している。
• 一般には、閉包および近傍性質は結合および交差において保存されない。これは義務の導出の複雑さを強調する。
• 柔ららかな義務は、厳密な全称量化子を'ほとんどすべて'に置き換えることで形式化され、例外を許容しながらも道徳的整合性を維持し、硬い・柔ららかな条件の混合を可能にする。