Return-Path: Message-Id: From: cowan (John Cowan) Subject: Re: generalization and another try... To: lojban-list Date: Thu, 20 Jun 91 10:52:27 EDT In-Reply-To: <9106191600.AA12825@dino>; from "Coranth" at Jun 19, 91 12:00 pm X-Mailer: ELM [version 2.3 PL11] Status: RO X-From-Space-Date: Thu Jun 20 10:53:09 1991 X-From-Space-Address: 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