Chapter 14: If Wishes Were Horses: The Lojban Connective System
13. Truth questions and connective questions
So far we have addressed only sentences which are statements. Lojban, like all human languages, needs also to deal with sentences which are questions. There are many ways of asking questions in Lojban, but some of these (like questions about quantity, tense, and emotion) are discussed in other chapters.
The simplest kind of question is of the type “Is it true that … ” where some statement follows. This type is called a “truth question”, and can be represented in English by ✥13.1:
✥13.1 Is it true that Fido is a dog? Is Fido a dog?
Note the two formulations. English truth questions can always be formed by prefixing “Is is true that” to the beginning of a statement; there is also usually a more idiomatic way involving putting the verb before its subject. “Is Alice a dog?” is the truth question corresponding to “Fido is a dog”. In Lojban, the equivalent mechanism is to prefix the cmavo “xu” (of selma'o UI) to the statement:
✥13.2 xu la faidon. gerku is-it-true-that Fido is-a-dog?
✥13.1 and ✥13.2 are equivalent in meaning.
A truth question can be answered “yes” or “no”, depending on the truth or falsity, respectively, of the underlying statement. The standard way of saying “yes” in Lojban is “go'i” and of saying “no” is “nago'i”. (The reasons for this rule are explained in Chapter 7.) In answer to ✥13.2, the possible answers are:
✥13.3 go'i Fido is a dog.
✥13.4 nago'i Fido is not a dog.
Some English questions seemingly have the same form as the truth questions so far discussed. Consider
✥13.5 Is Fido a dog or a cat?
Superficially, ✥13.5 seems like a truth question with the underlying statement:
✥13.6 Fido is a dog or a cat.
By translating ✥13.6 into Lojban and prefixing “xu” to signal a truth question, we get:
✥13.7 xu la faidon. gerku gi'onai mlatu is-it-true-that Fido is-a-dog or is-a-cat (but not both)?
Given that Fido really is either a dog or a cat, the appropriate answer would be “go'i”; if Fido were a fish, the appropriate answer would be “nago'i”.
But that is not what an English-speaker who utters ✥13.5 is asking! The true significance of ✥13.5 is that the speaker desires to know the truth value of either of the two underlying bridi (it is presupposed that only one is true).
Lojban has an elegant mechanism for rendering this kind of question which is very unlike that used in English. Instead of asking about the truth value of the connected bridi, Lojban users ask about the truth function which connects them. This is done by using a special question cmavo: there is one of these for each of the logical connective selma'o, as shown by the following table:
ge'i GA forethought connective question gi'i GIhA bridi-tail connective question gu'i GUhA tanru forethought connective question je'i JA tanru connective question ji A sumti connective question
(This list unfortunately departs from the pretty regularity of the other cmavo for logical connection. The two-syllable selma'o, GIhA and GUhA, make use of the cmavo ending in “-i” which is not used for a truth function, but “gi” and “.i” were not available, and different cmavo had to be chosen. This table must simply be memorized, like most other non-connective cmavo assignments.)
One correct translation of ✥13.5 employs a question gihek:
✥13.8 la .alis gerku gi'i mlatu Alice is-a-dog [truth function?] is-a-cat?
Here are some plausible answers:
✥13.9 nagi'e Alice is not a dog and is a cat. ✥13.10 gi'enai Alice is a dog and is not a cat. ✥13.11 nagi'enai Alice is not a dog and is not a cat. ✥13.12 nagi'o gi'onai Alice is a dog or is a cat but not both (I'm not saying which).
✥13.12 is correct but uncooperative.
As usual, Lojban questions are answered by filling in the blank left by the question. Here the blank is a logical connective, and therefore it is grammatical in Lojban to utter a bare logical connective without anything for it to connect.
The answer “gi'e”, meaning that Alice is a dog and is a cat, is impossible in the real world, but for:
✥13.13 do djica tu'a loi ckafi ji loi tcati you desire something-about a-mass-of coffee [truth function?] a-mass-of tea? Do you want coffee or tea?
the answer “.e”, meaning that I want both, is perfectly plausible, if not necessarily polite.
The forethought questions “ge'i” and “gu'i” are used like the others, but ambiguity forbids the use of isolated forethought connectives as answers — they sound like the start of forethought-connected bridi. So although ✥13.14 is the forethought version of ✥13.13:
✥13.14 do djica tu'a ge'i loi ckafi gi loi tcati you desire something-about [truth function?] a-mass-of coffee [or] a-mass-of tea?
the answer must be in afterthought form.
There are natural languages, notably Chinese, which employ the Lojbanic form of connective question. The Chinese sentence
✥13.15 ni3 zou3 hai2shi pao3 you walk [or?] run?
means “Do you walk or run?”, and is exactly parallel to the Lojban:
✥13.16 do cadzu gi'i bajra you walk [or?] run?
However, Chinese does not use logical connectives in the reply to such a question, so the resemblance, though striking, is superficial.
Truth questions may be used in bridi connection. This form of sentence is perfectly legitimate, and can be interpreted by using the convention that a truth question is true if the answer is “yes” and false if the answer is “no”. Analogously, an imperative sentence (involving the special pro-sumti “ko”, which means “you” but marks the sentence as a command) is true if the command is obeyed, and false otherwise. A request of Abraham Lincoln's may be translated thus:
✥13.17 ganai ti ckafi gi ko bevri loi tcati mi .ije ganai ti tcati gi ko bevri loi ckafi mi If this is-coffee then [you!] bring a-mass-of tea to-me, and if this is-tea then [you!] bring a-mass-of coffee to-me. If this is coffee, bring me tea; but if this is tea, bring me coffee.
In logical terms, however, “but” is the same as “and”; the difference is that the sentence after a “but” is felt to be in tension or opposition to the sentence before it. Lojban represents this distinction by adding the discursive cmavo “ku'i” (of selma'o UI), which is explained in Chapter 13, to the logical “.ije”.)