Logical language: Difference between revisions
(<ref>) |
(Adding a short list of prominent loglangs, as well as a link to the LLWiki's list.) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| 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. [[ | 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. | |||
Some of the most prominent constructed languages that have been described as "loglangs" include [[Loglan]] (1955), [[Lojban]] (1987), [[Gua\spi]] (1989), [[Toaq]] (2013), [[Eberban]] (2020), [[Nahaıwa]] (2021), [[Xextan]] (2022). A more exhaustive list may be found [https://loglangs.wiki/Portal there]. | |||
== See also == | == See also == | ||
Latest revision as of 16:12, 11 July 2024
A logical language or loglang is a spoken language that is syntactically unambiguous in its encoding of logical forms[1].
There is some debate[2] 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ı[3]. 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.
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.
Some of the most prominent constructed languages that have been described as "loglangs" include Loglan (1955), Lojban (1987), Gua\spi (1989), Toaq (2013), Eberban (2020), Nahaıwa (2021), Xextan (2022). A more exhaustive list may be found there.
See also
- ↑ Logical form on Wikipedia.
- ↑ Definitions of loglanghood on the Logical Languages Wiki.
- ↑ Logical language misconceptions, a blog post by Hoemaı about the definition of "loglang".
- Montague grammar on Wikipedia: a 1960s attempt to, essentially, describe a fragment of English as a loglang.