2010 syllabus

コード	HA83-01
系列	系列：哲学・思想史
授業科目	哲学・倫理学特講Ⅳ
副題
副専攻	H1

担当者	上田　徹
単位	2
期・曜時	後期　月2
対象学年	1(B)･2・3・4年
特記事項

学習目標

　現代論理学の基本的な考え方や記号操作のテクニックを習得することによって、論理的思考能力を身につけるようにする。

授業概要

　現代論理学の基本的考え方、真理関数・トートロジーの概念について学び、命題論理や述語論理の基礎を理解するようにする。また、記号論理学を基礎にした現代英米哲学の文献を読解できるようにする。

テキスト

　プリントを配布します。

参考文献・課題図書

　授業中に指示します。

受講生への要望

　出来るだけ欠席せず、練習問題を解いてください。

評価方法

　試験、あるいは出席や普段の授業態度によって評価します。

授業計画

１．伝統的論理学と現代論理学
２．形式的真理（論理的真理）とは？
３．命題論理―真理表
４．　　〃　―トートロジーと論理法則
５．　　〃　―論理的同値
６．　　〃　―論理的帰結
７．　　〃　―矛盾
８．　　〃　―練習問題
９．　　〃　―　〃
10．　　〃　―　〃
11．述語論理―量化子について
12．　　〃　―練習問題
13．　　〃　―全称量化子と存在量化子
14．　　〃　―練習問題
15．　　〃　―　〃

自由記述欄

■BACK　■検索システムへ　 ■TOPへ