%0 Journal Article
%T 罗素的替代理论<br>Russell’s Substitutional Theory
%A 郑伟平
%J 逻辑学研究
%D 2016
%X 在1903 年到1908 年间，罗素提出、发展并最终放弃了一种悖论解答方案——替代理论。罗素从摹状词理论中得到启示：悖论源自虚假抽象。替代理论的基本概念“替代”可以避免虚假抽象，通过使用替代运算来定义类和自然数，替代理论在一定程度上获得了成功。然而替代悖论的发现促使罗素最终放弃了替代理论，并走向了分支类型论。<br
%K 罗素悖论
%K 替代理论
%K 类型论
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract242.shtml