| 形式化方法 formalization method 用一套特制的表意符号(其意义可以解释的)，去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究，转化为对形式符号表达式系统的研究的方法。现代科学中常常运用这一方法去揭示研究对象的内在联系和规律。希尔伯特等曾对这一方法加以精确刻画。希尔伯特认为：“数学思维的对象就是符号本身，符号就是本质，它们并不代表理想的物理对象，公式可以蕴涵直观的有意义的述说，但是这些涵义并不属于数学。”“逻辑是一种记号语，它把数学语言表示成公式，用形式的程序表示推理，所有的符号在内容上都与它们的意义无关，这样所有含义也就都从数学符号上消失了”。卡尔纳普认为：“我们将把完全不提及意义或涵义的、关于语言表达式的述说或定义为‘形式的’，关于某个句子的形式的研究、并不涉及句子的意义或单词的涵义，而仅涉及词的种类和它们相连接的次序。”塔尔斯基也表达了同样的看法，并且进而指出：“如果在构造一种理论时，我们在做法上宛如不了解这一学科的词项的意义，这并不等于否认这些词项的意义。”并且断言：“一种不可能给以任何解释的形式系统，是不会有人对它感兴趣的。”古代逻辑学家就曾偶尔使用过一些符号去表达词项、命题。而布尔的逻辑代数，德·摩根的关系逻辑的处理，弗雷格的量词符号的引进，都是在某些关键之处使用了符号。形式化方法用于公理系统后产生的形式系统，是形式化方法高度发展的标志。形式化能克服自然语言的歧义性，简洁地表达理论，为科学研究提供了严格的、精确的表达工具。统一地使用形式语言，可以消除自然语言的不通用性，便于交流，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系、导致新发现。形式化方法不仅是现代逻辑研究中的基本方法，而且也是数学、物理学、化学等学科中广泛使用的方法。形式化方法也有局限性。形式化和直觉是相辅相成、对立统一的，任何对其中一个方面的绝对强调，都将把认识引至歧途。 |