道德图林机及其构建原则

作为思想实验模型的图林机,可以避免"理性存在"的形而上学预设而成为道德哲学的新的方法论基础。图林机的意志性可以由计算机概念中的指令性得到辩护,而其自由意志的内容则可由随机元件产生。图林机指令存在定言和假言形式的区分,而其逻辑关系可以区分为冲突关系和相异关系。由通用图林机到道德图林机要求消除指令的假言性,这种逻辑操作将最终将得到构建道德图林机的一个原则:"如此行动,当且仅当没有指令冲突时!"

道德图林机对康德绝对律令的重述

将康德的理性存在看作一台道德图林机,依据其构建原则所克隆出来的道德图林机之间,将服从一系列"道德原则"。从逻辑上可以严密地证明,这些原则包含了康德绝对命令的三种表达形式。即:不存在定言指令只适应于特定康德机、而不适应于其他康德机的情形;不存在仅仅作为工具机的道德图林机;不可能存在定言指令集不同的道德图林机。