Logical Languages
Further information: Knowledge representationLogical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can be based on any system of formal logic. The two best-known logical languages are the predicate languages Loglan and its successor Lojban, which aim to eliminate syntactical ambiguity and reduce semantic ambiguity to a minimum. In particular, the grammar of Lojban is carefully engineered to express such predicate logic in an unambiguous manner. Ceqli is a derivative of Loglan which aims to retain the power of unambiguous expression but allow the speaker to trade concision for unambiguity.
Read more about this topic: Engineered Languages
Famous quotes containing the words logical and/or languages:
“Revolution
Is the affair of logical lunatics.”
—Wallace Stevens (1879–1955)
“The very natural tendency to use terms derived from traditional grammar like verb, noun, adjective, passive voice, in describing languages outside of Indo-European is fraught with grave possibilities of misunderstanding.”
—Benjamin Lee Whorf (1897–1934)