「ジョン」の版間の差分

ナビゲーションに移動 検索に移動
サイズ変更なし 、 1年7月19日 (I)
(ページの作成:「'''ジョン'''は、'''数学のテストで満点をとれない存在'''である。 ==概要== ジョンについて分かっていることは、「'''ジョンが…」)
 
タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集
103行目: 103行目:




つまり、『'''ある人にとって「利用者:Notoriousは gentle であることは有り得ない。」'''』は論理的に偽である。
つまり、「'''ある人にとって『利用者:Notoriousは gentle であることは有り得ない。』'''」は論理的に偽である。


しかしながら、『'''ある人にとって「ジョンが利用者:Notoriousは gentle であることは有り得ない。」'''』は先述の通り論理的に真である。
しかしながら、「'''ある人にとって『ジョンが利用者:Notoriousは gentle であることは有り得ない。』'''」は先述の通り論理的に真である。


この壮大ともいえる比較実験の生す答えはただ一つ。
この壮大ともいえる比較実験の生す答えはただ一つ。
115行目: 115行目:
証明として、「ジョン」に「有り得ない仮定」を当てはめてみると、全てのつじつまが合うのだ。
証明として、「ジョン」に「有り得ない仮定」を当てはめてみると、全てのつじつまが合うのだ。


{{引用|引用文=例えば、仮定『有り得ない仮定は「数学のテストで満点を取る。」』について、ある人が『有り得ない仮定が「数学のテストで満点を取る」ならば、豚が飛ぶだろう。』のように言ったとする。
{{引用|引用文=例えば、仮定「有り得ない仮定は『数学のテストで満点を取る。』」について、ある人が「有り得ない仮定が『数学のテストで満点を取る』ならば、豚が飛ぶだろう。」のように言ったとする。
このとき、その人は『有り得ない仮定が「数学のテストで満点を取ること」は有り得ない』と思っている、ということが分かる。}}
このとき、その人は「有り得ない仮定が『数学のテストで満点を取ること』は有り得ない」と思っている、ということが分かる。}}
これはつまり、『「数学のテストで満点を取ること」は有りうる仮定である』ことを意味する。
これはつまり、「『数学のテストで満点を取ること』は有りうる仮定である」ことを意味する。
{{引用|引用文=例えば、仮定「[[利用者:Notorious]]は gentle である。」について、ある人が「[[利用者:Notorious]]は gentle であったならば、豚が飛ぶだろう。」のように言ったとする。
{{引用|引用文=例えば、仮定「[[利用者:Notorious]]は gentle である。」について、ある人が「[[利用者:Notorious]]は gentle であったならば、豚が飛ぶだろう。」のように言ったとする。
このとき、その人は『有り得ない仮定が「[[利用者:Notorious]]は gentle」であることは有り得ない。』と思っている、ということが分かる。}}
このとき、その人は「有り得ない仮定が『[[利用者:Notorious]]は gentle』であることは有り得ない。」と思っている、ということが分かる。}}
これはつまり、『「[[利用者:Notorious]]は gentle」は有りうる仮定である』ことを意味する。
これはつまり、「『[[利用者:Notorious]]は gentle』は有りうる仮定である」ことを意味する。


なお、この「有り得ない仮定」は「'''意味のない仮定'''」と言った方が良いだろう。
なお、この「有り得ない仮定」は「'''意味のない仮定'''」と言った方が良いだろう。
8,864

回編集

案内メニュー