開講年度
2006
教育課程名
昼間コース 副専門教育課程 コース別科目
授業科目番号
76
授業科目名
論理の諸問題
開講曜日と時限
月曜日 9〜10時限(16:15〜17:45)
教室番号
N401
開講学期
前期
単位数
2 単位
対象学科・学年
全学科3年
必修・選択の別
選択
授業方法
講義
担当教員
二宮 公太郎(NINOMIYA, Kimitaroh)
(共通講座・<人間・社会科学講座>)
教員室番号
N351
連絡先(Tel)
0143−46−5822
連絡先(E-Mail)
ninom@mmm.muroran-it.ac.jp
オフィスアワー
金曜9−10時限
授業のねらい
「現代論理学」で学んだ知識を基礎に、記号論理学の知識を更に発展させる。具体的には、推論が正しいか否かを判定するための様々な方法に関して講義する。
到達度目標
完全にではなくともよいが、以下の能力を獲得することを目指す。
1.推論を定式化することができる。
2.論理式の厳密な変形や導出をすることができる。
3.分析タブローの方法をマスターする。
4.ゲンツェン公理系による証明の基本を理解する。
授業計画
初回 授業全体の概要
         トートロジー・妥当式とその判定方法
3回程度 推論の定式化と真理値表
         奇妙な推論・誤った推論・定式化の難しさ
         真理値表によるトートロジーの判定
         簡易な真理値表
4回程度 標準形によるトートロジーの判定
         選言標準形
         否定の連言標準形
         節導出法
4回程度 分析タブローによる妥当式の判定
         命題論理の分析タブロー
         述語論理の分析タブロー
3回程度 公理系とそれによる妥当式の証明
         ラッセル-ヒルベルトの公理系
         ゲンツェンの公理系
         述語論理における証明
なお、「公理系とそれによる妥当式の証明」の替わりに公務員試験「判断・推理」問題の解説を行なうことも在り得る。
教科書及び教材
二宮著『現代論理学の基礎』(本学専用教科書)
別途、分析タブローと証明構造に関するプリントを、各々数枚配布する。
参考書
「現代論理学」のシラバスに挙げた三著の他に―――
野矢茂樹『論理学―――Logic:AnIntroduction』東京大学出版会
前原昭二『数学基礎論入門』朝倉書店
いずれも図書館に5部ずつ在る。教科書末尾の特徴紹介も見られたい。
成績評価方法
学期末のレポートによる。授業の要点をまとめる、ということを課題とする。論理的操作のツボをよく把握しているか、を基準に評価する。
100点満点の60点以上が合格。
履修上の注意
成績が「不可」だったひとは再履修。
「現代論理学」を履修していることが望ましい。しかし、現代論理学の基礎的な知識を有していれば、本科目の内容を理解することも可能である。
教員からのメッセージ
論理式の変形や証明・演繹という面で、数学に似た感じを受けるだろうと思う。しかし、数学ほど難しくはないので、臆する必要はない。また、日常の言語による例を常に用いて、無味乾燥な記号の羅列にならないよう留意する。
学習・教育目標との対応
JABEE基準1(1)「(a):地球的視点から多面的に物事を考える能力とその素養および「(f)前半:日本語による論理的な記述力、口頭発表力、討議等のコミュニケーション能力」」に対応。
関連科目
現代論理学
その他