| 形式语言 formal language 具有精确规则的能表意的符号系统。与“自然语言”相对。是一种人工语言，它由作为构成这一语言基本单位的初始符号库以及合式公式的构成规则(即形成规则)两个部分组成。对初始符号加以解释，其中某些符号就是公理系统的初始概念。由初始符号可以组成各种符号串。形成规则规定怎样构造起来的符号串是合式公式(简称公式)。形式系统要由形式语言表述。古典的形式逻辑或普通逻辑是用自然语言表述的，较易为人接受，表现力也相当丰富，但是由于歧义性，它不能十分精确地表示推理。如果不加限制地使用，则不可避免地会导致悖论。现代逻辑是用形式语言表述的，尽管其表现力还受到一定的限制，但它能无歧义地精确地表现推理，通过用符号表示概念、判断、推理，能够把逻辑推理转换为纯形式的演算。特别能适应电子计算机发展的需要。由于规则明确，也能避免悖论。 |