论文部分内容阅读
将具有自由意志的"图林机"看作康德式"理性存在"的一种理想模型,可以提供道德哲学讨论的替代性方法论基础。但是,这里首先会遇到一个佯谬:通过图林测试的图林机要以"说谎"来证明自己是"理性存在",从而违背了(道德的)理性法则。这就是所谓的"康德-图林佯谬"。我们的论证将表明,图林机不会说谎,从而康德-图林佯谬并不存在。