模态逻辑的先声:H.麦克考尔的可能概念 C.I刘易斯逻辑之二
年初从武汉开启的这场covid19疫风,没有想到如此之来势汹汹。时光跨越了大半年,疫情还在全世界蔓延肆虐,几乎就没有它到不了的地方,伴随这疫情的,还有不少地方的漫天蝗虫,森林大火,暴雨洪水。这愁雾悲情的2020年,除了这些老天赐给人的自然灾害,这个世界的风云变幻,诡谲莫测,更表征在人文分型与人文站边的争斗之中。
世界向何处去?人类自身伴随时空不断撰写的历史故事,是朝东?还是朝西?是姓资?还是姓社?是相信集体的无意识,还是相信个体的自立创造?也许,这永远也不会有一个确定的答案,也许,这个愁雾悲情的2020年带给人类的灾难,会给我们一些新的启示。
但不管是个什么样的故事,人们对于知识的探究不会停歇,一些人在期冀未来,一些人在回望过往,还有一些人在面对实在而打拼。似乎每个人都会在这个混沌的世界之中,自觉不自觉地为自己设定一个点位。
我该干些什么呢?我所关注的刘易斯的故事,既然已经有了开头,自然就得延续下去。其实,没有开头,一点也不影响我们对于知识的探究,什么时候都可以找到起点。无尽的时空隧道之中,什么地方都可以成为一个重新开始的点位。
探究CI刘易斯所创立的模态逻辑,上篇已经开始,我们继续前行。
C.I.刘易斯的开篇中,就已经提及,刘易斯从罗素和怀特海的《数学原理》一书中,看到他们对于实质蕴涵的定义。罗素从他逻辑系统的需要而建构了这个定义,刘易斯则从他的直觉,对这个定义提出了质疑。但细看逻辑史,