9月17日下午，“科学技术哲学与科学技术史学术论坛”2010年第23期在科学技术哲学研究中心学术报告厅举行。本期论坛邀请到山西大学哲学社会学学院毕富生教授。毕老师报告的题目是“传统逻辑与现代逻辑”，报告会由中心安军老师主持。 　　毕老师针对目前逻辑研究中存在的概念混乱问题，如形式逻辑是否是传统逻辑，二者之间是什么关系？以及形式逻辑体系是否完全由亚里士多德创立等问题展开讨论，旨在向大家正面建构概念及其之间的关系。
　　传统逻辑是包括名词逻辑和传统命题逻辑的逻辑理论。名词逻辑——奠基者是亚里士多德，在亚里士多德那里，他以名词外延之间的关系作为主要依据，重点讨论了直言命题，以此建立了第一个公理化的逻辑系统，即三段论系统。这个系统揭示了直言推理的逻辑规律。我们叫做名词逻辑系统。后人把它又叫做词项逻辑；传统命题逻辑理论——主要来源于斯多葛学派。这种命题逻辑研究的是复合命题的推理，这种推理以命题的真假关系作为唯一的依据。
　　传统逻辑的历史沿革：亚里士多德、斯多葛学派之后，尤其是中世纪时期，人们推崇亚里士多德的名词逻辑，并进行了深入的发展和研究，使亚里士多德名词逻辑成为当时的主流。自此，亚里士多德逻辑就成为传统逻辑的代名词和全权代表，而命题逻辑的研究暂时陷入沉寂。这种影响甚至延续至今，由亚里士多德奠定的名词逻辑成为完整的逻辑理论。
　　关于传统逻辑与形式逻辑的名称问题。第一，当人们研究传统逻辑的不足时，把传统逻辑等同于亚里士多德的名词逻辑；第二，当人们把传统逻辑作为课程时，又把它等同于形式逻辑或普通逻辑，此时又将其视为名词逻辑与命题逻辑的统一。传统形式逻辑紧密联系自然语言，与日常思维接近，使用半形式化的研究方法。
　　现代逻辑是用数学方法研究推理的一门科学。现代逻辑既是数学又是逻辑。说现代逻辑是数学是因为，它的方法（符号体系）与数学一样，它的产生与数学有关，它将逻辑问题转化为数学问题；说它是逻辑是因为，它研究的内容是逻辑的基本概念及推理形式。
　　关于现代逻辑与数理逻辑的名称问题。在学界，人们习惯将数理逻辑称为现代逻辑，两者实际上不是一回事。数理逻辑应包括以下五部分内容：逻辑演算（命题演算、谓词演算），公理集合论，递归函数论，模型论，证明论。而人们在实际运用中，常把数理逻辑的逻辑演算部分就当作数理逻辑，在此意义上的数理逻辑就是现代逻辑或形式逻辑的现代类型。
　　现代逻辑的由来和发展产生于传统逻辑的不足，以及数学基础理论研究的深入。现代逻辑以形式化、符号化和演算为其主要特征，它来源于传统逻辑，与传统逻辑同属逻辑学科；但它们的研究对象不完全相同，研究方法和作用不同。 　　报告结束时，安军老师做了精彩点评。毕老师的报告给我们澄清了严格意义上什么是传统逻辑？什么是现代逻辑？以及它们之间的关系，肯定了逻辑学在我们学习研究工作中的巨大作用。
　　报告在师生热烈的掌声中结束，感谢毕富生教授带给我们的精彩报告，让我们对传统逻辑、现代逻辑等概念有了深刻的理解，使全体师生受益匪浅。