[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Individuals and xorlo

On Wed, Feb 5, 2014 at 12:05 PM, selpa'i <seladwa@gmx.de> wrote:
la .pycyn. cu cusku di'e
<snip>
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. This page should allow adding such relevant information. I would suggest 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.  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" 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 ∞-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}.
 
<snip>



--
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 )

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