[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [jboske] Transfinites



On Tue, Jan 14, 2003 at 01:18:10AM +0000, Jorge Llambias wrote:
> 
> la djorden cusku di'e
> 
> >Cowan's definition is the only one I've ever seen...
> 
> It is the correct one, and the one we've been using.
> 
> >In general, you can deduce:
> >	broda ko'a |- broda zi'o (but not the other way around!)
> >for all broda, and anything for ko'a (including noda).
> 
> Not including noda! noda is not a possible value for ko'a,
> indeed noda is not a value, it is a quantified variable.
> 
> {noda catra la djim} = "There is no x such that x killed Jim."
> does not entail {zi'o catra la djim}.

Ok, you're right. But it is not that they are incompatible (jim
maybe died of natural causes).

-- 
Jordan DeLong - fracture@allusion.net
lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u
sei la mark. tuen. cusku

Attachment: pgp00197.pgp
Description: PGP signature