Differences

This shows you the differences between two versions of the page.

--- en:logical_language [2024/06/30 12:31] – brahmantra
+++ en:logical_language [2024/08/02 14:16] () – brahmantra
@@ 1: / 1: @@
 ====== Logical Language ======
-  * logical space
+  * [[:en:knowledge_representation | knowledge representation ]]
-  * logical time
-  * logical dimensions
+Logical languages are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic. The two best-known logical languages are the predicate languages Loglan and its successor Lojban. They both aim to eliminate syntactical ambiguity and reduce semantic ambiguity to a minimum. In particular, the grammar of Lojban is carefully engineered to express such predicate logic in an unambiguous manner. Toaq and Eberban are also logical languages.
-  * logical place
-  * logical person
+  * Examples of logical language
-  * logical body
+    * [[:en:logalan | loglan ]]
-  * logical thing
+    * [[:en:lojban | lojban ]]
-  * logical choice
-  * logical will ( must , should , want , could , may )
-  * logical change
-  * logical prediction
-  * logical being
-  * logical existence

Detach Close

You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on Create this page.

This topic does not exist yet