Logical language: Difference between revisions

From Linguifex
Jump to navigation Jump to search
m (Nicomega moved page Logical languages to Logical language)
No edit summary
Line 1: Line 1:
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.
{{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.
 
==See also==
*[[A priori language]]
*[[A posteriori language]]
*[[Philosophical language]]
*[[:Category:Logical languages|List of logical languages on Linguifex]]
 
[[Category:Types of conlangs]][[Category:Conlangery]]

Revision as of 00:01, 6 February 2021


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 grammar of Lojban is carefully engineered to express such predicate logic in an unambiguous manner.

See also