Chapter 15: “No” Problems: On Lojban Negation
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
✥1.1 John goes to the store
“John” is the subject, and “goes to the store” is the predicate. Negating ✥1.1 to produce
✥1.2 John doesn't go to the store.
has the effect of declaring that the predicate does not hold for the subject. ✥1.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.
Both of these statements are true; yet one is apparently the negation of the other. Another example:
At first thought, ✥1.5 negates ✥1.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:
Our minds play tricks on us with this one. Because ✥1.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 ✥1.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.
✥1.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:
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.