2018年哲学演習@京都大学文学部

レジュメは回ごとではなくトピックごとに作ります。

前期

1. 古典命題論理 [PDF]

   1. 古典述語論理 [PDF]

   2. 様相論理I [PDF]

   3. 様相論理II (追記あり): 対応理論 [PDF] (7月27日改訂)

後期

1. 含意にかかわる論理たち Part I (厳密含意〜条件法論理) [PDF]

2. 含意にかかわる論理たち Part II (反事実条件法と球体モデル) [PDF]

3. 含意にかかわる論理たち Part III (直観主義論理) [PDF]

4. 含意にかかわる論理たち Part IV (関連性論理) [PDF]