弗雷格《概念文字》理解的两点注记

发布时间：2017-10-23 23:34

  本文关键词：弗雷格《概念文字》理解的两点注记

  更多相关文章： 弗雷格 概念文字 二阶逻辑 数学归纳法

【摘要】：文章旨在简要地讨论弗雷格《概念文字》,指出其中的两个重要但被一些国内学者误解或忽略的贡献:首先我们指出,根据Boolos等人的论证,弗雷格《概念文字》中的逻辑本质上是带完整二阶存在概括规则的二阶逻辑,这点在国内一些学者的著作与文章中存在误解;其次,我们讨论弗雷格如何用遗传性概念来定义祖先关系,进而定义自然数或有穷数,并使得数学归纳法仅根据自然数的定义就得以成立,这也为弗雷格把算术还原为逻辑奠定了基础。
【作者单位】： 武汉理工大学政治与行政学院;
【关键词】： 弗雷格 概念文字 二阶逻辑 数学归纳法
【基金】：中央高校基本科研业务费专项资金资助,项目编号121419005
【分类号】：B81-06
【正文快照】： 《概念文字》中的逻辑在1 879年发表的《概念文字》中，弗雷格给出了第一个现代谓词逻辑公理系统。按现在的标准来看，他的系统及对系统的说明中有诸多不足之处，比如，，语言的形成规则不明确，推理中使用的代入规则没有被明确列举出，进而诸多可判定性条件是否满足也不是很清

【参考文献】

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

1 徐明明;弗雷格定理的再发现、证明及其哲学意义[J];自然辩证法通讯;2000年02期

【共引文献】

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

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

2 方刚;名称来源问题的哲学意蕴——论柏拉图《克拉底鲁篇》对名称来源问题的探讨及其哲学意义[J];安徽大学学报;2005年05期

3 黄宇红;;再析“非常”的词性[J];安徽文学(下半月);2008年05期

4 聂大海,吕蓓蓓;论语言意义的基本理念[J];北方论丛;2005年05期

5 何自强;一个－阶逻辑公理系统独立性的证明[J];北京航空航天大学学报;1994年01期

6 帅国文;摹状词表达概念吗?——兼与许占君同志商榷[J];毕节师专学报;1997年02期

7 刘q

本文编号：1085978