Neo-logicism is, not least in the light of Frege’s logicist programme, an important topic in the current philosophy of mathematics. In this essay, I critically discuss a number of issues that I consider to be relevant for both Frege’s logicism and neo-logicism. I begin with a brief introduction into Wright’s neo-Fregean project and mention the main objections that he faces. In Sect. 2, I discuss the Julius Caesar problem and its possible Fregean and neo-Fregean solution. In Sect. 3, I raise (...) what I take to be a central objection to the position of neo-logicism. In Sect. 4, I attempt to clarify how we should understand Frege’s stipulation that the two sides of an abstraction principle qua contextual definition of a term-forming operator shall be “gleichbedeutend”. In Sect. 5, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle: The number that belongs to the concept F is equal to the number that belongs to the concept G if and only if F and G are equinumerous. Section 6 is devoted to Frege’s two criteria of thought identity. In Sects. 7 and 8, I defend the position of the neo-logicist against an alleged “knock-down argument”. In Sect. 9, I comment on Frege’s description of abstraction in Grundlagen, §64 and the use of the terms “recarving” and “reconceptualization” in the relevant literature on Fregean abstraction and neo-logicism. I argue that Fregean abstraction has nothing to do with the recarving of a sentence content or its decomposition in different ways. I conclude with remarks on global logicism versus local logicisms. (shrink)

Frege's docent's dissertation Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen(1874) contains indications of a bold attempt to extend arithmetic. According to it, arithmetic means the science of magnitude, and magnitude must be understood structurally without intuitive support. The main thing is insight into the formal structure of the operation of ?addition?. It turns out that a general ?magnitude domain? coincides with a (commutative) group. This is an interesting connection with simultaneous developments in abstract algebra. As his main application, (...) Frege studies iterations of functions. He does not yet pose the question of existence proofs. Measurement of magnitudes is also connected to numbers, but the discussion is here ambiguous in a way which calls for the systematic account of numbers in Grundgesetze. (shrink)