[論文レビュー] A Formalization of Kant's Second Formulation of the Categorical Imperative

Martin Mose Bentzen, Felix Lindner|arXiv (Cornell University)|Jan 9, 2018

Free Will and Agency参考文献 11被引用数 7

ひとこと要約

この論文は、道徳的対象、行動、目的、因果的影響を表す因果的エージェンシー・モデルを用いて、カントの懸命的命令の第二形式を形式化する。自己および他者に対する義務の厳密版と広義版の解釈を導入し、行動が人を自己目的として扱うかどうかを評価する方法を示すが、特定のカント的ケースの取り扱いには制限がある。

ABSTRACT

We present a formalization and computational implementation of the second formulation of Kant's categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, goals, and causal influence are represented, and we show how to formalize several readings of Kant's categorical imperative that correspond to Kant's concept of strict and wide duties towards oneself and others. Stricter versions handle cases where an action directly causally affects oneself or others, whereas the wide version maximizes the number of persons being treated as an end. We discuss limitations of our formalization by pointing to one of Kant's cases that the machinery cannot handle in a satisfying way.

研究の動機と目的

• カントの懸命的命令の第二形式を形式的かつ計算的に実装可能なモデルとして提供すること。
• 道徳的主体、対象、行動、目的、因果的影響を構造化されたフレームワークで表現すること。
• 因果的影響に基づいて、自己および他者に対する義務の厳密版と広義版を区別すること。
• 直接的および間接的因果的影響を分析することで、行動が人を自己目的として扱うかどうかを評価すること。
• 形式的枠組み内で特定のカント的道徳的ケースをモデル化する際の制限を特定すること。

提案手法

• 道徳的対象、行動、目的、因果的影響を表すカント的因果的エージェンシー・モデルを構築した。
• 行動が自己目的としての人を直接的に影響する場合に限り、義務の厳密版を定義した。
• 自己目的として扱われる人の数を最大化するように定義した、広義版を定義した。
• 行動列における論理的および因果的制約を用いて、懸命的命令を形式化した。
• 計算モデルを用いて、行動が自己目的として扱うという要件を満たすかどうかを評価した。
• 形式化がカントの直観を捉えきれない境界事例を特定した。

実験結果

リサーチクエスチョン

• RQ1 カントの懸命的命令の第二形式を、計算的に扱える形式的表現としてどのように行うことができるか？
• RQ2 因果的エージェンシー・モデルにおいて、自己および他者に対する義務の厳密版と広義版の違いは何か？
• RQ3 行動が人を自己目的として扱うかどうかを評価する方法は何か？ これは単に手段として扱うのとはどのように異なるか？
• RQ4 行動と道徳的対象との間の因果的影響が、道徳的許容性をどのように決定づけるか？
• RQ5 カントのどの道徳的ケースが、提案された形式化によって適切にモデル化できないか？

主な発見

• 因果的エージェンシー・モデルを用いて、自己および他者に対する義務の厳密版と広義版の形式化が成功した。
• 行動が自己目的として扱われるかどうかは、因果的影響のパターンによって決定され、その場合にのみ道徳的に許容される。
• 広義版は、自己目的として扱われる人の数を最大化し、より広範な道徳的基準を提供する。
• 形式的モデルは、懸命的命令に準拠するかを評価する複雑な行動系列を扱える。
• カントの一つのケース—間接的または非因果的関係が中心となるもの—は、現在の枠組みでは適切に捉えきれない。