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:
“... two men could be just alike in all their dispositions to verbal behavior under all possible sensory stimulations, and yet the meanings or ideas expressed in their identically triggered and identically sounding utterances could diverge radically, for the two men, in a wide range of cases.”
—Willard Van Orman Quine (b. 1908)
“I am present at the sowing of the seed of the world. With a geometry of sunbeams, the soul lays the foundations of nature.”
—Ralph Waldo Emerson (1803–1882)