A Closer Look at the Russell Paradox

Abstract

Two types of approximation to the paradoxical Russell Set are presented, one approximating it from below, one from above. It is shown that any lower approximation gives rise to a better approximation containing it, and that any upper approximation contains a distinct better approximation. The Russell Paradox is then seen to be the claim that two of these processes of better approximations stop, and at the same set. This suggests that the unrestricted Axiom of Comprehension is, not a coherent intuition worthy of rescue from a mysterious paradox, but simply wishful thinking, a confusion of sets as extensional objects with classes defined by a property.

arXiv comment27 pages, to appear in Logique et Analyse. Revised version of article referenced in Logique et Analyse, Vol 59, No 233 (2016) http://www.logic-center.be/Publications/Bibliotheque/SheridanVariantChurch.pdf as "A Naive View of the Russell Paradox."