論理学入門 - nuisnakada/lectures/info_logic/01... · 2019. 9. 20. ·...
TRANSCRIPT
![Page 1: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/1.jpg)
論理学入門情報システム学科
中田豊久
1
![Page 2: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/2.jpg)
推論とは
前提 結論
1. すべての日本人は、日本語をしゃべれる
2. 太郎は、日本人である
太郎は、日本語をしゃべれる
推論
前提が正しいならば、結論は正しい
2
![Page 3: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/3.jpg)
正しい推論はどちら?
1.太郎は日本人であるならば、東洋人である2.太郎は東洋人ではない
太郎は日本人でない
3
1.太郎は日本人であるならば、東洋人である2.太郎は日本人ではない
太郎は東洋人でない
![Page 4: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/4.jpg)
日本人であるならば、東洋人である
日本人 韓国人 イギリス人 イタリア人
東洋人 西洋人
東洋人ではない 日本人ではない
日本人ではない 東洋人ではない
4
![Page 5: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/5.jpg)
正しい推論?
1.太郎が犯人ならば、花子はウソをついている2.花子がウソをついているならば、次郎はウソをついていない3.次郎はウソをついている
太郎は犯人ではない
5
![Page 6: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/6.jpg)
妥当な推論
• 妥当な推論とは、結論が正しく前提から導き出されることを意味する。
• 例えば、以下であっても妥当な推論である。
6
1.リンゴは、ゴリラである2.ゴリラは、ラッパである
リンゴは、ラッパである
![Page 7: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/7.jpg)
本講義では論理学を学ぶ
7
日本語(難しい)
記号処理(簡単)
論理記号
![Page 8: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/8.jpg)
もう一度、推論とは
8
前提 結論
太郎は、英語の成績がAである
次郎は、英語の成績がAである P高校出身は、英語の成績がAである
推論
三郎は、英語の成績がAである
太郎、次郎、三郎はP高校出身である
![Page 9: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/9.jpg)
もう一度、推論とは
9
前提 結論
太郎は、英語の成績がAである
次郎は、英語の成績がAである P高校出身は、英語の成績がAである
推論
既にある前提に矛盾しない知識が追加されたときに、結論が正しくなくなることがある
三郎は、英語の成績がAである
太郎、次郎、三郎はP高校出身である
四朗(P高校出身)の英語の成績はBである
![Page 10: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/10.jpg)
最初の推論の場合
前提 結論
すべての日本人は、日本語をしゃべれる
太郎は、日本人である太郎は、日本語をしゃべれる
推論
10
次郎は、スペイン人である
既にある前提に矛盾しなければ、どのような知識を追加しても、結論は変わらない
すべての日本人は、お金を持っている
![Page 11: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/11.jpg)
2つの推論方法
• 前提に知識を追加しても結論が変わらない推論
を、「演繹推論」とよぶ。
• 前提に知識を追加したときに結論が変わることが
ある推論を、「帰納推論」とよぶ。
11
![Page 12: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/12.jpg)
2つの推論方法
12
推論方法 演繹推論 帰納推論
例 すべての日本人は日本語をしゃべれる太郎は日本人である
太郎は日本語をしゃべれる
太郎は成績Aである次郎は成績Aである
太郎と次郎はP高校出身
P高校出身は成績Aである
情報の量 増えない 増える
![Page 13: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/13.jpg)
論理学では演繹推論のみ
• 論理学では演繹推論のみを用いる。
• ちなみに数学も演繹推論のみである。
• 統計の検定は、帰納推論と思われる。
• 欧米人は演繹推論、日本人は帰納推論が親しみやすいという話もある。
13
![Page 14: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/14.jpg)
問題 (1)
• 以下の演繹推論は正しいかどうかを考えよ。もしも正しくない場合、前提に矛盾しない知識を追加して、結論が正しくならない例を示せ。
14
会場へは、小学生ならば入場できる。太郎は入場できる。
太郎は小学生である。
会場へは、中学生ならば入場できる。太郎は中学生である。
![Page 15: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/15.jpg)
問題 (2)
• 以下の演繹推論は正しいかどうかを考えよ。もしも正しくない場合、前提に矛盾しない知識を追加して、結論が正しくならない例を示せ。
15
会場へは、小学生ならば入場できる。太郎は小学生である。
太郎は入場できる
![Page 16: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/16.jpg)
問題 (2)の解説 (矛盾しない1)
16
会場へは、小学生ならば入場できる。太郎は小学生である。
太郎は入場できる
小学生 中学生
太郎
会場へは、中学生は入場できない。
![Page 17: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/17.jpg)
問題 (2)の解説 (矛盾する1)
17
会場へは、小学生ならば入場できる。太郎は小学生である。
太郎は入場できる
小学生 中学生
会場へは、小学生は入場できない。太郎は中学生である。
太郎
![Page 18: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/18.jpg)
問題 (2)の解説 (矛盾する2)
18
会場へは、小学生ならば入場できる。太郎は小学生である。
太郎は入場できる
小学生 中学生
入場には、500円が必要である。太郎は500円を持っていない。
太郎
![Page 19: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/19.jpg)
問題 (3)
• 以下の演繹推論は正しいかどうかを考えよ。もしも正しくない場合、前提に矛盾しない知識を追加して、結論が正しくならない例を示せ。
19
「すべての日本人は金持ち」は間違い太郎は日本人である
太郎はお金持ちではない
太郎はお金持ちである
![Page 20: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/20.jpg)
答えが2つある問題があります
20
天気が良ければジョギングする
天気が良くないときについては「何も言ってない」ので、ジョギングするかしないか分からない(ジョギングしてもAさんが嘘つきとは言えない)。
天気が「良くない」ときは?
「天気が良くなければジョギングしない」と言っていると解釈する。もしも天気が良くないときにジョギングしたらAさんは嘘つきとなる。
Aさん Bさん Cさん
![Page 21: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/21.jpg)
論理的な否定
21
肯定:この犬は猫よりも大きい
否定:この犬は猫よりも大きくはない「この猫は犬よりも小さい」は、意味として同じでも、上の文章の論理的な否定ではない。
肯定:この犬は、頭が悪い
否定:この犬は、頭が悪いことはない「この犬は、頭が良いは」、意味としては否定でも論理的な否定ではない。
ある現象を説明している言葉を覆すことを論理的な否定という覆すために「~ない」に相当する否定語をもとの言葉に追加する。
![Page 22: 論理学入門 - NUISnakada/lectures/info_logic/01... · 2019. 9. 20. · •推論には、演繹推論、帰納推論がある。 •演繹推論の場合、前提が正しいならば結論は必ず](https://reader033.vdocumento.com/reader033/viewer/2022060903/609f146e2eb802124667e73f/html5/thumbnails/22.jpg)
まとめ
• 推論には、演繹推論、帰納推論がある。
• 演繹推論の場合、前提が正しいならば結論は必ず正しい。
• 帰納推論の場合、前提が正しくても結論が正しいとは限らない。
• 正しく演繹推論を行うことを、妥当な推論とよぶ。
22