Chapter 15: “No” Problems: On Lojban Negation
4. selbri and tanru negation
All the scalar negations illustrated in c15-§3 are expressed in Lojban using the cmavo “na'e” (of selma'o NAhE). The most common use of “na'e” is as a prefix to the selbri:
✥4.1 mi klama le zarci I go to the market. ✥4.2 mi na'e klama le zarci I non-go to the market.
Comparing these two, we see that the negation operator being used in ✥4.2 is “na'e”. But what exactly does “na'e” negate? Does the negation include only the gismu “klama”, which is the entire selbri in this case, or does it include the “le zarci” as well? In Lojban, the answer is unambiguously “only the gismu”. The cmavo “na'e” always applies only to what follows it.
✥4.2 looks as if it were parallel to:
✥4.3 mi na klama le zarci I [false] go-to the market.
but in fact there is no real parallelism at all. A negation using “na” denies the truth of a relationship, but a selbri negation with “na'e” asserts that a relationship exists other than that stated, one which specifically involves the sumti identified in the statement. The grammar allotted to “na'e” allows us to unambiguously express scalar negations in terms of scope, scale, and range within the scale. Before we explain the scalar aspects, let us show how the scope of “na'e” is determined.
In tanru, we may wish to negate an individual element before combining it with another to form the tanru. We in effect need a shorter-than-selbri-scope negation, for which we can use “na'e” as well. The positive sentence
✥4.4 mi cadzu klama le zarci I walking-ly go to the market.
can be subjected to selbri negation in several ways. Two are:
✥4.5 mi na'e cadzu klama le zarci I (other-than-walkingly)-go-to the market. ✥4.6 mi cadzu na'e klama le zarci I walkingly-(other-than-go-to) the market.
These negations show the default scope of “na'e” is close-binding on an individual brivla in a tanru. ✥4.5 says that I am going to the market, but in some kind of a non-walking manner. (As with most tanru, there are a few other possible interpretations, but we'll assume this one — see Chapter 5 for a discussion of tanru meaning).
In neither ✥4.5 nor ✥4.6 does the “na'e” negate the entire selbri. While both sentences contain negations that deny a particular relationship between the sumti, they also have a component which makes a positive claim about such a relationship. This is clearer in ✥4.5, which says that I am going, but in a non-walking manner. In ✥4.6, we have claimed that the relationship between me and the market in some way involves walking, but is not one of “going to” (perhaps we are walking around the market, or walking-in-place while at the market).
The “scale”, or actually the “set”, implied in Lojban tanru negations is anything which plausibly can be substituted into the tanru. (Plausibility here is interpreted in the same way that answers to a “mo” question must be plausible — the result must not only have the right number of places and have sumti values appropriate to the place structure, it must also be appropriate or relevant to the context.) This minimal condition allows a speaker to be intentionally vague, while still communicating meaningful information. The speaker who uses selbri negation is denying one relationship, while minimally asserting a different relationship.
We also need a scalar negation form that has a scope longer than a single brivla. There exists such a longer-scope selbri negation form, as exemplified by (each Lojban sentence in the next several examples is given twice, with parentheses in the second copy showing the scope of the “na'e”):
✥4.7 mi na'eke cadzu klama [ke'e] le zarci mi na'e (ke cadzu klama [ke'e]) le zarci I other-than-(walkingly-go-to) the market.
This negation uses the same “ke” and “ke'e” delimiters (the “ke'e” is always elidable at the end of a selbri) that are used in tanru. The sentence clearly negates the entire selbri. The “ke'e”, whether elided or not, reminds us that the negation does not include the trailing sumti. While the trailing-sumti place-structure is defined as that of the final brivla, the trailing sumti themselves are not part of the selbri and are thus not negated by “na'e”.
Negations of just part of the selbri are also permitted:
✥4.8 mi na'eke sutra cadzu ke'e klama le zarci mi na'e (ke sutra cadzu ke'e) klama le zarci I other-than-(quickly-walkingly) go-to the market.
In ✥4.8, only the “sutra cadzu” tanru is negated, so the speaker is indeed going to the market, but not by walking quickly.
Negations made with “na'e” or “na'eke” also include within their scope any sumti attached to the brivla or tanru with “be” or “bei”. Such attached sumti are considered part of the brivla or tanru:
✥4.9 mi na'e ke sutra cadzu be le mi birka ke'e klama le zarci I other-than-(quickly walking-on-my-arms-ly) go-to the market.
Note that ✥4.10 and ✥4.11 do not express the same thing:
✥4.10 mi na'eke sutra cadzu [ke'e] lemi birka mi na'e (ke sutra cadzu [ke'e]) lemi birka I other-than-(quickly-walk-on) my-arms. ✥4.11 mi na'eke sutra cadzu be lemi birka [ke'e] mi na'e (ke sutra cadzu be lemi birka [ke'e]) I other-than-(quickly-walk-on my-arms).
The translations show that the negation in ✥4.10 is more restricted in scope; i.e. less of the sentence is negated with respect to x1 (“mi”).
Logical scope being an important factor in Lojban's claims to be unambiguous, let us indicate the relative precedence of “na'e” as an operator. Grouping with “ke” and “ke'e”, of course, has an overt scope, which is its advantage. “na'e” is very close binding to its brivla. Internal binding of tanru, with “bo”, is not as tightly bound as “na'e”. “co”, the tanru inversion operator has a scope that is longer than all other tanru constructs.
In short, “na'e” and “na'eke” define a type of negation, which is shorter in scope than bridi negation, and which affects all or part of a selbri. The result of “na'e” negation remains an assertion of some specific truth and not merely a denial of another claim.
The similarity becomes striking when it is noticed that the rafsi “-nal-”, representing “na'e” when a tanru is condensed into a lujvo, forms an exact parallel to the English usage of “non-”. Turning a series of related negations into lujvo gives:
✥4.12 na'e klama becomes nalkla na'e cadzu klama becomes naldzukla na'e sutra cadzu klama becomes nalsu'adzukla nake sutra cadzu ke'e klama becomes nalsu'adzuke'ekla
Note: “-kem-” is the rafsi for “ke”, but it is omitted in the final lujvo as superfluous — “ke'e” is its own rafsi, and its inclusion in the lujvo implies a “ke” after the “-nal-”, since it needs to close something; only a “ke” immediately after the negation would make the “ke'e” meaningful in the tanru expressed in this lujvo.
In a lujvo, it is probably clearest to translate “-nal-” as “non-”, to match the English combining forms, except when the “na'e” has single word scope and English uses “un-” or “im-” to negate that single word. Translation style should determine the use of “other than”, “non-”, or another negator for “na'e” in tanru; the translator must render the Lojban into English so it is clear in context. Let's go back to our simplest example:
✥4.13 mi na'e klama le zarci I am other-than-(going-to) the market. ?I am not going-to the market. ✥4.14 mi nalkla le zarci I am-a-non-go-er-to the market.
Note that to compare with the English translation form using “non-”, we've translated the Lojban as if the selbri were a noun. Since Lojban “klama” is indifferently a noun, verb, or adjective, the difference is purely a translation change, not a true change in meaning. The English difference seems significant, though, due to the strongly different English grammatical forms and the ambiguity of English negation.
Consider the following highly problematic sentence:
✥4.15 lo ca nolraitru be le fasygu'e cu krecau An-actual currently noblest-governor of the French country is-hair-without. The current King of France is bald.
The selbri “krecau” negates with “na'e” as:
✥4.16 lo ca nolraitru be le fasygu'e cu na'e krecau An-actual currently noblest-governor of the French country is-other-than hair-without. The current King of France is other-than-bald.
or, as a lujvo:
✥4.17 lo ca nolraitru be le fasygu'e cu nalkrecau An-actual currently noblest-governor of the French country is-non-hair-without. The current King of France is a non-bald-one.
✥4.16 and ✥4.17 express the predicate negation forms using a negation word (“na'e”) or rafsi (“-nal-”); yet they make positive assertions about the current King of France; ie., that he is other-than-bald or non-bald. This follows from the close binding of “na'e” to the brivla. The lujvo form makes this overt by absorbing the negative marker into the word.
Since there is no current King of France, it is false to say that he is bald, or non-bald, or to make any other affirmative claim about him. Any sentence about the current King of France containing only a selbri negation is as false as the sentence without the negation. No amount of selbri negations have any effect on the truth value of the sentence, which is invariably “false”, since no affirmative statement about the current King of France can be true. On the other hand, bridi negation does produce a truth:
✥4.18 lo ca nolraitru be le fasygu'e cu na krecau An-actual current noblest-governor of the French Country [false] is-hair-without. It is false that the current King of France is bald.
Note: “lo” is used in these sentences because negation relates to truth conditions. To meaningfully talk about truth conditions in sentences carrying a description, it must be clear that the description actually applies to the referent. A sentence using “le” instead of “lo” can be true even if there is no current king of France, as long as the speaker and the listener agree to describe something as the current king of France. (See the explanations of “le” in Chapter 6.)