Logical language

A logical language or loglang is a spoken language that is syntactically unambiguous in its encoding of logical forms.

There is some debate about the exact definition of "loglang", and in its most general sense it may refer simply to a conlang that is somehow based on logic. Toaq calls itself a loglang in a rather strict sense compared to its predecessors Loglan and Lojban — see the blog post by Hoemaı linked below.

The "unambiguous encoding" implies that sentences in a loglang can be parsed and converted into their logical forms by a computer program. Zugaı aims to do this for Toaq.

See also

• Logical form on Wikipedia.
• Montague grammar on Wikipedia: a 1960s attempt to, essentially, describe a fragment of English as a loglang.
• Logical language misconceptions, a blog post by Hoemaı about the definition of "loglang".
• Definitions of loglanghood on the Logical Languages Wiki.