15
edits
Logical language: Difference between revisions
Adding alternative terminology and a mention of the companion goal of lexical unambiguousness.
(replace mention of zugai with kuna) Tags: Mobile edit Mobile web edit |
(Adding alternative terminology and a mention of the companion goal of lexical unambiguousness.) |
||
| Line 1: | Line 1: | ||
A '''logical language''' or '''loglang''' is a spoken language that is syntactically unambiguous in its encoding of logical forms<ref name=logical-form />. | A '''logical language''' or '''loglang''' is a spoken language that is syntactically unambiguous in its encoding of logical forms<ref name=logical-form />. | ||
There is some debate<ref name=loglanghood /> 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ı<ref name=misconceptions />. | There is some debate<ref name=loglanghood /> 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ı<ref name=misconceptions />. The expressions "monoparsing language", "monosyntactic language" may be regarded as clearer alternative descriptions. | ||
The "unambiguous encoding" implies that sentences in a loglang can be parsed and converted into their logical forms by a computer program. [[Kuna]] aims to do this for Toaq. | The "unambiguous encoding" implies that sentences in a loglang can be parsed and converted into their logical forms by a computer program. [[Kuna]] aims to do this for Toaq. | ||
A frequent companion goal to syntactic unambiguousness among loglangs is lack of lexical homonymy and polysemy (at least when not resolvable through syntax alone), albeit this is arguably not a necessary feature of loglanghood. | |||
== See also == | == See also == | ||