| 対象年度 | 2004 |
| 教育課程名 | 昼間コース 副専門教育課程 コース別科目 |
| 授業科目名 | 現代論理学 |
| Subject Name | Modern Logic |
| 単位数 | 2 |
| 必修・選択の別 | 選択 |
| 対象学科・学年 | 全学科2年 |
| 開講時期 | 後期 |
| 授業方法 | 講義 |
| 担当教官 | 二宮公太郎（NINOMIYA，Kimitaroh） （共通講座・<人間・社会科学講座>） |
| 教官室番号 | Ｎ−３５１ |
| 連絡先（Tel） | 0143-46-5822 ［オフィスアワーは、時間割決定後にお知らせします。］ |
| 連絡先（E-Mail） | ninom@mmm.muroran-it.ac.jp |
| 授業のねらい | 伝統的論理学と関係付けながら、現代の記号論理学について、命題論理と述語論理の基礎的な部分を講義する。 |
| 授業の目標 | 以下の能力を身につけてもらうことを目指す。 １．基本的な記号の意味と使い方が分かる。 ２．主要な論理法則について、意味を理解し、日常で正確に使うことができる。 ３．論理式に関して、簡単な変形ができる。 |
| 授業計画 | 初回 講義全体の概要 １〜２回 命題論理の記号／「真理関数」の考え方 １〜２回 述語論理の記号／「量化」の考え方 ２〜３回 主要な「トートロジー」 ３〜４回 主要な「妥当式」 １回 推論概説 １回 命題論理と仮言・選言三段論法 １〜２回 述語論理と定言三段論法 なお、時間が在れば、公務員試験の「判断・推理」問題について解説する。 |
| 教科書及び教材 | 二宮著『現代論理学の基礎』（本学専用教科書）９００円（教科書中、本科目で扱うのは、第I章、第II章第１節〜第３節、第III章） 別途、定言三段論法を表わすＶＥＮＮの図を配布する。 |
| 参考書 | 坂本百大・坂井秀寿『新版現代論理学』東洋大学出版 近藤洋逸・好並英司『論理学入門』（岩波全書３１１） 清水義夫『記号論理学』東京大学出版会 いずれも図書館に５部ずつ在る。これらの基礎的な部分を読めばよい。なお、教科書の末尾に、各々の特徴を簡単に紹介してある。 |
| 成績評価方法 | 学期末の試験による。教科書・ノート・参考書等、持ち込み可。「………について述べよ」「………について説明せよ」といった形式の問題を出す。不合格の者には、補講のうえ再試験を行なう。 |
| 履修条件等 | 特になし。 |
| 教官からのメッセージ | 論理学では、形式的な理解だけでは日常の言語のうちで使いこなせないことが多い。 含意・対偶法則や推論の諸形式等に関して、日常の言語における表現に充分に注意しながら勉強してほしい。 |
| その他 | |