display all the ideas for this combination of texts
3 ideas
3326 | Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA] |
Full Idea: Set theory offers the promise of a complete mathematization of the 'is' of predication. | |
From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.13) |
3327 | The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA] |
Full Idea: Set inclusion is sharply distinguished from set membership (as the set of Greeks is found to be included in, but not a member of, the set of men). | |
From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.13) |
3335 | The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG] |
Full Idea: Zermelo proposed seven axioms for set theory, with Fraenkel adding others, to produce the standard Z-F Intuition. | |
From: report of José A. Benardete (Metaphysics: the logical approach [1989], Ch.17) by PG - Db (ideas) |