Chapter 13. Negation & Logic#

Two Kinds of Negation#

English "not" is slippery. Consider:

John didn't go to Paris from Rome.

Does this mean he went somewhere else instead of Paris? That he departed from somewhere other than Rome? That he didn't travel at all? English doesn't say.

Lojban separates these into two distinct systems:

1. Bridi negation (na) — contradictory negation, denies the whole claim
2. Scalar negation (na'e, no'e, to'e) — says the value is "other than" the stated one

---

na: Bridi Negation#

na before the selbri negates the entire bridi — making a clean logical contradiction:

mi klama le zarci I go to the store. (true)

mi na klama le zarci It is not the case that I go to the store. (the whole claim is false)

na has exactly one meaning: the bridi is false. If the bridi was true, na-bridi is false; if the bridi was false, na-bridi is true. This is classical contradictory negation.

na goes right before the selbri (after cu if present):

mi cu na klama le zarci (legal) mi na cu klama le zarci (legal — na can precede cu)

na can appear inside abstraction bridi too:

mi na gleki le nu mi klama le zarci I am not happy about the event of going to the store.

mi nelci le na melbi I like the one who is not beautiful.

Double negation cancels out:

mi na na klama = mi klama I do go. (na na = positive)

---

na vs. no#

Don't confuse na (bridi negation) with no (the number zero) or no'e (scalar mid-point). They are entirely different particles.

---

na'e: Scalar Negation#

na'e before a selbri or brivla says "other than [X]" — some different value on the same scale applies:

mi na'e klama le zarci I do something other than go to the store. (maybe I stay near it, circle it, etc.)

This is not the same as na! na'e klama says a different relation holds, not that nothing holds. It's a positive assertion that some other going-related thing is true.

na'e inside tanru targets just the following word:

mi na'e cadzu klama le zarci I go to the store in a non-walking manner. (still going, just not walking)

mi cadzu na'e klama le zarci I walk (but don't go to) the market. (walking is involved, destination is different)

To negate a whole tanru, use na'e ke … ke'e:

mi na'e ke cadzu klama ke'e le zarci I do something other than (walk-go) to the market.

---

The Scalar System: na'e, no'e, to'e#

Lojban provides three levels on a scale:

mi melbi — I am beautiful. mi na'e melbi — I am other-than-beautiful. (could be ugly, neutral, or something else) mi no'e melbi — I am medium-attractive. (neutral) mi to'e melbi — I am ugly. (explicit opposite)

le zarci cu barda — The store is big. le zarci cu no'e barda — The store is medium-sized. le zarci cu to'e barda — The store is small.

to'e asserts the polar opposite, so it's a strong positive claim. na'e is vaguer — it just says "not this point."

---

nai: Attitudinal Negation#

In attitudinals (Chapter 7), -nai is a suffix that inverts the attitudinal:

.ui — happiness → .uinai — unhappiness .ai — intent → .ainai — lack of intent / indecision

This is a separate particle from na and na'e — it only applies inside attitudinals and logical connectives.

---

Negation in Questions#

xu asks whether the bridi is true (Chapter 6). Answers reuse the same bridi with na or abbreviate with go'i.

Straight question, negative answer:

xu la .djan. pu klama Did John go?

na go'i No — expands to la .djan. na pu klama (John didn’t go).

You may shift tense in the answer; na and the tense can appear in either order, which can change scope (see below):

na ba go'i ≈ la .djan. na ba klama — No — he won’t go. ba na go'i ≈ la .djan. ba na klama — No — later [it is false that] he goes. (subtle ordering effects)

Scalar “no”: na'e go'i = “other than the previous” — e.g. John didn’t go, he called (equivalent to putting na'eke after the tense before klama).

---

Negative questions: xu na … and ja'a go'i#

If the question itself contains na, a bare go'i repeats including the na — it does not mean “yes” in English sense:

xu la .djan. na pu klama Is it true that John didn’t go?

go'i [Repeats:] John didn’t go. — affirms the negative question (often what English calls “yes, he didn’t”).

To assert the positive bridi instead, replace na with ja'a (same place na would occupy):

ja'a go'i John did go. — ja'a is the affirmative counterpart of na (Pragmatic Negation: ja'a below).

So: xu na go'i ↔ “Is it false that …?”; answer with ja'a go'i when the underlying claim is true, not plain go'i.

---

Scope of na#

na always negates the entire bridi in which it appears. It does not narrow to just one sumti or one piece of the selbri. When you need to negate just a slot's content, put the negation in an inner bridi:

mi na klama le zarci ki'u le nu le karce cu spofu This negates the whole sentence "I go to the store because the car is broken" — saying the whole thing is false.

But if you want to say "I don't go because the car is broken (though I don't go for other reasons)":

le nu mi na klama le zarci cu se krinu le nu le karce cu spofu The event of my not-going to the store is caused by the car being broken.

Here na is inside the event abstraction, not at the top level.

---

Negation and Quantifiers#

Negation interacts with quantifiers in important ways. Full logical quantifier negation is covered in Chapter 16, but the basics:

lo gerku cu na blabi — Some dogs are not white. (true in general) na ku lo gerku cu blabi — It is not the case that [any] dog is white. (claims NO dogs are white)

The position of na relative to quantifiers changes the logical meaning drastically. This is the classic scope-of-negation problem that Lojban handles precisely.

---

Pragmatic Negation: ja'a {#pragmatic-negation-jaa}#

ja'a is the explicit affirmative particle — "indeed, truly":

mi ja'a klama — I indeed go. (emphatic yes)

It's mostly used to explicitly undo a previous negation or to provide strong contrast:

do na klama .i mi ja'a klama You don't go. I do go.

ja'a belongs to the same selma'o NA as na, and serves as its explicit opposite.

With go'i, ja'a replaces a na in the repeated bridi — essential for answering xu na … with a positive fact (Truth questions above).

---

Sumti Negation#

So far we've seen how to negate the bridi (the whole claim) and how to negate a selbri (scalar negation). Lojban can also negate a sumti — specifically, negate what fills a numbered place.

The main tool is naku (or na ku) before a sumti. It shifts the negation to bind the following quantified sumti:

mi klama naku le zarci I go to a non-store. (what I go to is not a store)

More precisely, quantifier negation with naku works like prenex logic. Pushing naku leftward past a quantifier reverses the quantifier:

mi viska no le prenu = mi na viska ro le prenu I see none of the people. = It's not the case that I see all of them.

Numbers as quantifiers can express sumti negation directly:

mi klama le no zarci — impossible (there are zero stores to go to) mi na klama le zarci — I don't go to the store (bridi negation)

The difference matters with existential claims:

lo no gerku cu blabi — no dog is white (zero dogs fit) — effectively "there are no white dogs" na ku lo gerku cu blabi — it's not the case that some dog is white (same, different logical form)

---

na'i: Metalinguistic Negation#

na'i is the metalinguistic negation — it signals that something is wrong with what was just said, not that the bridi is false:

do'u na'i Something wrong just happened (the utterance had a false presupposition, grammatical error, or category mistake)

xu do klama le zarci .i na'i le zarci cu se klama Are you going to the store? — [False presupposition:] The store is somewhere one goes. (correcting the frame, not just answering no)

na'i contrasts with na:

• na = the bridi is false (contradictory negation)
• na'i = something about the utterance is wrong — a presupposition fails, a category is confused, or the question doesn't apply

mi bilma .i do pu'i jbena na'i I am sick. You were born, [metalinguistically negated — something is off with that claim].

na'i is used in discourse as a polite way to say "I'm not disagreeing with the facts, but the framing is wrong."

---

naku: Negation Scope and Quantifier Interaction#

The full treatment of naku shows how it interacts with quantifiers in a prenex:

naku ro da poi prenu cu morsi = su'o da poi prenu zo'u da na morsi Not everyone dies. = Some person doesn't die.

The key rule: naku before a universal quantifier reverses it to existential (and vice versa):

This is De Morgan's law for quantifiers — covered more thoroughly in Chapter 21.

naku outside a prenex moves the scope of negation earlier in the sentence, letting it bind more:

mi na klama le zarci — bridi negation (I don't go to the store) naku mi klama le zarci — same semantics, but the na is fronted for emphasis or scope clarity

In complex nested bridi, the exact position of na vs. naku changes what is negated. When in doubt, use the prenex form with naku to make scope fully explicit.

---

Sumti Negation: na'ebo#

Just as na'e applies scalar negation to a selbri, na'ebo applies it to a sumti — the argument, not the predicate.

na'ebo le gerku cu batci mi Something other than the dog bites me.

The na'ebo targets the sumti le gerku and asserts that something other than what that sumti describes is the correct x₁. It makes a positive assertion: something else does the biting, though we don't say what.

By contrast, to negate the sumti with a zero quantifier (contradictory negation):

no le gerku cu batci mi None of the dogs bite me.

This is contradictory: it simply says the count is zero. na'ebo is scalar: something other than a dog is involved.

You can also use no'ebo (neutral) and to'ebo (opposite) on sumti:

mi klama to'ebo la .bastn. I go to the opposite of Boston. (the antipodal city)

These are relatively rare but useful in precise discourse.

---

Specifying the Scale in Scalar Negation#

When you use na'e, no'e, or to'e, the scale being used is usually implied by context. Sometimes you need to be explicit. The sumti tcita ci'u (on a scale of X) can be attached to the negated selbri with be:

le stizu cu na'e xunre be ci'u loka skari The chair is non-red on the scale of color-ness.

This explicitly identifies that xunre is being negated within the color scale, ruling out interpretations where "other than red" might mean "other than the chair being red in general."

For to'e (polar opposite), the scale is particularly important:

ta to'e melbi That is repulsive/very ugly. (the opposite end of the beauty scale)

ta no'e melbi That is plain/ordinary-looking. (the neutral midpoint)

The rafsi for these NAhE particles let them appear in lujvo:

• -nal- from na'e (non-)
• -nor- from no'e (neutral-)
• -tol- from to'e (opposite-of-)

Examples: nalmle (non-beautiful), tolmle (ugly/repulsive), normle (plain-looking).

---

nai on Interval Modifiers: Scalar vs Contradictory#

The suffix -nai behaves differently depending on what it is attached to:

On tenses and modals (PU, BAI): nai is contradictory — it simply negates the tense:

mi punai klama le zarci I [not-past] go to the store. (= it is not the case that I went)

This is equivalent to mi na pu klama le zarci.

On TAhE, ROI, and ZAhO (interval and aspect particles): nai is scalar — it says the specified frequency/phase is not accurate, but does not say zero:

mi paroinai dansu le bisli I [once-not] dance on the ice. I dance on the ice either zero times or two-or-more times within this period.

This is very different from English "not once" (which means never). In Lojban, paroinai only rules out "exactly once."

mi ca'onai citka I am [not in-the-middle-of] eating. (= I'm not currently in the eating process)

On attitudinals (UI, CAI): nai is polar — it takes the attitudinal to the opposite end of its scale:

.uinai — unhappy (opposite of .ui happy) .ienai — disagree (opposite of .ie agree)

---

naku and Tense: Scope Order Matters#

When naku appears in the same bridi as a tense marker, their order determines meaning. na (or naku) and tense are in the same structural position (before the selbri), and whichever comes first has wider scope:

Tense outside negation: naku inside pu

mi pu na klama le zarci I [in-the-past] [not-went] to the store. = Past is asserted; what is negated is the going. Meaning: There was a past moment at which I was not-going to the store.

Negation outside tense: naku wraps pu

mi na pu klama le zarci It is not the case that [I past-went] to the store. = The whole past-going claim is false. Meaning: I did not go to the store in the past. (No past-going event exists.)

These two can have different truth conditions in edge cases:

• pu na klama: there was a time when I was in a non-going state (compatible with "I went later")
• na pu klama: there is no past event of going at all (stronger)

The general rule: whichever scoping element (tense or negation) appears earlier in the spoken/written sentence takes wider scope over what follows it.

This matters most in:

• Quantified bridi with tense: ro le prenu pu na klama vs. na ro le prenu pu klama
• Modal + negation: mu'i le nu … na … (the modal is outside the negation) vs. na … mu'i le nu … (negation is outside the modal's scope)

When scope is ambiguous, use a prenex to make it explicit:

pu zo'u naku ro da broda In the past: not all things are broda (pu outside, naku inside the prenex)

naku zo'u pu ro da broda It is not the case that [in the past all things are broda] (naku outside, pu inside)

---

nai on Abstractors#

The NU abstractors can also take -nai, forming negated abstractions that can be joined with logical connectives:

su'u jenai ni — the property, but not the measure

This construction parallels punai je ca = pu naje ca for tenses: compound abstractors can carry -nai on one arm the same way tenses do. Logically connected abstractors with negation are rare outside technical prose.

---

Negation of other grammatical pieces (quick inventory)#

CLL groups every use of nai that is not ordinary na bridi negation. Most of these are already covered above or in Chapter 8; this is a roadmap:

---

Affirmations#

Besides ja'a (NA — bridi affirmation), Lojban uses UI-family affirmations:

je'a — scalar affirmation (UI)

A discourse particle expressing that something is definitely the case, stronger than the default. Roughly "certainly" or "indeed so":

je'a go'i — Yes, indeed (stronger than just go'i)

jo'a — metalinguistic affirmation (UI)

Asserts that an expression is being used correctly or that a framing is appropriate, countering a na'i challenge:

na'i — Something is wrong with how this was said / the framing is off. jo'a — No, the framing is appropriate.

je'a and jo'a are used at the discourse/attitude level rather than as logical operators on truth values.

---

Summary#

Key rules:

• na = whole bridi is false; na na = double negation = positive
• na'e = some different value holds (positive assertion of difference)
• to'e = specifically the opposite end of the scale
• Put na before the selbri; put na'e before the word it targets
• Scope of na is the entire bridi; use na'e ke…ke'e for tanru-scope scalar negation
• naku + universal quantifier = existential with na (De Morgan swap)
• na'i = metalinguistic, not logical — the framing itself is challenged
• Truth questions: na go'i = no; xu na … + go'i affirms the negative; use ja'a go'i to assert the positive bridi
• Minor nai: see quick inventory table — PU/BAI vs TAhE/ROI/ZAhO vs UI vs JOI/BIhI vs logical connectives

Sumti negation:

• no lo … = contradictory sumti negation (zero quantification)
• na'ebo = scalar sumti negation: "something other than [sumti]" (positive assertion)
• no'ebo = neutral sumti; to'ebo = opposite sumti

Scale specification:

• ci'u (on a scale of X) explicitly names the scale for na'e/no'e/to'e: na'e xunre be ci'u loka skari

nai suffix behavior:

• On PU/BAI tenses and modals → contradictory (simple negation)
• On TAhE/ROI/ZAhO interval/aspect particles → scalar (the specified frequency/phase doesn't hold, but not zero)
• On UI/CAI attitudinals → polar (opposite end of emotional scale)
• On NU abstractors → negated abstraction type; can be connected with logical connectives

Affirmations:

• ja'a = bridi affirmation (emphatic positive; counterpart of na)
• je'a = scalar affirmation (UI): "indeed/certainly so" — stronger than default
• jo'a = metalinguistic affirmation (UI): "the framing is correct" — counters na'i