Abstract

Sections “Introduction: Hume’s Principle, Basic Law V and Cardinal Arithmetic” and “The Julius Caesar Problem in Grundlagen—A Brief Characterization” are peparatory. In Section “Analyticity”, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle, bearing in mind that with its analytic or non-analytic status the intended logical foundation of cardinal arithmetic stands or falls. Section “Thought Identity and Hume’s Principle” is concerned with the two criteria of thought identity that Frege states in 1906 and their application to Hume’s Principle. In Section “The Nature ofion: A Critical Assessment of Grundlagen, §64”, I scrutinize Frege’s characterization of abstraction in Grundlagen, §64 and criticize in this context the currently widespread use of the terms “recarving” and “reconceptualization”. Section “Frege’s Proof of Hume’s Principle” is devoted to the formal details of Frege’s proof of Hume’s Principle. I begin by considering his proof sketch in Grundlagen and subsequently reconstruct in modern notation essential parts of the formal proof in Grundgesetze. In Section “Equinumerosity and Coextensiveness: Hume’s Principle and Basic Law V Again”, I discuss the criteria of identity embodied in Hume’s Principle and in Basic Law V, equinumerosity and coextensiveness. In Section “Julius Caesar and Cardinal Numbers—A Brief Comparison Between Grundlagen and Grundgesetze ”, I comment on the Julius Caesar problem arising from Hume’s Principle in Grundlagen and analyze the reasons for its absence in this form in Grundgesetze. I conclude with reflections on the introduction of the cardinals and the reals by abstraction in the context of Frege’s logicism.