Abstract
In this paper the view is developed that classes should not be understood as individuals, but, rather, as “classes as many” of individuals. To correlate classes with individuals “labelling” and “colabelling” functions are introduced and sets identified with a certain subdomain of the classes on which the labelling and colabelling functions are mutually inverse. A minimal axiomatization of the resulting system is formulated and some of its extensions are related to various systems of set theory, including nonwellfounded set theories.
Similar content being viewed by others
References
Aczel, P., Non-well-founded Sets, CSLI, Stanford, 1988.
Bell, J. L., Type-reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined, J. Symbolic Logic 60 (1995), 209-221.
Fraenkel, A., Bar-Hillel, Y., and Levy, P., Foundations of Set Theory, North-Holland, 1973.
Reinhardt, W. N., Ackermann's set theory equals ZF, Ann. Math. Logic 2 (1970), 189-249.
Stenius, E., Sets, Synthese 27 (1974), 161-188.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bell, J.L. Sets and Classes as Many. Journal of Philosophical Logic 29, 585–601 (2000). https://doi.org/10.1023/A:1026564222011
Issue Date:
DOI: https://doi.org/10.1023/A:1026564222011