共有知識

【きょうゆうちしき (common knowledge)】

ある事実について, 全員がそれを知っている, 全員がそれを知っていることを全員が知っている, 全員がそれを知っていることを全員が知っていることを全員が知っている,$\dots$ , という無限個の命題が成立するとき, その事実は共有知識であるという. ある事実が共有知識となるためには, 例えば, 全員の目の前でその事実が確認されれば十分である.