2024.05.17
https://www.youtube.com/watch?v=LU3f8ZGfd5g
前:
2024.05.16
後:
2024.05.18
#日報
メモ
100人の囚人と1個の電球 知識と推論にまつわる論理パズル
動的認識論理
とかをちょっと見ているけど結構しっかり書いてある
知識に要請される到達可能性概念は
同値関係
になる:すなわち
$ \bf S5
知識のJTB説
など参照.
知っているならそれは正しい
これは対偶を取る:
誤っていることを知ることは出来ない.
正の内省
:私が知っていることを知っている.
負の内省
:私が知らないことを知っている.
知った
西村祐輝; "様相論理のラベル付きタブロー計算"