レジュメは回ごとではなくトピックごとに作ります。
前期
- 古典命題論理 [PDF]
- 古典述語論理 [PDF]
- 様相論理I [PDF]
- 様相論理II (追記あり): 対応理論 [PDF] (7月27日改訂)
後期
- 含意にかかわる論理たち Part I (厳密含意〜条件法論理) [PDF]
- 含意にかかわる論理たち Part II (反事実条件法と球体モデル) [PDF]
- 含意にかかわる論理たち Part III (直観主義論理) [PDF]
- 含意にかかわる論理たち Part IV (関連性論理) [PDF]