逻辑形式语言

逻辑形式语言（logical form language），理学-计算机科学技术-人工智能-自然语言处理-自然语言分析-语义分析，一种表意的符号语言。人类所使用的语言，可以分为三类：自然语言（如英语和汉语）、半形式化语言（如数学的语言，即自然语言加特定的符号）和形式化语言（如逻辑的语言）。逻辑形式语言属于形式化语言，是将句子以逻辑的方式表示，这种表示只涉及逻辑关系，与上下文无关。建立逻辑形式语言的思想可以追溯到德国哲学家、数学家G.W.莱布尼茨，他提出了数理逻辑的两个基本思想：构造形式语言和建立演算，要求逻辑形式语言“它能这样地形成和排列符号，使得它能表达一些思想，或者说使得它们之间具有和这些思想之间的关系相同的关系”。1879年，德国逻辑学家G.弗雷格发表了著名的《概念文字——一种模仿算术语言构造的纯思维的形式语言》。在这本书中，弗雷格借鉴了两种语言，一种是传统逻辑使用的语言，另一种是算术的语言，从而成功地构造了一种逻辑形式语言，并且用这种语言建立了一个一阶谓词演算系统，实现了莱布尼茨提出建立一种普遍语言的思想。