From sentto-44114-23578-1104873579-lojban-in=lojban.org@returns.groups.yahoo.com Tue Jan 04 13:20:18 2005 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 04 Jan 2005 13:20:18 -0800 (PST) Received: from n3a.bulk.scd.yahoo.com ([66.94.237.37]) by chain.digitalkingdom.org with smtp (Exim 4.34) id 1Clw66-0003KZ-4T for lojban-in@lojban.org; Tue, 04 Jan 2005 13:20:10 -0800 Received: from [66.218.69.4] by n3.bulk.scd.yahoo.com with NNFMP; 04 Jan 2005 21:19:39 -0000 Received: from [66.218.66.27] by mailer4.bulk.scd.yahoo.com with NNFMP; 04 Jan 2005 21:19:39 -0000 X-Yahoo-Newman-Property: groups-email X-Sender: a.rosta@v21.me.uk X-Apparently-To: lojban@yahoogroups.com Received: (qmail 63260 invoked from network); 4 Jan 2005 21:19:38 -0000 Received: from unknown (66.218.66.216) by m21.grp.scd.yahoo.com with QMQP; 4 Jan 2005 21:19:38 -0000 Received: from unknown (HELO heineken.flexi-surf.co.uk) (62.41.128.20) by mta1.grp.scd.yahoo.com with SMTP; 4 Jan 2005 21:19:38 -0000 Received: from oemcomputer (host81-7-59-101.surfport24.v21.co.uk [81.7.59.101]) by heineken.flexi-surf.co.uk (8.11.6/8.11.6) with SMTP id j04JKpf28169 for ; Tue, 4 Jan 2005 19:20:51 GMT Message-ID: <006901c4f2a2$f9069b40$80278cd9@oemcomputer> To: References: <20050102233324.49645.qmail@web41902.mail.yahoo.com> X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-eGroups-Remote-IP: 62.41.128.20 From: "And Rosta" X-Yahoo-Profile: andjamin MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Tue, 4 Jan 2005 19:40:38 -0000 Subject: [lojban] Re: Holiday Present from the BPFK: The gadri Proposal Has Been Completed Content-Type: text/plain; charset=ISO-8859-1 X-archive-position: 9162 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@v21.me.uk Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Apols for posting this to Lojban list, but the twiki is not practicable for me -- wd be happy to post to jboske if that is preferred. xorxes: > --- And Rosta wrote: > > Is there somewhere I can read more about outer quantifiers of > > lo/le? > > Outer quantifiers work in exactly the same way for every sumti: > > PA = PA da poi ke'a me > > i.e. they quantify over the referents of the sumti. > > The referents of {lo broda} are the things that are/do broda. No more > specification than that is given. In some context, these may be each > and every thing that exists in the world and does broda, in another > context, it may be a single thing ("Mr Broda") or it may be the > only relevant broda around, or a number of relevant brodas. A sumti > can have several referents at once without this being a reference to > the single group entity. When {lo broda} refers to more than one thing, > it is not specified whether the things will satisfy the bridi they > fill distributively or collectively. > > The referents of {le broda} can be more than one in the same way, > without this being a reference to a single group thing. > > > (I'm curious about how the subtype/instance/member > > distinction got handled.) > > When there is reference to a group, (for example {loi bakni}, > and {lo gunma be lo bakni}) then you need to use {lu'a} or > {lo cmima be} in order to get to the members of the group, and > then quantify. A direct quantifier in this case will quantify > over groups, because the referents of those sumti are the groups, > not the members. Presumably lu'a or cmima are needed to say "3 members of lo vo nanmu", too, right? > Types are not handled in any special way, the referents of > {lo broda} can be types of broda in a given context. When the > distinction is important and not clear from context, you have > to use a selbri (lo klesi be} vs {lo mupli be}, or something > with the appropriate place structure if the place structure of > these is too weird. {lo'e} could also eventually be used for > this, but this gadri was excluded from the holiday present. What about things like "this is a picture of two snakes" (or "every snake depicted by this is..."), or "we drank two wines" (or "every [kind of] wine we drank was...")? It is not klesi that are depicted or drunk, is it? I suspect your answer will be that the type/instance distinction is not made. In that case, presumably you would agree that "No snakes are depicted by this and two snakes are depicted by this" (and "Exactly 20 wines were drunk by us and exactly two wines were drunk by us") can be true, if quantification in the first clause is over instances and in the second clause is over subtypes. On another point, xorlo says "An outer quantifier can be used to quantify distributively over such groups. A fractional outer quantifier can be used to select a subgroup and indicate its cardinality as a fraction of the cardinality of the group." Does "ro" count as fractional? And how would one say "2 out of every 3 things that are", as opposed to "2 out the three members of"? --And. 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/