> (It's a classic (even classical) one, too. This kind of problem arose
> with Aristotle's syllogistics and didn't really get properly fixed until
> Frege straightened it all out in the 19th century (!). Aristotle has,
> contra modern logic, universally-quantified statements false where the
> relevant universe is empty; this causes all sorts of havoc, forcing
> nasty exceptions everywhere. Anyone interested in going down this
> rabbithole will likely find [1] diverting!)
> 
> Tony
> 
> [1] https://plato.stanford.edu/entries/generalized-quantifiers/

Mind blown. Thanks.

Stef