今日もまたMooreの"External and Internal Relations"を要約している。後半の形式論理が出てくるあたりが初読ではちんぷんかんぷんだったのだが、二回目読んでみるとなんだかわかる気がする。特に肝となる証明の部分も、様相論理を使って表現し直してみると…