<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Apr 22, 2022 at 11:47 AM David T. Lewis <<a href="mailto:lewis@mail.msen.com">lewis@mail.msen.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">On Fri, Apr 22, 2022 at 09:40:15AM +0200, Tony Garnock-Jones wrote:<br>
> On 4/22/22 03:57, David T. Lewis wrote:<br>
> >I don't think it is a bug. I can't think of a case where it makes<br>
> >sense to say that a string of characters "begins with" or "ends with"<br>
> >a string that contains nothing.<br>
> <br>
> I think we (well, certainly *I*) want invariants like the following to hold:<br>
> <br>
>     for all X, Y, Z,<br>
>       `Z = (X, Y)` implies `(Z beginsWith: X) = true`.<br>
> <br>
> Without `(X beginsWith: '') = true`, they don't. I think that's a bug.<br>
> <br>
> (It's a classic (even classical) one, too. This kind of problem arose <br>
> with Aristotle's syllogistics and didn't really get properly fixed until <br>
> Frege straightened it all out in the 19th century (!). Aristotle has, <br>
> contra modern logic, universally-quantified statements false where the <br>
> relevant universe is empty; this causes all sorts of havoc, forcing <br>
> nasty exceptions everywhere. Anyone interested in going down this <br>
> rabbithole will likely find [1] diverting!)<br>
> <br>
> Tony<br>
> <br>
> [1] <a href="https://plato.stanford.edu/entries/generalized-quantifiers/" rel="noreferrer" target="_blank">https://plato.stanford.edu/entries/generalized-quantifiers/</a><br>
><br>
<br>
This is what I love about Squeak, I'm always learning something :-)<br>
<br>
In any case, if Richard O'Keefe, Tony Garnock-Jones, and Aristotle<br>
all agree that it's a bug, then I guess it's a bug. We should write<br>
some tests and fix it.<br></blockquote><div><br></div><div class="gmail_default" style="font-size:small">See Collections-eem.1007 in inbox for a proposed fix.</div><div class="gmail_default" style="font-size:small"></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
<br>
Dave<br>
<br>
<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div></div>