形式化

---

(拉丁语forma——形式，形象) 使认识的内容精确化。

实现认识内容精确化的手段是，依据某些物质结构具有相对稳定性，揭示和确定一切被研究之客体的本质属性和规律性，将其与现实中属于该类的一切被研究之客体、现象和过程加以对比。形式化是认识论的一种方法，其特点在于通过揭示和确定内容赖以存在之形式，借助形式化手段来揭示内容并使内容精确化。任何一种形式化总是包含著把发展中的活生生的现实加以“粗糙化”的因素。

然而，这种加以“粗糙化”的作法却是认识过程的必要步骤。

追溯历史，形式化是伴随著思维和语言的产生而出现的。形式化发展中迈出的重大一步与文字的发展有关。

后来，随著科学的进步，特别是数学的发展，便给语言的表达手段陆续补充了专门性质的各种符号。随著形式逻辑的产生，也就出现了逻辑化形式的方法，被用之以揭示推论和证明的逻辑形式。

在现代数学中，字母演算的创立和逻辑演算思想(莱布尼茨)的产生是形式化方法发展中的重大阶段。自19世纪中叶以来，数理逻辑创立了逻辑演算理论，人们便能够应用数理逻辑的各种手段把科学中的各门学科实现形式化。知识的各个领域被用数理逻辑的各种手段加以形式化，于是便获得了一种形式系统的形态。知识的形式化并不排除整个认识过程所特有的、内容和形式之间的辩证对立关系。

现代逻辑的研究成果表明，如果某一内容极为丰富的理论被加以形式化，那这一理论也是不可能在这一形式系统中被概括无遗地反映出来的；在理论中总会留有一些未被揭示的、未被形式化的部分。形式化与被加以形式化的内容两者之间的这种不相吻合的情况，可以充当科学的形式逻辑手段发展的内在源泉，并通常表现为发现一些在该形式系统中所不能解决的命题(这种矛盾的另一种形式，表现与二律背反)。要克服这一状况，只有创立新的形式系统，以便将那些被先前的形式化所忽略的部分再加以形式化。

这样，便可以使内容的形式化愈益深刻，但不能达到绝对充分的程度。