A dilemma for neo-Fregeanism

Research output: Contribution to journalArticlepeer-review


Neo-Fregeans need their stipulation of Hume's Principle - NxFx=NxGx iff the Fs and the Gs are equinumerous - to do two things. First it must implicitly define the term-forming operator 'Nx...x...', and second it must guarantee that Hume's Principle as a whole is true. I distinguish two senses in which the neo-Fregeans might 'stipulate' Hume's Principle, and argue that while one sort of stipulation fixes a meaning for 'Nx...x...' and the other guarantees the truth of Hume's Principle, neither does both.
Original languageEnglish
Pages (from-to)361-379
Number of pages19
JournalPhilosophia Mathematica
Issue number3
Publication statusPublished - 31 May 2014

Cite this