Logical language: Difference between revisions
No edit summary |
(Adding a short list of prominent loglangs, as well as a link to the LLWiki's list.) |
||
| (3 intermediate revisions by 3 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. | 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 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ı | 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 == | ||
<references> | |||
<ref name=logical-form>[https://en.wikipedia.org/wiki/Logical_form_(linguistics) Logical form] on Wikipedia.</ref> | |||
<ref name=misconceptions>[https://toaqlanguage.wordpress.com/2022/09/26/logical-language-misconceptions/ Logical language misconceptions], a blog post by [[Hoemaı]] about the definition of "loglang".</ref> | |||
<ref name=loglanghood>[https://loglangs.wiki/Definitions_of_loglanghood Definitions of loglanghood] on the Logical Languages Wiki.</ref> | |||
</references> | |||
* [https://en.wikipedia.org/wiki/Montague_grammar Montague grammar] on Wikipedia: a 1960s attempt to, essentially, describe a fragment of English as a loglang. | * [https://en.wikipedia.org/wiki/Montague_grammar Montague grammar] on Wikipedia: a 1960s attempt to, essentially, describe a fragment of English as a loglang. | ||
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.