The Russell Operator

Constructivist Foundations 7 (2):112-115 (2012)
  Copy   BIBTEX

Abstract

Context: The question of how to understand the epistemology of set theory has been a longstanding problem in the foundations of mathematics since Cantor formulated the theory in the 19th century, and particularly since Bertrand Russell articulated his paradox in the early twentieth century. The theory of types pioneered by Russell and Whitehead was simplified by mathematicians to a single distinction between sets and classes. The question of the meaning of this distinction and its necessity still remains open. Problem: I am concerned with the meaning of the set/class distinction and I wish to show that it arises naturally due to the nature of the sort of distinctions that sets create. Method: The method of the paper is to discuss first the Russell paradox and the arguments of Cantor that preceded it. Then we point out that the Russell set of all sets that are not members of themselves can be replaced by the Russell operator R, which is applied to a set S to form R(S), the set of all sets in S that are not members of themselves. Results: The key point about R(S) is that it is well-defined in terms of S, and R(S) cannot be a member of S. Thus any set, even the simplest one, is incomplete. This provides the solution to the problem that I have posed. It shows that the distinction between sets and classes is natural and necessary. Implications: While we have shown that the distinction between sets and classes is natural and necessary, this can only be the beginning from the point of view of epistemology. It is we who will create further distinctions. And it is up to us to maintain these distinctions, or to allow them to coalesce. Constructivist content: I argue in favor of a constructivist perspective for set theory, mathematics, and the way these structures fit into our natural language and constructed speech and worlds. That is the point of this paper. It is only in the reach for absolutes, ignoring the fact that we are the authors of these structures, that the paradoxes arise

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Russell's paradox.Kevin C. Klement - 2001 - Internet Encyclopedia of Philosophy.
Zermelo and Russell's Paradox: Is There a Universal set?G. Landini - 2013 - Philosophia Mathematica 21 (2):180-199.
Indifferent sets for genericity.Adam R. Day - 2013 - Journal of Symbolic Logic 78 (1):113-138.
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.
On the iterative explanation of the paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.
Naïve set theory is innocent!A. Weir - 1998 - Mind 107 (428):763-798.
Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
A Mathematical Analysis of Pānini’s Śivasūtras.Wiebke Petersen - 2004 - Journal of Logic, Language and Information 13 (4):471-489.
Are species sets?Bradley E. Wilson - 1991 - Biology and Philosophy 6 (4):413-431.

Analytics

Added to PP
2012-03-14

Downloads
28 (#487,591)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Louis H. Kauffman
University of Illinois at Chicago

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references