Is there a difference between properties and sets? To me, it would seem that the property of being non-self-identical is the same thing as the empty set, and the property of being (identical to x OR identical to y) is the same thing as the set {x,y}. So, what is the difference, if any, between properties and sets?

  • 1
    Intuitively, yes. Every property identifies a set: the set of all and only those objects satisfying the property. But... Oct 25 '20 at 17:07
  • 2
    ... Russell’s Paradox Oct 25 '20 at 17:07
  • +1 Excellent question!
    – J D
    Oct 25 '20 at 19:00
  • The property x = x does not characterize a set. Its extension is too big.
    – user4894
    Oct 26 '20 at 6:34
  • @user4894: That is not correct. "Too big" is no more than an artifact of some set theories. In alternative foundational systems that have a universal set/type U, the trivially true property does characterize U. The Russell property, on the other hand, does not characterize a set/type with boolean membership, but it may still characterize a set/type (depending on the system). It is worth noting is that the powerset/powertype in these systems are strictly smaller than U, because of Cantor's theorem. It is actually not size, but complexity.
    – user21820
    Nov 14 '20 at 14:51

I suppose you are looking for reasons not to identify properties to sets.

(1) A set is a particular ( an abstract particular) , but properies are often considered as universals .

(2) A property is something an object possesses, shares; it is also the case for a set? I mean, could I say that an apple " possesses" the set of red objecs?

(3) Suppose you eat a red apple; the set of red things that existed before you ate the apple no longer exists; ti is replaced by a totally new set ( due to the extensionality principle) ; but the property " being red" remains unchanged.

(4) Two properties can be distinct in spite of the fact they are expressed by 2 terms referring to the same set. ( There is a conceptual / intensional aspect in the definition of a property).

(5) Not all properties determine a set , as is shown by Russell's paradox.

Reference : Marmodoro & Mayr, Metaphysics ( Oxford).

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.