11月27日晚，我校“树人大讲堂”素质教育系列第十一期讲座在逸夫小报告厅开讲，国际符号逻辑协会委员、贵州制约逻辑学会理事长、贵州省先进科技工作者、逻辑学教授龚启荣作为本次讲座的主讲人，为现场师生作了题为《百年科学难题解惑—一个引人入胜的实例》的讲座。
龚启荣教授从“基础理论方面”和“应用理论方面”展开，为在场师生分别介绍了“当代形式逻辑重大的原创性新结果”和“当代形式逻辑在人工智能中的重大应用”等内容。让同学们了解到了国际人工智能研究的过去和现在以及我国人工智能研究的现状。
形式逻辑是研究思维的形式、规则、规律及逻辑方法的科学。它有助于人们正确认识事物、探求新知识，有助于人们准确、严密地表达思想和创建理论，有助于培养和提高人们理论素养。
