罗素的替代理论

在1903年到1908年间,罗素提出、发展并最终放弃了一种悖论解答方案——替代理论。罗素从摹状词理论中得到启示:悖论源自虚假抽象。替代理论的基本概念"替代"可以避免虚假抽象,通过使用替代运算来定义类和自然数,替代理论在一定程度上获得了成功。然而替代悖论的发现促使罗素最终放弃了替代理论,并走向了分支类型论。