Show simple item record

dc.contributor.advisor何纯秀
dc.contributor.advisor郑伟平
dc.contributor.author林静霞
dc.date.accessioned2018-12-05T01:33:56Z
dc.date.available2018-12-05T01:33:56Z
dc.date.issued2017-11-29
dc.identifier.urihttps://dspace.xmu.edu.cn/handle/2288/169540
dc.description.abstract类型理论是罗素为了解决悖论进而实现其逻辑主义理想而提出的理论。1903年,罗素在《数学原则》中提出简单类型论,对类、关系、数等进行类型划分,希望解决了罗素悖论。但是,由于存在简单类型论无法解决的命题悖论,罗素放弃了简单类型论。1903年到1908年间,罗素的主导思想是提出一种基于无类理论的悖论解决方案,但由于替代悖论的发现,使他放弃了这种思路。1908年,罗素以其《以类型论为基础的数理逻辑》一文回到了类型论,并在1910年的《数学原理》中进行详细阐述。这一时期的类型论被学者们称为“分支类型论”。分支类型论依据恶性循环原则,对命题函项做了阶的划分。但是,阶的划分导致了一些逻辑主义的困难与哲学困难...
dc.description.abstractTheory of Types is a theory put forward by Russell, for the purpose of solving paradoxes, to achieve his logicism ideal. In 1903, Russell put forward Simple Theory of Types and divided classes, relations, numbers into different types in his The Principles of Mathematics. He hoped to solve Russell Paradox by this means. However, there are a proposition paradox which Simple Theory of Types cannot so...
dc.language.isozh_CN
dc.relation.urihttps://catalog.xmu.edu.cn/opac/openlink.php?strText=58061&doctype=ALL&strSearchType=callno
dc.source.urihttps://etd.xmu.edu.cn/detail.asp?serial=62281
dc.subject罗素
dc.subject类型论
dc.subject变元
dc.subjectRussell
dc.subjectTheory of Types
dc.subjectVariable
dc.title罗素类型论研究
dc.title.alternativeStudies of Russell’s Theory of Types
dc.typethesis
dc.date.replied2017-05-17
dc.description.note学位:哲学硕士
dc.description.note院系专业:人文学院_逻辑学
dc.description.note学号:10420141152325


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record