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

知道与真的悖论:Fitch paradox

Kp表示“知道P”,M表示可能算子,证明所用的认知逻辑公理包括:

1.命题逻辑公理。2.Kp → p。

3.Kp → KKp。4.p → MKp。4说明真理都是可知的

引入假设:存在我们不知道的真理,即

p∧¬Kp。

证明:

p∧¬Kp → MK(p∧¬Kp) → M (Kp∧K¬Kp)→ M(Kp∧¬Kp)

,矛盾。

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

相关小说

想要竹马甜甜的~ 连载中
想要竹马甜甜的~
九-儿
明明人家的时而霸道,时而温顺,可盐可甜,为什么我的竹马不一样?!在线等!急啊!!!
1.7万字5个月前
我在快穿世界里发疯(不是) 连载中
我在快穿世界里发疯(不是)
有价无市
女主蒋芸,因为一次意外,她来到了这个叫快穿的世界。并且结识了叫瑞瑞的系统。可是,她似乎失去了自己的记忆。于是她大手一摆,竟然来了,那就好好玩......
14.3万字4个月前
君忆仙落凡尘 连载中
君忆仙落凡尘
三寸旧城七寸执怜
青丘狐族是上古时期九尾狐神族遗留下的血脉因地势缘由,而迁移致高处,因防有凡人意外闯入而设了结界,也为了保护族人,所以定下族规,以防不知情的族......
23.2万字2个月前
影藏的梦 连载中
影藏的梦
LeeHanse0627
人类的三大情感——亲情、爱情与友情。如果有人丢失了它们,那么这个人就会成为一个毫无意识的空壳…我,四大家族之一的亚卡兰登家族中唯一存活于世的......
10.7万字2个月前
归阔如故 连载中
归阔如故
星之曰月
修仙小说原创大女主回魂肉魄轮回尽,亦是相回白雪纷。每世抗命残伤奄,血发污衣浸红身。自曾梦影现故因,终是相遇还恩情。二世帮协将死人,长貌如吾一......
2.7万字1个月前
十八天的时间 连载中
十八天的时间
夕落水
因为一个游戏,魏羽回到了循环的的世界,那里美丽危险,那里是恶人的地狱,也有好人的绝望,有的人出卖自己的一切,只为让别人死,有的人为了救人舍弃......
0.7万字2周前