Russell's paradox en · PROPN
Etymology
Named after English mathematician, logician and philosopher Bertrand Russell.
Meanings
-
The paradox that a set defined to contain all sets which do not contain themselves can neither consistently contain itself nor not contain itself.
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.
1999, R. C. Penner, Discrete Mathematics: Proof Techniques and Mathematical Structures, World Scientific, page 109: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.
2001, M. Randall Holmes, “Tarski's Theorem and NFU”, in C. Anthony Anderson, Michael Zelëny, editors, Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Springer (Kluwer Academic), page 469: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.
Relateds
Burali-Forti paradox · Grelling-Nelson paradox · barber paradox
Synonyms
Russell's antinomy (paradox in set theory)
Translations (3)
is Russell-þversögn (paradox in set theory) · fi Russellin paradoksi (paradox in set theory) · pl paradoks Russella (paradox in set theory)