引用元:http://viper.2ch.sc/test/read.cgi/news4vip/1454944617/



201629-9




1: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:16:57.473 ID:8jbmPsCL0.net
それはなぜで、どこを間違えた可能性が高い?




2: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:17:14.015 ID:5U7BuJirM.net
たとえば?




3: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:18:09.998 ID:fJc2j3jw0.net
イコールの意味を履き違えてる




4: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:18:11.308 ID:tw7U9Jfge.net
前提に誤謬が含まれると正しくなくなる




8: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:21:31.488 ID:8jbmPsCL0.net
>>4
うーん
前提を単体で見るとどちらも正しく見えるのに、結果を見ると違和感を感じるものというのが時々あるけど、それはなぜだろう




9: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:22:16.786 ID:5U7BuJirM.net
>>8
たとえば?




14: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:25:51.945 ID:8jbmPsCL0.net
>>9
Aさんは男である
Aさんは男をキモいと思っている
よってAさんは自分をキモいと思っている




16: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:26:49.854 ID:8jbmPsCL0.net
とかかな
男のナルシストが必ずしも男叩きをしないとは限らないからね




17: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:27:21.851 ID:xuDnQueE0.net
>>14
これの何がおかしいの?




18: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:27:28.364 ID:5U7BuJirM.net
>>14
Aさんは本当に自分をキモいと思ってるかもしれない
そうでないなら二つ目でAさんが自分の本当の気持ちに気づいてない




19: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:28:08.989 ID:8jbmPsCL0.net
>>17
Aさん(男)が自分をキモいと思ってなくても、男をキモいと発言することは現実問題考えられるから




26: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:31:08.091 ID:5U7BuJirM.net
>>19
それなら二行目は
Aさんは自分以外の男をキモいと思っている
になる




27: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:31:14.926 ID:XukwE4bLa.net
>>19
男がキモいが破綻してる
キモくない男が居るなら




35: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:33:44.148 ID:xuDnQueE0.net
>>19
いやこの例見ただけだとAさんが自分をきもいって思ってるって考えるのは自然でしょ
これが間違ってるかもしれないってのは前提が間違ってるかもしれないってだけで三段論法自体は完全に合ってるでしょ




7: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:21:05.340 ID:K14NqZtk0.net
三段論法の意味を履き違えてる




20: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:28:42.026 ID:/QZKMN3w0.net
2行目が=じゃないじゃん
思っているってなんだよ




23: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:29:58.856 ID:8jbmPsCL0.net
>>20
Aさんにとってはイコールでしょう
だから結論もAさんにとっての主観にしているし




21: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:29:28.503 ID:WW5tJ9kTM.net
     「三段論法」

    人間は哺乳類である。
    哺乳類は動物である。
   -----------------------
    人間は動物である。


     ∀x(Cx→Tx)
     ∀x(Tx→Sx)
    ------------------
     ∀x(Cx→Sx)




22: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:29:31.635 ID:Wrta8vHW0.net
物事をキモいと判断する材料が男女だけではない
おわり




36: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:34:05.741 ID:Wrta8vHW0.net
(キモいかどうかを男女で判断するなら)って書いときゃ完全に正しい
>>22で終わってるって




39: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:35:47.264 ID:DSaHG+bA0.net
>>36
冗長すぎ
もともと正しい




42: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:37:15.167 ID:Wrta8vHW0.net
>>39
大前提の前の大前提を勝手に設定してるのを指摘してるだけなんだけど




24: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:30:25.782 ID:YQhm/nw00.net
Aさん=男ではないだろ




28: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:31:42.506 ID:8jbmPsCL0.net
>>24
Aさんが男である場合の話ね
大前提として




34: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:33:25.905 ID:YQhm/nw00.net
>>28
男が皆Aさんな訳ないだろ
Aさん→男だが男→Aさんではない
つまりイコールではない




25: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:30:42.008 ID:WW5tJ9kTM.net
     「三段論法」

    どんな宿題もおもしろくない
    読書課題は宿題である
   -------------------------------
    どんな読書課題も面白くない


     ∀x(Cx→¬Tx)         ¬∃x(Cx∧Tx)
      ∀x(Sx→Cx)           ∀x(Sx→Cx)
    --------------------    --------------------
     ∀x(Sx→¬Tx)         ∀x(Sx→¬Tx)




30: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:32:16.783 ID:/QZKMN3w0.net
三段論法はバカには使えない
>>1は三段論法が使えない

よって>>1はバカである




33: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:33:25.166 ID:DSaHG+bA0.net
>>30
お前も馬鹿じゃん




37: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:35:22.352 ID:XukwE4bLa.net
>>30
これ間違えてる三段論法だなw




31: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:32:53.376 ID:5U7BuJirM.net
表現の問題だろ
子供の頃「みんなゲーム持ってる」とか言うけど本当にみんなではないだろ?
それと同じ




32: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:33:09.609 ID:K14NqZtk0.net
2行目が「男はみなキモいと思ってる」じゃないとその三段論法は成立しないから




38: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:35:29.203 ID:8jbmPsCL0.net
これ、最近思いついたホ○フォビアのパラドックスだけどね
実際これ以外にも似た様なのはあると思う

ホ○フォビアとは、同性愛、または同性愛者に対する恐怖感・嫌悪感・拒絶・偏見、または宗教的教義などに基づいて否定的な価値観を持つこと。「異性装・心身の性の不一致に対する恐怖感・嫌悪感・拒絶」はホモフォビアの定義に該当しない。ホ○フォビックとは「同性愛者に対する偏見のある」という意味。「同性愛者に対する恐怖感・嫌悪感を持つが同性愛者を客観的に把握している」は含まれない。ホ○フォビックな人物はホ○フォーブ と呼ばれる。
https://ja.wikipedia.org/wiki/ホ○フォビア




40: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:36:35.861 ID:YQhm/nw00.net
あでもこの場合は
Aさん→男
男→キモい
だから
Aさん→キモいは正しいわ




41: アスペニート 2016/02/09(火) 00:37:03.033 ID:IesUql5p0.net
三段論法の形式の正しさと結論の現実的な正しさの違いじゃないの




43: アスペニート 2016/02/09(火) 00:37:51.486 ID:IesUql5p0.net
結論じゃなくて命題




44: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:39:30.952 ID:qOkoBpIj0.net
Aさんが自分をキモいと思ってないなら2行目の前提が間違ってる




45: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:41:13.159 ID:5U7BuJirM.net
Aさんが「男はキモい」と言っても実際は男が全員キモいって言ってるわけではない
たしかに全員キモいと言ってるとしたら正しい
全員ではなく一部の男がキモいという意味なら二行目は間違いで三段論法以前の問題




46: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:42:03.724 ID:stGEh9rL0.net
そんなことより三段論法の正しさの証明ってどうやってできるの




51: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:44:40.029 ID:k17fSQoSM.net
>>46
記号論理>>25




52: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:45:59.231 ID:stGEh9rL0.net
>>51
これ見ても何が何だがさっぱりわからないんだが




58: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:50:17.948 ID:8Z8BXo/EM.net
>>52
一階述語論理を理解していないと不可能

高卒には難しいだろうな

一階述語論理(いっかいじゅつごろんり、first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理(にかいじゅつごろんり、second-order predicate logic)と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理(こうかいじゅつごろんり、higher-order predicate logic)という。

命題論理との差異

命題論理では文を構成する最も基本的な命題(原子命題)は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命題は原子論理式と呼ぶ記号列によって表す。原子論理式とは述語記号と呼ぶ記号と、項と呼ぶものの列、からなる P t1 … tn という形の記号列であり、これは個体の間の関係を表すものである。
命題論理にない一階述語論理のもう一つの特徴は量化 (quantification) である。

例えば、定言的命題論理の範囲において、次のような推論の妥当性を扱うことはできない:
すべての人間は死ぬ。
ソクラテスは人間である。
したがってソクラテスは死ぬ。


一階述語論理では、このような「すべての…について」という表現や、また「ある…について」といった表現を扱えるように、全称量化記号 (universal quantifier) と呼ぶ記号 ∀ と存在量化記号 (existential quantifier) と呼ぶ記号 ∃ を新たに導入する。これらを用いると「すべての x について φ である」という命題は ∀xφ 、「ある x に対して φ である」は ∃xφ と表される。これらの記号を用いると上の三つの文はそれぞれ、例えば、
∀x (Px → Qx)
Pa
Qa
のように記号化することができる。ここで、Px と Qx はそれぞれ「x は人間である」「x は死ぬ」を表し、a はソクラテスを表すことを意図している。上の日本語による定言命題推論の妥当性は不決定的だが、仮言命題推論化されるならば、一階述語論理において Qa が、{ ∀x (Px → Qx) , Pa } の論理的帰結 (logical consquence) であるという事実に反映される。一般に、論理式 φ が論理式の集合 Σ の論理的帰結であるとは、Σ の論理式のすべてをみたす解釈は必ず φ もみたすこととして定義され、これは、あるいくつかの前提からある結論が論理的に導かれるという概念の数学的な定式化である。
https://ja.wikipedia.org/wiki/一階述語論理




47: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:42:12.900 ID:XukwE4bLa.net
パラドックスでも何でもなく国語が弱いだけだろw
単純に命題がガバガバで解釈増えてるだけじゃん




48: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:42:17.674 ID:OvspKakK0.net
自分をきもいと思っているなら何も間違ってない
自分をきもいと思っていないなら自分以外の男をきもいと思ってるということ




49: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:43:22.193 ID:8jbmPsCL0.net
他には

在特会は在日特権に反対している
在日特権は人種差別である
よって在特会は人種差別に反対している

しかし実際は在特会は人種差別をする団体とされている

フェミニストは性差別に反対している
性差別と言えば(女性差別のみならず)男性差別もある
よってフェミニストは(女性差別だけでなく)男性差別にも反対している

実際はラディカルフェミニストの一部は平然と男性差別をする

とか。




50: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:44:36.251 ID:5U7BuJirM.net
>>49
全部同じ>>47




53: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:46:17.869 ID:DSaHG+bA0.net
>>49
論理を軽く捉えすぎなんだよな




54: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:48:09.918 ID:qOkoBpIj0.net
>>49
これ三段論法?




56: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:49:10.823 ID:8jbmPsCL0.net
>>54
前提二つと結論だからね
正しくないが




57: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 00:49:22.244 ID:5U7BuJirM.net
>>54
形はたしかに三段論法
ただ一つ一つの命題に誤りや解釈の違いがある




64: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 01:13:53.176 ID:SOxE0IqA0.net
仮説演(鐸)法で論じてるからでしょ




65: 以下、\(^o^)/でVIPがお送りします 2016/02/09(火) 01:16:00.821 ID:8jbmPsCL0.net
>>64
えーとどういうことだっけ?

仮説演繹法これは科学的方法の記述として提案されたものである。

この方法によると、観察可能なデータに基づいた検証による反証が可能であると考えられる形式で仮説が定式化されることによって、科学的探究は進む。その仮説の予測に反することができ、なおかつ実際に反する検証は、その仮説の反証とみなされる。その仮説に反することができるが実際には反しない検証は、その理論を裏づける。次に、競合する諸仮説がどれだけ厳格にそれらの予測によって裏づけられるかを検証することによって、それらの仮説がどれだけよく説明をするのかを比較することが企てられる。
https://ja.wikipedia.org/wiki/仮説演繹法