論理学第二 Logic II

文字サイズ小中大

担当教員: 渡部鉄兵

使用教室: 月5-6(W531)

単位数: 講義：2 演習：0 実験：0

講義コード: 0104

シラバス更新日: 2008年10月1日

講義資料更新日: 2008年10月1日

学期: 後期 / 推奨学期：-

概要

講義概要

第二では述語論理の構造を扱うが，その際命題論理の無限への拡張と述語論理の体系の関係について考察する。さらに，述語論理の背景となる哲学的な諸問題を論じながら，モデルの概念を導入説明し，完全性や決定可能性等に関するメタ定理を証明する。さらに，述語論理と知識表現論の問題などについても論じる。なお，第二の履修に際しては第一を既に履修していることを条件とする。

講義計画

1 命題論理学の反省（Ⅰ）
2 命題論理学の反省（Ⅱ）
3 命題論理演習（Ⅰ）
4 命題論理演習（Ⅱ）
5 命題論理の完全性定理（Ⅰ）
6 命題論理の完全性定理（Ⅱ）
5 述語論理の基礎（Ⅰ）
6 述語論理の基礎（Ⅱ）
7 述語論理の諸定理（Ⅰ）
8 述語論理の諸定理（Ⅱ）
9 述語論理の諸定理（Ⅲ）
10述語論理の諸定理（Ⅳ）
11述語論理演習（Ⅰ）
12述語論理演習（Ⅱ）
13述語論理の完全性定理（Ⅰ）
14述語論理の完全性定理（Ⅱ）
15命題論理の特徴的定理の反省と考察
3. 西洋の哲学と東洋の哲学

教科書・参考書等

OHP及び講義録による。

成績評価

レポートによる。

担当教員の一言

論理学は一言で云えば推論の妥当性に関する学問である。そして20世紀においてそれは数学化され、現在ではコンピュータの正確な理解にとって不可欠のものとなっている。また論理は人間の合理性、科学の合理性にとって不可欠の要素である。こうした学問を早い時期に学んでおくことは非常に望ましい。後期は命題論理の自然な発展として述語論理を扱う。
なお、人数制限をする場合があるので、一回目の授業に必ず出席すること。