Logical language: Difference between revisions
From FrathWiki
Jump to navigationJump to search
WeepingElf (talk | contribs) No edit summary |
WeepingElf (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
A '''logical language''' (or short, '''loglang''') is an [[engineered language]] that attempts to implement formal logic. | A '''logical language''' (or short, '''loglang''') is an [[engineered language]] that attempts to implement formal logic. | ||
Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Wikipedia:Loglan|Loglan]] and its successor [[Wikipedia:Lojban|Lojban]], which aim to eliminate syntactical ambiguity and reduce semantic ambiguity to a minimum. | Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can be based on any system of formal logic. The two best-known logical languages are the predicate languages [[Wikipedia:Loglan|Loglan]] and its successor [[Wikipedia:Lojban|Lojban]], which aim to eliminate syntactical ambiguity and reduce semantic ambiguity to a minimum. | ||
==External links== | |||
[*http://minyeva.alkaline.org/links.htm Garrett's Links to Logical Languages] | |||
Revision as of 13:09, 23 February 2006
A logical language (or short, loglang) is an engineered language that attempts to implement formal logic. Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can be based on any system of formal logic. The two best-known logical languages are the predicate languages Loglan and its successor Lojban, which aim to eliminate syntactical ambiguity and reduce semantic ambiguity to a minimum.
External links
[*http://minyeva.alkaline.org/links.htm Garrett's Links to Logical Languages]
