大推这篇文章 不过我补充一下 ※ 引述《ksmrt0123 (ksmrt)》之铭言： : 这题是说明 common knowledge 常见的范例. : 在游客没对所有土着说出[有人眼睛是蓝色的]这话前, 假设这句话为 P : 所有土着的确应该都已知道这件事, : 但他们不能够确定的是, 所有其他土着是否也都知道这件事, 这里我觉得要说明一下, 因为每个人都可以推论出每个人都知道P, (因为看到49个其它人都是蓝眼睛, 就可以推论每一个人至少看到48个人的眼睛是蓝的。) Now, let K be the operator 'everyone knows that' (e.g. KP = everyone knows that P) 所以每个人都知道P, 也知道KP, 之所以不是common knowledge的原因是因为, 他们不知道 K^49 P (i.e. KKKKKK...KKKP)。 (i.e. everyone knows that everyone knows that ... P) 而这 K^49 P 是由那游客给出的, 也开始了induction。 : 这种情况可称[有人眼睛是蓝色的]是土着群的 : mutual knowledge --- 每人都知道但不确定别人是否都知道 : 游客说话後情况改变了, 这时所有土着可确定其他土着也 : 都知道这件事了, 这件事就变成土着群的 common knowledge了 : --- 每人都知道且知道所有其他人也都知道 : 基於此 common knowledge 後续的逻辑推论与行动才能开始, : 这就是游客说了才有事的原因 : 更多 Common knowledge 之说明请参考: : http://en.wikipedia.org/wiki/Common_knowledge_(logic) : http://plato.stanford.edu/entries/common-knowledge/ : ※ 引述《asdinap (asdinap)》之铭言： : : 对於推文中 : : t大说到[游客没说就没事.但说了就会有事] : : 我的问题正是想问为何游客说了就会有事 有没游客说该话 差在哪里 : : c大说到[游客公开的时候是让彼此知道对方有这个知识] : : 但因为题中50人都蓝眼 所以除了大家早知[他们有人是蓝眼] : : 且每人应也知{其他人也已知[他们有人是蓝眼]} : : (大家都知道大家都看得到蓝眼人) -- 你知道 我知道 独眼龙也知道 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 131.111.224.87