What sets could not be

Abstract

Sets are often taken to be collections, or at least akin to them. In contrast, this paper argues that. although we cannot be sure what sets are, what we can be entirely sure of is that they are not collections of any kind. The central argument will be that being an element of a set and being a member in a collection are governed by quite different axioms. For this purpose, a brief logical investigation into how set theory and collection theory are related is offered. The latter part of the paper concerns attempts to modify the `sets are collections' credo by use of idealization and abstraction, as well as the Fregean notion of sets as the extensions of concepts. These are all shown to be either unmotivated or unable to provide the desired support. We finish on a more positive note with some ideas on what can be said of sets. The main thesis here is that sets are points in a set structure, a set structure is a model of a set theory, and set theories constitute a family of formal and informal theories, loosely defined by their axioms.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Classless.Sam Roberts - 2020 - Analysis 80 (1):76-83.
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.
-Maximal sets.Peter A. Cholak, Peter Gerdes & Karen Lange - 2015 - Journal of Symbolic Logic 80 (4):1182-1210.
${\Cal d}$-maximal sets.Peter A. Cholak, Peter Gerdes & Karen Lange - 2015 - Journal of Symbolic Logic 80 (4):1182-1210.
Impure Sets Are Not Located: A Fregean Argument.Roy T. Cook - 2012 - Thought: A Journal of Philosophy 1 (3):219-229.
Kripke models for subtheories of CZF.Rosalie Iemhoff - 2010 - Archive for Mathematical Logic 49 (2):147-167.
Fuzzy in 3–D: Two Contrasting Paradigms.Sarah Greenfield & Francisco Chiclana - 2015 - Archives for the Philosophy and History of Soft Computing 2015 (2).
Motivating reductionism about sets.Alexander Paseau - 2008 - Australasian Journal of Philosophy 86 (2):295 – 307.
Effectively and Noneffectively Nowhere Simple Sets.Valentina S. Harizanov - 1996 - Mathematical Logic Quarterly 42 (1):241-248.

Analytics

Added to PP
2020-01-13

Downloads
7 (#1,310,999)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The foundations of arithmetic: a logico-mathematical enquiry into the concept of number.Gottlob Frege - 1959 - Evanston, Ill.: Northwestern University Press. Edited by J. L. Austin.
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Mathematics is megethology.David K. Lewis - 1993 - Philosophia Mathematica 1 (1):3-23.

View all 13 references / Add more references