[论文解读] 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 康德的哪些伦理案例无法被所提出的正式化充分建模？

主要发现

• 该形式化成功使用因果代理模型建模了对自身与他人义务的严格与宽泛解释。
• 只有当行为通过因果影响模式将人作为目的本身时，才被视为道德上可允许。
• 宽泛解释通过最大化被视作目的本身的人数，提供了更广泛的标准。
• 该形式模型能够评估复杂行为序列是否符合定言命令。
• 康德的一个案例——其中间接或非因果关系为核心——无法被当前框架充分捕捉。