The question of truth or falsity is not entirely synonymous with negation. Consider the English sentence
If I never started such a heinous activity, then this sentence is neither true nor false. Such a negation simply says that something is wrong with the non-negated statement. Generally, we then use either tone of voice or else a correction to express a preferred true claim: “I never have beaten my wife.”
Negations which follow such a pattern are called “metalinguistic negations”. In natural languages, the mark of metalinguistic negation is that an indication of a correct statement always, or almost always, follows the negation. Tone of voice or emphasis may be further used to clarify the error.
Negations of every sort must be expressible in Lojban; errors are inherent to human thought, and are not excluded from the language. When such negations are metalinguistic, we must separate them from logical claims about the truth or falsity of the statement, as well as from scalar negations which may not easily express (or imply) the preferred claim. Because Lojban allows concepts to be so freely combined in tanru, limits on what is plausible or not plausible tend to be harder to determine.
Mimicking the muddled nature of natural language negation would destroy this separation. Since Lojban does not use tone of voice, we need other means to metalinguistically indicate what is wrong with a statement. When the statement is entirely inappropriate, we need to be able to express metalinguistic negation in a more non-specific fashion.
Here is a list of some different kinds of metalinguistic negation with English-language examples:
I have not held THREE jobs previously, but four.
(inaccurate quantity; the difference from the previous example is that someone who has held four jobs has also held three jobs)
It is not good, but bad.
(undue quantity negation indicating that the value on a scale for measuring the predicate is incorrect)
The house is not blue, but green.
(the scale/category being used is incorrect, but a related category applies)
The house is not blue, but is colored.
(the scale/category being used is incorrect, but a broader category applies)
The cat is not blue, but long-haired.
(the scale/category being used is incorrect, but an unrelated category applies)
The set of possible metalinguistic errors is open-ended.
Many of these forms have a counterpart in the various examples that we've discussed under logical negation. Metalinguistic negation doesn't claim that the sentence is false or true, though. Rather, it claims that, due to some error in the statement, “true” and “false” don't really apply.
Because one can metalinguistically negate a true statement intending a non-contradictory correction (say, a spelling error); we need a way (or ways) to metalinguistically negate a statement which is independent of our logical negation schemes using na, na'e and kin. The cmavo na'i is assigned this function. If it is present in a statement, it indicates metalinguistically that something in the statement is incorrect. This metalinguistic negation must override any evaluation of the logic of the statement. It is equally allowed in both positive and negative statements.
Since na'i is not a logical operator, multiple occurrences of na'i need not be assumed to cancel each other. Indeed, we can use the position of na'i to indicate metalinguistically what is incorrect, preparatory to correcting it in a later sentence; for this reason, we give na'i the grammar of UI. The inclusion of na'i anywhere in a sentence makes it a non-assertion, and suggests one or more pitfalls in assigning a truth value.
Let us briefly indicate how the above-mentioned metalinguistic errors can be identified. Other metalinguistic problems can then be marked by devising analogies to these examples:
Existential failure can be marked by attaching na'i to the descriptor lo or the poi in a da poi-form sumti. (See Section 6.2 and Section 16.4 for details on these constructions.) Remember that if a le sumti seems to refer to a non-existent referent, you may not understand what the speaker has in mind – the appropriate response is then ki'a, asking for clarification.
Presupposition failure can be marked directly if the presupposition is overt; if not, one can insert a “mock presupposition” to question with the sumti tcita (selma'o BAI) word ji'u; ji'uku thus explicitly refers to an unexpressed assumption, and ji'una'iku metalinguistically says that something is wrong with that assumption. (See Chapter 9.)
Scale errors and category errors can be similarly expressed with selma'o BAI. le'a has meaning “of category/class/type X”, ci'u has meaning “on scale X”, and ci'e, based on ciste, can be used to talk about universes of discourse defined either as systems or sets of components, as shown in Section 15.8. kai and la'u also exist in BAI for discussing other quality and quantity errors.
We have to make particular note of potential problems in the areas of undue quantity and incorrect scale/category. Assertions about the relationships between gismu are among the basic substance of the language. It is thus invalid to logically require that if something is blue, that it is colored, or if it is not-blue, then it is some other color. In Lojban, blanu (“blue”) is not explicitly defined as a skari (“color”). Similarly, it is not implicit that the opposite of “good” is “bad”.
This mutual independence of gismu is only an ideal. Pragmatically, people will categorize things based on their world-views. We will write dictionary definitions that will relate gismu, unfortunately including some of these world-view assumptions. Lojbanists should try to minimize these assumptions, but this seems a likely area where logical rules will break down (or where Sapir-Whorf effects will be made evident). In terms of negation, however, it is vital that we clearly preserve the capability of denying a presumably obvious scale or category assumption.
Solecisms, grammatical and spelling errors will be marked by marking the offending word or phrase with na'i (in the manner of any selma'o UI cmavo). In this sense, na'i becomes equivalent to the English metalinguistic marker “[sic]”. Purists may choose to use ZOI or LOhU/LEhU quotes or sa'a-marked corrections to avoid repeating a truly unparsable passage, especially if a computer is to analyze the speech/text. See Section 19.12 for explanations of these usages.
In summary, metalinguistic negation will typically take the form of referring to a previous statement and marking it with one or more na'i to indicate what metalinguistic errors have been made, and then repeating the statement with corrections. References to previous statements may be full repetitions, or may use members of selma'o GOhA. na'i at the beginning of a statement merely says that something is inappropriate about the statement, without specificity.
In normal use, metalinguistic negation requires that a corrected statement follow the negated statement. In Lojban, however, it is possible to completely and unambiguously specify metalinguistic errors without correcting them. It will eventually be seen whether an uncorrected metalinguistic negation remains an acceptable form in Lojban. In such a statement, metalinguistic expression would involve an ellipsis not unlike that of tenseless expression.
Note that metalinguistic negation gives us another kind of legitimate negative answer to a xu question (see Section 15.8). na'i will be used when something about the questioned statement is inappropriate, such as in questions like “Have you stopped beating your wife?”:
xu | do | sisti | lezu'o |
is-it-true-that: | you | cease | the-activity-of |
do | rapydarxi | ledo | fetspe |
you | repeat-hitting | your | female-spouse? |
Have you stopped beating your wife? |
Responses could include:
na'i | go'i |
[metalinguistic-negation] | [repeat-previous] |
The bridi as a whole is inappropriate in some way. |
go'i | na'i |
[repeat-previous] | [metalinguistic-negation] |
The selbri (sisti) is inappropriate in some way. |
One can also specifically qualify the metalinguistic negation, by explicitly repeating the erroneous portion of the bridi to be metalinguistically negated, or adding on of the selma'o BAI qualifiers mentioned above:
go'i | ji'una'iku |
[repeat-previous] | [presupposition-wrong] |
Some presupposition is wrong with the previous bridi. |
Finally, one may metalinguistically affirm a bridi with jo'a, another cmavo of selma'o UI. A common use for jo'a might be to affirm that a particular construction, though unusual or counterintuitive, is in fact correct; another usage would be to disagree with – by overriding – a respondent's metalinguistic negation.