Axiom Schema of Specification - in Quine's New Foundations

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:

    Unlike Descartes, we own and use our beliefs of the moment, even in the midst of philosophizing, until by what is vaguely called scientific method we change them here and there for the better. Within our own total evolving doctrine, we can judge truth as earnestly and absolutely as can be, subject to correction, but that goes without saying.
    —Willard Van Orman Quine (b. 1908)

    Vary the pace ... is one of the foundations of all good acting.
    Ellen Terry (1847–1928)