[squeak-dev] Invariants give guidance here (was Re: A question about #beginsWith: and #endsWith:)

St├ęphane Rollandin lecteur at zogotounga.net
Fri Apr 22 11:42:22 UTC 2022


> (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


More information about the Squeak-dev mailing list