本网讯：（通讯员孙中阳） 2021年2月至2021年6月，必威主办了“2021春季学期逻辑与哲学”系列讲座。本学期共举行6场报告，分别由2位海外教授、4位国内教授主讲。本学期此系列讲座由必威科学技术哲学教研室程勇教授负责组织。 讲座内容涵盖逻辑与物理学、哲学逻辑、逻辑哲学及数学哲学。每场报告共2小时，其中主讲90分钟，交流讨论30分钟。2场线上报告在Zoom平台举行，来自海内外的师生参加了线上报告。线下报告单独报道，线上报告集中期末报道。

2021年4月9日下午3点，逻辑与哲学系列讲座第1讲由中科院数学与系统科学研究院冯琦研究员主讲，报告题目是：实在、存在、抽象表示。参见线下报告的报道：http:/info/1037/13984.htm

2021年4月21日上午9点半， 逻辑与哲学系列讲座第2讲由哈佛大学哲学系Peter Koeller教授主讲，报告题目是：心智能否机械化。必威程勇教授主持，加州大学欧文分校陈泽晟博士，四川大学哲学系徐召清副教授、安徽皖西学院石运宝博士参加与谈。 Peter Koeller的报告讨论两个与不完全性定理紧密相关的哲学论题：反机械主义论题和哥德尔析取论题。反机械主义论题认为人类心智是不可机械化的。对第一不完全性定理（G1）的一种流行解释是：G1蕴涵反机械主义论题。文献中有不少基于不完全性定理的支持反机械主义论题的论证，其中最著名的是卢卡斯（Lucas）论证和彭罗斯（Penrose）论证。但几乎所有的逻辑学家和绝大数哲学家认为卢卡斯论证和彭罗斯论证及其变体都不是令人信服的。哥德尔不认为G1蕴涵反机械主义论题；他认为，从不完全性定理至多只能得出如下一个更弱的结论（称为“哥德尔析取论题(GD)”）：若人类心智是可机械化的，则存在绝对不可判定命题（人类心智无法认识的数学真理）。Peter Koeller认为，要精确的讨论GD并证明不完全性定理蕴涵这一论题，首先得在恰当的形式系统中形式化GD。通过对相对可证性、绝对可证性、真这三个基本概念给出限制性的逻辑界定，Peter Koeller构造了形式系统DTK，在DTK中形式化GD，并证明了如下结果：（1）GD在DTK中可证；（2）卢卡斯论证和彭罗斯论证在DTK中都不成立；（3）GD的两个析取支命题“人类心智不可机械化”和“存在绝对不可判定命题”在DTK中对应的形式化命题在DTK中都不可证。讲座最后，Peter Koeller认为“心智可以机械化”和“存在绝对无法判定的命题”这两个命题自身可能是“绝对无法判定的命题”的例证。Peter Koeller这一工作是运用现代逻辑的方法分析传统哲学问题的一个成功范例，得到了十分深刻的结论

2021年5月7日晚7点，逻辑与哲学系列讲座第3讲由清华大学哲学系刘奋荣教授主讲，报告题目是：主体社会性的逻辑刻画。参见线下报告的报道：http:/info/1037/14204.htm

2021年6月2日晚7点，逻辑与哲学系列讲座第4讲由牛津大学哲学系Volker Halbach教授主讲，报告题目是：自指，真与可证性。荷兰乌得勒支大学哲学系教授、荷兰皇家人文与科学学院Albert Visser院士主持。德国柏林洪堡大学计算机科学系Balthasar Grabmayr博士、瑞典哥德堡大学Graham Leigh研究员担任与谈人。Volker Halbach教授的报告以几类特殊的自指语句作为切入点。这类语句直接指向它们自身的性质，如真、假、可证明、不可证明。自指语句通常会造成悖论。在Volker Halbach的报告中主要介绍了四种由自指引发的悖论——说谎者悖论、Curry悖论、Visser悖论和Yablo悖论。紧接着，Volker Halbach开始对形式系统中的自指语句进行探讨。在自指语句的研究中，最著名的应用就是哥德尔第一不完全性定理。受悖论的启发，哥德尔第一不完全性定理最重要的步骤之一就是构造了自指的语句，但并没有导致矛盾。我们可以这样描述哥德尔所构造自指语句的含义：本语句是不可证的。这类语句也被称为哥德尔语句。哥德尔成功地证明了其所构造的自指语句在系统内是不可证明的。然后，受到哥德尔语句的启发，人们自然会关心与哥德尔语句相对应的Henkin语句是否是可证的问题。Henkin语句的含义是：本语句是可证的。在报告中，Volker Halbach总结了Kreisel在1953年时对这一问题的回答：Henkin语句是否可证不仅由证明谓词所决定，也由自指获得的方式所决定。对于具体问题的回答不仅由公式的编码和表示方式决定，也由自指获得的方式决定。但是，当我们研究规范化证明谓词时，自指的内涵性将不再作为决定因素。如果我们关注的是其他谓词，不同的对角化语句可能表现出不同的性质。然而规范化证明谓词是一个例外，所有有关该谓词的对角化语句在是否可证明的问题上是等价的。接着，讲座还针对另一类自指语句：“本语句是真的”的可证明性进行了探讨。相较于规范化可证明的强结论，规范化真的结论就要弱很多。Volker Halbach在报告中列举了三种语句形式，它们分别是可证明的、可驳斥的、独立的。讲座的最后，作者对自指问题的研究前景以及需要攻克的难点进行了展望。量化的自指语句如何解释，公式如何表达自指语句中的性质，自指语句如何进行编码等问题还有待进一步的研究与探索。

2021年6月18日晚7点，逻辑与哲学系列讲座第5讲由北京大学哲学系陈波教授主讲，报告题目是：如何说明肯定命题的假和否定命题的真？——论究竟有没有否定事实。参见线下报告的报道：http:/info/1037/14516.htm

2021年6月24日上午9点，逻辑与哲学系列讲座第6讲由复旦大学必威郝兆宽教授主讲，报告题目是：数学哲学中的客观主义与划分线理论。参见线下报告的报道：http:/info/1037/14516.htm

逻辑与哲学系列讲座线上报告的视频经报告人授权已上传至必威bilibili官方频道上，可通过以下网址观看：

https://space.bilibili.com/592450385/channel/detail?cid=180155

（编辑：邓莉萍 审稿：严璨）