|
Previous
Truth questions and connective questions |
If Wishes Were Horses: The Lojban Connective System
The Lojban Reference Grammar |
Next
More about non-logical connectives |
Way back in Section 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:
14.1) John and Alice carried the piano.Given the nature of pianos, this probably means that John carried one end and Alice the other. So it is not true that:
14.2) John carried the piano,
and Alice carried the piano.
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:
14.3) la djan. joi la .alis. cu bevri le pipno
John massed-with Alice carry the piano.
Example 14.3 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 Chapter 6.
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:
14.4) le nanmu ku joi le ninmu [ku] cu klama le zarci
The man massed-with the woman go-to the market.
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:
14.5) ti blanu joi xunre bolci
This is-a-(blue mixed-with red) ball.
This is a blue and red ball.
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 sece'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 sefa'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 sepi'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:
14.6) mi cuxna la .alis. la frank.
ce la .alis. ce la djeimyz.
I choose Alice from Frank
and-member Alice and-member 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.6 we specify that set by listing the members with ``ce'' joining them.
14.7) ti liste mi ce'o do ce'o la djan.
This is-a-list-of me and-sequence you and-sequence 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:
14.8) la djeimyz. bruna la djordj.
James is-the-brother-of George.
possibly adding a discursive element meaning ``and vice
versa''. However, ``James and George are brothers'' cannot be
correctly translated as:
14.9) la djeimyz. .e la djordj. bruna
James and George is-a-brother.
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.8 is preserved:
14.10) la djeimyz. jo'u la djordj.
cu remei bruna
James in-common-with 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 ``remei'' is a mass with two components, leading to:
14.11) la djeimyz. joi la djordj.
cu bruna remei
James massed-with 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:
14.12) la djeimyz. fa'u la djordj.
prami la meris. fa'u la martas.
James jointly-in-order-with George
loves Mary jointly-in-order-with 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:
14.13) la djeimyz. .e la djordj.
prami la meris. .e la martas.
James and George love Mary and Martha.
which can be transformed to four bridi:
14.14) la djeimyz. prami la meris.
.ije la djordj. prami la meris.
.ije la djeimyz. prami la martas.
.ije la djordj. prami la martas.
James loves Mary, and George loves Mary,
and James loves Martha, and George loves Martha
which represents quite a different state of affairs from Example 14.12. The meaning of Example 14.12 can also be conveyed by a
termset:
14.15) la djeimyz. ce'e la meris.
pe'e .e la djordj. ce'e la martas. prami
James [plus] Mary
[joint] and George [plus] 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:
14.16) la djeimyz. fa'u la djordj. prami re sorme
James and-respectively 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.
|
Previous
Truth questions and connective questions |
If Wishes Were Horses: The Lojban Connective System
The Lojban Reference Grammar |
Next
More about non-logical connectives |