Hume's Principle requires the existence of the finite cardinals and their cardinal, but these are the only cardinals the Principle requires. Were the Principle an analysis of the concept of cardinal number, it would already be peculiar that it requires the existence of any cardinals; an analysis of bachelor is not expected to yield unmarried men. But that it requires the existence of some cardinals, the countable ones, but not others, the uncountable, makes it seem invidious; it is as if (...) an analysis of people required that there be men but not women, or whites but not blacks. If we deprive the Principle of existential commitments, it will cease to yield Dedekind's axioms for the natural numbers and so fail a good test of material adequacy. But since there are cardinals no second-order theory guarantees, neither can the Principle be beefed up to require all cardinals. (shrink)

The metaphysical concept of continuity is important, not least because physical continua are not known to be impossible. While it is standard to model them with a mathematical continuum based upon set-theoretical intuitions, this essay considers, as a contribution to the debate about the adequacy of those intuitions, the neglected intuition that dividing the length of a line by the length of an individual point should yield the line’s cardinality. The algebraic properties of that cardinal number are derived pre-theoretically from (...) the obvious properties of a line of points, whence it becomes clear that such a number would cohere surprisingly well with our elementary number systems. (shrink)