弗雷格的《算术基本规律》  

Frege's Grundgesetze der Arithmetik

作　　者：刘靖贤[1] 韩东旭[1] Jingxian Liu;Dongxu Han(College of Philosophy and Public Administration, Liaoning University)

机构地区：[1]辽宁大学哲学与公共管理学院

出　　处：《逻辑学研究》2017年第3期117-132,共16页Studies in Logic

基　　金：国家社科基金青年项目"弗雷格哲学著作编译研究"(批准号:15CZX035)资助

摘　　要：弗雷格被看作是分析哲学的奠基人和数理逻辑的创始人,然而,他的毕生工作都致力于建立一种被称为逻辑主义的数学哲学。他在《算术基本规律》一书中给出了执行逻辑主义方案的形式系统。然而,由于罗素悖论的发现,很少有人关注弗雷格的《算术基本规律》。本文将主要介绍《算术基本规律》一书,包括其符号系统的说明,公理、规则、定义和定理的说明,罗素发现的悖论以及弗雷格的补救措施。Frege is regarded as the founder of mathematical logic and the father of analyticphilosophy,but most of his career is devoted to a kind of philosophy of mathematics,Logicism.He presented his logical system in his book Grundgesetze der Arithmetik.Dueto Russell’s paradox,only a few people focus on the details of Grundgesetze der Arithmetik.This paper mainly introduces to Chinese-speaking world,including the explanationof symbols,axioms,rules,definitions,important theorems and Frege’s response toRussell’s paradox.

关 键 词：逻辑主义 算术基本规律 罗素悖论 

分 类 号：O1-5[理学—数学]