Organization: dis
To: lojban@yahoogroups.com
User-Agent: KMail/1.5
References: <194.2732bc22.2dadade0@wmconnect.com> <20040414044901.GB603@ccil.org>
In-Reply-To: <20040414044901.GB603@ccil.org>
Message-Id: <200404140841.27846.phma@webjockey.net>
From: Pierre Abbat <phma@webjockey.net>
MIME-Version: 1.0
Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com
Precedence: bulk
Date: Wed, 14 Apr 2004 08:41:27 -0400
Subject: [lojban] Re: the 17 tallest men
Content-Type: text/plain; charset=ISO-8859-1
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
Precedence: bulk
Reply-to: lojban-list@lojban.org
Content-Length: 1698
Lines: 41

On Wednesday 14 April 2004 00:49, John Cowan wrote:
> The standard first-order logic expression is unreasonably hairy.
> It's something like "The set of A and B and ... and P and Q, such that A
> is not B and A is not C and ... and B is not C and ... and P is not Q, and
> A is not shorter than B and B is not shorter than C and ... and P is not
> shorter than Q and A is a man and B is a man and ... and Q is a man and
> there does not exist Z such that Z is a man and Z is not shorter than Q."
>
> This can probably be improved on, but it obviously doesn't scale.

But Lojban has grammatical setness and massness, so we can say "The subset 
which, considered as a mass, is tallest among the 17-element subsets". Since 
the place structure of pazemei is "x1 is the mass of set x2 which has 17 
members x3", {le clarai ke nanmu pazemei} refers to the mass and {le clarai 
ke nanmu te pazemei} to the individuals.

phma
-- 
li fi'u vu'u fi'u fi'u du li pa


------------------------ Yahoo! Groups Sponsor ---------------------~-->
Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark
Printer at MyInks.com.  Free s/h on orders $50 or more to the US & Canada.
http://www.c1tracking.com/l.asp?cid=5511
http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM
---------------------------------------------------------------------~->

To unsubscribe, send mail to lojban-unsubscribe@onelist.com 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
     http://groups.yahoo.com/group/lojban/

<*> To unsubscribe from this group, send an email to:
     lojban-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
     http://docs.yahoo.com/info/terms/