Logical language: Difference between revisions
(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. | |||
Revision as of 18:13, 19 October 2022
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.
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
- Logical form on Wikipedia.
- Montague grammar on Wikipedia: a 1960s attempt to, essentially, describe a fragment of English as a loglang.
- Logical language misconceptions, a blog post by Hoemaı about the definition of "loglang".
- Definitions of loglanghood on the Logical Languages Wiki.