Received: from mail-ob0-f188.google.com ([209.85.214.188]:49503) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WBC0a-0002Oc-TU for lojban-list-archive@lojban.org; Wed, 05 Feb 2014 15:36:07 -0800 Received: by mail-ob0-f188.google.com with SMTP id uy5sf249106obc.5 for ; Wed, 05 Feb 2014 15:35:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=IVhduyf4NyRzXVDzXe5yXG9dDtkukTyCBzcBcz8UWE0=; b=blBK7QjVzbFrOk9f/VAbtC6bTdg+Q7dw9aed4ybccwdc5kUF9Oq2i7HaZEC4LYp1b4 NKJ0eQ+HPYPuvF7jINwgnoHNtOEgBx6YXwsHwSHEdOUqN0SgFlnyaWYmbPylaRA0I3UY 7LbQbbcCLSu6BrIUNCzwvX4rqMbzwU+lcwHLADA86RwLAd0ZGXagxudUIsQNf+MludQ7 vEyScNJH7EkjrrIsIa3tLcbpWFVDegcA7PAqwbYBeMv+iKp09omjXE/pTCONAXrFNFnI rYeYD3Dh3pIPeXYUVktAOqe7tbHimR9tUUEiGfMHBqCoLu21PG73cXHcqhXJVdca1g2l Rw/Q== X-Received: by 10.140.37.18 with SMTP id q18mr98111qgq.20.1391643350817; Wed, 05 Feb 2014 15:35:50 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.140.108.135 with SMTP id j7ls337157qgf.88.gmail; Wed, 05 Feb 2014 15:35:50 -0800 (PST) X-Received: by 10.58.253.229 with SMTP id ad5mr1805102ved.30.1391643350358; Wed, 05 Feb 2014 15:35:50 -0800 (PST) Received: from mail-qc0-x234.google.com (mail-qc0-x234.google.com [2607:f8b0:400d:c01::234]) by gmr-mx.google.com with ESMTPS id j9si635813qch.1.2014.02.05.15.35.50 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 05 Feb 2014 15:35:50 -0800 (PST) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 2607:f8b0:400d:c01::234 as permitted sender) client-ip=2607:f8b0:400d:c01::234; Received: by mail-qc0-f180.google.com with SMTP id i17so1941188qcy.11 for ; Wed, 05 Feb 2014 15:35:50 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.224.115.11 with SMTP id g11mr7589181qaq.18.1391643350215; Wed, 05 Feb 2014 15:35:50 -0800 (PST) Received: by 10.96.188.65 with HTTP; Wed, 5 Feb 2014 15:35:50 -0800 (PST) In-Reply-To: <52F28B90.8020605@gmx.de> References: <52F26B9E.2090001@gmx.de> <1391624371.29043.YahooMailNeo@web181102.mail.ne1.yahoo.com> <52F28B90.8020605@gmx.de> Date: Wed, 5 Feb 2014 16:35:50 -0700 Message-ID: Subject: Re: [lojban] Individuals and xorlo From: Jonathan Jones To: lojban@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 2607:f8b0:400d:c01::234 as permitted sender) smtp.mail=eyeonus@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.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=047d7bf0e0388b5e4704f1b13796 X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --047d7bf0e0388b5e4704f1b13796 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Wed, Feb 5, 2014 at 12:05 PM, selpa'i wrote: > la .pycyn. cu cusku di'e > > underdocumented and scattered definitions.... [M]ore complete specification > that one can point someone to instead of having to re-open a discussion > about xorlo. > The official definitions of cmavo are organized by selma'o on the BPFK Sections page. Thispage should allow adding such relevant information. I would suggest either the general Notesor Issues, or specific Notes for the gadri itself. I would assume these pages also exist on the MediaWiki, but you'd have to ask the maintainer, Gleki, where they are. > >> Variables range over L-sets or are plural, depending on >> your mathematical theology. Etc. do we need to fill in all the details >> and, if not, which ones? >> > > We need to know if variables are plural or singular, that's all. > Currently, they are "defined" as singular, for some value of "defined" th= at > makes sense when there is no official body to define it. > Sets in general can be any number and are neither singular nor plural. It is possible to have 0-sets, 1-sets, or even =E2=88=9E-sets. A specific set = will be either singular, plural, or neither depending entirely on how many members it has in it. In Lojban the precise set being referenced (, i.e., the members of the set {la.djan.} are all entities who have "John" or its variant spellings as the name by which they are called), can usually be inferred from context (, i.e., those named "John" who are relevant to the context of the current discussion, which in this case is John Clifford and myself.) In the case of {lo ve kalcu}, I would say that the set would always, or at least nearly always be a 1-set, and would typically be the 1-set [1], although I can imagine counting by multiples, such as in {kancu li cire to du li ci te'a mu toi me'o li mu li re}. > > --=20 mu'o mi'e .aionys. .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D ) --=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. --047d7bf0e0388b5e4704f1b13796 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On W= ed, Feb 5, 2014 at 12:05 PM, selpa'i <seladwa@gmx.de> wrote= :
la .pycyn. cu cusku di'e
<snip>
underdocumented and scattered de= finitions.... [M]ore complete specification that one can point someone to i= nstead of having to re-open a discussion about xorlo.

The official definitions of cmavo are organized by se= lma'o on the BPFK = Sections page. This page should allow adding such relevant information. I would s= uggest either the general Notes or Issues, or specific Notes for the gadri itself.

I would assume these pages also exist on the MediaWiki, but = you'd have to ask the maintainer, Gleki, where they are.
=
<snip>
Variables range over L-sets or are plural, depending on
your mathematical theology. =C2=A0Etc. =C2=A0do we need to fill in all the = details
and, if not, which ones?

We need to know if variables are plural or singular, that's all. Curren= tly, they are "defined" as singular, for some value of "defi= ned" that makes sense when there is no official body to define it.

Sets in general can be any number and are = neither singular nor plural. It is possible to have 0-sets, 1-sets, or even= =E2=88=9E-sets. A specific set will be either singular, plural, or neither= depending entirely on how many members it has in it. In Lojban the precise= set being referenced (, i.e., the members of the set {la.djan.} are all en= tities who have "John" or its variant spellings as the name by wh= ich they are called), can usually be inferred from context (, i.e., those n= amed "John" who are relevant to the context of the current discus= sion, which in this case is John Clifford and myself.)

In the case of {lo ve kalcu}, I would say that the set would= always, or at least nearly always be a 1-set, and would typically be the 1= -set [1], although I can imagine counting by multiples, such as in {kancu l= i cire to du li ci te'a mu toi me'o li mu li re}.
=C2=A0
<snip>



--
mu'= o mi'e .aionys.

.i.e'ucai ko cmima lo pilno be denpa bu .i d= oi.luk. mi patfu do zo'o
(Come to the Dot Side! Luke, I am your fath= er. :D )

--
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.
--047d7bf0e0388b5e4704f1b13796--