【摘要】本文意在较为详细地考察弗雷格把算术还原为逻辑的工作。首先,我们指出《概念文字》中的逻辑本质上是完整的二阶逻辑,并介绍弗雷格对数学归纳法的处理;其次,我们简单地讨论《算术的基本定律》中的逻辑;最后,仿照Burgess与Heck的著作,我们给出一个大致符合弗雷格想法的逻辑,在此基础上讨论弗雷格如何发展算术、罗素悖论的产生、弗雷格的修改以及蒯因的证明。
【关键词】
全文来源于知网
多模态话语分析:理论模型及其对新媒体跨文化传播研究的方法论意义 肖珺 2017 119 0 ¥:0
收藏
西方语言经济学研究的新进展:趋势与评价 刘国辉 , 张卫国 2017 157 0 ¥:0
收藏
语言经济学的维度及视角 赵世举 , 葛新宇 2017 211 0 ¥:0
收藏
小程序与轻应用:基于场景的社会嵌入与群体互动 喻国明 , 梁爽 2017 347 0 ¥:0
收藏
二战后日本提供援助与中国放弃赔偿间关系的再探讨 徐显芬 2017 459 0 ¥:0
收藏