现代逻辑的基本方法。把一个理论形式化就是把理论中的概念转换为形式语言中的符号，命题转换为符号公式，定理的推演转换成符号公式的变形，并把一个证明转换成符号公式的有穷序列。由于形式语言的符号和它们所表示的概念之间的对应是确定的，因此符号公式的结构就反映了它们的意见。把一个理论形式化后，就可以暂时完全撇开原来理论中的概念、命题的意义，而只从语言符号、公式结构(符号组合的形状)方面研究。意义是抽象的，往往不容易精确理解和掌握。而符号和公式是有穷的具体的对象，能够对其作更精确、更严格的研究，从而通过对具体符号的研究把握抽象的东西。
机器翻译(语言)：指利用计算机自动翻译自然语言。它以语言学、数学和计算机科学为基础：语言学家提供适合于计算机加工的词典和语法规则，数学家把语言学家提供的材料形式化、代码化，计算机科学家给机器翻译提供软件手段和硬..
数理逻辑(语言)：①也叫“符号逻辑”、“现代形式逻辑”。一门以研究推理规律为核心内容并具有数学性质的工具性学科。一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某..
优选语义学(语言)：用于机器翻译的一种语义学理论。该理论运用五种语义单位来描写从单词、句子到段落的语义。*语义元素是最基本的语义单位。由语义元素构成义式，用于描写单词的语义。如“审问”一词的义式可写为：审问→..
语义元素(语言)：也叫“语义因子”、“语义基元”。构成复合概念的基本概念。选择语义元素的原则是：⑴它的数目应是有限的；⑵应适合于表达各种复合概念；⑶语义元素之间应是彼此独立的；⑷语义元素之间不能循环定义；⑸语义元素..
形式文法(语言)：用于生成语言中的合格句子，并排除不合格句子的一套数目有限的规则的集合。它山初始符号S、非终极符号VN、终极符号VT和改为规则P四个部分组成，记为：G=(VN，VT，S，P)。句子的生成，表现为从初始符号开始，反复应用改..