Logical language

This article is a stub. If you can contribute to its content, feel free to do so.

A logical language (or short, loglang) is an engineered language that attempts to implement formal logic. Logical 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.

External links

• Garrett's Links to Logical Languages
• The Loglan Institue
• The Logical Language Group

This article is part of a series on Types of Conlangs. "Reason" classification system: Artlangs * Funlangs * Engineered language * Philosophical language * Arithmographic language * Logical language * Fictional languages * Naming languages * Exolangs * Diachronic conlangs * Lostlangs * Altlangs * Auxlangs "Origin" classification system: A priori conlangs * A posteriori conlangs "Other" classification system: Sketchlangs * Kitchen Sink Conlangs * Colllangs * Relexes