Re: Anselmisms and gadro

[xod <xod@bway.net>]

On Thu, 26 Aug 1999, John Cowan wrote:

> From: John Cowan <cowan@locke.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."



If "All purple rhinos are green" is true, then "One fifth of all purple
rhinos are green" must also be true.



-----
When somebody says, here is this nice thing that you will 
enjoy using but if you share it with your neighbor we'll
call you a pirate and put you in jail, they are polluting 
society's most important resource, which is goodwill, the 
willingness to cooperate with other people.   -- RMS