庚子中秋之际，走进刘易斯的S4 刘易斯逻辑之十

标题庚子中秋之际，走进刘易斯的S4 刘易斯逻辑之十

轻松了几天，因旅游和俗务暂且中断了对于C.I.刘易斯的关注。眼下临近中秋佳节之际，我该回到他的严格蕴涵理论的路径上了。心中存有一个小小的期盼，争取在这个特殊的庚子中秋降临之前，当一轮满月挂在天空，银色的月光弥漫苍穹，有可能灌窗而入，就在这个时刻，我已经从C.I.刘易斯的S3，走进了他的S4。
从S3迈向S4，是模态发展史上的一个节口。刘易斯的S1，模态还隐藏在严格蕴涵的初始观念之后。这个S1系统，他认为，虽然在假设上更为经济，但只能算是一个普通演算系统。刘易斯的S2，才是他偏爱的智力奉献。正是这个一致性演算系统S2，让模态函项从后台走向前台，严格蕴涵开始了被模态逐渐替代的发展进程。而S3则是刘易斯早在1918年的《符号逻辑概览》中出现的系统，然后在其1932年的《符号逻辑》一书中，以附录形式予以整理，看作是其S2的扩张。而正是这个以不可能性公理为特征公理的S3系统，使得新生的模态，又开始有了新的分野。
现在轮到S4了，有趣的是，你在刘易斯的两本著作的正文中看不到这个S4。S1和S2出现在1932年的著作中，S3出现在1918年的著作中。而S4，同时也包括S5，它们仅出现在《符号逻辑》一书的附录《严格蕴涵系统的结构》之中。
何谓S4？用刘易斯的语言：

S4，从公理集合（B1-B7,还有公理C10）推演而得，含有所有S3的定理，另外加上公理C10的逻辑后承。公理A8(不可能公设)和B8（一致性或者可能性公设），在S4中可以推出。S4与公理C13不相容，但它与C11和C1