- 担当教員
- 藁谷 敏晴
- 使用教室
- 月5-6(H101)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 0103
- シラバス更新日
- 2008年4月1日
- 講義資料更新日
- 2008年4月1日
- 学期
- 前期 / 推奨学期：-
講義概要
便宜上論理学を命題論理と述語論理に分けて論ずる。
第一では主に命題論理を扱うが，できるだけ述語論理の構造が明らかになるように講義を組み立てる。内容は命題論理の体系をいろいろな理論的角度から考察し，完全性や決定可能性その他のメタ論理的概念を説明し，それらについて成立するメタ定理について論ずる。
