罗素的替代理论.pdfVIP

逻辑学研究 2016 年第1 期，81–94 文章编号：1674-3202(2016)-01-0081-14 罗素的替代理论 郑伟平 厦门大学哲学系 zhengweiping@xmu.edu.cn 摘 要：在 1903 年到 1908 年间，罗素提出、发展并最终放弃了一种悖论解答方案 ——替代理论。罗素从摹状词理论中得到启示：悖论源自虚假抽象。替代理论的基本概 念“替代”可以避免虚假抽象，通过使用替代运算来定义类和自然数，替代理论在一定 程度上获得了成功。然而替代悖论的发现促使罗素最终放弃了替代理论，并走向了分支 类型论。 关键词：罗素悖论；替代理论；类型论 中图分类号：B81 文献标识码：A 在 1901 年罗素悖论被发现以后的十年时间里，罗素一直致力于解决罗素 悖论，以实现其逻辑主义理想。在1903年出版的《数学原则》一书中，罗素提 出了解决罗素悖论的最初方案——简单类型论。在1910 年出版的《数学原理》 一书中，罗素又提出了著名