Logical language: Difference between revisions
(<ref>) |
(replace mention of zugai with kuna) Tags: Mobile edit Mobile web edit |
||
| Line 3: | Line 3: | ||
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 "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. | ||
== See also == | == See also == | ||
Revision as of 15:46, 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 "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.
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.