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

知道与真的悖论: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),接着再看更方便。

相关小说

雅家:六大天王 连载中
雅家:六大天王
77小X
原创男主角女主角
4.0万字5个月前
沐心归尘 连载中
沐心归尘
岑夏仲月
死去多年的混沌时代前最强者沐汐突然重生为人,并遇到无心的尘归,二人一见钟情,那么接下来会发生什么呢?
8.8万字2个月前
情神……西玫溅妍 连载中
情神……西玫溅妍
慕羽儿mye
在第四维度的灵界上,玫瑰之王西玖溅妍与鹰国之王鹰.维洛依斯之间的超虐言情救赎,最终双双成神的故事!
1.1万字1个月前
亓妄 连载中
亓妄
十云逝
亓妄说过,他只爱沈晚烟,他只信余倞和余焚。沈晚烟和他的母亲,是亓妄最后的防线;可在不久后,这最后的防线也断裂了。
1.3万字1个月前
无名之誓 连载中
无名之誓
路过的魈厨
0.2万字1个月前
嗜血暗夜 连载中
嗜血暗夜
亦依然
卡米拉一直认为自己是一个没有感情的怪物,可是最后他还是心软了,收养了个半人半吸血鬼的小可怜作为吸血鬼,卡米拉惊奇的发现自己新收养的小可怜竟然......
0.7万字3周前