当代逻辑思想

007 当代逻辑思想

中华人民共和国成立后，1957年毛泽东邀见周谷城、金岳霖、王方名等逻辑学家。1959年，中共中央政治研究室编辑《逻辑丛刊》，先后选印了一批比较重要的逻辑学著作。1979年，成立了中国逻辑学会，并在此前后成立了一批研究会，使得逻辑学研究队伍日益扩大，研究水平逐步提高，取得了一系列成果。1957年周谷城发表《形式逻辑与辩证法》一文，分析了形式逻辑与形而上学、辩证法的关系，涉及到形式逻辑认识作用诸问题，引起了哲学界、逻辑学界的大讨论，深化了对于形式逻辑诸方面的认识。近年来，围绕着形式逻辑现代化的问题，逻辑工作者展开了广泛的工作。一方面，运用现代逻辑的成果和方法，对传统形式逻辑进行分析和改造；另一方面，结合现代汉语，展开对语言逻辑的研究，以增强形式逻辑解决实际思维逻辑问题的能力。取得了一系列的成果。如马佩主编的《语言逻辑基础》、陈宗明的《逻辑与语言表达》、诸葛殷同等著《形式逻辑原理》、李文健等编写的《新逻辑数程》等。在数理逻辑方面，1950年莫绍揆发表 《推导定理和两类新的逻辑系统》，文中提出模态命题演算的自然推理系统。1981年沈有鼎构造了一个称为 “纯逻辑演算中不依赖于量词的部分”的系统，此系统是可判定的、完全的。马希文开创性地研究了有关“知道”的逻辑问题的形式化，在理论上和人工智能研究的应用上都有重要意义。1983年莫绍揆《数理逻辑教程》出版，提出了关于约束词的新说法、永真假性的特征数的概念等。归纳逻辑和逻辑方法的研究也取得了一系列的成果。江天骥《归纳逻辑导论》介绍了归纳逻辑的一些基本理论和新进展。马希文、洪加威等分别研究了人工智能与计算机中运用逻辑的一些问题。中国逻辑史的研究成绩斐然。先后出版了《墨辩发微》、《墨家的形式逻辑》、《中国逻辑思想史》、《先秦逻辑史》、《中国逻辑史》等专著和一大批论文。对先秦各家的逻辑思想和因明学在中国的历史发展，都作了充分的研究，多有创见。并对金岳霖等的逻辑思想展开了研究。西方逻辑史的研究也进一步展开。近年来，一些逻辑工作者不仅尝试用现代逻辑的工具去分析亚里斯多德的三段论，而且对斯多阿逻辑、阿拉伯逻辑和数理逻辑发展史展开了研究。并开展了中国逻辑、印度因明和西方逻辑三种逻辑的比较研究，取得了一系列成果。