Abstract
A number of formal constraints on acceptable abstraction principles have been proposed, including conservativeness and irenicity. Hume’s Principle, of course, satisfies these constraints. Here, variants of Hume’s Principle that allow us to count concepts instead of objects are examined. It is argued that, prima facie, these principles ought to be no more problematic than HP itself. But, as is shown here, these principles only enjoy the formal properties that have been suggested as indicative of acceptability if certain constraints on the size of the continuum hold. As a result, whether or not these higher-order versions of Hume’s Principle are acceptable seems to be independent of standard (ZFC) set theory. This places the abstractionist in an uncomfortable dilemma: Either there is some inherent difference between counting objects and counting concepts, or new criteria for acceptability will need to be found. It is argued that neither horn looks promising.
Similar content being viewed by others
References
Boolos G. (1984). To be is to be the value of a variable (or to be some values of some variables). Journal of Philosophy 81, 430–449
Boolos G. (1985). Nominalist platonism. Philosophical Review 94, 327–344
Boolos G. (1989). Iteration again. Philosophical Topics 17, 5–21
Boolos G. (1990). The standard of equality of numbers. In: Boolos G. (ed). Meaning and method: Essays in honor of Hilary Putnam. Cambridge, Cambridge University Press, pp. 3–20
Boolos G. (1997). Is Hume’s principle analytic?. In: Heck R. (ed). Language, thought, and logic. Oxford, Oxford University Press, pp. 245–261
Boolos, G., & Heck, R. (1998). Die Grundlagen der Arithmetik §82–83. In G. Boolos (Ed.), Logic, logic, and logic (pp. 315–338). Cambridge, MA: Harvard University Press.
Cook R. (2003). Iteration one more time. Notre Dame Journal of Formal Logic 44, 63–92
Easton W. (1970). Power of singular cardinals. Annals of Mathematical Logic 1, 139–178
Fine K. (2002). The limits of abstraction. Oxford, Clarendon Press
Frege G. (1974). Die Grundlagen Der Arithmetic (trans.: Austin, J. L.). Oxford, Basil Blackwell
Hale R. (2000). Abstraction and set theory. Notre Dame Journal of Formal Logic 41, 379–398
Hale B., Wright C. (2000). Implicit definition and the a priori. In: Boghossian P., Peacocke C. (eds). New essays on the apriori. Oxford, Oxford University Press, pp. 286–320
Heck R. (1993). The development of arithmetic in Frege’s Grundgesetze der Arithmetik. Journal of Symbolic Logic 10, 153–174
Heck R. (1997a). Finitude and Hume’s principle. Journal of Philosophical Logic 26, 589–617
Rayo, A. (2006). Beyond plurals. In A. Rayo & G. Uzquiano (Eds.), Absolute generality. Oxford: Oxford University Press.
Rayo A., Yablo S. (2001). Nominalism through de-nominalization. Nous 35, 74–92
Shapiro S. (1991). Foundations without foundationalism: The case for second-order logic. Oxford, Oxford University Press
Shapiro S. (2000). Frege meets Dedekind: A neologicist treatment of real analysis. Notre Dame Journal of Formal Logic 41, 335–364
Shapiro S. (2003). Prolegomenon to any future neo-logicist set theory: Abstraction and indefinite extensibility. British Journal for the Philosophy of Science 54, 59–91
Shapiro S., Weir A. (1999). NewV, ZF and abstraction. Philosophia Mathematica 7, 293–321
Shapiro, S., & Weir, A. (2000). Neo-logicist logic is not epistemically innocent. Philosophia Mathematica, 8.
Uzquiano G., Jané I. (2004). Well- and non-well-founded extensions. Journal of Philosophical Logic 33, 437–465
Weir A. (2003). Neo-Fregeanism: An embarassment of riches. Notre Dame Journal of Formal Logic 44, 13–48
Wright C. (1983). Frege’s conception of numbers as objects. Aberdeen, Aberdeen University Press
Wright, C. (1997). On the philosophical significance of Frege’s Theorem. In R. Heck (Ed.), Language, thought, and logic. Oxford: Oxford University Press.
Wright C. (1999). Is Hume’s principle analytic?. Notre Dame Journal of Formal Logic 40, 6–30
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cook, R.T. Hume’s Big Brother: counting concepts and the bad company objection. Synthese 170, 349–369 (2009). https://doi.org/10.1007/s11229-007-9264-8
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-007-9264-8