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

2. bridi negation

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

2.1)  Did you go to the store?
is taken as a negation of the entire sentence, equivalent to
2.2)  No, I didn't go to the store.

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):

2.3)  mi klama le zarci
    I go-to the store.
when negated becomes:
2.4)  mi na klama le zarci
    I [false] go-to the store.

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:

2.5)  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.

2.6)   lo ca nolraitru
        be le fasygu'e cu na krecau
    The-actual present noblest-governor
        of the French country [false] is-hair-without.
    The current king of France isn't bald.

2.7)   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:

2.8)  mi na gleki le nu
        na klama le nu dansu
    I [false] am-happy-about the event-of(
        [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:

2.9)   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:

2.10)    mi nelci lo na ca nolraitru
        be le frasygu'e
    I am-fond-of one-who-is ([false] the current king
        of the French-country).
    I am fond of one who isn't the current king of France.

The claim of Example 2.10 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:

2.11)    ti na na barda prenu co
        melbi mi
    This [false] [false] is-a-big person
        that is (beautiful to me).
which is the same as:
2.12)    ti barda prenu co melbi mi
    This is a big-person that is (beautiful to me).

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:

2.13)    mi [cu] ta'e klama le zarci
    I habitually go to the market.
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:

2.14)    I do not go to the market because the car is broken.
as:
2.15)    mi na klama le zarci ki'u lenu le karce cu spofu
    I [false] go-to the market because 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 2.14 is:

2.16)    lenu mi na klama le zarci
        cu se krinu
            lenu le karce cu spofu
    The event-of (my [false] going-to the market)
        is justified by
            the event-of (the car being broken).
    My not going to the market is because the car is broken.

In Example 2.16, 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:

2.17)    I was not conscripted into the Army with the help of
        my uncle the Senator.
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:
2.18)    The event-of (my [false] being-conscripted-into
        the Army) was aided by my uncle the Senator.

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 3, which will be much more common in tanru and lujvo.