论文部分内容阅读
数理逻辑,又称现代形式逻辑,是传统逻辑的继承和发展。它与传统逻辑一样,都是以思维形式、思维规律以及一些简单的思维方法作为研究对象。不同的是,数理逻辑是用形式化的方法来进行研究。这种形式化表现在用符号把逻辑思维表达为逻辑演算。因此.它比传统逻辑更为严谨、更为丰富。从这个意义上来讲,数理逻辑代表了形式逻辑发展的新阶段。