これも、ヒットしたのでメモを貼る（＾＾；
慶應 SFCの講義資料だとか
http://web.sfc.keio.ac.jp/~hagino/logic18/
慶應義塾大学 2018年度 春学期 論理学 Fundermentals of Logic カテゴリ: (学部)基盤科目?共通 開講場所：SFC 担当: 萩野 達也
授業予定と資料
第1回 (4/10) 論理学とは 講義資料 (PDF)
第2回 (4/17) 命題と真理値 講義資料 (PDF) 演習
第3回 (4/24) 標準形 講義資料 (PDF) 演習
第4回 (5/8) 証明 講義資料 (PDF) 演習 命題論理LK推論規則 (PDF)
第5回 (5/15) 証明(演習) 講義資料 (PDF) 演習
第6回 (5/22) 健全性と完全性 講義資料 (PDF) 演習
第7回 (5/29) 他の論理体系 講義資料 (PDF) 演習
第8回 (6/5) 述語論理 講義資料 (PDF)
第9回 (6/12) 述語論理の意味 講義資料 (PDF)
第10回 (6/19) 述語論理の証明 講義資料 (PDF)
第11回 (6/26) エルブラン定理 講義資料 (PDF)
第12回 (7/3) 導出原理 講義資料 (PDF) 演習
第13回 (7/10) 不完全性定理 講義資料 (PDF)
第14回 (7/17) いろいろな論理体系 講義資料 (PDF)

http://web.sfc.keio.ac.jp/~hagino/logic18/14.pdf
論理学 第14回「いろいろな論理体系」萩野 達也

P19
その他の論理の話題
? 二階述語論理および高階述語論理

? 一階述語論理では量化記号は対象領域を動く変数に対してのみ用いることができる．
? 二階述語論理では量化記号を述語（対象領域の部分集合）の変数にも用いることができる．
? 三階述語論理では対象領域の部分集合全体の集合の部分集合を動く変数に対して量化記号を用いることができる．
? 一般にn階述語論理を定義することができ，すべての総称が高階述語論理．