ヘンペルのカラス - Wikipedia
ヘンペルのカラス （英: Hempel's ravens） とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「帰納法の問題（英語版）」）を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある[1]。 「ヘンペルのカラス」は「全てのカラスは黒い[注釈 1]」という命題を証明する以下のような対偶論法を指す[1]。 「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる[2][3][4]。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い[2][3]。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明
トートロジー - Wikipedia
トートロジー（英: tautology, 希: ταυτολογία, 語源はギリシャ語で「同じ」を意味するταυτοから）とは、ある事柄を述べるのに、同義語[1]または類語[2]または同語[3]を反復させる修辞技法のこと。同義語反復、類語反復、同語反復等と訳される。関連した概念に冗語があり、しばしば同じ意味で使われることもある。また、撞着語法はトートロジーの反対の技法である。 同語反復（どうごはんぷく）とは「私は私であり、君は君である」のように、等値を示す語によって同じ言葉を繰り返すことである。 文学、評論等、言語表現における技巧のひとつとして用いられる。 「AはAである」は、例えば「AはあくまでAであって他のものとは異なる」という注意喚起、あるいは「Aは所詮Aであってそれ以上ではない」という主張、等々の筆者（話者）の意図を含み得る。また同様に「AはAであり、BはBである」は、例えば「A
自己言及のパラドックス - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2020年4月） 独自研究が含まれているおそれがあります。（2020年4月） 出典検索?: "自己言及のパラドックス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。 「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真と
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
