Logical language: Difference between revisions

From The Toaq Wiki
No edit summary
(<ref>)
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ı linked below.
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 "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.
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.


== 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".
* [https://loglangs.wiki/Definitions_of_loglanghood Definitions of loglanghood] on the Logical Languages Wiki.

Revision as of 18:30, 19 October 2022

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 "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.

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.