刘易斯的S3 严格蕴涵和公理刘易斯逻辑之九

最新推荐文章于 2022-01-29 17:30:28 发布

weixin_41670255

最新推荐文章于 2022-01-29 17:30:28 发布

阅读量587

点赞数

分类专栏：逻辑史

本文链接：https://blog.csdn.net/weixin_41670255/article/details/108541270

版权

本文探讨了C.I.刘易斯的S3严格蕴涵逻辑系统，包括其与S1和S2的关系。S3系统在S1的基础上增加了公理A8，形成一个更强的逻辑系统，而S1和S2则通过不同公理的引入展现出模态逻辑的发展。S3与S2并非包容关系，而是强弱之分，预示着非正规模态逻辑和正规模态逻辑的概念。

摘要由CSDN通过智能技术生成

刘易斯的S3 严格蕴涵和公理刘易斯逻辑之九

一、S1-S3的两个图表

1、符号说明

2、两个公理比较图表。

二、不同于实质蕴涵的严格蕴涵和基础性六公理

现在轮到S3了。几年前写过二本有关“必然”与“模态”的书，那是为课题而劳作。从那个时段起，就对模态逻辑的早期历史文献，C.I.刘易斯严格蕴涵系统的S1-S5很是关注。

当时就很奇怪，这个刘易斯的S1-S5，它怎么不是按照时间顺序依次产生？而是先出现S3，然后才有S1和S2呢？人们认识事物或者观念的常规，难道说，还拗得过时序的规条与限制？

这个世界的大部分存在物，的确是拗不过时空之限。时间这个恒定的单向性线条，复制在人生的时段上，那就是一条从摇篮到天堂的不归路。然后，生命的基因传递，再把这永不回归的单向线段接续起来，构成一条很为类似永恒单向的生命链条。

仅就这个生命链条而言，也许真会有一个尽头。但这个尽头之说，谁能说就是真理呢？如果一个有名的现代格言：基因是永恒的，这个格言是十分可信的话，那生命链条永恒，不就是一个顺理成章的结论么？

况且，那永恒的生命链条，并不是表现为生命的肉身，而是表现为生命的灵魂。生命的肉身，可以随时间的流逝而不复存在。生命的灵魂，则如同18世纪的德国大作家歌德《浮士德》中的智者浮士德一样，当魔鬼梅菲斯特埋葬浮士德的肉身，它的肉身随风飘去的时候，浮士德的灵魂却自由自为、留存人间。灵魂在这个意义上，大概就表现为，它是人类智者为这个世界创建的各种各样神奇奥妙，且有永恒性质的观念。

有形存在物拗不过时空的限制，但无形超越有形，观念超越实在。观念可以穿越时空，既可以超前，也可以后移。人类观念在时空序列中的运行真可谓，前可追无限，后也可追无限矣。

这大概就基本说明了这个S系统时序颠倒的来由，真理性的观念是超越时空的特别存在。我们追索一门学科的历史陈迹，常常就会产生飘渺无常、杂然流形之感，感觉到这种超越时空的观念恰如同上帝一般地神秘存在。

那么S3给了我们一些什么观念呢，我们还是闲话少说言归正传吧。

一、S1-S3的两个图表

1、符号说明

这个S3，在C.I.刘易斯1918年出版的《符号逻辑概览》中发表，早于S1，S2近15年之久。它的公理（本文公设与公理不做区分，一般用词为公理）集合是A1-A8，含有所有包括在S2之中的定理，自然也包括S1中所有的定理。如果这个S3也和S2一样，加进那个存在公理B9，还含有所有S2中的存在定理。此外，他还在评述他的系统时，在初始观念、导出规则以及系统公设之后，先弄出两类关系，实质关系和严格关系，这更增加其初期系统的复杂。

这么多的内容，当然不可能面面俱到。本篇将主要评述S3在公理指派上与前两个系统之间的差异，先列出S1和S2系统的公理比较表格。

列出图表之前，需要先做一点符号说明。1918年版《符号逻辑概览》中的严格蕴涵系统，钻石形的可能符号◇还没有启用。而且刘易斯的初始观念不是“可能”而是“不可能”，他用一个我们今天常用来表达否定的符号∼，来表示他的“不可能”，好像这个“不可能”不是指的模态，而是一个强度不同的否定符号似的。

刘易斯又引入一个“一致性”观念，用符号小圆圈〇表示一致。初期版的严格蕴涵系统，符号使用有点让人眼花缭乱。我把S3所使用逻辑符号统一做了更动，除严格蕴涵符号写为==>之外，其它符号都按当前模态通用符号表示。