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

• 作者: 李巍
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 悖论 类型论 还原公理
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 53-59
• 页数: 7页
• 分类号: B81
• 字数: 9519字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2013.09.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李巍	南开大学哲学院	20	381	9.0	19.0