Re: generalization and another try...

[cowan (John Cowan)]

la korant. cusku di'e:
> There is in formal logic the declarator "for all X ...", this appears to me
> to be what is being described with "lei" and "loi". It makes explicit what
> is trying to be done wioth formal reasoning, whereas the removal of group
> terms leaves us with ONLY implicit grouping, which is much more 'bogus'
> in terms of unpredictability and muddied thought processes.

"For all X such that..." is "ro da poi ..." or "ro lo ..." or just "ro ..."
This is not the same as a mass term.  What is true of any part of a mass
is true of the mass:  Mr. Rabbit is white (and brown, and gray).

-- 
cowan@snark.thyrsus.com		...!uunet!cbmvax!snark!cowan
		e'osai ko sarji la lojban