出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 形式语言 |
| 释义 | 形式语言 形式语言 亦称“符号语言”“人工语言”。具有精确规则的能表意的符号系统。与“自然语言”相对。是一种人工语言,它由作为构成这一语言基本单位的初始符号库以及合式公式的构成规则(即形成规则)两个部分组成。现代逻辑是用形式语言表述的,尽管其表现力还受到一定的限制,但它能无歧义地精确地表现推理,通过用符号表示概念、判断、推理,能够把逻辑推理转换为纯形式的演算。特别能适应电子计算机发展的需要。由于规则明确,也能避免悖论。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 形式语言 一种人工的符号语言。通常由两个部分组成:(1)初始符号,它是构成形式语言的基本单位;(2)形成规则,它规定哪些初始符号序列是合式公式(简称为“公式”)。在形式语言的基础上可建立形式化的公理系统或自然推理系统。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 形式语言 亦称“符号语言”“人工语言”。具有精确规则的能表意的符号系统。与“自然语言”相对。是一种人工语言,它由作为构成这一语言基本单位的初始符号库以及合式公式的构成规则(即形成规则)两个部分组成。现代逻辑是用形式语言表述的,尽管其表现力还受到一定的限制,但它能无歧义地精确地表现推理,通过用符号表示概念、判断、推理,能够把逻辑推理转换为纯形式的演算。特别能适应电子计算机发展的需要。由于规则明确,也能避免悖论。 出处：哲学卷 • 外国哲学史 • 西方哲学 • 现代哲学 • 流派 术语 • 分析哲学 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。