Logical language: Difference between revisions

From The Toaq Wiki
(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...")
 
(Adding a short list of prominent loglangs, as well as a link to the LLWiki's list.)
 
(4 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 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<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.


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. [[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. [[Zugaı]] 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 ==
* [https://en.wikipedia.org/wiki/Logical_form_(linguistics) Logical form] on Wikipedia.
<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.
* [https://toaqlanguage.wordpress.com/2022/09/26/logical-language-misconceptions/ Logical language misconceptions], a blog post by [[Hoemaı]] about the definition of "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

  1. Logical form on Wikipedia.
  2. Definitions of loglanghood on the Logical Languages Wiki.
  3. 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.