Trueman R (2014) A Dilemma for Neo-Fregeanism. Philosophia Mathematica, 22 (3), pp. 361-379. https://doi.org/10.1093/philmat/nku012
Neo-Fregeans need their stipulation of Hume's Principle - NxFx = NxGx there exists R(Fx 1-1(R) Gx) - 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.
Philosophia Mathematica: Volume 22, Issue 3
|Publication date online||31/05/2014|