From a theoretical point of view, Chapter 16 of CLL describes something out of a language. As long as it introduces a theory on truth value, it is a kind of model theory. The problems regarding the current text of Chapter 16 are caused by two points:
1-1. It does not make clear the distinction between a language and a model;
1-2. It mixes up several models (of Aristotle and of a classical predicate logic guessing from the previous discussion of the current thread) without making clear which model each statement is based on.
My idea to improve the text of Chapter 16 consists of three points:
2-1. Assert first that Lojban is a language, and that this chapter describes some models that can be expressed by Lojban.
2-2. Explain mainly a model based on the classical first-order predicate logic, because this model is most widely used in modern scientific theories.
2-3. However, emphasize that Lojban can do more, including intuitionistic logic, modal logic, multivalued logic, higher-order logic etc. (Actually I spoke to philisophers on this idea last year in Japanese : http://youtu.be/lzqhNYCWKLo?list=UU0k-Re5fyJXl4bGKSJLpkSA
I am very sorry for not yet translating it into English. You will find some traces of the speech also in la jbovlaste, for example http://jbovlaste.lojban.org/dict/bu'ai .) We _can_ take even a model aristotelian, though the model is too weak to be applied for modern sciences.
If some of you agree to my idea, I will prepare an unofficial version of Chapter 16 of CLL, just like I did for xorlo gadri (http://www.lojban.org/tiki/tiki-index.php?page=gadri:+an+unofficial+commentary+from+a+logical+point+of+view ) but trying to write in easier style to be understood by non-logicians.
pei mu'o