Logical language
Revision as of 18:04, 19 October 2022 by Laqme (talk | contribs) (Created page with "A '''logical language''' or '''loglang''' is a spoken language that is syntactically unambiguous in its encoding of logical forms. Toaq is a loglang, as are its popular predecessors Loglan and Lojban. Other loglangs are described on the [https://loglangs.wiki/Portal Logical Languages Wiki]. 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. The "unambiguou...")
A logical language or loglang is a spoken language that is syntactically unambiguous in its encoding of logical forms.
Toaq is a loglang, as are its popular predecessors Loglan and Lojban. Other loglangs are described on the Logical Languages Wiki.
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.
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".