The problematic features of Quine's 'set' theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by ...

This is an archived article and the information in the article may be outdated. Please look at the time stamp on the story to see when it was last updated. HUNTSVILLE, Ala. (WHNT) – Your heart, the ...