論理学の初歩を、後期の哲学的論理学へのつながりを見据えつつ、学びます。
「計算」と「表現」という2つのテーマのもと、
古典命題論理
様相命題論理
古典述語論理
という3つの論理を順に学びます。レジュメと講義動画をここで公開していきます。[4/5]
様相論理
#01 はじめに
#02 古典命題論理(1)
#03 古典命題論理(2)
#04 古典命題論理(3)
#05 古典命題論理(4)
#06 古典命題論理(5)
#07 古典命題論理(6)
#08 古典命題論理(7)
#09 古典命題論理(8)
#10 様相論理(1)
#11 様相論理(2)
#12 様相論理(3)
#13 様相論理(4)
#14 様相論理(5)
#15 様相論理(6)
#16 様相論理(7)
#17 古典述語論理(1)
#18 古典述語論理(2)
#19 古典述語論理(3)
#20 古典述語論理(4)
#21 古典述語論理(5)
#22 古典述語論理(6)
#23 古典述語論理(7)