Logical language: Difference between revisions
m (→External links: morcat) |
(puller-together'd.) |
||
| Line 1: | Line 1: | ||
{{stub}} | |||
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. | ||
| Line 7: | Line 9: | ||
*[http://www.loglan.org/ The Loglan Institue] | *[http://www.loglan.org/ The Loglan Institue] | ||
*[http://www.lojban.org/ The Logical Language Group] | *[http://www.lojban.org/ The Logical Language Group] | ||
{{Conlangs}} | |||
[[Category:Loglangs|*]] | [[Category:Loglangs|*]] | ||
[[Category:Types of conlangs]] | [[Category:Types of conlangs]] | ||
Latest revision as of 12:12, 27 October 2011
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
| This article is part of a series on Types of Conlangs. "Reason" classification system: Artlangs * Funlangs * Engineered language * Philosophical language * Arithmographic language * Logical language * Fictional languages * Exolangs * Diachronic conlangs * Lostlangs * Altlangs * Auxlangs |
