第六章　对形式化方法的哲学考察

形式化是现代逻辑最重要的方法，并且是其特色之所在。本章将讨论下述问题：形式化的一般程序及其本质，形式系统的解释或模型，希尔伯特规划和形式主义，形式化方法的作用及其内在的局限性；并阐述下述主要看法：（1）形式化程序的实质是：完全撇开所使用符号的意义，撇开该符号系统所适用的对象范围，只凭借明确给出的与符号的字形（结构）相关的语法规则构造形式系统，然后对如此构造的系统进行解释。（2）在形式系统的解释方面，逻辑学经历了从单世界假定到多世界假定的演变，也就是经历了从现实世界模型到可能世界模型的演变。在此过程中，逻辑研究的重心经历了从证明论到模型论的演变。（3）形式化把精确性、严格性、显明性、能行性和普遍性等带入理论研究之中，促使理论研究走向深入和深化；但它也具有许多内在的局限，如适用范围的狭窄性、研究结果的尝试性、作用程度的有限性等。