2020年11月19日(周四)下午15:30,由尹飞老师主讲,我院邹桂森博士主持的“逻辑学基础之集合论”学术讲座在科技楼小会议室举行。我院师生约30人参加。
尹飞,科技哲学博士,中国自然辩证法协会问题哲学委员会委员,长期从事逻辑学研究工作,致力于逻辑学与计算机以及离散数学的相关科技史研究工作。近年来主要进行计算机与逻辑学基础方面的理论阐述与逻辑学模型论的哲学意义解释研究,主讲本科生的逻辑学通识课以及档案学本科生的普通逻辑学课程。
在此次学术交流中,尹飞老师表示逻辑学在科技研究行文中的表述至关重要,现代逻辑学与传统逻辑学的分水岭在于基础上的差异性,同时约束研究人员的思维表达。自康拓尔发明集合论以来,现代数学与逻辑学皆以集合论为基础,其中关于空集的阐述及其后续发展,为逻辑学的运用奠定了严格范围,这个范围主要探讨集合论的特点及逻辑推理的相关性。尹老师还以我国1984年的数学高考题为例,说明有时候逻辑知识会违反自己本身所知道的常识。
在逻辑推理研究方面,尹老师出版了《跨群体因果性模型》等专著,发表了《计算机发展的技术与逻辑》《哲学与数学影响下的逻辑学转向》《计算机密码学的历史及影响》等CSSCI文章。从尹飞老师的精彩讲座和师生互动中,同学们了解到了不少逻辑学的前沿知识,对逻辑学的表述功能和在日常生活中的运用有了进一步的认识。