タグ

論理学に関するNEXTAltairのブックマーク (4)

  • ヘンペルのカラス - Wikipedia

    だが(この世の)全ての黒くないものを、漏れなく全て調べ、もしそこにカラスが一羽も混じっていなければ、「全てのカラスは黒い」と証明できたことになる。(この写真は、全ての黒くないもの の ほんの一部でしかないが、とりあえずリンゴの一部を調べている段階のイメージ)。 前の写真の続き。この写真は(この世の)全ての黒くないものを調べるために、その一部である、黒くないタオルの一部を調べて、そこにカラスが混じっていないか、確認している段階のイメージ。(この世の黒くないもの全部を調べなければならないので、世界中(宇宙中)を駆け巡らなければならず)一体どれだけ調べればよいのか...誰にも見当がつかないが、もしも仮に... 全ての黒くないものを調べることができるのなら...もし仮にそんなことができると仮定して、なおかつ、そこに一羽のカラスも入っていなければ、「全てのカラスは黒い」と証明できることになる。 その

    ヘンペルのカラス - Wikipedia
  • トートロジー - Wikipedia

    トートロジー(英: tautology, 希: ταυτολογία, 語源はギリシャ語で「同じ」を意味するταυτοから)とは、ある事柄を述べるのに、同義語[1]または類語[2]または同語[3]を反復させる修辞技法のこと。同義語反復、類語反復、同語反復等と訳される。関連した概念に冗語があり、しばしば同じ意味で使われることもある。また、撞着語法はトートロジーの反対の技法である。 同語反復[編集] 同語反復(どうごはんぷく)とは「私は私であり、君は君である」のように、等値を示す語によって同じ言葉を繰り返すことである。 文学、評論等、言語表現における技巧のひとつとして用いられる。 「AはAである」は、例えば「AはあくまでAであって他のものとは異なる」という注意喚起、あるいは「Aは所詮Aであってそれ以上ではない」という主張、等々の筆者(話者)の意図を含み得る。また同様に「AはAであり、BはBであ

  • 自己言及のパラドックス - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2020年4月) 独自研究が含まれているおそれがあります。(2020年4月) 出典検索?: "自己言及のパラドックス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 哲学および論理学における自己言及のパラドックス(じこげんきゅうのパラドックス)または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる(パラドックス参照)。 「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真と

  • 1