外延、内涵和严格蕴涵系统S1-S5 刘易斯逻辑之四

**## 标题 加粗样式外延、内涵和严格蕴涵系统S1-S5 刘易斯逻辑之四

模态逻辑这门逻辑学科，估计大多数非逻辑专业的人都会茫然而无所知。这门逻辑还有个名称，称作哲学逻辑。本世纪之初，许多学校的逻辑专业研究生刚刚开始这门课的时候，大多把这个模态逻辑称名为哲学逻辑。华南师大刚开始讲授这门课之时，就是这样称呼的。但恐怕习哲学的许多人，也对这个冠之以哲学名头的逻辑，如云中雾里，遥远模糊，朦胧混沌，真会一点感觉都找不到的。
这也难怪，中国人弄逻辑，大概自严复的《穆勒名学》和《名学浅说》开始，距今仅百余年矣。穆本于1905年在金陵金栗宅木刻出版，《浅说》本则在1909年由商务印书馆出版（参见宋文坚《逻辑学的传入与研究》第一章）。但这两本书，几乎和现代逻辑一点关系都没有。穆勒就不用说了，他那本书1843年在英国出版，那时候布尔的思想还在酝酿之中。英国人耶方斯虽然对现代逻辑也颇有贡献，但他的那本《浅说》出版于1876年，现代逻辑尚在襁褓之中。自然，他们的逻辑就都只是古希腊存留的经典。
严复之后，最有影响的恐怕就是人称金逻辑的金岳霖（1895-1984）先生了，金先生的那本经典教材，就以《逻辑》两字为名，也在商务印书馆出版，时间是1937年。但整本教材仍以亚氏三段论为主，罗素上世纪初在《数学原理》中构建的命题演算，仅在金本教材中略有评介。模态逻辑连提都没有提。
金先生和他的《逻辑》

但国内在20世纪的60年代初，已经有一些学者跟上了现代逻辑的发展步伐，这时候的模态逻辑，也早就成为现代逻辑的一部分。由于众所周知的原因，随后的逻辑研究与其它学科的研究一样，中断了至少一代人的时间。一直到上世纪的80年代末，才出现周礼全（1921-2008）先生的《模态逻辑引论》一书，周先生是金先生的学生。随后，人们对于现代逻辑的研究，也就从经典现代逻辑的视野，扩展到非经典现代逻辑的视野。
周先生和他的模态逻辑