In Quine's New Foundations
In the New Foundations approach to set theory pioneered by W.V.O. Quine, the axiom of comprehension for a given predicate takes the unrestricted form, but the predicates that may be used in the schema are themselves restricted. The predicate (C is not in C) is forbidden, because the same symbol C appears on both sides of the membership symbol (and so at different "relative types"); thus, Russell's paradox is avoided. However, by taking P(C) to be (C = C), which is allowed, we can form a set of all sets. For details, see stratification.
Read more about this topic: Axiom Schema Of Specification
Famous quotes containing the words quine and/or foundations:
“The lore of our fathers is a fabric of sentences.... It is a pale gray lore, black with fact and white with convention. But I have found no substantial reasons for concluding that there are any quite black threads in it, or any white ones.”
—Willard Van Orman Quine (b. 1908)
“Neutrality is a negative word. It does not express what America ought to feel.... We are not trying to keep out of trouble; we are trying to preserve the foundations on which peace may be rebuilt.”
—Woodrow Wilson (1856–1924)