数学联邦政治世界观
超小超大

条形逻辑

如果我们考虑一个与事实违背的命题(counterfactual assertions),如:

如果数学家活到1949年以后,那他会离开大陆。

这句话在说什么?事实上,数学家并没有活到1949年以后。那么如果这里仅仅用逻辑的理解方式,就会发生问题:我们知道p → q ⇔ ¬p∧q,由于数学家没有活到1949年以后,所以p为假,这个命题为真。同样的道理,如果将“离开大陆”改为“留在大陆”,命题也为真。这就很反常识了。当然,我们日常的理解,肯定是说:假设数学家活到1949年以后,那么他更有可能到哪里。所以这样的思维能否用逻辑来表示?逻辑学家是怎样想的?

S4 S3 S2 S1

W

Ring 1

Ring 2

Ring 3

|A|

The worlds accessible from w for |A|.

Garson J.W.:Modal Logic for Philosophers,Second edition,USA: 2013, 459

逻辑学家的解决方案也很符合我们的常识。对于一个给定的世界ω,有若干邻域(neighbourhood)S₀,S₁,S₂,· · ·,它们各自包含了各种各样的世界,满足{ω}=S₀ ⊂ S₁ ⊂ S₂ ⊂ · · ·,那么,我们现在将上面这个例子抽象:如果A,那么应该会有B。其中A=数学家活到1949年以后,B=数学家会离开大陆。我们将满足A的世界的集合记作|A|,那么这句话的意思就是,在离中心ω最近的满足A的世界,有B成立。也就是说,这句话来说,在离我们最近的数学家活到1949年以后的世界,数学家会离开大陆。这就是逻辑学家的解释。当然,笔者谈这个例子,只是因为互联网上有这样的观点和讨论,并不是笔者的观点。

在条件逻辑中,很多原来的逻辑规则会失效,比如说,在数学的逻辑中,我们如果有A → C,就有A∧B → C,但是在条件逻辑中,这就不成立。最简单的例子如下:

往咖啡里加糖,咖啡就会变得好喝。

往咖啡里加糖和汽油,咖啡就会变得好喝。

在常识中,第一条成立,但第二条不成立。所以说A → C ⇒ A∧B → C这一条规则在条件逻辑中不成立,但在平凡的逻辑中成立。

参考文献

• [1]Garson J.W.: Modal Logic for Philosophers, Second edition, USA: 2013

• [2]G.E.Hughes, M.J.Cresswell: A New Introduction to Modal Logic, London: T.J. International Ltd. 1996

• [3]Benthem, J. F. A. K. van: modal logic for open minds, USA: CSLI Publications 2010

本文使用 Zhihu On VSCode 创作并发布

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

旁观者有罪 连载中
旁观者有罪
悲楚南落笔兰
往往查的越多…死的就越快,警告的终端便是死亡,查不到的往往是最危险的,科学的终端是玄学…而玄学的终端则是无尽的幻想……
0.6万字5个月前
无限流——这个NPC是如此的独特 连载中
无限流——这个NPC是如此的独特
彼岸之舟*
作为无限流游戏中的固定NPC,白景欢在同一个故事里轮回过许多次,也遇见过许多人,可那些都不是他所期盼的。直到有一天,他觉醒了意识,也再次见到......
30.7万字5个月前
抱歉,徒弟有点多 连载中
抱歉,徒弟有点多
浔眠Dorment
【修仙+大女主+狗血+打脸】江予瑾X玄苍五百年过去了,以为死对头终于死了打脸,江予瑾好不容易决定从山上下来逛逛,结果处处受阻……没关系,我有......
0.3万字4个月前
我的老板是个鸟人 连载中
我的老板是个鸟人
WIFI_599882114386285
激情产物
0.4万字2个月前
快穿:一统乙女游的白月光 连载中
快穿:一统乙女游的白月光
遥望星星的月
她是一统乙女游的白月光是所有人的月亮是所有人的心头肉是所有人的掌上明珠1:娱乐圈的白月光在组合内,她是当之无愧的顶流女爱豆,公司要求演戏,她......
10.2万字1个月前
龙和吸血鬼 连载中
龙和吸血鬼
红竿
龙女,她不知族人还剩几个,也不知自己的长生有何意义。吸血鬼,猎杀和爱情带给他同等的神经震颤。他不知道自己是想杀了她,还是爱上了她。两个都不属......
20.7万字3周前