"Inexact knowledge"

p236まで読了。Supprise Examination Paradoxを"Margines of Error"理論に則りmodal logicで形式化。
どうでもいいけれど、例えば"ME"理論はTruth degree theory（例えばfuzzyだけど、どちらかというと真理値が何らかのalgebraになるようなものの方が直感的にフィットするかも）の枠組みでも展開できるようにも見えるけれど、Wiliamsonはmodalで形式化するべきだという理由は何一つ挙げていない。当たり前のことなのか、それとも単なる予断なのか。