康德定言命令第二公式的形式化
人工智能
2019-07-12 v3
摘要
我们给出康德定言命令第二公式的形式化与计算实现。该伦理原则要求行动者绝不仅仅将人当作手段，而总是同时作为目的。此处我们依据人如何被行动在因果上影响来解读此原则。我们引入康德式因果施事模型，其中表征了道德受动者、行动、目标与因果影响，并展示如何形式化康德定言命令的若干解读，这些解读对应于康德关于对自身与他人的严格与宽泛义务的概念。更严格的版本处理行动直接因果影响自身或他人的情形，而宽泛版本最大化被作为目的对待的人数。我们通过指出康德某一案例来讨论我们形式化的局限，该机制无法以令人满意的方式处理此案例。
引用
@article{arxiv.1801.03160,
title = {A Formalization of Kant's Second Formulation of the Categorical Imperative},
author = {Felix Lindner and Martin Mose Bentzen},
journal= {arXiv preprint arXiv:1801.03160},
year = {2019}
}