http://75.2.66.110/mediawiki/index.php?action=history&feed=atom&title=%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 2026-04-27T03:46:57Z このウィキのこのページに関する変更履歴 MediaWiki 1.25.1 http://75.2.66.110/mediawiki/index.php?title=%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9&diff=8321&oldid=prev 2007-06-21T18:31:37Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">←前の版</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">2007年6月21日 (木) 18:31時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="L80" >80行目:</td> <td colspan="2" class="diff-lineno">80行目:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:数学に関する記事|しこけんきゆうのはらとつくす]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:数学に関する記事|しこけんきゆうのはらとつくす]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">[[de:Selbstbezüglichkeit]]</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[en:Self-reference]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[en:Self-reference]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del class="diffchange diffchange-inline">eo</del>:<del class="diffchange diffchange-inline">Sinaludo]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">*</ins>[[<ins class="diffchange diffchange-inline">wiki</ins>:<ins class="diffchange diffchange-inline">自己言及のパラドックス</ins>]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[es:Autorreferencia]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[fr:Auto-référence]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[he:התייחסות עצמית]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[nl:Zelfreferentie]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[ru:Самореференция]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[sv:Självreferens]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[uk:Автореференція</del>]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> </table>

キリカ http://75.2.66.110/mediawiki/index.php?title=%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9&diff=8320&oldid=prev 2007-06-21T18:31:14Z

<p>http://ja.wikipedia.org/w/index.php?title=自己言及のパラドックス&amp;oldid=13003859</p> <p><b>新規ページ</b></p><div>'''自己言及のパラドックス'''（じこげんきゅうの-）とは、自己を含めて言及しようとすると発生する[[パラドックス]]のことである。<br /> <br /> == 嘘つき（エピメデス）のパラドックス ==<br /> 自己言及のパラドックスの古典として知られるのが嘘つきのパラドックスである。嘘つきのパラドックスは以下のような形で知られている。<br /> <br /> * ''「クレタ人は嘘つきである」とクレタ人が言った。''<br /> <br /> このパラドックスの出典は、[[新約聖書]]中の「[[テトスへの手紙]]」である。<br /> <br /> : クレテ人の中なる或る預言者いふ『クレテ人は常に虚僞をいふ者、あしき獸、また懶惰（らんだ）の腹なり』この證は眞なり、されば汝きびしく彼らを責めよ、彼らがユダヤ人の昔話と眞理を棄てたる人の誡命とに心を寄することなく、信仰を健全にせん爲なり （舊新約聖書 テトス書 1章12-15節）<br /> <br /> ここではクレタ人自身が'''クレタ人は嘘つき'''と言及しているが、クレタ人が嘘つきならば'''クレタ人は嘘つき'''ということも嘘になってしまう。発言自体が嘘ならば'''クレタ人は正直者'''ということになり、嘘をついたクレタ人と自己矛盾してしまう。<br /> <br /> 「クレタ人の中には嘘つきもいれば正直者もいる。」（嘘をついているのは言った本人のみ）と解釈すれば解決する。<br /> * ''「嘘つきのクレタ人は嘘つきである」と正直者のクレタ人が言った。''<br /> あるいは、<br /> * ''「正直者のクレタ人は嘘つきである」と嘘つきのクレタ人が言った。''<br /> とすればよい。<br /> <br /> == 相対主義の自己矛盾 ==<br /> [[相対主義]]について非常に頻繁に持ち出される古典的批判は、それが自己言及のパラドックスに陥るために、立場として矛盾を含んでいる、あるいは完全ではない、というものである。<br /> <br /> 相対主義は典型的には「いかなる命題も、絶対に正しいということはない」というような主張を含んでいる。この主張自体を命題と考えることが可能なので、自己言及的な命題を作成すると、次のようになる。「『いかなる命題も、絶対に正しいということはない』という命題も、絶対に正しいということはない」これは命題として自己矛盾に陥っている。<br /> <br /> 平易に言い換えると、相対主義者はいかなる立場も絶対に正しいということはないことを主張するのだが、そのように主張する相対主義者'''自身'''は、果たして絶対に正しいのか、それとも、絶対に正しいということはないのか、という点をめぐる矛盾が発生する。もしも相対主義者が正しいとしたら、いかなる命題も絶対に正しいということはないはずなのだが、それならば、「いかなる命題も絶対に正しいことはない」という命題も絶対に正しいということはないはずで、すなわち相対主義者の基本的な主張は間違っていると考えることが出来る。<br /> <br /> このように、自己言及が自己矛盾をもたらすために、相対主義は哲学的な立場としては維持不可能なものである、と批判されることになる。<br /> <br /> しかしながら、相対主義の主張をいま一歩踏み込んで検討してみるなら、相対主義者自身は自身の主張が相対主義者にとっては正しく、相対主義者でない者にとって正しくなくとも何ら問題ではなく、この批判は相対主義者にとって重要性を持つとは言えない。すなわち、相対主義の「絶対に～ない」において重要なのは、如何なる準拠点（個人/文化/社会/主義/歴史観/自然観/概念枠…等々）に即して正しい/正しくないのか、という準拠点への注意の喚起にあるからである。逆の観点からすれば、この種の相対主義批判は、批判者の側の主義への自己言及をなしているという点で興味深い。<br /> <br /> == 数学 ==<br /> 論理的な整合性が信じられていた[[数学]]についても、[[ゲーデルの不完全性定理]]が発表され大きな波紋を呼んだ。<br /> &lt;!--<br /> この定理は、自然数論を含むいかなる公理系についても、その公理系は完全ではないとするものである。完全ではない、というのはこの場合、「真であるとも偽であるとも証明できないような命題がその公理系について存在する」というもので、具体的にはそのような命題のひとつとして、「この公理系には矛盾がない」が挙げられた。つまり、常に真とも偽とも証明不可能であることが証明されたことになる。<br /> <br /> これを更に平易に要約するなら、自然数論を含公理系からは、その公理系自身に矛盾があるともないとも証明することができないままに留まる、ということになる。--&gt;<br /> <br /> === 集合論におけるパラドックス ===<br /> 集合論における典型的なパラドックスは次のようなものである。これは特に、[[バートランド・ラッセル]]が議論の対象としたことで知られる（ラッセルは述語論理における同様のパラドックスについても議論している）。<br /> <br /> まず、様々な集合を2種類に分類する。ひとつは、自分自身を要素として含むような集合で、もうひとつは、自分自身を要素として含まないような集合である。<br /> <br /> 次に、その分類で、後者に分類されるもの全てからなるような集合を想定する。つまり、この集合は、「自分自身を要素として含まないような集合の集合」ということになる。（便宜上この集合をAとする。）<br /> <br /> このような集合Aは、果たして「自分自身を要素として含まないような集合」のひとつであるかを考えてみると、もしも自分自身を要素として含まないのであれば、AにはAが含まれないということを意味する。ところが、Aは定義により、自分自身を要素として含まない集合全てを含むはずなので、AにはA自身が含まれていなければならないはずである。ところが、もしもAにA自身が含まれているとすると、それはAが自分自身を含む集合の一種であるから、Aの一要素として含まれていてはいけないことになる。<br /> <br /> 以上のように、この集合は自己言及のパラドックスを引き起こすことになる。<br /> <br /> == 自己言及とパラドックスの関係 ==<br /> ところで自己言及によって必ずパラドックスが起きるというわけではない。<br /> 例えば、<br /> * 「この文章は正しい」<br /> * 「自分自身を要素として含む全ての集合の集合」<br /> は矛盾を引き起こさない。<br /> <br /> パラドックスを引き起こすためには、自己言及とともに真偽の反転が必要である。相対主義のパラドックスにおいても相対主義の主張が絶対主義的であると考えられるが故にパラドックスを引き起こすわけである。<br /> <br /> なお、ゲーデルの不完全性定理の証明に用いられるゲーデル命題は<br /> * 「この命題は証明できない」<br /> という意味のものであるが、この場合、上記命題が証明できなくとも、それ故に正しいと考えれば、真偽の反転は起きず、パラドックスにもならない。<br /> <br /> == 外部リンク ==<br /> 英語<br /> {{IEP|p|par-liar|Liar Paradox}}<br /> <br /> == 関連項目 ==<br /> * [[言語階層説]]<br /> * [[悪魔の証明]]<br /> * [[ラッセルのパラドックス]]<br /> * [[アルフレト・タルスキ]]<br /> * [[ジョン・ケージ]]（[[4分33秒]]）<br /> * [[矛盾許容論理]]<br /> * [[カリーのパラドックス]]<br /> {{sci-stub}}<br /> <br /> [[Category:パラドックス|しこけんきゆうのはらとつくす]]<br /> [[Category:数学基礎論|しこけんきゆうのはらとつくす]]<br /> [[Category:集合論|しこけんきゆうのはらとつくす]]<br /> [[Category:論理学|しこけんきゆうのはらとつくす]]<br /> [[Category:数学に関する記事|しこけんきゆうのはらとつくす]]<br /> <br /> [[de:Selbstbezüglichkeit]]<br /> [[en:Self-reference]]<br /> [[eo:Sinaludo]]<br /> [[es:Autorreferencia]]<br /> [[fr:Auto-référence]]<br /> [[he:התייחסות עצמית]]<br /> [[nl:Zelfreferentie]]<br /> [[ru:Самореференция]]<br /> [[sv:Självreferens]]<br /> [[uk:Автореференція]]</div>

キリカ