The AskPhilosophers logo.

Logic

If there is a category "Empty Set" it has to have the property "nothingness". Thus it is not propertyless - contradiction?
Accepted:
June 13, 2017

Comments

As far as I can see, the

Stephen Maitzen
June 15, 2017 (changed June 15, 2017) Permalink

As far as I can see, the definitive property of the empty set is not nothingness but instead emptiness: It's the one and only set having (containing, possessing) no members at all. The empty set can be empty, in that sense, without itself being nothing. So I see no threat of contradiction here. Indeed, the empty set can belong to a non-empty set, such as the set { { } } , which couldn't happen if the empty set were nothing.

  • Log in to post comments
Source URL: https://askphilosophers.org/question/26649
© 2005-2025 AskPhilosophers.org