摘 要: | 由二阶概括公理与公理V所导致的悖论沉重地打击了弗雷格的逻辑主义。罗素的直谓方案和蒯因的分层方案分别可以看作是逻辑主义的延续。上世纪80年代兴起的新逻辑主义把皮亚诺算术建立在二阶概括公理与休谟原则的基础上。但是休谟原则遭到诸多质疑。赫克和博格斯证明了二阶直谓概括公理与公理V的一致性。然而,在遵循弗雷格关于"概念先于外延"这一哲学观点的前提下,不能从二阶直谓概括公理和公理V推出休谟原则。这种困境可以在蒯因分层方案的框架下得到解决。不仅可以证明二阶分层概括与公理V相对于蒯因NF的一致性,而且可以证明从二阶分层概括与公理V推出休谟原则。
|