2020年度哲学演習I前期(哲学的論理学初歩) @京都大学

(2020年9月24日改訂)

コロナの影響で2020年度前期はレジュメ＋オンデマンド動画教材＋課題提出というフォーマットで行いました。

レジュメと動画をここにまとめておきます。

レジュメ

01 はじめに

02 推論を計算する：古典命題論理

03 構造を表現する：様相命題論理

04 すべてを表現する言語が存在する：古典述語論理

動画

YouTube再生リストのリンクです。

様相命題論理：https://www.youtube.com/playlist?list=PL54C_zUEsyCaRyfgWTZHrk67iHyExYiVG

古典述語論理：https://www.youtube.com/playlist?list=PL54C_zUEsyCajErJ_4SLcSiBdi5FCiWsP