从罗素的逻辑主义立场看他的类型论.pdf 全文免费在线阅读

  本文关键词：从罗素的逻辑主义立场看他的类型论，由笔耕文化传播整理发布。

文档介绍：
单位代码!Q§3§学号S2QQ塑12西南虫謦硕士学位论文k罗素的逻辑主义立场看他的类型论论文作者:谢时国指导教师:唐晓嘉教授学科专业:逻辑学研究方向:现代逻辑提交论文日期:2006年4月论文答辩日期:2006年6月学位授予单位:西南大学中国·重庆2006年5月从罗素的逻辑主义立场看他的类型论逻辑学专业现代逻辑方向研究生谢时国指导教师唐晓嘉教授中文摘要类型论是罗索逻辑主义和哲学思想发展的一个重要成果,是与其逻辑主义立场紧密联系在一起的。可以说,类型论是罗索为实现其逻辑主义梦想而产生的一个重要理论。本文从罗素的数学观入手,分析了罗素的数学观对罗素后来的研究的重要影响。他认为,纯粹数学就是由所有“p—q”这种命题所构成的类,数学与逻辑只是相同学科的不同阶段而己。罗素试图将所有的数学都从逻辑推导出来。从而实现他的逻辑主义纲领。为此.他开始写作《数学原理》,却发现了在当时看来似乎无法解决的“罗素悖论”。为了能完成《数学原理》的写作,他创造性地提出了类型论思想。接着,本文细致地阐述了简单类型论的建构,分析了其核心的概念,包括类型、命题函项和类型的分层。指出简单类型论已经消除了罗素悖论,但为什么罗素要引入很少有人接受的分支类型论呢?为此,本文首先... 内容来自转载请标明出处.

  本文关键词：从罗素的逻辑主义立场看他的类型论，由笔耕文化传播整理发布。