na go'i
This page contains discussions of experimental/scientific/philosophical/logical aspects of Lojban that are non-official and not for everyday usage. You've been warned. |
"!=" in this page means natfe.
Meaning of answers to "xu na broda"
According to CLL 15.9 the designers of Lojban decided as follows:
xu broda .i go'i | go'i = broda | (1) |
xu broda .i na go'i | na go'i = na broda | (2) |
xu na broda .i go'i | go'i = na broda | (3) |
xu na broda .i na go'i | na go'i = na broda | (4) |
Scope of the meaning of "na"
According to Xorxes, scope of the meaning of "na" of definition of CLL brings a problem.
I (Guskant) agree to the solution of the section 6 that the meaning of "na", whether term or selbri tag, has always scope over the following parts, not over the preceding parts.
The following explanation is based on that solution.
Problem of saying "na go'i"
The following sentences confront a problem:
naku roda na broda | (11) | |
= | naku roda naku broda | (12) |
= | naku naku su'oda broda | (13) |
= | su'oda broda | (14) |
The problem is this:
na go'i != (14) | derived from (2 and 14) |
na go'i = (11) | derived from (4 and 11) |
Therefore "(11) != (14)" and "(11) = (14)" , which contradict each other.
By the way, CLL answers to neither (12) nor (13).
Variations of solution
Solution 1: calculate and move all "na" to the top of the sentence, and reduce the number of "na" as possible
Choose this:
na go'i != (11,12,13,14) | derived from (2 and 14) |
The answerers should always calculate about "na" before answering.
Solution 2: Only "na" at the top of brisni is counted
Choose this:
na go'i = (11,12,13,14) | derived from (4 and 11/12/13) |
"na" following other terms is not counted, and the sentence is regarded as (2).
Solution 3: Only "na" of selbrisni tag is counted
Choose this:
na go'i = (11,12,13,14) | derived from (4 and 11) |
"na ku", that is "na" as a term, is not counted, and the sentence is regarded as (2).
Solution 4: Modify the decision of CLL, and "na go'i" means negation of the whole "na broda"
Overwrite (4) by:
xu na (ku) broda i na go'i : | na go'i = na (ku) na (ku) broda | (5) |
It implies:
na go'i != (11,12,13,14) | derived from (5 and 11) / (5 and 12) / (5 and 13) / (2 and 14) |
My opinion
I prefer Solution 4 among four solutions above.