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

条形逻辑

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

相关小说

疯批美人他权势滔天 连载中
疯批美人他权势滔天
权天官
疯批美人摄政王VS高冷正义小徒弟书又名:《知途》温使墨从一个人人喊打的丧家之犬,和从尸山血海里爬出来的厉鬼,成为如今人人喊骂,却人人畏惧的摄......
0.2万字8个月前
为苍生为民国 连载中
为苍生为民国
林允_
听闻民国爱情十有九悲郝家小姐郝敏留洋归来结识谢家少爷谢景淮为了共同的革命事业而奋斗留洋归来小姐×世族少爷“为苍生永不悔”“世淮,已然释怀”
0.1万字6个月前
有愿再见 连载中
有愿再见
南辰北星
双女!!!无限流!!小学生文笔!
0.1万字4个月前
神陨之墟:光明颂 连载中
神陨之墟:光明颂
筱音韵
在神明隐退的破碎纪元,银发少女洛璃背负着连自己都遗忘的创世之秘。一次惨烈的守城战中,她被恶魔首领的毒箭贯穿心脏,从云端坠落——神力溃散、记忆......
0.5万字3个月前
光影大作战 连载中
光影大作战
图灵吃货
 9.16日已签约,请放心食用。传说中的暗之子与光之子不分上下,永世相传,互相抵抗,可是光守护神沐槿叛变光之女,将光宝典献给夜之子。危难之际......
37.6万字2个月前
小皇帝别哭,摄政王强势宠爱 连载中
小皇帝别哭,摄政王强势宠爱
鸽子大魔头
大概率就是摄政王和他亲爱的小皇上的故事
2.6万字5天前