Meaning of Russell's paradox | Babel Free

Definitions

The paradox that a set defined to contain all sets which do not contain themselves can neither consistently contain itself nor not contain itself.

Examples

“One concludes that there must be something fishy about the Axiom of Comprehension, and, over time, the replacement of the Axiom of Comprehension by the Schema of Separation was seen to resolve Russell's paradox. Indeed, one cannot apply the Schema of Separation as in Russell's paradox unless one knows in advance that the collection of all sets is itself a set.”

“The well-known theorem of Tarski that truth of sentences in any reasonably expressive language L cannot be defined in the language L itself is proved by a diagonalization argument similar to the argument involved in Russell's paradox.[…]It is usual to think that Russell's paradox excludes "large" sets like the universe, but this is actually not the case. An alternate solution to Russell's paradox (and other paradoxes) was proposed by Quine (1937) in his system "New Foundations" (NF): comprehension restricted to stratified formulae.”

“2013, Greg Frost-Arnold, Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science, Carus Publishing Company (Open Court), page 43, Roughly, the idea is that Russell's paradox reveals that certain logics suffer serious problems, and therefore these logics should be avoided. […] Here again, Quine asserts that the real lesson of Russell's paradox is that we should give up quantifying over abstracta.”

CEFR level