论文部分内容阅读
数理逻辑是研究推理和计算的科学。它是一门多分支和多方面的学科。它的主要特征是用严格的形式化方法建立逻辑演算系统。而形式化方法不仅是数理逻辑研究的重要方法，而且也是普通逻辑研究的主要手段。也有人试图用这种方法研究辩证逻辑。因此，深入地研究形式化方法对于发展现代逻辑科学有重要意义。本文试图对形式化方法及其科学意义问题提出一些不成熟的看法，就教子逻辑工作者和广大读者。