Way back in Section 14.1 , the point was made that not every use of English “and” , “if ... then” , and so on represents a Lojban logical connective. In particular, consider the “and” of:
Given the nature of pianos, this probably means that John carried one end and Alice the other. So it is not true that:
which would mean that each of them carried the piano by himself/herself. Lojban deals with this particular linguistic phenomenon as a “mass” . John and Alice are joined together into a mass, John-and-Alice, and it is this mass which carried the piano, not either of them separately. The cmavo joi (of selma'o JOI) is used to join two or more components into a mass:
la | .djan. | joi | la | .alis. | cu | bevri | le | pipno |
That-named | John | massed-with | that-named | Alice | carry | the | piano. |
Example 14.111 covers the case mentioned, where John and Alice divide the labor; it also could mean that John did all the hauling and Alice did the supervising. This possibility arises because the properties of a mass are the properties of its components, which can lead to apparent contradictions: if John is small and Alice is large, then John-and-Alice is both small and large. Masses are also discussed in Section 6.3 .
Grammatically, joi can appear between two sumti (like an ek) or between two tanru components (like a jek). This flexibility must be paid for in the form of occasional terminators that cannot be elided:
The cmavo ku is the elidable terminator for le , which can almost always be elided, but not in this case. If the first ku were elided here, Lojban's parsing rules would see le nanmu joi and assume that another tanru component is to follow; since the second le cannot be part of a tanru, a parsing error results. No such problem can occur with logical connectives, because an ek signals a following sumti and a jek a following tanru component unambiguously.
Single or compound cmavo involving members of selma'o JOI are called joiks, by analogy with the names for logical connectives. It is not grammatical to use joiks to connect bridi-tails.
In tanru, joi has the connotation “mixed with” , as in the following example:
Here the ball is neither wholly blue nor wholly red, but partly blue and partly red. Its blue/redness is a mass property. (Just how blue something has to be to count as “wholly blue” is an unsettled question, though. A blanu zdani may be so even though not every part of it is blue.)
There are several other cmavo in selma'o JOI which can be used in the same grammatical constructions. Not all of them are well-defined as yet in all contexts. All have clear definitions as sumti connectives; those definitions are shown in the following table:
A joi B | the mass with components A and B |
A ce B | the set with elements A and B |
A ce'o B | the sequence with elements A and B in order |
A se ce'o B | the sequence with elements B and A in order |
A jo'u B | A and B considered jointly |
A fa'u B | A and B respectively |
A se fa'u B | B and A respectively |
A jo'e B | the union of sets A and B |
A ku'a B | the intersection of sets A and B |
A pi'u B | the cross product of sets A and B |
A se pi'u B | the cross product of sets B and A |
The cmavo se is grammatical before any JOI cmavo, but only useful with those that have inherent order. Here are some examples of joiks:
mi | cuxna | la | .alis. | la | .frank. |
I | choose | that-named | Alice | from-that-named | Frank |
ce | la | .alis. | ce | la | .djeimyz. |
and-member | that-named | Alice | and-member | that-named | James. |
I choose Alice from among Frank, Alice, and James. |
The x3 place of cuxna is a set from which the choice is being made. A set is an abstract object which is determined by specifying its members. Unlike those of a mass, the properties of a set are unrelated to its members' properties: the set of all rats is large (since many rats exist), but the rats themselves are small. This chapter does not attempt to explain set theory (the mathematical study of sets) in detail: explaining propositional logic is quite enough for one chapter!
In Example 14.114 we specify that set by listing the members with ce joining them.
ti | liste | mi | ce'o | do | ce'o | la | .djan. |
This | is-a-list-of | me | and-sequence | you | and-sequence | that-named | John. |
This is a list of you, me, and John. |
The x2 place of liste is a sequence of the things which are mentioned in the list. (It is worth pointing out that lo liste means a physical object such as a grocery list: a purely abstract list is lo porsi , a sequence.) Here the three sumti connected by ce'o are in a definite order, not just lumped together in a set or a mass.
So joi , ce , and ce'o are parallel, in that the sumti connected are taken to be individuals, and the result is something else: a mass, a set, or a sequence respectively. The cmavo jo'u serves as a fourth element in this pattern: the sumti connected are individuals, and the result is still individuals – but inseparably so. The normal Lojban way of saying that James and George are brothers is:
possibly adding a discursive element meaning “and vice versa” . However, “James and George are brothers” cannot be correctly translated as:
since that expands to two bridi and means that James is a brother and so is George, but not necessarily of each other. If the .e is changed to jo'u , however, the meaning of Example 14.116 is preserved:
la | .djeimyz. | jo'u | |
That-named | James | in-common-with | that-named |
la | .djordj. | cu | remei | bruna |
George | are-a-twosome | type-of-brothers. |
The tanru remei bruna is not strictly necessary in this sentence, but is used to make clear that we are not saying that James and George are both brothers of some third person not specified. Alternatively, we could turn the tanru around: the x1 place of re mei is a mass with two components, leading to:
la | .djeimyz. | joi |
That-named | James | massed-with |
la | .djordj. | cu | bruna | remei |
that-named | George | are-a-brother | type-of-twosome. |
where joi is used to create the necessary mass.
Likewise, fa'u can be used to put two individuals together where order matters. Typically, there will be another fa'u somewhere else in the same bridi:
la | .djeimyz. | fa'u | la | .djordj. |
That-named | James | jointly-in-order-with | that-named | George |
prami | la | .meris. | fa'u | la | .martas. |
loves | that-named | Mary | jointly-in-order-with | that-named | Martha. |
James and George love Mary and Martha, respectively. |
Here the information carried by the English adverb “respectively” , namely that James loves Mary and George loves Martha, is divided between the two occurrences of fa'u . If both uses of fa'u were to be changed to .e , we would get:
la | .djeimyz. | .e | la | .djordj. | prami |
That-named | James | and | that-named | George | love |
la | .meris. | .e | la | .martas. |
that-named | Mary | and | that-named | Martha. |
which can be transformed to four bridi:
la | .djeimyz. | prami | la | .meris. | .ije | la | .djordj. | prami |
That-named | James | loves | that-named | Mary, | and | that-named | George | loves |
la | .meris. | .ije | la | .djeimyz. | prami | la | .martas. |
that-named | Mary, | and | that-named | James | loves | that-named | Martha, |
.ije | la | .djordj. | prami | la | .martas. |
and | that-named | George | loves | that-named | Martha. |
which represents quite a different state of affairs from Example 14.120 . The meaning of Example 14.120 can also be conveyed by a termset:
la | .djeimyz. | ce'e | la | .meris. | pe'e |
That-named | James | [plus] | that-named | Mary | [joint] |
je | la | .djordj. | ce'e | la | .martas. | prami |
and | that-named | George | [plus] | that-named | Martha | loves. |
at the expense of re-ordering the list of names so as to make the pairs explicit. This option is not available when one of the lists is only described rather than enumerated:
la | .djeimyz. | fa'u | la | .djordj. | prami | re | mensi |
That-named | James | and-respectively | that-named | George | love | two | sisters. |
which conveys that James loves one sister and George the other, though we are not able to tell which of the sisters is which.