论文部分内容阅读
<正> 我国逻辑学研究和教学的改革在指导思想上,应该以“面向现代化、面向世界、面向未来”的口号作为共同的方针。在这一方针指导下,除了充分认识传统逻辑的缺陷,同时加强队伍知识结构的更新之外,最主要的是,必须采用逻辑研究的新成果和新方法,这包括:1.数理逻辑采用一整套人工语言(符号),运用数学演算的方法来研究逻辑,就是数理逻辑。它是相对于传统逻辑而言,也是相对于我国一部分研究者的观念而言的。现代数理逻辑的内容,有命题演算、谓词演算、集合论、递归论、证明论、模型论等。数理逻辑不仅使人们对逻辑推理的研究达到了极为精确和深刻的程度,还能对数学基础、