The philosopher, David Lewis, has pointed out that these are necessarily vague terms, asserting that "ontological assertions of common sense are correct if the quantifiers—such words as "something" and "anything"—are restricted roughly to ordinary or familiar things.
"[1] The idea that "something" is the opposite of "nothing" has existed at least since it was proposed by the Neoplatonist philosopher Porphyry in the 3rd century.
It is a type of quantifier, a logical constant which is interpreted as "there exists," "there is at least one," or "for some."
It expresses that a propositional function can be satisfied by at least one member of a domain of discourse.
In other terms, it is the predication of a property or relation to at least one member of the domain.