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

作者：刘靖贤; 韩东旭逻辑主义算术基本规律罗素悖论

摘要：弗雷格被看作是分析哲学的奠基人和数理逻辑的创始人，然而，他的毕生工作都致力于建立一种被称为逻辑主义的数学哲学。他在《算术基本规律》一书中给出了执行逻辑主义方案的形式系统。然而，由于罗素悖论的发现，很少有人关注弗雷格的《算术基本规律》。本文将主要介绍《算术基本规律》一书，包括其符号系统的说明，公理、规则、定义和定理的说明，罗素发现的悖论以及弗雷格的补救措施。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社