前面都说自己不知道时,张三才知道自己一定是999. 前面无论是谁都无法知道。李四看到的是999,他无从知道张三看到的是998,所以他不能确定张三在998次时,是蒙的,还是故意说错的。
其实你这几次说的都只涉及到二阶彼此的知识。这是比较简单的。就是说,我从你的角度来推理,一定要根据“我知道(你知道的知识)”,即使是这知识确实是你知道的,但在我没有确实证据确信这是你知道的,就不能作为推理的理由。因为这可能是我想当然你知道的事。
在我博客里《也谈“脏脸博弈”问题(2)》有一个例子:
餐馆跑堂端菜时,不小心将汤汁滴到女客人的裙子上,那女人瞪他一眼,跑堂的忙不迭道歉说:“这是我的错!”
这事“跑堂错”的知识,跑堂自己知道,那女人知道。瞪一眼跑堂,让跑堂也知道了她有这知识。这大家都有的知识,为什么跑堂道歉还要对她说一遍?多余吗?不!
因为那女人不明白跑堂是否知道这是他的错,尽管两人各自都知道,按常理跑堂也该知道是他的错,但跑堂的不说,别人无从知道他认识到自己的错。这以后的沟通就有问题了。
所以“我知道,你知道,大家都知道的知识”只是“彼此的知识( Mutual Knowledge )”,彼此的知识不能用来推理,因为即使你事实上已经知道了,而且大家都是理性的人,但不了解你是否知道,我怎么知道你会怎么想呢?用想当然来猜测别人知道些什么,依此来决定自己的行动和推断是不可靠的,这也是世界上许多错误的根源。。。 (后面还有怎么出错的故事)