What is Toaq? (for linguists): Difference between revisions

m
I forgot if I changed anything but oh man! we're clicking Save Changes
m (more tweaks)
m (I forgot if I changed anything but oh man! we're clicking Save Changes)
Line 22: Line 22:
In the process, Toaq tries to preserve a high degree of humanism. It would be simple to achieve our goal by assigning a phonology to a set of mathematical symbols, but such a language wouldn't look anything like human language, and would be difficult for humans to speak and process. Toaq's syntax is modeled after that of natural languages; its lack of ambiguity should, ideally, seem to be a perfect coincidence.
In the process, Toaq tries to preserve a high degree of humanism. It would be simple to achieve our goal by assigning a phonology to a set of mathematical symbols, but such a language wouldn't look anything like human language, and would be difficult for humans to speak and process. Toaq's syntax is modeled after that of natural languages; its lack of ambiguity should, ideally, seem to be a perfect coincidence.


== Toaq's origin ==
Interest in a "mathematically planned human language" runs centuries into the past. Consider Leibniz's ''characteristica universalis'', which inspired Frege's ''Begriffschrift'', among others. Toaq's lineage can be traced back to [[Loglan]], developed by James Cooke Brown in the 1950s to investigate the [https://en.wikipedia.org/wiki/Linguistic_relativity Sapir–Whorf hypothesis]. The idea was roughly that, if language shapes thought, then speakers of a ''logical language'' would think more logically. Its successor, [[Lojban]], furthered the effort, and its designers hoped that it would see use as a ''machine interlingua'': a syntactically unambiguous language that would put humans and computers on a level playing field for communication.
Interest in a "mathematically planned human language" runs centuries into the past. Consider Leibniz's ''characteristica universalis'', which inspired Frege's ''Begriffschrift'', among others. Toaq's lineage can be traced back to [[Loglan]], developed by James Cooke Brown in the 1950s to investigate the [https://en.wikipedia.org/wiki/Linguistic_relativity Sapir–Whorf hypothesis]. The idea was roughly that, if language shapes thought, then speakers of a ''logical language'' would think more logically. Its successor, [[Lojban]], furthered the effort, and its designers hoped that it would see use as a ''machine interlingua'': a syntactically unambiguous language that would put humans and computers on a level playing field for communication.


In the past half-century, the Sapir–Whorf hypothesis has become largely disfavored, and advances in artificial intelligence show us that computers have no trouble engaging meaningfully with natural language, no matter its syntactic ambiguity. Toaq's development, thus, proceeds more for its own sake than that of its predecessors.
In the past half-century, the Sapir–Whorf hypothesis has become largely disfavored, and advances in artificial intelligence show us that computers have no trouble engaging meaningfully with natural language, no matter its syntactic ambiguity. Toaq's development, thus, proceeds more for its own sake than that of its predecessors.


== Writing a parser ==
<div style="float:right;padding:0.5em 1em;background:#f081;margin:0.5em">
<div style="float:right;padding:0.5em 1em;background:#f081;margin:0.5em">
⟦{{t|Jıa de máq nha}}⟧<br>
⟦{{t|Jıa de máq nha}}⟧<br>