Re: Anselmisms and gadro

[John Cowan <cowan@ccil.org>]

mark@kli.org scripsit:

> if there actually are no real-life fairies, I'd think my statement would be
> considered true.  Statements about members of the nullset are true, right?

No.  A statement about *every* member of the null set may count as true,
but statements about specific members are clearly false.
"All purple rhinos are green" counts as true iff we read it as
"For all x, x is a purple rhino -> x is green."

-- 
John Cowan                                   cowan@ccil.org
       I am a member of a civilization. --David Brin