forumadmin, Administrators
2,073
edits
Logical language: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Types of conlangs}} | {{Types of conlangs}} | ||
'''Logical languages''' are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner. | '''Logical languages''' (often abbreviated to '''loglangs''') are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Loglan]] and its successor [[Lojban]]. They both aim to eliminate [[syntactical ambiguity]] and reduce [[semantic ambiguity]] to a minimum. In particular, the [[lojban grammar|grammar of Lojban]] is carefully engineered to express such predicate logic in an unambiguous manner. | ||
==See also== | ==See also== | ||