[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
Mike S., On 08/09/2012 01:42:
2. Xorban is more isomorphic with FOL than Loglan/Lojban ever was. It's uncannily isomorphic to FOL, and IMVHO it has a stronger claim of being "related to logic" than any other constructed language that I have ever encountered.
FWIW I agree with this. The isomorphism is achieved mostly by not introducing a load of extra cruft. But we should remember the distinction between (I) rules that map a sentence's phonological form to its logical form, and (II) rules that map logical forms to (stuff in) (possible) worlds. We do know from past discussions on Lojban list that some folk, including John Clifford, want of a logical language that it do not only (I) but also (II), whereas others, including me and Jorge, want only that it do (I), considering (II) to be essentially extralinguistic and unachievable and potentially overly restrictive for users. Therefore, folk who are after (II) are really after a different project than Xorban is. However, to make a Xorban-B they could still use the grammar of Xorban and simply add on type-(II) rules. --And.