685
edits
Logical language: Difference between revisions
no edit summary
(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...") |
No edit summary |
||
| 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. | ||
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 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. [[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. | ||
| Line 11: | Line 9: | ||
* [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://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. | |||