Show simple item record

dc.contributor.author郑伟平
dc.date.accessioned2018-11-26T08:09:08Z
dc.date.available2018-11-26T08:09:08Z
dc.date.issued2016-03-18
dc.identifier.citation逻辑学研究,2016,9(01):87-100
dc.identifier.issn1674-3202
dc.identifier.otherLJXJ201601005
dc.identifier.urihttps://dspace.xmu.edu.cn/handle/2288/164689
dc.description.abstract在1903年到1908年间,罗素提出、发展并最终放弃了一种悖论解答方案——替代理论。罗素从摹状词理论中得到启示:悖论源自虚假抽象。替代理论的基本概念"替代"可以避免虚假抽象,通过使用替代运算来定义类和自然数,替代理论在一定程度上获得了成功。然而替代悖论的发现促使罗素最终放弃了替代理论,并走向了分支类型论。
dc.description.abstractFrom 1903 to 1908,Russell developed the substitutional theory as a solution of paradoxes,and finanlly abandoned it.What Russell learned from his theory of definite description is that paradoxes are caused by false abstraction.The fundamental concept "substitution" may be applied to avoid false abstraction.By using it to define classes and functions,the substitutional theory was proved to be successful in some sense.Unfortunately,the emergence of the substitutional paradox made Russell give up the theory of substitution and embrace the ramified thoery of type.
dc.language.isozh_CN
dc.subject罗素悖论
dc.subject替代理论
dc.subject类型论
dc.title罗素的替代理论
dc.title.alternativeRussell's Substitutional Theory
dc.typeArticle


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record