<p>Here are the top five best-known (see footnote 1).</p>

<ul>
<li>Lojban at <a href="https://mw.lojban.org/papri" rel="nofollow noreferrer">lojban.org</a> is the better-known successor of Loglan.</li>
<li>Loglan at <a href="http://loglan.org" rel="nofollow noreferrer">loglan.org</a> is based on formal logic and is to some extent not unlike a transcription of formal logic (see footnote 2).</li>
<li>Ithkuil at <a href="http://ithkuil.net" rel="nofollow noreferrer">ithkuil.net</a> is like the two above but is as compact as possible, allowing to read, write, say, and hear complex thoughts and ideas in a matter of seconds.</li>
<li>Ceqli at <a href="http://ceqli.pbworks.com/w/page/5455970/FrontPage" rel="nofollow noreferrer">http://ceqli.pbworks.com/w/page/5455970/FrontPage</a> is originally inspired by Loglan but later a bit more naturalist</li>
<li>CycL at <a href="http://www.cyc.com/documentation/ontologists-handbook/cyc-basics/syntax-cycl/" rel="nofollow noreferrer">http://www.cyc.com/documentation/ontologists-handbook/cyc-basics/syntax-cycl/</a> is a lot like a programming language intended mainly for neural networks. It's more suitable for expressing knowledge than for communication.</li>
</ul>

<p>All these have Wikipedia articles under their name, except Ceqli (available on <a href="https://nl.wikipedia.org/wiki/Ceqli" rel="nofollow noreferrer">Dutch Wikipedia</a>) to which you can go via the link given.</p>

<hr>

<p>Footnotes: 1) These languages (except Lojban and possibly Ithkuil) don't actively disambiguate <em>phonemic</em> ambiguity. That's the difference between 'an app' and 'a nap'. It resulted in English <em>a nickname</em>, from <em>an ekename</em>.
2) An example of formal logic, using prerequisite axioms <code>[PERSON(a) 'A is a person', HAVE_ALIENABLE(a, b) 'A has B alienably', HEAD(a) 'A is a head']</code>, is <code>∀ x: PERSON(x) → (∃ y: HAVE_ALIENABLE(x, HEAD(y)))</code> ('Everyone has a head', 'For every X, if X is a person, there exists some Y which X has alienably and which is a head').</p>

CC BY-SA 4.0
2018-08-13T12:42:30.350Z
"1) These languages (except Ithkuil, AFAIK) don't actively disambiguate phonemic ambiguity." Lojban does explicitly try to; hence the use of "." as a phoneme, for proper names, which are going to violate the built-in phonotactics most readily.
Nick Nicholas
CC BY-SA 4.0
2018-04-23T08:14:33.293Z
2018-08-13T17:20:06.607Z
2018-08-13T17:20:06.607Z
Duncan
<p>Which conlangs have a primary goals of avoiding ambiguity?</p>

<p>I know Lojban had that as a goal (and is in fact syntactically unambiguous), but are there others?</p>

<ambiguity><list-of-languages><design-goals>
List of conlangs whose goal is to minimize ambiguity
# List of conlangs whose goal is to minimize ambiguity

(Asked by: username_0 on 2018-02-12)

Which conlangs have a primary goals of avoiding ambiguity?

I know Lojban had that as a goal (and is in fact syntactically unambiguous), but are there others?

**Tags:** ambiguity, list-of-languages, design-goals


---

## 1 answers

### Answer by username_1 on 2018-04-23. Score: 6

Here are the top five best-known (see footnote 1).

* Lojban at [lojban.org](https://mw.lojban.org/papri) is the better-known successor of Loglan.
* Loglan at [loglan.org](http://loglan.org) is based on formal logic and is to some extent not unlike a transcription of formal logic (see footnote 2).
* Ithkuil at [ithkuil.net](http://ithkuil.net) is like the two above but is as compact as possible, allowing to read, write, say, and hear complex thoughts and ideas in a matter of seconds.
* Ceqli at <http://ceqli.pbworks.com/w/page/5455970/FrontPage> is originally inspired by Loglan but later a bit more naturalist
* CycL at <http://www.cyc.com/documentation/ontologists-handbook/cyc-basics/syntax-cycl/> is a lot like a programming language intended mainly for neural networks. It's more suitable for expressing knowledge than for communication.

All these have Wikipedia articles under their name, except Ceqli (available on [Dutch Wikipedia](https://nl.wikipedia.org/wiki/Ceqli)) to which you can go via the link given.

---

Footnotes: 1) These languages (except Lojban and possibly Ithkuil) don't actively disambiguate *phonemic* ambiguity. That's the difference between 'an app' and 'a nap'. It resulted in English *a nickname*, from *an ekename*.
2) An example of formal logic, using prerequisite axioms `[PERSON(a) 'A is a person', HAVE_ALIENABLE(a, b) 'A has B alienably', HEAD(a) 'A is a head']`, is `∀ x: PERSON(x) → (∃ y: HAVE_ALIENABLE(x, HEAD(y)))` ('Everyone has a head', 'For every X, if X is a person, there exists some Y which X has alienably and which is a head').

> **Comments:**
> **username_2**: "1) These languages (except Ithkuil, AFAIK) don't actively disambiguate phonemic ambiguity." Lojban does explicitly try to; hence the use of "." as a phoneme, for proper names, which are going to violate the built-in phonotactics most readily.  

---

