章节
《弗雷格逻辑主义研究》导言
摘要
弗雷格是数理逻辑的创始人和分析哲学的奠基人，然而他的大部分工作都致力于研究一种被称为逻辑主义的数学哲学。这种哲学把算术还原为逻辑，也就是说，用逻辑符号定义算术符号，从逻辑公理推出算术公理，从而通过逻辑的分析性和先天性来保证算术的分析性和先天性，把算术建立在可靠的基础上。 为了执行其逻辑主义方案，弗雷格在《概念文字》中设计了一种不同于亚里士多德逻辑和布尔逻辑的新逻辑系统，这个系统实质上是二阶逻辑，它不仅包括一阶量化，也包括二阶量化，还隐含地使用了与概括公理等价的代入规则。概括公理是说，任意可表达公式都可以断定概念的存在： ∃X∀x（Xx↔ϕ（x）） 其中X不在ϕ（x）中自由出现
关键词
作者
刘靖贤 中南大学公共管理学院哲学系特聘副教授，研究方向为现代逻辑与分析哲学，在《哲学动态》《自然辩证法研究》《世界哲学》《中国高校社会科学》等期刊发表学术论文和译文30多篇。作为主持人或负责人承担国家社科基金青年项目“弗雷格哲学著作编译研究”、教育部哲学社会科学研究后期资助项目“弗雷格逻辑主义研究”和国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”之子课题“实质真理论研究”。