more on this theme     |     more from this thinker     |     more from this text


Single Idea 10562

[filed under theme 18. Thought / E. Abstraction / 7. Abstracta by Equivalence ]

Full Idea

I propose a unified theory which is a version of ZF or ZFC with urelements, where the urelements are taken to be the abstracts.

Clarification

ZF is standard set theory. Urelements are members of sets which aren't themselves sets

Gist of Idea

We can combine ZF sets with abstracts as urelements

Source

Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)

Book Ref

-: 'Philosophical Studies' [-], p.368