为什么会有模态逻辑的S1-S5? 刘易斯逻辑之五

标题 为什么会有模态逻辑的S1-S5? 刘易斯逻辑之五

为什么会有模态逻辑的S1-S5? 刘易斯逻辑之五

这个世界，自从有一批自由人去做那些不识人间烟火的符号探究，这大概就把人和动物给区分开了。人们为什么要去研究符号？既不能生财，也不能升官，好像也出不了什么风头。有什么魔幻诱使人们在文字符号上下功夫的呢？一种解释是因为有那么一个闲暇的阶层，他们有大把时间奉送给这个虚无飘渺之乡。还有一种解释是这个社会出现了教育这个行业。有了教育，你就得传授知识给受教育的人，而知识一定是用文字符号来构造的。
但两种解释好像都没有说到点子上。究其根本，还是这符号文字之中，蕴藏着也许是来自宇宙深处的智慧、门道和理数，不是智者登录不了这个符号文字的殿堂。这当然就能够打动一些精灵去闯荡这个魔宫，在他们寻求宇宙智慧的同时，还能够让自我来一个超越性的价值实现的机会。退一步说，即使实现不了这种超越，这个探究的过程也值得去体验。

这个世界中的蠢人太多，自诩顶层安排的那些土博士假博士，那些上边拿钱下边忽悠的文臣武将，明明都是些自家的糊涂算计，却能够算计忽悠芸芸众生，还能够玩芸芸众生于股掌之中。叹乎哉，且悲乎哉也。
幸亏还有这个不食人间烟火的符号文字研究，它也许拯救不了人的愚蠢，但至少让不少人能够知道，什么是智慧，什么是愚蠢？什么是理数和世道，什么是自欺而且欺人？
纯粹的符号文字研究的主要学科自然是数学和逻辑，数学研究数符号&