逻辑语

逻辑语（逻辑语：la .lojban.，英语：Lojban，/ˈloʒban/  ( 聆听)），一种人工语言，是Loglan的后继者，由逻辑语言群（Logical Language Group，LLG）在1987年开始发展而成。最初目标是证明萨丕尔-沃夫假说。它依照形式语言尤其是谓词逻辑构造，而非建基于现有的自然语言。其特点是：言文一致、形意一致、文化中立。Lojban是一个复合字，由loj与ban组成，它来自于简短形式的logji（英语：logic，逻辑）与bangu（语言），意为逻辑语言。Lojban的前身是Loglan，由詹姆士·库克·布朗在1955年设计出的人工语言，用来验证萨丕尔-沃夫假说。Loglan稍后由Loglan中心（Loglan Institute）继续开发。詹姆士·库克·布朗发表了一系列论文，确定了Loglan的基本设计方向。但是他认为自己拥有Loglan的著作权，以法律限制其他人对这种语言的改良。对此不满的开发者，另外组成了逻辑语言群（Logical Language Group，缩写为LLG），在1987年另外设计出了Lojban。Lojban最早的标语是Lojban：Loglan的实现（Lojban: A Realization of Loglan），显示了逻辑语言群将Lojban的目标设定在实现Loglang的设计理念。此外，他们希望可以进一步改善这种语言，使它更容易使用，而且自由的被使用。经过长期的发展，在1997年出版的《逻辑语大全》（The Complete Lojban Language）标志了这个语言的成熟。逻辑语的突出特点之一是无歧义性，无歧义包括言文一致和形意一致两方面，此外另一重要特点是文化中立。言文一致，是指：自然语言如中文，一般不能达到这两个条件。例如：“新文学”和“新闻学”是同一个发音形式对应于不同的书写形式（和意义）的例子。而“老子”和“老子”（普通话俗语，代表“父亲”或“我”）是同一种书写形式对应于并不相似的发音形式（和意义）的例子。即使是其他人造语如世界语，仍然有言文不一的问题，尽管它们通常也设计尽量避免言文不一致，但是也有许多情况下需要使用停顿、重读等语音形式来区分句子的不同含义（不同侧重点），如此就使得一种书写对应含义不同的发音。通过严格的构词法和明确叙述的发音规则，逻辑语大体上达到了上述目标。并且，它的发音规则还有如下特点：由于逻辑语的书写规则比较松散，词间空白很多情况下可以省略，因此严格来说一种发音形式对应一种书写形式的要求并未达到。然而，不同的留空方式在语法层面的结构和语义层面的意义完全一致。形意一致并不是说不存在含义模糊或者笼统的情形。含义模糊，指的是概念本身的模糊，即概念的外延没有明确的边界。例如，“大”、“高”等概念在没有明确标准的情况下就是模糊的。逻辑语用来表达这些概念的词语可以是模糊的，就像自然语言一样，也可以是精确的，一般是通过给出标准来精确化。而含义笼统，则是因为有明确外延的概念的涵盖范围太广而出现的。例如，“我坐车”这个表达本身很明确，但可能坐的是摩托车、汽车、甚至自行车。当实际语境需要更明确地表述时，就出现了含义笼统。逻辑语同样存在这样的问题，避免不适当的笼统和模糊并不是语言的任务，而是语言使用者的义务。同时，适当的笼统和模糊往往是文学艺术的必要成分，完全没有笼统和模糊的语言将是没有生命力的。但是，自然语言常常会有真正的歧义。这种歧义包括四个层次：逻辑语通过严格的语法避免出现第二种歧义。由于其文法可以使用计算机程序如YACC进行检查，因此它的无歧义性就如计算机程序设计语言一样有保证。对于前一种，则通过良好、无歧义的词语定义来避免。对于语义层次，逻辑语允许在必要的时候以任意的精确度对语义予以明确，但仍允许使用者说出不明确的句子。至于语用层次，任何语言层面的规则都无法防止，包括逻辑语。许多人造语，例如世界语等，一个被人诟病的问题就是它们的语法通常基于某种或者某些自然语言的特征而构建，从而偏离了文化中立（例如世界语就是基于欧洲语言）。另一种文化中立的问题来自于词汇，因为人造语的词汇一般来自于自然语言，因此难免在取材方面有所偏颇。通过奠基于谓词逻辑，逻辑语很大程度上保证了语法上的文化中立，因为谓词逻辑本身是人类知识的一部分，并不专属于某种文化。但是，逻辑语在语法上的特质更偏向于孤立语，而与屈折语有所区别。对习惯于存在人称、数、性、格等屈折的用户，逻辑语也存在一些可选的外部屈折方式，即对词汇添加修饰项。在词汇来源方面，为了尽量做到语言中立，逻辑语的基本词汇（gismu，根词）来自于六种世界上使用人数最多的语言：此外，还有一些词汇是来自于其他文化的特定用语，另有部分来自于科学界通用术语。逻辑语音系为逻辑语之音系。逻辑语力求言文一致，即书写与发音一致，为此订立了严格的发音规则。逻辑语语法为基于逻辑语之"语法"。作为一门人工语言，逻辑语的语法相当严谨。它有严密的词法、构词法和句法以及言文一致的标点系统，可以精确表达许多自然语言难以准确表达的意义。此外，它是一种可以通过计算机程序对文字的语法进行自动检查的语言，在《逻辑语大全》一书最后一章用YACC和EBNF两种文法描述语言对其语法进行了定义。