LOJ
Theme: Foundations · 6 sentences.
LOJ-001 ·
Purpose: Structural comparison against Lojban's distinctive type machinery (CLL, lojban.org). Tests six canonical Lojban features against Tonesu's grammar: su'o existential quantification (i- prefix vs a- universal from S684); lo nu X event nominalization (Tonesu's causal-frame approach vs Lojban's first-class event nominal); na vs na'e claim/predicate negation scope (Tonesu's five-level negation system); jinvi + du'u belief attribution (to primitive frame); djuno + du'u knowledge attribution (to-su organized knowledge frame); la-li to-su {to-si ...} embedded indirect question (Tonesu's to-si gap-filler inside a propositional frame — first corpus attempt). No new vocabulary — structural analysis batch. Full analysis in corpus/translations/Philosophy/lojban-type-contrasts.md.
S690
i-zo-li ne de-zo
A particular person is mortal.
S691
go {la-li ki}, la-li ne fa-vo
Because I move: I have happiness.
S692
la-su-mu ne no-pom
The structure-artifact has the not-blue property.
S693
no la-su-mu ne pom
Not: [the structure-artifact is blue].
S694
la-li to {la-Sokrates ne de-zo}
I hold [that Sokrates is mortal] as my conception.
S695
la-li to-su {la-Sokrates ne de-zo}
I have organized knowledge [that Sokrates is mortal].
Batch Summary
| Entry | Tonesu | Written form | Key feature |
|---|---|---|---|
| S690 (LOJ-001-A) | i-zo-li ne de-zo |
izoli ne dezo |
i- existential scope (Lojban su'o) |
| S691 (LOJ-001-B) | go {la-li ki}, la-li ne fa-vo |
go lali ki, lali ne favo |
Event via causal frame (Lojban lo nu) |
| S692 (LOJ-001-C) | la-su-mu ne no-pom |
lasumu ne nopom |
Predicate negation (Lojban na'e) |
| S693 (LOJ-001-D) | no la-su-mu ne pom |
no lasumu ne pom |
Claim negation (Lojban na) |
| S694 (LOJ-001-E) | la-li to {la-Sokrates ne de-zo} |
lali to laSokrates ne dezo |
Belief attribution (to, Lojban jinvi) |
| S695 (LOJ-001-F) | la-li to-su {la-Sokrates ne de-zo} |
lali tosu laSokrates ne dezo |
Knowledge attribution (to-su, Lojban djuno) |
Coverage: i- as existential scope prefix (S690, completing universal/existential pair with S684); causal-frame as event-nominalization substitute (S691); claim vs predicate negation scope distinction (S692/S693, Lojban na/na'e); belief vs organized knowledge in propositional attitude (S694/S695, Lojban jinvi/djuno + du'u). No new vocabulary.
Key finding: Lojban's type machinery maps onto Tonesu through structural redirections rather than direct analogues. The lo nu X event nominal becomes a causal clause; the na/na'e distinction already exists in the five-level negation system; the jinvi/djuno belief-knowledge distinction maps to to vs to-su. The one genuine gap: Lojban's tanru (underdetermined compound) cannot be reproduced in Tonesu — every compound is compositionally specified. This is a design choice, not a deficiency: Tonesu demands disambiguation at the point of construction.
Generated from registry/entries.yaml.