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