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:
“Linguistically, and hence conceptually, the things in sharpest focus are the things that are public enough to be talked of publicly, common and conspicuous enough to be talked of often, and near enough to sense to be quickly identified and learned by name; it is to these that words apply first and foremost.”
—Willard Van Orman Quine (b. 1908)
“Society is held together by our need; we bind it together with legend, myth, coercion, fearing that without it we will be hurled into that void, within which, like the earth before the Word was spoken, the foundations of society are hidden.”
—James Baldwin (1924–1987)