O
Oreoracle
Guest
Metaphysical babble aside, I think mathematicians deal with “nothingness” in the most precise fashion, through the notion of the empty set. I will illustrate:
The same convention arises in math through the empty set. The empty set has, ironically enough, more properties than any other set, because any claim about its elements is vacuously true. Every element of the empty set is named Bill Cosby, for instance.
This is an oversimplification, but basically, under ZFC, you can 1) construct sets, or 2) identify subsets of sets that you have constructed. You cannot usually invent larger sets that have not been carefully constructed, and you certainly can’t just say, “this set comes from the set of all sets”. The set of all sets is precisely the sort of thing Russell warned us about.
I know that what I’ve said here is likely nothing new to you, but I think the language of set theory (and not the naïve kind!) is more suited to your needs than loose English and metaphysical gobbledygook.
It depends on what you mean by “having a property”. For example, in classical logic, a proposition such as “if a pig can fly, its wings are polka-dotted” is vacuously true because the antecedent is false. This seems weird, but it is the most natural choice in a bivalent logic (a logic with only two truth values). To say it is false would require a counterexample, namely a flying pig whose wings lack polka-dots.0A. If something does not exist, it cannot have properties
The same convention arises in math through the empty set. The empty set has, ironically enough, more properties than any other set, because any claim about its elements is vacuously true. Every element of the empty set is named Bill Cosby, for instance.
This is another case in which the empty set would prevent confusion. The elements of the empty set don’t exist. The empty set does exist and is empty. The utility in the concept is that when we wish to invoke nothingness in a conversation, we have a name for its container. This is better than giving nothingness itself a name, since people will invariably argue that something must exist if it can be named, identified, defined, etc.0C. If something does not exist, it cannot be empty.
And now we’re entering dangerous territory. Naïve set theory is fine until you start wantonly generating sets like “the set of all that exists” out of the blue. We don’t want to accidentally stumble into Russell’s Paradox, so we need a treatment of set theory that is more precise, such as ZFC set theory.
- Consider the set of things that exist. If absolutely nothing exists, then the set is empty.
- If the set of things that exist is empty, it does not contain itself.
This is an oversimplification, but basically, under ZFC, you can 1) construct sets, or 2) identify subsets of sets that you have constructed. You cannot usually invent larger sets that have not been carefully constructed, and you certainly can’t just say, “this set comes from the set of all sets”. The set of all sets is precisely the sort of thing Russell warned us about.
I know that what I’ve said here is likely nothing new to you, but I think the language of set theory (and not the naïve kind!) is more suited to your needs than loose English and metaphysical gobbledygook.