論理学 I
Logic I

授業科目区分

教養科目
教養科目　人文科学系

まちラボとわくらぼの使用について：使用しない
選択科目　2単位　3年次　前期

担当教員

安藤 友晴

研究室のホームページ,SNSなど

NDC

110/410.96

科目分類コード

60010

オフィスアワー

この科目のキーワード

命題論理/述語論理/証明

説明に使用する言語

日本語・英語を併用する

使用する教材の言語

日本語・英語で記述された資料を使用する

この科目に必要な日本の文化・事情の知識について

到達目標

本授業の目標は、論理学の基礎を学ぶことで、推論の形式に慣れるとともに、日常生活で論理を正しく扱えるようにすることである。

授業の簡単な概要

論理学、特に記号論理学もしくは数理論理学と呼ばれる分野のうち、「命題論理」と「述語論理」の基礎について学ぶ。

学習内容

1. 導出と否定
2. 「かつ」と「または」
3. ならば (1)
4. ならば (2)
5. ならば (3)
6. 命題論理と証明
7. 公理系と意味論
8. 命題論理と真理関数
9. トートロジーと推論
10. 真理表から論理式へ
11. シェファーの縦棒
12. 述語論理 (1)
13. 述語論理 (2)
14. 述語論理 (3)
15. 述語論理 (4)
16. 学期末試験

授業時間外での学修

特になし。

成績評価の基準と方法

・命題論理の意味論と構文論について理解している ・命題論理の知識を、日常的な言語生活で用いられる演繹に応用できる ・述語論理の概要について理解している ・述語論理の知識を、日常的な言語生活で用いられる演繹に応用できる

達成度評価（評価方法：合計100点）

試験：　　　　　 100 / 100
レポート：　　　 / 100
小テスト(中間テストなど含む): / 100
小レポート(中間レポートなどを含む): / 100
作品：　　　　　 / 100
ポートフォリオ： / 100
その他：

教科書・テキスト

プリントを配布する。

参考図書・参考文献等

・野矢茂樹. 入門!論理学. 中央公論新社, 2006, 250p., (中公新書, 1862). ・野矢茂樹. 論理学. 東京大学出版会, 1994, 261p. ・野矢茂樹. 新版 論理トレーニング. 産業図書, 2006, 224p. ・野矢茂樹. 論理トレーニング101題. 産業図書, 2001, 182p.

履修もしくは取得していなければいけない科目

特になし。

学習支援

・LMS上の教材で復習することが望まれる。 ・LMS上のフォーラムを利用されたい。

その他この科目を履修するために必要な条件

・高等学校の「数学I」「数学A」で学んだ知識を使う。授業中に適宜説明する。 ・本科目では日本語と論理との関係性を重視するので、日本語に関する一定の知識を必要とする。