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