あやまった推論 矛盾 矛盾 推論 推論

あやまった推論
• 私の絵を理解する人は今はいない。　矛盾
• 子：文学部にいきたいよ
しかし，ゴッホなども最初は理解され
• 父：もう大人だ。自分で決めたことなら
なかった。だから私も偉大なアーチス
応援するよ
トになれる。
• 子：それでちゃんと勉強しようと思ったら
東京の大学でないとだめみたい
• 父：ナニ？　子供に一人暮らしは無理だろ
真理
矛盾
• S ：そのとき NY で N と食事していました　• G ：そのとき D とシアトルでマリナーズを
応援していたよ　• D ：そのころ S を見たよ。どこだったかは　覚えていないけど
• 鯨は ほ乳類であり知能が高い
正しいかどうかすぐにはわからない　• 鯨は ほ乳類であるかないかのいずれか
である
形式的真理
推論
• 仮定１：みのもんた氏が信用できる男なら
UFO は実存する
仮定２：みのもんた氏は信用できる男である
推論
• 仮定１：みのもんた氏が信用できる男なら
UFO は実存する
仮定２：UFO は実存しない
• 結論　：みのもんた氏は信用できる男では
• 結論　：UFO は実存する　ない
1
論証１
• 仮定１：ユアン・マクレガーは SW:Episode1
の出演者である。
仮定２：SW:Episode1 の出演者は皆ルーカス
を知っている
• 結論　：ユアン・マクレガーはルーカスを
論証２
• 仮定１：平賀源内は SW:Episode1の出演者
である。
仮定２：SW:Episode1 の出演者は皆ルーカス
を知っている
• 結論　：平賀源内はルーカスを知っている
知っている
論証３
論証４
• 仮定１：ユアン・マクレガーは SW:Episode1
の出演者である。
• １：ユアン・マクレガーは東京か NY にいる
２：ユアン・マクレガーがいま東京にいれば
仮定２：SW:Episode1 の出演者は皆ルーカス
キャメロン・ディアスもいま東京にいる
を知っている
３:キャメロン・ディアスはいま東京にいない
• 結論　：ユアン・マクレガーはキャメロン・
ディアスと共演したことがある
• 結論：ユアン・マクレガーはいま NY にいる
論証５
• １：１＋１＝２
２：ボスニア・ヘルツェゴビナの首都は
妥当な論証かを反省する
サラエボである
• 結論：イソギンチャクは腔腸動物である
2
論証を用いる例
• １：シダ植物は花を咲かさない
２：エニシダの花が満開だ
論証６
• １：ルベーグ測度に関して有限な実数値関数に
よるかけ算作用素はすべて自己共役な対称作用
素である
２：自己共役な対称作用素はすべて閉である
• 結論：エニシダはシダ植物ではない
結論：ルベーグ測度に関して有限な実数値関数
によるかけ算作用素はすべて閉である
論証７
• １：Pファンク系のクールきわまる連中はすべ
て独創的なミクスチュア感覚を魅力としている
２：アーシーな音楽的力量をもつミュージシャ
論証８
• １：Every aardvark is nocturnal.
２：John is an aardvark.
ンはすべて独創的なミクスチュア感覚を魅力と
している
結論：Pファンク系のクールきわまる連中はす
べてアーシーな音楽的力量をもつミュージシャ
ンである
結論：John is nocturnal.
参考書
結論！
論証が正しいかは形式
形式 (form) のみにより，
内容 (content) にはよらない
3
論理の限界
知の限界
G.J.チャイティン著
発行　エスアイビー・アクセス
発売
星雲社
定価 2,800 円
4