章节
从逻辑到算术
摘要
逻辑主义的目标是从“逻辑”的规律推出“算术”的规律。这里的“逻辑”和“算术”不同于我们通常意义上的逻辑和算术。在弗雷格看来，“逻辑”不仅包括一阶逻辑，也包括高阶逻辑和抽象原则；“算术”不仅包括自然数理论，也包括实数理论和复数理论。本章是后面章节的技术性准备。首先，介绍二阶逻辑，包括语法、语义和元理论。其次，介绍算术分层，包括原始递归算术、一阶算术、高阶算术和集合论。
关键词
作者
刘靖贤 中南大学公共管理学院哲学系特聘副教授，研究方向为现代逻辑与分析哲学，在《哲学动态》《自然辩证法研究》《世界哲学》《中国高校社会科学》等期刊发表学术论文和译文30多篇。作为主持人或负责人承担国家社科基金青年项目“弗雷格哲学著作编译研究”、教育部哲学社会科学研究后期资助项目“弗雷格逻辑主义研究”和国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”之子课题“实质真理论研究”。
