From jjllambias@hotmail.com Fri Aug 17 20:55:44 2001
Return-Path: <jjllambias@hotmail.com>
X-Sender: jjllambias@hotmail.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-7_3_1); 18 Aug 2001 03:55:44 -0000
Received: (qmail 68175 invoked from network); 18 Aug 2001 03:55:44 -0000
Received: from unknown (10.1.10.26)
  by l7.egroups.com with QMQP; 18 Aug 2001 03:55:44 -0000
Received: from unknown (HELO hotmail.com) (216.33.241.111)
  by mta1 with SMTP; 18 Aug 2001 03:55:44 -0000
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
	 Fri, 17 Aug 2001 20:55:44 -0700
Received: from 200.69.11.184 by lw8fd.law8.hotmail.msn.com with HTTP;	Sat, 18 Aug 2001 03:55:43 GMT
X-Originating-IP: [200.69.11.184]
To: lojban@yahoogroups.com
Bcc: 
Subject: Re: [lojban] polyadic connectives
Date: Sat, 18 Aug 2001 03:55:43 
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <F111ZVrDs9aAOPpBpcX00000e6a@hotmail.com>
X-OriginalArrivalTime: 18 Aug 2001 03:55:44.0271 (UTC) FILETIME=[A7DAF9F0:01C12799]
From: "Jorge Llambias" <jjllambias@hotmail.com>
X-Yahoo-Message-Num: 9741


la and cusku di'e

>I've got two questions:
>
>1. What connectives make sense when extended to sets of varying size?
>(What's the term for what I mean? Commutative functions? Ones where
>all arguments are treated alike.)

How about "quantifiers"?

>    * and = all of
>    * or  = at least one of
>    * extended xor = exactly one of
>    * extended iff = all of or none of
>    * ... and what else? (apart from negations of these four)

exactly two of
exactly three of
at least two of
at most one of
between 3 and 7 of
even: many of, most of, a few of

All of these treat all members of the set indiscriminately, i.e.
they don't depend on the order in which the connectands are
presented. And of course, these are the ones that are relatively
easy to do in Lojban, using {PA lu'a ...ce...ce...ce...}.

>2. Does Lojban have any way of doing "all or none" without resorting to
>an explicit disjunction? For example, is there a way of saying "more
>than none and less than all", without the conjunction?

Maybe {ma'ume'iro} "positive less than all".

mu'o mi'e xorxes


_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp