2013年度京都学園大学（論理学入門B, 人間文化学部のみ「論理学入門」）
講義の配布資料
第１回：はじめに
第２回：集合・関係とは何か
第３回：関数、妥当性・矛盾・論理的真理
第４回：命題論理のシンタクス
第５回：命題論理のセマンティクス（１）
第６回：命題論理のセマンティクス（２）
第７回：命題論理のセマンティクス（３） （タイトルが「第６回」になっているので注意すること）
第８回：論理形式とは何か
第９回：命題論理で日本語を形式化する
第10回：述語論理のシンタクス
第11回：述語論理で日本語を形式化する
第12回：述語論理のセマンティクス（１）
第13回：述語論理のセマンティクス（２）
第14回：述語論理のセマンティクス（３）
試験