弗雷格邏輯主義研究

弗雷格是數理邏輯的創始人和分析哲學的奠基人，他的大部分工作都致力於一種被稱為邏輯主義的數學哲學，即把算術還原為邏輯。為了執行邏輯主義方案，弗雷格設計了一種新的邏輯系統，它在實質上是由二階邏輯與第五公理構成的二階理論。然而，羅素在弗雷格的邏輯系統中發現了悖論。長久以來，人們一直認為羅素髮現的這個悖論徹底瓦解了弗雷格的邏輯主義。但是，20世紀80年代，人們重新發現了休謨原則，由此引發了新弗雷格主義的興起。本書的目的是對弗雷格的邏輯主義進行系統性研究，以當代新弗雷格主義及相關爭論為出發點，返璞歸真，還原弗雷格本人的邏輯主義思想的面貌。