Re: [jboske] Doing logic in Lojban

["Jorge Llambias" <jjllambias@hotmail.com>]

la djan cusku di'e

> This is a precis of what I think jboskologists think about logic in Lojban,
> or at least what I think that I think. :-)

Either the latter, or I'm not a jboskologist. :)

> Existential import is required by quantifiers which do not allow 0 as a
> possible value: specifically, "ro" and "su'o" have import, "no" and 
> "me'iro"
> do not.

In my view this should read: specifically, "su'o" and "me'iro"
have import, "ro" and "no" do not.

It is hard to interpret "less than all" as true when there
are none.

mu'o mi'e xorxes


_________________________________________________________________
The new MSN 8: smart spam protection and 2 months FREE* 
http://join.msn.com/?page=features/junkmail