刘靖贤

弗雷格是数理逻辑的创始人和分析哲学的奠基人，他的大部分工作都致力于一种被称为逻辑主义的数学哲学，即把算术还原为逻辑。为了执行逻辑主义方案，弗雷格设计了一种新的逻辑系统，它在实质上是由二阶逻辑与第五公理构成的二阶理论。然而，罗素在弗雷格的逻辑系统中发现了悖论。长久以来，人们一直认为罗素发现的这个悖论彻底瓦解了弗雷格的逻辑主义。但是，20世纪80年代，人们重新发现了休谟原则，由此引发了新弗雷格主义的兴