Received: from mail-gh0-f187.google.com ([209.85.160.187]:37950) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UoYVu-0008Ak-Do for lojban-list-archive@lojban.org; Mon, 17 Jun 2013 05:26:41 -0700 Received: by mail-gh0-f187.google.com with SMTP id 16sf1038346ghy.24 for ; Mon, 17 Jun 2013 05:26:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:x-yahoo-newman-property:x-yahoo-newman-id:x-ymail-osg :x-rocket-mimeinfo:x-mailer:references:message-id:date:from:reply-to :subject:to:in-reply-to:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=wrMpaA9Ztmgu71kOB2XXR1ishNohHXvSC7VFz1zVmHg=; b=vcWVOZXIDlGJ2LnEjxDUhQWim582erH3/4/GVnZwx2yHm1jIpp8PE2vo2c1UfLfkXw HvELwiEdFv+RlZtbSV6XqIFOl9SNQC1GcxykBVZXkrFzi2DA3STxMMa+HSTqkRORxiV0 o5cmKUwu+ivhwpK5J78EmTimgmywPsvnZaBrSGjKCOfefMIy6IXK7dqOGJ2xk0FepYlF JzoE3svy6kVihsjFuK7SYjQQEQ1iRn4FePK84YV/BIPC3foAVGvSFZOQWZUAFxKphWk7 FU0pf/M2q/rz2qILYCestwipt9yhb0hdfk1DahqK2OJa5jDu7MWlRPk1tbROU2l05g24 mUZg== X-Received: by 10.50.18.40 with SMTP id t8mr421515igd.3.1371471978592; Mon, 17 Jun 2013 05:26:18 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.50.165 with SMTP id d5ls982426igo.40.canary; Mon, 17 Jun 2013 05:26:17 -0700 (PDT) X-Received: by 10.50.112.201 with SMTP id is9mr9892255igb.3.1371471977719; Mon, 17 Jun 2013 05:26:17 -0700 (PDT) Received: from nm5-vm0.access.bullet.mail.mud.yahoo.com (nm5-vm0.access.bullet.mail.mud.yahoo.com. [66.94.237.155]) by gmr-mx.google.com with ESMTPS id e3si1368013igy.0.2013.06.17.05.26.17 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Mon, 17 Jun 2013 05:26:17 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 66.94.237.155 as permitted sender) client-ip=66.94.237.155; Received: from [66.94.237.198] by nm5.access.bullet.mail.mud.yahoo.com with NNFMP; 17 Jun 2013 12:26:17 -0000 Received: from [66.94.237.123] by tm9.access.bullet.mail.mud.yahoo.com with NNFMP; 17 Jun 2013 12:26:16 -0000 Received: from [127.0.0.1] by omp1028.access.mail.mud.yahoo.com with NNFMP; 17 Jun 2013 12:26:16 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 985519.24186.bm@omp1028.access.mail.mud.yahoo.com Received: (qmail 99961 invoked by uid 60001); 17 Jun 2013 12:26:16 -0000 X-YMail-OSG: zTWR_.wVM1lqyfWr.Qc0rF7QcaZWL2XZEoOc3dsO5aT.UHA wjnwmqHuHjFvgsc2zzzaeXbrvBajnmo7lUabvkFZIiFDixIteqg3mOLBqgIW nJ11xN8_0HfncGVwhfJKvBSSwUBzasCMwqrcysS04Fb7yBD.cBfYX5QtiuWa fAfSQkVGF1cVbP_qOW3aLBakT2nAr82Z3mE4uH2nO5VfKOIF_b7FK.fVcwVx xAfF..lgDgG7M.Z1wQKdXatPI0K2ECklk.54CZFX2zSeLPB26tE9fi2IboBZ xgzMxA0znUTFtikEzuhNUW36s9hX7zWPX4YCn0Xd9qV9D.UlmI.E1XaSfEQ1 _I_A.gZWoUeNFkZonnUIzs1eA0LuoqLXTbMOcg5y4nxRMGqLnGnY6o8i1zMJ VjtHjzjon55by_7qpr6v_Qkafz90HRTdge1xVHjgWbDtE7l5sqYVDG8UNxUe I20A4Zq.xUzDCHyvvqSQ7orw.MfZv7qed_B_KWmKwQZj_2hObMUPhnTsKeVw AdaavY9o3bTPsw7Tpxt.b1aLB2fZthezAbFMihBjOdtOY92kInKwc..GHv7l .S8pCk9q2_amA1lG8HWx7Y8XkqXT8l2jr6xsSMT1mAzcA0oE4OlX4E2Dn9VZ QiQhpye7kdasdBmSHhHJl.4NguTJu7rLJKKFpudssv9oHQ.aiJbgu3YcDofJ wVrmsz18KssnYkF698.RyOnCHsKsLsLSKd5GThJwdx.qJixhDh9smcupzvZS w_A-- Received: from [99.92.108.194] by web184402.mail.bf1.yahoo.com via HTTP; Mon, 17 Jun 2013 05:26:16 PDT X-Rocket-MIMEInfo: 002.001,V2VsbCwgaXQgaXMgTG9qYmFuIHRlcm1pbm9sb2d5IGF0IHdvcmsgYWdhaW46IG1pIGFuZCBkbyBhcmUgc2V0cywgaWYgYW55dGhpbmcgd2l0aCBhIG5hbWUgKEwtc2V0cyksIHNvICJ1bmlvbiIgc2VlbXMgYXBwcm9wcmlhdGUsIHdoaWxlICJhbG9uZyB3aXRoIiBzb3VuZHMgbGlrZSBhY2NvbXBhbnlpbmcsIG5vdCB1bmlvbi7CoCB7bG99ZXhwcmVzc2lvbnMgYXJlIGFsc28gc2V0cyBpbiB0aGUgc2FtZSBzZW5zZS7CoCBJZiB7bG8naX0gbWVhbnMgc29tZXRoaW5nIGVsc2UsIGl0IG1lYW5zIEMtc2V0cywgd2gBMAEBAQE- X-Mailer: YahooMailWebService/0.8.147.553 References: <8561d566-8f8b-4b46-9e7b-5fdbc1367b33@googlegroups.com> <51BDBA1D.80602@gmx.de> <51BE419F.4090806@gmx.de> <1371434761.19218.YahooMailNeo@web184405.mail.bf1.yahoo.com> <51BEBACC.7090706@gmx.de> Message-ID: <1371471976.58028.YahooMailNeo@web184402.mail.bf1.yahoo.com> Date: Mon, 17 Jun 2013 05:26:16 -0700 (PDT) From: John E Clifford Reply-To: lojban@googlegroups.com Subject: Re: [lojban] "we" and masses. A bug in the CLL? To: "lojban@googlegroups.com" In-Reply-To: <51BEBACC.7090706@gmx.de> MIME-Version: 1.0 X-Original-Sender: kali9putra@yahoo.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 66.94.237.155 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass header.i=@yahoo.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="-334495122-1386430054-1371471976=:58028" X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / ---334495122-1386430054-1371471976=:58028 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Well, it is Lojban terminology at work again: mi and do are sets, if anythi= ng with a name (L-sets), so "union" seems appropriate, while "along with" s= ounds like accompanying, not union.=A0 {lo}expressions are also sets in the= same sense.=A0 If {lo'i} means something else, it means C-sets, which are = virtually useless for linguistic purposes and belong, if at all, to MEX.=A0= =20 In passing, I note {me} being used for "is a member of", which is not what = it means, although I suppose it does include that meaning as a remote part. ________________________________ From: selpa'i To: lojban@googlegroups.com=20 Sent: Monday, June 17, 2013 2:29 AM Subject: Re: [lojban] "we" and masses. A bug in the CLL? =20 la .pycyn. cu cusku di'e > I'm still finding this confusing, probably partly from Lojban > terminology. mi'o is apparently the union of mi and do, written {mi > jo'e do}?, Not a union, since {mi} and {do} aren't sets in the Lojban {lo'i}-sense. So, not {jo'e}, but {jo'u}, which creates a "group" like a {lo}-sumti. {mi jo'u do} > without comment about how they interact with properties.=A0 To say, {ro > mi'o}then says that they interact distributively and completely and > thus amount to {ro mi e ro do}, as noted.=A0 Of course, other > quantifiers would not break down so easily {su'o mi'o} is surely > {su'o mi a su'o do} but nothing else works (well, {no ... e...}). Well, of course it's {su'o mi .a su'o do}. {su'o} corresponds to {.a}, and {ro} to {.e}, that's why the two expressions have different expansions. However, a more general way to write either expression is: =A0=A0=A0 PA mi'o =3D=A0=A0=A0 PA da poi ke'a me mi'o =3D=A0=A0=A0 PA da poi ke'a me mi jo'u do Thus: =A0=A0=A0 ro mi'o =3D=A0=A0=A0 ro da poi ke'a me mi jo'u do =A0=A0=A0 "For all X such that X is among the group of me and you." =A0=A0=A0 "Everything that is among the group of me and you." and =A0=A0=A0 su'o mi'o =3D=A0=A0=A0 su'o da poi ke'a me mi jo'u do =A0=A0=A0 "There exists some X such that X is among the group of me and you= ." =A0=A0=A0 "At least one thing that is among the group of you and me." The basic point is that: =A0=A0=A0 mi .e do me mi jo'u do > I don't get the point about {mio}, largely because I don't quite see > what it is supposed to be (it isn't given anywhere and doesn't appear > to be Lojban). "mio" is one of the loglan words for "we". It appeared earlier in this thread. I deliberately avoided the curly {}-quotes to set it apart from the Lojban words, else it really does look like a typo. Definition of "mio" (which does *not* correspond to {mi'o}): > mio (p) we/us/ourselves, in the "I/me and others independently" > sense, the 1st 3rd person multiple variable. Equivalent to 'mi, e > da'. mu'o mi'e la selpa'i -- You received this message because you are subscribed to the Google Group= s "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/groups/opt_out. --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/groups/opt_out. ---334495122-1386430054-1371471976=:58028 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Well, it is Lojban te= rminology at work again: mi and do are sets, if anything with a name (L-set= s), so "union" seems appropriate, while "along with" sounds like accompanyi= ng, not union.  {lo}expressions are also sets in the same sense. = If {lo'i} means something else, it means C-sets, which are virtually usele= ss for linguistic purposes and belong, if at all, to MEX. 
In pass= ing, I note {me} being used for "is a member of", which is not what it mean= s, although I suppose it does include that meaning as a remote part.



From: selpa'i <seladwa@gmx.de>= ;
To: lojban@googlegro= ups.com
Sent: Monday,= June 17, 2013 2:29 AM
Subject: Re: [lojban] "we" and masses. A bug in the CLL?

la .pycyn. cu cusku di'e
> I'm still finding this confusing, probably= partly from Lojban
> terminology. mi'o is apparently the union of mi= and do, written {mi
> jo'e do}?,

Not a union, since {mi} and = {do} aren't sets in the Lojban {lo'i}-sense.
So, not {jo'e}, but {jo'u},= which creates a "group" like a {lo}-sumti.

{mi jo'u do}

>= without comment about how they interact with properties.  To say, {ro=
> mi'o}then says that they interact distributively and completely an= d
> thus amount to {ro mi e ro do}, as noted.  Of course, other<= br>> quantifiers would not break down so easily {su'o mi'o} is surely> {su'o mi a su'o do} but nothing else works (well, {no ... e...}).
=
Well, of course it's {su'o mi .a su'o do}. {su'o} corresponds to {.a},<= br>and {ro} to {.e}, that's why the two expressions have different expansio= ns.

However, a more general way to write either expression is:

    PA mi'o
=3D    PA da poi k= e'a me mi'o
=3D    PA da poi ke'a me mi jo'u do

Th= us:

    ro mi'o
=3D    ro da poi ke= 'a me mi jo'u do
    "For all X such that X is among the = group of me and you."
    "Everything that is among the g= roup of me and you."

and

    su'o mi'o
=3D&= nbsp;   su'o da poi ke'a me mi jo'u do
    "The= re exists some X such that X is among the group of me and you."
 &n= bsp;  "At least one thing that is among the group of you and me."
<= br>The basic point is that:

    mi .e do me mi jo'u d= o

> I don't get the point about {mio}, largely because I don't qu= ite see
> what it is supposed to be (it isn't given anywhere and does= n't appear
> to be Lojban).

"mio" is one of the loglan words for "we". It appeared earlier in this
thread. I deliberately avoided th= e curly {}-quotes to set it apart from
the Lojban words, else it really = does look like a typo.

Definition of "mio" (which does *not* corresp= ond to {mi'o}):
> mio (p) we/us/ourselves, in the "I/me and others in= dependently"
> sense, the 1st 3rd person multiple variable. Equivalen= t to 'mi, e
> da'.

mu'o mi'e la selpa'i

-- You received= this message because you are subscribed to the Google Groups "lojban" grou= p.
To unsubscribe from this group and stop receiving emails from it, sen= d an email to lojban+unsubscribe@googlegroups.com.=
To post to this group, send email to lojban@googlegroups.com= .
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.


<= br>

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.
 
 
---334495122-1386430054-1371471976=:58028--