Lexicon Matlinae

Toaq

The Toaq language is created solpa’i to provide a clear basis for logical engineered languages.

作者认为貤语远于理语在 loglang 层面,因为:

  1. 单解析与句法清晰性。作者认为 loglang 须要能映到惟一的逻辑形式。Lojban 的形式语法(如 CLL BNF)并不编码谓词结构、变量绑定、或语言学上的 scope。

  2. 设计与语言学严格性。作者认为 Toaq 的设计更加严谨,而 Lojban「词法雕饰,句法繁芜」可能更加 user-friendly 但更难证明其为 loglang。Lojban 的设计重视易用性大于严格的单解析。

  3. 句法描述的进展。作者指出没有 loglang 被证明是完全单解析,但 Toaq 在此有很大进步。

该文有很大争议。

Translations

The character 貤 (yih ‘extend’) is an informal substitution for ⿰目㐌, the Shidinn reflux for the word Toaq. Despite the graph, it is read tuang.