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

Abstract

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.

Citation

Download Citation

W. D. Hart. "Skolem Redux." Notre Dame J. Formal Logic 41 (4) 399 - 414, 2000. https://doi.org/10.1305/ndjfl/1038336883

Information

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

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

Subjects:
Primary: 00A30
Secondary: 03A05, 03E55

Rights: Copyright © 2000 University of Notre Dame

JOURNAL ARTICLE
16 PAGES


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