从弗雷格的文本评析黑尔与赖特的新弗雷格主义

发布时间：2017-07-28 23:14

  本文关键词：从弗雷格的文本评析黑尔与赖特的新弗雷格主义

  更多相关文章： 新逻辑主义 数学基础 休谟原理

【摘要】：弗雷格的逻辑主义欲以逻辑作为算术之基础。《算术基本规律》采用公理系统实现他的计划,但其系统导致罗素悖论,弗雷格认为原因是第五条公理,并最终承认计划失败。自1960年代起一些逻辑学家致力于挽救弗雷格的计划,被称为新弗雷格主义。代表人物黑尔(Hale B.)和赖特(Wright C.)认为,我们可通过放弃第五条公理,将该公理的后承休谟原理直接作为公理而达到弗雷格的目的。大量的文献证据,特别是凯撒问题与弗雷格定理表明,黑尔和赖特的路线不符合弗雷格的理论主旨。
【作者单位】： 中国人民大学哲学院;
【关键词】： 新逻辑主义 数学基础 休谟原理
【基金】：中国人民大学研究基金项目经典逻辑与非经典逻辑的哲学基础(12XNJ024)
【分类号】：B81-06
【正文快照】： 一背景与导论在数学基础研究的过程中,弗雷格逐步形成了他的逻辑主义:逻辑是算术的基础,通过定义及逻辑原理,我们可以导出全部数学。他分三步实施。第一步是发明一种实现从逻辑导出数学所需的推导工具。弗雷格在1879年他的第一部逻辑著作《概念文字》中发明了一种表意符号及

【相似文献】

中国期刊全文数据库 前10条

1 M.比尼;陈波;中户川孝治;;弗雷格,他的逻辑和他的哲学——迈克·比尼访谈录[J];世界哲学;2010年02期

2 张志伟;从语言的观点看逻辑[J];河南师范大学学报(哲学社会科学版);2002年02期

3 梁立明;集合论悖论若干哲学问题的思考[J];河南师范大学学报(哲学社会科学版);1987年03期

4 林夏水;数学基础的哲学问题[J];哲学动态;1985年03期

5 郭金彬 ,陈体滇;二律背反与悖论[J];福建师范大学学报(哲学社会科学版);1981年04期

6 ;纪念弗雷格诞辰160周年[J];科学文化评论;2008年06期

7 刘晓力;Godel对逻辑实证主义的批判[J];自然辩证法研究;1997年01期

8 李慧华;;弗雷格《概念文字》的构造及其意义[J];毕节学院学报;2009年03期

9 沈健;桂起权;;量子逻辑:一种全新的逻辑构造[J];安徽大学学报(哲学社会科学版);2011年01期

10 孙金森;墨辩逻辑与亚里士多德逻辑 数学基础的比较研究[J];学术界;1988年06期

中国重要会议论文全文数据库 前9条

1 郭泽深;;逻辑学与数学基础问题的历史联系[A];1993年逻辑研究专辑[C];1993年

2 孟晓青;;Topos理论的哲学意义以及辩证法的形式化[A];1994年逻辑研究专辑[C];1994年

3 莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年

4 胡世华;;作为现代逻辑学的数理逻辑——在一九七八年全国逻辑讨论会上的发言[A];逻辑学文集[C];1978年

5 王学刚;;量词与字母[A];1993年逻辑研究专辑[C];1993年

6 王雨田;;当前的逻辑教学科研向何处去?[A];1993年逻辑研究专辑[C];1993年

7 周肆根;;弗雷格逻辑主义的理论反思[A];1996年逻辑研究专辑[C];1996年

8 王宪钧;;数理逻辑和形式逻辑——在一九七八年全国逻辑讨论会上的发言[A];逻辑学文集[C];1978年

9 刘晓力;;一份珍贵的史料与一段误读的历史[A];2000年逻辑研究专辑[C];2000年

中国重要报纸全文数据库 前1条

1 沈跃春;现代逻辑学及其发展趋势[N];人民日报;2004年

中国硕士学位论文全文数据库 前5条

1 张莉敏;悖论与数理逻辑的发展探析[D];河南大学;2003年

2 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

3 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年

4 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

5 王慧展;罗素的数学逻辑主义本质探析[D];山西大学;2010年

，

本文编号：586478