人文十年·论坛预告 | “观堂人文讲坛”第二讲开讲啦！
大约360年前，莱布尼兹提出了一项奇想和抱负，可以概括理解为：以简洁有效的形式来准确表达人类丰富的思想，从而能够将人类的思辨过程和思维演绎的过程行之有效地转换成对形式符号的计算过程，并且计算的结果恰好就是相应的思辨过程和思维演绎过程的结果的形式表述。
纵观自1850年以来数理逻辑的发展，我们能清楚地看到莱布尼兹的奇想和抱负已经得到并且正在进一步得到充分的实现。联合国教科文组织于2019年1月14日设立“世界逻辑日”，其寄语中写道：“逻辑之所以得到如此广泛的研究，也得益于并且可能主要得益于它具有多方面实际应用功能。逻辑在科学与工程学、认知心理学、语言学、传播学的发展中发挥了重要作用；逻辑也切实推动了思想变革，并且是许多创新的源泉。”
什么是逻辑？逻辑有什么功用？逻辑与生活有关吗？古往今来，中西方的逻辑思想如何演变？人文学院十周年系列学术活动之“观堂人文讲坛”第二讲：理性思维、逻辑与符号计算，冯琦教授将通过介绍逻辑与符号的基础知识以及逻辑学的概况解答以上问题，带领听众一同走近理性思维。
· 嘉宾介绍 ·
冯琦，1955年4月生，湖北松滋人。清华大学人文学院哲学系卓越访问教授，曾任中国科学院数学所副所长、中国科学院数学与系统科学研究院二级研究员；清华大学数学系教授；新加坡国立大学数学系教授；国际符号逻辑协会东亚分会主席；国际符号逻辑协会理事；曾获得国家基金委杰出青年研究基金以及入选中国科学院百人计划。研究方向：集合论、基础理论公理化、数理逻辑及其在基础科学领域中的应用。
冯琦教授重视逻辑学基础教育，已培养了一批目前活跃在国内外舞台上的逻辑学青年人才。2017年来，他先后在科学出版社《现代数学基础丛书》系列下出版了“导引”三部——《数理逻辑导引》(2017)、《线性代数导引》(2018)、《集合论导引》（三卷本）(2019)，以及一本外篇《基本逻辑学》(思维与表达正确性问题探究)(2020)。未来他将会为清华大学的本科生、研究生开设新的逻辑学课程，推动学科交叉、继续培养人才。
· 内容简介 ·
本讲座将首先梳理理性思维与逻辑的概念内涵、介绍中外逻辑学的发展简史。然后将讲解符号逻辑概要、一阶数理逻辑概要、和完全性与可计算性。符号化形式逻辑篇将介绍基本形式逻辑符号、命题符号、复合判断植入表述式等；一阶逻辑概要中将讲解一阶逻辑的形式语言、宏观对象等；完全性与可计算性则介绍完全理论等内容。
本讲座的主要目的在于介绍数理逻辑与符号计算等的基础知识，建立数理逻辑与符号的体系，从而引导听众培养和运用理性思维能力。
· 播出时间 ·
2022年8月23日 19点
播出平台
●●
文案：苑斯琪
编辑：何春苗
排版：李佳宁
审核：倪玉平
“观堂人文讲坛”简介
2022年10月，是清华大学人文学院成立10周年。为庆祝这一值得纪念的日子，学院携手中共海宁市委宣传部联合举办“观堂人文讲坛”系列学术讲座。
“观堂”是王国维先生的号，也是清华人文学术史上最为辉煌的文化符号，其独有的学术标格，一直激励着清华人文的发展。本讲坛以此命名，邀请我院各学科的优秀学者，从各自学科方法的角度，展示各自的研究范式，景仰前贤，激励后学，商量旧学，培养新知，以期共同推进学术发展。
更多信息，请浏览：