LYCOS RETRIEVER
Bertrand Russell: Sets
built 614 days ago
User-created article on Bertrand Russell's paradox showing that Frege's conception of set theory is contradictory. Includes an explanation of the paradox, its history, a simplified explanation for laypersons, and responses to the paradox.
Source:
Russell's own response to the paradox was his aptly named theory of types. Recognizing that self-reference lies at the heart of the paradox, Russell's basic idea is that we can avoid commitment to R (the set of all sets that are not members of themselves) by arranging all sentences (or, equivalently, all propositional functions) into a hierarchy. The lowest level of this hierarchy will consist of sentences about individuals. The next lowest level will consist of sentences about sets of individuals. The next lowest level will consist of sentences about sets of sets of individuals, and so on. It is then possible to refer to all objects for which a given condition (or predicate) holds only if they are all at the same level or of the same "type."
Source:
Whitehead and Russell were able to provide many detailed derivations of major theorems in set theory, finite and transfinite arithmetic, and elementary measure theory. A fourth volume on geometry was planned but never completed.
Source: