Open Access
Translator Disclaimer
2000 Skolem Redux
W. D. Hart
Notre Dame J. Formal Logic 41(4): 399-414 (2000). DOI: 10.1305/ndjfl/1038336883


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.


Download Citation

W. D. Hart. "Skolem Redux." Notre Dame J. Formal Logic 41 (4) 399 - 414, 2000.


Published: 2000
First available in Project Euclid: 26 November 2002

zbMATH: 1014.03503
MathSciNet: MR1963489
Digital Object Identifier: 10.1305/ndjfl/1038336883

Primary: 00A30
Secondary: 03A05 , 03E55

Keywords: cardinal number , Hume's Principle , Skolem's Paradox

Rights: Copyright © 2000 University of Notre Dame


Vol.41 • No. 4 • 2000
Back to Top