关于罗素的类型论和还原公理

摘要：

类型论是为解决悖论问题提出的.通过对命题函项的分层以及对类型的限制,许多悖论就可以避免,类型论的限制很强,罗素又引入还原公理使数学成为可能.类型论可以解决日常语言与传统哲学中的许多问题,还原公理则使日常语言成为可能.但是,类型论面临现实中的复杂情况所带来的困难,还原公理则面临自身存在的合法性的困难,而罗素没有完全解决这些困难.

关键词： 类型论 还原公理 罗素 悖论问题

作者: 李巍

作者单位: 南开大学哲学院,天津 300071

会议类型: 国内会议

会议名称: 2013年全国应用逻辑学术年会

会议地点: 北京

会议语种:中文

页码: 53-59

在线出版日期: 2013-06-22（万方平台首次上网日期，不代表论文的发表时间）