PLEASE NOTE: THIS IS AN OLD VERSION. The current version is linked from The Complete Lojban Language.

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 Example 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?
Example 13.1 and Example 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 Example 13.2, the possible answers are:

13.3)    go'i
    Fido is a dog.
and
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, Example 13.5 seems like a truth question with the underlying statement:

13.6)    Fido is a dog or a cat.

By translating Example 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 Example 13.5 is asking! The true significance of Example 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 Example 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).
Example 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 Example 13.14 is the forethought version of Example 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''.)