Can you summarize the following document?
        
  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兩種文法描述語言對其語法進行了定義。
邏輯語(邏輯語:,英語:Lojban,),一種人工語言,是Loglan的後繼者,由邏輯語言群(英語:Logical Language Group,LLG)在1987年開始發展而成。最初目標是證明薩丕爾-沃夫假說。它依照形式語言尤其是謂詞邏輯構造,而非建基於現有的自然語言。其特點是:言文一致、形意一致、文化中立。