15.1. Introductory

The grammatical expression of negation is a critical part of Lojban's claim to being logical. The problem of negation, simply put, is to come up with a complete definition of the word not. For Lojban's unambiguous grammar, this means further that meanings of not with different grammatical effect must be different words, and even different grammatical structures.

Logical assertions are implicitly required in a logical language; thus, an apparatus for expressing them is built into Lojban's logical connectives and other structures.

In natural languages, especially those of Indo-European grammar, we have sentences composed of two parts which are typically called subject and predicate. In the statement

Example 15.1. 

John goes to the store

John is the subject, and goes to the store is the predicate. Negating Example 15.1 to produce

Example 15.2. 

John doesn't go to the store.

has the effect of declaring that the predicate does not hold for the subject. Example 15.2 says nothing about whether John goes somewhere else, or whether someone else besides John goes to the store.

We will call this kind of negation natural language negation. This kind of negation is difficult to manipulate by the tools of logic, because it doesn't always follow the rules of logic. Logical negation is bi-polar: either a statement is true, or it is false. If a statement is false, then its negation must be true. Such negation is termed contradictory negation.

Let's look at some examples of how natural language negation can violate the rules of contradictory negation.

Example 15.3. 

Some animals are not white.

Example 15.4. 

Some animals are white.

Both of these statements are true; yet one is apparently the negation of the other. Another example:

Example 15.5. 

I mustn't go to the dance.

Example 15.6. 

I must go to the dance.

At first thought, Example 15.5 negates Example 15.6. Thinking further, we realize that there is an intermediate state wherein I am permitted to go to the dance, but not obligated to do so. Thus, it is possible that both statements are false.

Sometimes order is significant:

Example 15.7. 

The falling rock didn't kill Sam.

Example 15.8. 

Sam wasn't killed by the falling rock.

Our minds play tricks on us with this one. Because Example 15.7 is written in what is called the active voice, we immediately get confused about whether the falling rock is a suitable subject for the predicate did kill Sam. Kill implies volition to us, and rocks do not have volition. This confusion is employed by opponents of gun control who use the argument Guns don't kill people; people kill people.

Somehow, we don't have the same problem with Example 15.8. The subject is Sam, and we determine the truth or falsity of the statement by whether he was or wasn't killed by the falling rock.

Example 15.8 also helps us focus on the fact that there are at least two questionable facts implicit in this sentence: whether Sam was killed, and if so, whether the falling rock killed him. If Sam wasn't killed, the question of what killed him is moot.

This type of problem becomes more evident when the subject of the sentence turns out not to exist:

Example 15.9. 

The King of Mexico didn't come to dinner.

Example 15.10. 

The King of Mexico did come to dinner.

In the natural languages, we would be inclined to say that both of these statements are false, since there is no King of Mexico.

The rest of this chapter is designed to explain the Lojban model of negation.