弗雷格的逻辑主义之路

发布时间：2017-06-30 12:14

  本文关键词：弗雷格的逻辑主义之路，，由笔耕文化传播整理发布。

【摘要】：本文意在较为详细地考察弗雷格把算术还原为逻辑的工作。首先,我们指出《概念文字》中的逻辑本质上是完整的二阶逻辑,并介绍弗雷格对数学归纳法的处理;其次,我们简单地讨论《算术的基本定律》中的逻辑;最后,仿照Burgess与Heck的著作,我们给出一个大致符合弗雷格想法的逻辑,在此基础上讨论弗雷格如何发展算术、罗素悖论的产生、弗雷格的修改以及蒯因的证明。
【作者单位】： 武汉大学哲学学院;
【关键词】： 弗雷格 逻辑主义 罗素悖论 二阶逻辑
【分类号】：B81-06
【正文快照】： 众所周知,在18世纪后期,弗雷格试图把算术还原为逻辑,论证算术真理就是逻辑真理。弗雷格的这个想法被后人称为逻辑主义想法。算术中处处是等式、方程、意在指称似乎作为个体对象数(自然数、有理数、无理数、复数等)的数字、变元以及各式各样的函数(如加、减、乘、除等运算)表

【共引文献】

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

1 李秀敏;论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评[J];安徽大学学报(哲学社会科学版);2005年01期

2 黎洪;肯定·否定的句值及其偏移现象[J];巢湖学院学报;2002年01期

3 朱如曾;非相对论热力学中玻意耳定律与焦耳定律的相互独立性[J];大学物理;2005年03期

4 向容宪;符号学与语言学和逻辑学[J];贵阳师专学报(社会科学版);1998年01期

5 冯棉;“可能世界”概念的基本涵义[J];华东师范大学学报(哲学社会科学版);1995年06期

6 冯棉;条件句与相干逻辑[J];华东师范大学学报(哲学社会科学版);1999年01期

7 霍书全;百年“怪论”的有效消解[J];河南大学学报(社会科学版);2005年03期

8 孙培福;;变元间的相关性是人类逻辑的本质属性——由关于“实质蕴涵”的“相关蕴涵”引发的深层思考[J];华南师范大学学报(社会科学版);2006年03期

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

10 曹俊云;无限的概念与数学基础[J];河南理工大学学报(自然科学版);2005年02期

中国博士学位论文全文数据库 前4条

1 牛保义;相信和怀疑：附加疑问句认知研究[D];河南大学;2002年

2 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

3 徐尔清;基于中心语驱动短语结构文法的句法和语义分析[D];上海外国语大学;2007年

4 张立娜;个体词的逻辑语义[D];清华大学;2007年

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

1 刘红兵;模糊错误逻辑研究及其在防范证券投资风险中的应用[D];广东工业大学;2000年

2 韩波;不完全信息数据库研究[D];南京航空航天大学;2003年

3 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

4 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

5 韩莹;扰动模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

6 闫浮;离散数学体系结构[D];北京化工大学;2001年

7 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

8 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

9 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

10 汪德刚;模糊模态命题逻辑及其广义重言式[D];辽宁师范大学;2005年

【相似文献】

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

1 S·阿沃迪;A·W·卡若斯;刘杰;;转折与革命——逻辑经验主义的数学哲学:从《逻辑哲学论》到《逻辑句法》[J];世界哲学;2010年01期

2 叶闯;;弗雷格之谜和信念之谜的关联主义解决方案[J];哲学研究;2010年01期

3 李岱巍;;谁终结了心理主义,胡塞尔还是弗雷格[J];前沿;2010年01期

4 白静;;浅析弗雷格意义理论的影响[J];昆明学院学报;2010年01期

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

6 卢风;;道德相对主义与逻辑主义[J];社会科学;2010年05期

7 刘杰;;数学真理困境的新弗雷格主义求解[J];哲学研究;2010年06期

8 李佃来;;逻辑优先还是历史优先:马克思主义哲学史方法论检讨[J];马克思主义与现实;2010年04期

9 卢雁;;论弗雷格的思想[J];理论界;2010年07期

10 王淑花;;解析弗雷格涵义与指称理论中的认知因素[J];大连海事大学学报(社会科学版);2010年05期

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

1 张燕;;弗雷格意义理论浅析[A];语言与文化研究（第六辑）[C];2010年

2 孟维杰;;心理学主体生存论探新[A];第十二届全国心理学学术大会论文摘要集[C];2009年

3 张灏;;意义与指称不可兼得——对一种意义理论的批评[A];首届、第二届中国科技哲学及交叉学科研究生论坛获奖文集[C];2009年

4 李静静;;科学划界标准的新视野[A];首届、第二届中国科技哲学及交叉学科研究生论坛获奖文集[C];2009年

5 崔海灵;;实践与文化：科学哲学的现代经验[A];全国科学技术学暨科学学理论与学科建设2008年联合学术年会浙江大学论文集[C];2008年

6 王晋瑞;;关联理论视阈下的摹状词指称赋值研究[A];山西大学2008年全国博士生学术论坛（科学技术哲学）[C];2008年

7 陈群;;解读爱丁堡学派布鲁尔的自然主义数学思想[A];山西大学2008年全国博士生学术论坛（科学技术哲学）[C];2008年

8 李国山;;分析哲学与形而上学[A];全国“当代西方哲学的新进展”学术研讨会论文汇编[C];2008年

9 蒋运鹏;;弗雷格的“真”[A];全国“当代西方哲学的新进展”学术研讨会论文汇编[C];2008年

10 张灏;;代罗素反驳唐纳南—论摹状词的指称性使用[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

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

1 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

2 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

3 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

4 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

5 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

6 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

7 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

8 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

9 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

10 江怡 北京师范大学哲学与社会学学院;“哲学分析”：寻求思想表达的清晰性[N];中国社会科学报;2010年

中国博士学位论文全文数据库 前7条

1 王宇光;维特根斯坦和哥德尔定理[D];华东师范大学;2010年

2 于林龙;回归生活世界交往范式的意义理论[D];吉林大学;2010年

3 乔文娟;科学哲学视野中的中医形象[D];南开大学;2009年

4 曹青春;涵义与指称理论的逻辑哲学研究[D];南开大学;2009年

5 徐燕杭;从形而上的道德理念到日常化的反思活动[D];浙江大学;2009年

6 刘杰;论数学真理困境及其实在论出路[D];山西大学;2009年

7 周允程;第一人称信念的哲学研究[D];清华大学;2008年

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

1 刘东;从“信念之谜”看专名意义之辩[D];燕山大学;2010年

2 毋东花;名称指称理论研究[D];西南大学;2010年

3 李博;浅析普特南指称理论[D];西南大学;2010年

4 黄勤;摹状词理论的历史、现状与未来[D];西南大学;2010年

5 段方雪;达米特意义理论评析[D];西南大学;2010年

6 罗欢;罗素摹状词理论研究[D];燕山大学;2010年

7 鲁家铭;罗素摹状词理论研究[D];吉林大学;2010年

8 何玉北;克里普克名称理论研究[D];河北大学;2010年

9 魏静;罗素意义理论研究[D];河北大学;2010年

10 解京;思想与真[D];河北大学;2010年

  本文关键词：弗雷格的逻辑主义之路，由笔耕文化传播整理发布。

本文编号：501888