In discussing Lojban negation, we will call the form of logical negation that simply denies the truth of a statement “bridi negation”. Using bridi negation, we can say the equivalent of “I haven't stopped beating my wife” without implying that I ever started, nor even that I have a wife, meaning simply “It isn't true that I have stopped beating my wife.” Since Lojban uses bridi as smaller components of complex sentences, bridi negation is permitted in these components as well at the sentence level.
For the bridi negation of a sentence to be true, the sentence being negated must be false. A major use of bridi negation is in making a negative response to a yes/no question; such responses are usually contradictory, denying the truth of the entire sentence. A negative answer to
is taken as a negation of the entire sentence, equivalent to
The most important rule about bridi negation is that if a bridi is true, its negation is false, and vice versa.
The simplest way to express a bridi negation is to use the cmavo na of selma'o NA before the selbri of the affirmative form of the bridi (but after the cu, if there is one):
when negated becomes:
Note that we have used a special convention to show in the English that a bridi negation is present. We would like to use the word “not”, because this highlights the naturalness of putting the negation marker just before the selbri, and makes the form easier to learn. But there is a major difference between Lojban's bridi negation with na and natural language negation with “not”. In English, the word “not” can apply to a single word, to a phrase, to an English predicate, or to the entire sentence. In addition, “not” may indicate either contradictory negation or another form of negation, depending on the sentence. Lojban's internal bridi negation, on the other hand, always applies to an entire bridi, and is always a contradictory negation; that is, it contradicts the claim of the whole bridi.
Because of the ambiguity of English “not”, we will use “[false]” in the translation of Lojban examples to remind the reader that we are expressing a contradictory negation. Here are more examples of bridi negation:
mi | [cu] | na | ca | klama | le | zarci |
I | [false] | now | am-a-go-er-to | the | market. |
I am not going to the market now. |
lo | ca | nolraitru | be |
The-actual | present | noblest-governor | of |
le | fasygu'e | cu | na | krecau |
the | French-country | [false] | is-hair-without. |
The current king of France isn't bald. |
ti | na | barda | prenu | co | melbi | mi |
This | [false] | is-a-big | person | of-type | (beautiful-to | me). |
This isn't a big person who is beautiful to me. |
Although there is this fundamental difference between Lojban's internal bridi negation and English negation, we note that in many cases, especially when there are no existential or quantified variables (the cmavo da, de, and di of selma'o KOhA, explained in Chapter 16) in the bridi, you can indeed translate Lojban na as “not” (or “isn't” or “doesn't”, as appropriate).
The most important rule about bridi negation is that if a bridi is true, its negation is false, and vice versa.
In Lojban, there are several structures that implicitly contain bridi, so that Lojban sentences may contain more than one occurrence of na. For example:
mi | na | gleki | le | nu |
I | [false] | am-happy-about | the | event-of |
na | klama | le | nu | dansu |
([false] | going-to | the | event-of | dancing). |
It is not the case that I am happy about it not being the case that I am going to the dance. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
I am not happy about not going to the dance. |
In the previous example, we used internal negations in abstraction bridi; bridi negation may also be found in descriptions within sumti. For example:
mi | nelci | le | na | melbi |
I | am-fond-of | the-one-described-as | ([false] | beautiful). |
I am fond of the one who isn't beautiful. |
A more extreme (and more indefinite) example is:
mi | nelci | lo | na |
I | am-fond-of | one-who-is | ([false] |
ca | nolraitru | be | le | frasygu'e |
the-current | king | of | the | French-country). |
I am fond of one who isn't the current king of France. |
The claim of Example 15.20 could apply to anyone except a person who is fond of no one at all, since the relation within the description is false for everyone. You cannot readily express these situations in colloquial English.
Negation with na applies to an entire bridi, and not to just part of a selbri. Therefore, you won't likely have reason to put na inside a tanru. In fact, the grammar currently does not allow you to do so (except in a lujvo and in elaborate constructs involving GUhA, the forethought connector for selbri). Any situation where you might want to do so can be expressed in a less-compressed non-tanru form. This grammatical restriction helps ensure that bridi negation is kept separate from other forms of negation.
The grammar of na allows multiple adjacent negations, which cancel out, as in normal logic:
which is the same as:
When a selbri is tagged with a tense or a modal, negation with na is permitted in two positions: before or after the tag. No semantic difference between these forms has yet been defined, but this is not finally determined, since the interactions between tenses/modals and bridi negation have not been fully explored. In particular, it remains to be seen whether sentences using less familiar tenses, such as:
mean the same thing with na before the ta'e, as when the negation occurs afterwards; we'll let future, Lojban-speaking, logicians decide on how they relate to each other.
A final caution on translating English negations into Lojban: if you translate the English literally, you'll get the wrong one. With English causal statements, and other statements with auxiliary clauses, this problem is more likely.
Thus, if you translate the English:
as:
mi | na | klama | le | zarci | ki'u |
I | [false] | go-to | the | market | because-of |
lenu | le | karce | cu | spofu |
the-event-of | the | car | is-broken. |
It is false that: I go to the market because the car is broken. |
you end up negating too much.
Such mistranslations result from the ambiguity of English compounded by the messiness of natural language negation. A correct translation of the normal interpretation of Example 15.24 is:
le | nu | mi | na | klama | le | zarci | cu | se | krinu |
The | event-of | (my | [false] | going-to | the | market) | is-justified-by |
le | nu | le | karce | cu | spofu |
the | event-of | (the | car | being-broken). |
My not going to the market is because the car is broken. |
In Example 15.26, the negation is clearly confined to the event abstraction in the x1 sumti, and does not extend to the whole sentence. The English could also have been expressed by two separate sentences joined by a causal connective (which we'll not go into here).
The problem is not confined to obvious causals. In the English:
we do not intend the uncle's help to be part of the negation. We must thus move the negation into an event clause or use two separate sentences. The event-clause version would look like:
It is possible that someone will want to incorporate bridi negations into lujvo. For this reason, the rafsi -nar- has been reserved for na. However, before using this rafsi, make sure that you intend the contradictory bridi negation, and not the scalar negation described in Section 15.3, which will be much more common in tanru and lujvo.