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

条形逻辑

如果我们考虑一个与事实违背的命题(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),接着再看更方便。

相关小说

他说北方有神鹿 连载中
他说北方有神鹿
厌色鹿鸣
【群像】谁苍白了我的等待,讽刺了我的执着。世人皆知四大雅:颜君抱花,公子斩妖,女帝弃剑,云鹤降世。却不知的是:颜君抱花,太子心动,却终是一出......
30.7万字8个月前
下一位守门人 连载中
下一位守门人
阿翙_556556860
[养成系女主][异国他乡的探险之旅]一次巧合,我来到了一个奇怪的世界。这里似乎正在经历一次浩劫。这具身体的主人洛伊和他爷爷收养的哥哥阿野被他......
2.5万字6个月前
恋祺曰记 连载中
恋祺曰记
♡̶҉余悸꧔ꦿ℘_64666586542
马嘉祺与马芙
0.8万字5个月前
快穿:万年女配要翻身 连载中
快穿:万年女配要翻身
梁凉了
一不小心穿越了一回,系统君竟然给了无数个女配剧本!接受吧,被男女主虐死!不接受吧,马上死!灰飞烟灭的那种。于是,她妥协了。拿着女配剧本穿梭于......
56.4万字4个月前
慕容归零 连载中
慕容归零
丽志_25672919270903971
慕容前世嫁给了蔡飞,蔡飞家暴直到而死都不明白是,原来蔡飞和慕楠早就勾搭在一起了。原来墨卿才是真正的爱我的,把她抱在怀里哭。蔡飞和慕楠你把墨卿......
5.1万字4个月前
恶女功成名就后 连载中
恶女功成名就后
狂野薄荷棠
那朵纯洁的花朵其实早已烂到了骨子里,高智恶女vs阴湿男鬼忠犬,女主有后宫,此为正宫。雨后的烂泥也妄想和花一起溺死在爱海里
1.5万字3个月前