- 担当教員
- 渡部 鉄兵
- 使用教室
- 月5-6(H101)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 0103
- シラバス更新日
- 2009年7月30日
- 講義資料更新日
- 2009年7月30日
- 学期
- 前期 / 推奨学期：3
講義概要
便宜上論理学を命題論理と述語論理に分けて論ずる。
第一では主に命題論理を扱うが，できるだけ述語論理の構造が明らかになるように講義を組み立てる。内容は命題論理の体系をいろいろな理論的角度から考察し，完全性や決定可能性その他のメタ論理的概念を説明し，それらについて成立するメタ定理について論ずる。
講義計画
1 論理学とは何か（I）
2 論理学とは何か (II)
3 命題論理の基本的原理(I)
4 命題論理の基本的原理(II)
5 自然演繹法の基礎(I)
6 自然演繹法の基礎(II)
7 命題論理の諸定理(I)
8 命題論理の諸定理(II)
9 命題論理の諸定理（III)
10 命題論理の諸定理（IV)
11 命題論理演習(I)
12 命題論理演習（II)
13 命題論理の特徴的定理の反省と考察(I)
14 命題論理の特徴的定理の反省と考察(II)
15 命題論理の特徴的定理の反省と考察(III)
教科書・参考書等
適宜プリントを配布する。
関連科目・履修の条件等
この科目は、平成18年度以降の入学生には文系科目、17年度以前の入学生には文系基礎科目の単位として認定されます。
成績評価
レポートによる。
担当教員の一言
論理学は一言で云えば推論の妥当性に関する学問である。そして20世紀においてそれは数学化され、現在ではコンピュータの正確な理解にとって不可欠のものとなっている。また論理は人間の合理性、科学の合理性にとって不可欠の要素である。こうした学問を早い時期に学んでおくことは非常に望ましい。前期は命題論理に焦点を合わせて講義を行う。
なお、人数制限をする場合があるので、一回目の授業に必ず出席すること。
その他
推奨学期：３学期
連絡先：大岡山西9号館7階714号室価値システム事務室
