[本站讯]近日,哲社学院第33期思想力论坛在中心校区知新楼举行。西南大学逻辑与哲学研究所林哲研究员作了题为“非经典逻辑与计算性导论”的报告。山大哲社学院教师梁飞主持报告会。
林哲首先简要回顾了现代逻辑的发展历史。他认为,哥德尔不完备性定理标志了以构建数学基础为目标的逻辑主义的失败,而计算机科学的发展使现代逻辑获得了新生。特别地,现代逻辑在定理证明、专家系统、数据库、编程等计算机科学领域中有着重要的应用。在此背景下,林哲以经典命题逻辑为例,介绍了矢列演算系统、可判定性和计算复杂度的概念,深入浅出地说明了逻辑学与理论计算机科学之间的密切联系。进一步地,林哲从应用的角度出发,系统地介绍了直觉主义逻辑、线性逻辑、兰贝克演算三种非经典逻辑的复杂度问题及其在计算机科学中的应用。讲座最后,林哲研究员同在座师生就计算性、复杂度和证明论等问题进行了深入交流。