Combining Texts

Ideas for 'Difference and Repetition', 'Metaphysics: the logical approach' and 'Quaestiones de anima'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory

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)

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

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)