Where do we have a paradox in what I have proposed? — Philosopher19
Your own conclusion is the answer to this question.
The set of all sets which contains all these sets, is a member of itself because it truly is a set. — Philosopher19
If all sets are contained in the set of all sets (that are not members of themselves and nothing more), then still, no sets are on any other level than the other sets, all of them now being contained together inside one container (that is what contained in means)... except the set of all sets, itself also being a set. But if it is a set, it would have to be contained along with the other sets. But it's not. But it is. This is paradoxical.
I don't think there is a way completely out of the paradox. You don't undo this paradox. It manufactures itself as we speak about it from any direction.
To skip to the end explained a bit further below, the set of all sets becomes the definition of what a set is, hiding in an example of what a set is. The paradox arises from the fact that the set of all sets serves as an example of one of the sets, and the definition of any/all of the sets at the same time. The set of all sets, is itself a setting of objects into a mentally constructed container. But when we are seeking to contain all sets (mentally constructed containers) in a set, it could equally be said we are seeking to define what a set is. If we say what a set in-itself is (if we define a set), we say something of all sets. We have created a set whose members include something of all sets, or we have created a definition that applies to all sets, namely the definition of all sets.
This doesn't resolve the logical problem; it merely restates it. But I think shows how the assertion "set of all sets" points to an edge or limit where logic itself and the language used to communicate mental constructs and logic, are distinct from each other, and here, unable to overlap.
Basically, we can't say what we mean here, but we somehow still know something and know what we mean.
Stepping back, a 12-year-old child who understands what a set is, can look at 5 different sets on a blackboard (numbers, letters, shapes, etc) and can easily point to all 5 of the members of the "set of all sets on the blackboard". Thus the concept of "the set of all sets" is simple, easy, useful, logical, functional, even for children. But then you ask the child "But what about the
set of all sets itself? Isn't that now one of the sets on the blackboard? What happens when you point that one out too? You've just added another set to the blackboard, making your prior answer of "5" wrong. Or you failed to show how the set of all sets on the blackboard is itself one of the sets on the blackboard and given the answer '6' in the first place." Now a grown, seasoned, pioneering mathematician and logician is perplexed. Thus, the concept of the set of all sets is both really child's play, and seemingly impossible to penetrate for a wise old professor.
But I think if you look at it from other directions, (like a child perhaps), I think we start to see why even the child can make easy use of the "set" (one example being the set of all sets) despite the fact that these sets can be made to appear and disappear both within and without themselves when we say "the set of all sets."
What is a set? A set is both 1) a membership (usually of multiple members but not necessarily, but comprised of membership nonetheless), and 2) their gathering as one containing reference. Four penguins and four seals in a zoo - the set of penguins, which is a unity as one containing reference, is the multiplicity of four member individual penguins. This set is not a penguin itself, because it is a set, and this set must not be a penguin because it has to sit beyond the penguins in order to contain them all as a set. But this set evaporates if we remove all of the penguins, because it is a set of four penguins.
These are the moving parts here. Sets must be distinct from their members in order to be sets of any members. And when looking for a set of penguins, we see that the set is not only distinct from its members, the set is distinct in kind - it's not a penguin. Sets are not their own members. But sets must have members, or be comprised of membership. (Please ignore the empty set here, or pretend the empty set has one member, the object "nothingness".)
So what are we actually doing when we say "set of all sets"? Are we taking all sets, turning them into member objects like penguins, and then stepping outside these objects to make something that is different in kind to those objects, calling it a set, namely a set of all sets? Are we just misuing the word "set" somewhere when we say "set of all sets"? Or have we left the sets alone and created a new class of set so that the set of all sets is different in kind from all of the sets that are its members?
Crack it open again. What is a set? A set is a form of "all". You have four penguins and four seals in a zoo, and someone asks "how many penguins are in the zoo?" The answer can be to count the members of the set of penguins, or it can be to count all of the penguins. You don't need to clarify the "set of all penguins" to come up with same answer. You can count "the set of penguins" or "all penguins" and conduct the same operation. All of the penguins is the same thing as the set of penguins. Therefore, a "set" is a semantically distinct but nonetheless an equivalent form of "all". "All" seals means the same thing as "the set of" seals here. Part of the essence of "set" is the notion of "all" or part of the notion of "all" is to create a "set".
Now apply this to the proposition "the set of all sets." It becomes the "all of all alls". This just sounds like poetry in need of analytics to clarify.
The set of all sets is the be-all end-all of alls, cried the poet!
But I think there is some analytic clarity here. Think now of encircling members as an action we will call "setting" things; instead of fixing a set as a stagnant "x", think of it as an action of "containing". Setting as an action can be made distinct from a stagnant "all" which the setting action constructs. (I could do this by all-ing a stagnant set, but did I just actually say "all-ing"? Hope I don't have to do that to this conversation! But the fact of this temptation shows how we are at an edge or limit between what is logical and clear, but what can't be communicated in language.).
Now, the definition of "setting" is "the act of identifying all members as a set." When we say "the set of" in reference to anything, we are in the act of drawing a container, we are containing members by distinguishing those members from non-members, but we are acting, we are "setting" the membership. We have to sift through the 8 animals in the zoo, identify each individual uniquely, and then by drawing the container, by setting the membership, we claim "the set of penguins has four members."
This becomes as metaphysical as it is logical/mathematical. Now we are talking about "the all" and the "the individual identity of a single member" and "sameness" of membership and "distinctness" from non-membership and the action versus the thing acted upon versus the thing thereby constructed, namely the "set" which is the same as the "all".
Step back one more time. What is a set? It's a construction. It's a mental construction. It takes even physical objects (penguins) as members, but, of them, (as in "set
of"), makes a mental construct. So a set of, or the act of setting, becomes the equivalent of making an idea of, or defining a limit or container. Now, we can analogically see that the "set of penguins" is equivalent to the definition of one of those penguins, equivalent to those defining characteristics that both identify each individual penguin as they do place all penguins as member of the set of penguins.
Setting becomes defining, or a set becomes a sort of quantifiable, demonstrable way of making a definition.
Applying this to setting itself, as when setting "sets", the container for all containers, therefore, is also the definition of all containers.
So the set of all sets means the same thing, or serves the same purpose as the definition of any set. A set, is like a definition; a definition is a statement about all of example members; so the set of all sets, is a mathematical way of denoting the definition of all sets. This is why the child blows right through this. If you understand what a set is, you can easily populate the set of all sets.
This doesn't resolve the paradox. It maybe explains how we, like the 12-year-old above, already live with it. Setting is defining, so when setting all sets, in a practical sense, we are defining what all sets are. In a logical sense, we are still creating a set that can't be a member of itself, but at the same time is a member of itself.