Neo-Logicism and Its Logic

History and Philosophy of Logic 41 (1):82-95 (2020)
Download Edit this record How to cite View on PhilPapers
The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts of arithmetic are logically derivable from Hume’s Principle. And that hardly counts as a vindication of logicism.
Reprint years
PhilPapers/Archive ID
Upload history
First archival date: 2015-11-21
Latest version: 2 (2015-11-21)
View other versions
Added to PP index

Total views
1,219 ( #3,244 of 2,433,318 )

Recent downloads (6 months)
110 ( #5,606 of 2,433,318 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.