logoalt Hacker News

tshaddox12/09/20240 repliesview on HN

> One complication is that in typical English, if you say "All my hats....", you are simultaneously making an existence statement that you have at least one hat... but the usual formal logic "forall" quantifier does NOT presume existence.

Perhaps. But what if someone asks you "are all your hats green?" Then the interpretation is not so clear.