[lojban-beginners] Re: Story time

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Fri, Mar 12, 2004 at 03:31:49PM -0800, Jorge Llamb?as wrote:
> 
> --- Nora LeChevalier <noras@cox.net> wrote:
> > At 04:39 AM 3/12/04 -0800, la xorxes wrote:
> > 
> > >Under the usual interpretation, the two negatives will cancel and
> > >{noda viska node} would be equivalent to {roda viska su'ode},
> > >"everybody saw something".
> > >
> > >To say that nobody saw anything you'd have to say {noda viska
> > >su'ode} or {roda viska node}.
> > 
> > No, "noda" means "there are zero things (da) such that", so "noda
> > viska node" means "there are zero x's and zero y's such that x sees
> > y".  I thought it was a nifty way of saying "No one (yeah, sure) saw
> > anything (yeah, right)".
> 
> The standard reading is:
> 
> There are zero x's such that there are zero y's such that x sees y.
> 
> In other words, no x is such that it sees no y's.
> 
> In other words, every x sees at least one y.

I'm pretty sure xorxes is right on this, although I'm not up for writing
a proof at the moment.

-Robin

-- 
Me: http://www.digitalkingdom.org/~rlpowell/  ***   I'm a *male* Robin.
"Constant neocortex override is the only thing that stops us all
from running out and eating all the cookies."  -- Eliezer Yudkowsky
http://www.lojban.org/             ***              .i cimo'o prali .ui