题目：抽象、概念和真——逻辑直观与形式结果

主讲：邢滔滔副教授 北京大学哲学系

时间：2017年6月16日周五09:00-12:00

地点：中国科学院大学中关村校区S104

摘要：抽象、概念、类与真是人们把握世界的几种基本方式，但人们对于这些方式的理解却有一个从简单到复杂的过程。本讲座介绍纠缠于这些理解背后的一种逻辑直观——对角线直观，以及由此导出的一些技术性结果，如康托尔定理、罗素悖论、塔斯基不可定义性定理，以及哥德尔不完全性定理。讲座不假设听众熟悉相关的逻辑和数学知识，只描述那些技术性结果背后的直观想法，试图提供一个范例，显示直观与形式的互动，以及哲学、逻辑与数学的某种统一性。