2020/10/27

第一次见到刘壮虎和李小五两位老师。早年跟随冯棉老师学习相干逻辑，听来他与李小五老师的学术争论，十分有趣。曾在华东师大图书馆里找到一本浅蓝色封李小五老师著的《条件句逻辑》，现在只记得封面。刘壮虎老师毕业于北大数学系，倒是在郦全民老师的课上听其学术修为。他的《逻辑演算》一书，在逻辑学人之间也广受推介。

李老师须发皆流，精干强健，与刘壮虎老师亦师亦友。在陌生人面前，也是彼此直截了当：他们争论刘壮虎老师T恤上英文的翻译：no, no, no, you are not thinking, you are just being logical.

刘壮虎老师今天报告的内容在这之前可谓一无所知。今天的报告颇受启发。

多值逻辑易于通过“直观语义”找到“形式语义”，然而，我们很难找到对应相关语义的形式系统，暂不论证其可靠性和完全性。提出FO系统，并以此找到证明该系统完全性的方案是刘老师这项工作的主要贡献。事情并未如此简单。给出FO系统的动机，实则与一个皮尔斯律问题紧密相关。其中的思考极具数学性。

报告后，李小五老师作为评论人，从“述学（讲了什么）”，“评断（讲得如何）”和“创发（可否接着讲）”这三个方面展开评述。印象深刻的是，逻辑学家的工作要优雅。