Logical language

Logical languages, sometimes called loglangs, are constructed languages usually intended as experiments in logic or philosophy. They are meant to allow 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.

Some logical languages have been considered candidate global auxiliary languages.

Examples of logical languages

Human-usable

• Ceqli
• Láadan
• Loglan
• Lojban

Knowledge representation

• CycL
• KIF
• Lincos
• Loom
• RDF

External links

• Garrett's Links to Logical Languages
• Conlang Directory: Logical