Russell's paradox: how is it resolved?

  • #1
410
12
well, i read about the russell's paradox recently. but what i was wondering is "how is the paradox resolved?"
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,420
4
By disallowing unrestricted comprehension. I.e. restricting what is allowed to be called a set. Things that are too large to be called sets are called (proper) classes.
 
  • #3
410
12
matt grime said:
By disallowing unrestricted comprehension. I.e. restricting what is allowed to be called a set.
can you please give an example of what cannot be allowed to be called a set (to avoid the paradox)?
 
  • #4
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
You are always allowed to construct sets like

[tex]\{ x \in X \, | \, P(x) \}[/tex]

(where X is some set, and P is some logical predicate) and

[tex]\{ f(x) \, | \, x \in X\}[/tex]

(where f is some logical function) but you aren't generally allowed to construct

[tex]\{ x \, | \, P(x) \}[/tex]

(And, of course, you can always do pairs, unions, and power sets)
 
Last edited:
  • #5
410
12
all of those went above my head. can you give some easier examples?
 
  • #6
matt grime
Science Advisor
Homework Helper
9,420
4
No. Nothing, a priori, is a set. All we know is that we have a notion of what we want a set to be, and the rules the collection of sets should obey. We also know what rules we can't allow sets to obey (Russell's paradox). Thus we have to sit down and write out a collection of axioms that we want sets to obey, and then think about what things can be sets *in some model* of the axioms. Thus some collection of objects might be a set in one theory and not in another. What all set theories do agree on is that there is an empty set, that is an object that satisfies x in X is false for all x. Apart from that you're on your own as to what is and what isn't a set.

Some things cannot be sets in any model. For instance if M is some model of some set theory, the collection of sets in M is not a set in M. The class of all cardinal numbers is not a set in any theory. Indeed that is one way to show something is not a set: show it has 'cardinality' greater than kappa for any cardinal kappa.

There are models of set theory where the real numbers as you know them are not a set.

In short think of 'set' as a label that we can apply to some objects and not to others, depending on the axioms we have chosen.

(Actually, this wasn't how Russell got round the issue, but his notion of higher types did not catch on as it is far too wieldy).
 
Last edited:
  • #7
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
all of those went above my head. can you give some easier examples?
It's an algebraic sort of thing: ZFC explicitly posits the existence of only two sets: the empty set, and the set of natural numbers... but it provides us with a lot of ways to build new sets out of old sets.

For example, if X and Y are sets, then we can apply the { , } operator to create the "pair set": {X, Y}.
 
  • #8
410
12
suppose we construct a set [tex]A = \{ S \ | \ S \not\in S \}[/tex]. so to avoid Russell's paradox, this kind of sets are NOT allowed. am i right?
 
  • #9
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
Correct; that construction is in neither of the two forms I mentioned earlier, so it is not expressly permitted. (And the paradox proves that it cannot be permitted)
 
  • #10
16
0
Russel and Zermelo

Two people actually solved the problem independently. Zermelo introduced an axiom called the axiom of separation and Russell introduced his theory of types.
 

Related Threads on Russell's paradox: how is it resolved?

  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
13
Views
7K
  • Last Post
Replies
10
Views
1K
Replies
9
Views
4K
Replies
5
Views
3K
Replies
58
Views
6K
Replies
1
Views
3K
  • Last Post
Replies
5
Views
2K
Top