3 ms·
You just... Blew my mind. So, but wait... Is the genitive "of water" functioning like an assertion? "All of the contents of the cup are water." And wouldn't t
by cfiggers 3y ago
You just... Blew my mind.
So, but wait... Is the genitive "of water" functioning like an assertion? "All of the contents of the cup are water."
And wouldn't that assertion, in the case where the cup has no contents, be a vacuous truth?[0]
In other words, a cup of water, if it actually has water in it, cannot also be a cup of magma. But there's nothing stopping an cup with no contents at all being "of" both.
[0] https://en.wikipedia.org/wiki/Vacuous_truth https://en.wikipedia.org/wiki/Vacuous_truth
- mistercheph 3y agoIt's time to put down the encyclopedia and pick up Plato and Aristotle
- deleted 3y ago[deleted]
- lgeorget 3y agoIt holds true mathematically speaking. You can make (mathematical) sets of everything but there's only one empty set. It's a bit like that with pointers in C: a char* is not a int* but null pointers are convertible to any pointer type.