1
edit
Logical language: Difference between revisions
m
Added "and"
(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...") |
m (Added "and") |
||
| (5 intermediate revisions by 4 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 />. | ||
Toaq | 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. | |||
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), and [[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. | ||