開講年度2016
科目名論理学Ⅰ
(全)開講学科宗教文化学科 2014年度以降入学
宗教文化学科 2013年度入学
宗教文化学科 2008-2012年度入学
歴史学科 2015年度以降入学
歴史学科 2013-2014年度入学
歴史学科 2002-2012年度入学
国際文化学科 2013-2014年度入学
国際文化学科 2011-2012年度入学
英語英米文化学科 2015年度以降入学
日本文化学科 2013年度以降入学
日本文化学科 2004-2012年度入学
グローバル英語学科 2013年度以降入学
グローバル英語学科 2011-2012年度入学
商学科 2013年度以降入学
経済学科 2013年度以降入学
開講種別春学期
対象学年1年
担当者大野 波矢登
単位数2
曜日・時限春学期 金曜日 3時限
キャンパス日進キャンパス


サブタイトル
論理学の記号言語と論証の正しさ
科目のねらい
「考える」ことはだれもが行うことである。しかし、私たちの思考はしばしば偏見に満ち、断片的で、論理に飛躍があったりする。推論や未来の予測、自己の主張の正当化を正しく行い、他人と生産的な議論をするためには、論理的思考力が不可欠である。そこでこの授業では、あらゆる知的活動において必要とされる論理の基礎を理解し、情報や知識の分析・表現においてそれを応用できる能力を養成する。
到達目標
1.「論理的」であるということの意味と命題論理の基礎概念を理解し、説明できるようになる。
2.日本語の文の論理形式を正しく把握し、それを論理学の記号言語へ翻訳できるようになる。
3.真理表や真理の木の方法を使って、論証の妥当性、文の集合の整合性、形式的真理を判定できるようになる。
授業の内容・
計画
授業は講義形式で行い、教科書の各章の基本事項の解説、練習問題、練習問題の解説、小テストという流れで進める。
1.論理とは何か――論証の妥当性、文の集合の整合性、形式的真理
2.論理学の記号言語(1)――否定と連言
3.論理学の記号言語(2)――選言と条件法
4.真理関数的結合子の意味と真理表
5.練習問題と小テスト(1)
6.真理表を使って論証の妥当性をテストする方法
7.論理学の記号言語(3)――双条件法と論理的同値性
8.トートロジー――論理的(形式的)真理と事実的真理
9.真理の木の書き方
10.真理の木を使って論証の妥当性をテストする方法
11.練習問題と小テスト(2)
12.論理学の応用(1)――条件構造に基づく論証
13.論理学の応用(2)――代表的な論証のパターン
14.練習問題と小テスト(3)
15.総括
評価方法
(基準等)
定期試験70%・小テスト30%(小テストは授業時間内に3回実施する)
授業外の学修
(予習・復習)
予習:教科書の、次回の授業で進む範囲をよく読んでおくこと。
復習:教科書の練習問題を宿題として課すことがあるので、かならず自分で解くこと。
教科書・
参考書
【教科書】リチャード・ジェフリー著 『形式論理学――その展望と限界』 産業図書 1995.3 ¥3,024 【116.1/021】
【参考書】戸田山 和久著 『論理学をつくる』 名古屋大学出版会 2000.10 ¥4,104 【116/042】 (論理学の重要概念が詳しく解説されている)
野矢 茂樹著 『新版 論理トレーニング』 産業図書 2006.11 ¥2,376 【116/044】 (実践的な論理的思考力を身につけることができる)
参照URL
質疑応答
授業に関する質問や相談には授業の前後の時間に教室で直接応対する。
備考
論理学の基礎知識を一通り身につけるためには秋学期の論理学Ⅱを続けて履修することが望ましい。
授業中の私語、学習目的以外でのスマートフォンの使用は禁止する。
画像
ファイル
更新日付