自己言及のパラドックス単語

16件
ジコゲンキュウノパラドックス
2.9千文字の記事
  • 22
  • 0pt
掲示板へ

自己言及のパラドックスとは、自身を含めて言及しようとして起こるパラドックスのことである。

概要

パラドックスとは、簡単にいえば「当然の論理からありえない結論を導く」という状態のこと、またはここでいう「論理から結論を導く(間違った)プロセス」のことで、事実事実から仮想を事実にしようとする野心的な試みである。

自己言及のパラドックスとは、「A → A」という形式の単純な論理が実は間違っているというパラドックスである。
とくにAしか肯定できない状況において「Aは偽である」と明言することで発生する。

「この文(の偽)は偽物である。」という文章はそれを分かりやすくした例である。
もし「この文は偽物である。」がである場合、文そのものが肯定されて偽となり、ではなくなる。
もし「この文は偽物である。」が偽である場合、文そのものが否定されてとなり、偽ではなくなる。
結果、どちらを選んでもパラドックスが発生する。
これは「」内の文章(自己)に言及して否定しているために発生している。

身近な所を挙げれば、「『禁止』と書かれた」・「『静かにしろ!』という怒鳴り」・「『例外のない規則はない』という規則」・「『その質問には回答しない』という回答」・「『ありえないなんて事はありえない』という台詞」等々、自己言及のパラドックスは世の中にありふれている。

自己言及のパラドックスは原理上「無限ループ」そのものであり、従ってプログラマーなどの情報処理技術者はこれの回避方法を習得するのが必須となっている。

例を用いた考察(嘘つきのパラドックス)

このパラドックス聖書に書かれている「クレタ人のパラドックス(エピメニデスパラドックス)」として古くから知られている。

クレタ人の預言者エピメニデスが言った。「クレタ人はみんなうそつき、けだもの、ぐうたらだ」。
これは真実である。

――新約聖書テトスへの手紙」、1章12節

この発言を肯定すると、エピメニデスを含めたクレタ人は「うそつき」ということになり、彼の発言もになってしまう。しかし発言がであればクレタ人はをついていないことになり、従ってクレタ人である彼の発言はではなくなり肯定されてしまう。
かくして自身を含めて言及したためにパラドックスが発生し、肯定と否定の無限ループが起こる。

ニコニコ動画に言えば「「コメントフォームが表示されない」と動画内でコメントする」に例えられる。
ただしこれは仮定ではなく「コメントできた」という事実があるので、パラドックスというよりも怪奇現か単なるかもしれない。

さらなる考察

クレタ人のパラドックスを分析すると、大きく分けて4つの意味があると思われるので、これを分けて考えてみたい。

背理法明すると、①の否定は「全てクレタ人は常にをつく。」訳ではない、つまりあクレタ人は本当の事を言う事がある。これ自体は納得出来る所でしょ う。また同じく②の否定、全てのクレタ人はをつく事がある。これ自体も論理的にはパラドクスとも呼べないもので、ある時点・定義さえ定めれば「全てのクレタ人」がをつくか否かは判別可である。③も同様、あるクレタ人が常に本当の事を言うというのを遡るにしろ今後確かめるかすれば良いし(ひとつでも立出来れば十分)、④も③と同様である。本来パラドクスとも呼べない物(をつくか否かは偶然の物でこの文自体は何ら自己言及らしき物がい為)がパラドクスの代表格に押し上げられたのは、隠された前提がある為と思われる。

では次の例はどうだろうか。

このページに書かれていることはすべてである。

もちろんこのページに書かれたことが全てなら「このページに書かれていることはすべて」という文がであるということになり、パラドックスが生じる。しかし、少しでも正しいことがあれば「すべて」はになる(真実ではない)が、パラドックスは生じない。

では自己言及文をもっと範囲を狭めてみよう。

私のこの発言はである。(これはつまり最初の発言のクレタ人が発話者一人に限られる場合である)

この文をと仮定すると明らか矛盾するので、少なくともではない。一方偽だと仮定すると「私のこの発言はである。」真実通りの事を述べている事になる、よって少なくとも偽ではない。結論はでもなく偽でもない。解説によってはこれで「パラドックス」とするのもあるが、偽の定まらない文だからといって端的に「パラドックス」とは言えない。というのも多少抜け的だが偽の定まる文、叙文というのだが、それについてか偽か言うのが通常であって偽の定まらない文、つまり命文(~してくれ)や感嘆文(ああ、なんて○○なんだ!)、意味不明な文(天国べて暴)という部類のその他の文の範疇に収めれば解決するからである。

そろそろ冗長になってきたので、一応のパラドックスはというと

私のこの発言は本当ではない。

これはと仮定すると「本当ではない」というのがなのでではなくなる、また偽だと仮定すると「本当ではない」という本当の事を言っているので偽でもない。つまり「でも偽でもない」という事になる、と仮定出来る。が初めに「本当ではない」と言っているのでこの仮定も成り立たない。(この文がというだけではなくその中間の状態ですらないという事なので)つまり正正銘のパラドックスといえる。だがこれが実際問題になるかというと矛盾した文自体は「明日北緯135°東経35°地点にが降るか降らない」というように不思議な感じには受け止められず単なる矛盾した文という位置づけと一緒である。どのような文もそれが叙文ならば言外には「この文はである。」という一句を含んでいるので「私のこの発言は本当でありかつ本当ではない。」と言った文であるのが最後の例文の簡単な説明である。

その他の自己言及のパラドックス

嘘つきパラドックスは自己言及のパラドックスの一種ではあるが較的簡単に理解出来る物の一つである。以下別の形をした物をいくつか例示する。(中にははっきりとパラドックスと言えない物もある)

関連項目

関連商品

【スポンサーリンク】

  • 22
  • 0pt
記事編集 編集履歴を閲覧

ニコニ広告で宣伝された記事

むらまこ (生) 記事と一緒に動画もおすすめ!
提供: ぱーくん
もっと見る

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

自己言及のパラドックス

145 ななしのよっしん
2020/06/23(火) 17:08:08 ID: zlMlE9tlbN
>>144
模範:質問にはイエスノーで答えんかァァァ───ッ!!!
対抗:その質問の答えが「ハンバーグ」になる。

シュレーディンガーの猫はあんま関連なくね・・・?
👍
高評価
1
👎
低評価
0
146 削除しました
削除しました ID: OT1gqdJ9CE
削除しました
147 ななしのよっしん
2020/07/22(水) 15:08:57 ID: fcbd1Zk9T/
Q.あなたはこの質問にイエスと答えますか?

イエスであるか、はたまたノーであるか、いずれにしろ私がどちらかはっきりした答えを明確に方に返す事は間違いありません」
イエスと一言だけ答える概算が極めて高い」
「もちろん大丈夫です!」
「あなたのご想像通りです」
「少なくとも私の答えがノーとなる余地は一切ないと期待して下さって結構です」
「いいか!この際はっきり言ってやるが私はその質問にどんな回答も答える事はないし、これ以上あなたとはいかような質問のやり取りも発生する事はない!どうだ、わかったか?」
👍
高評価
0
👎
低評価
0
148 ななしのよっしん
2020/07/22(水) 15:14:33 ID: fcbd1Zk9T/
>>147
概算じゃなくて、算とか蓋然性だったわ
👍
高評価
0
👎
低評価
0
149 ななしのよっしん
2021/08/27(金) 04:58:58 ID: E+QTIVOCwe
亀レスだけど、古いレスに気になるのがあったので

>>66
でも偽でもどちらでも成立することを矛盾と呼ぶ

「この文章は偽だ」
:不成立
偽:不成立
矛盾(どちらも成立しない)


「この文章はだ」
(省略しています。全て読むにはこのリンクをクリック!)
👍
高評価
0
👎
低評価
0
150 ななしのよっしん
2021/08/27(金) 05:10:51 ID: 9IXK7XYv6z
パラドックスというのは、つまり人間の胎児だ
偽の命題を30字以内の日本語では記述出来ない最小の自然数個くらい練り固め、ぐっと押すと中心に命題が現れる
ただしどれが命題になったかを確認するために割ると全て偽に戻る
ここから量子計算が生まれ、天国海老になった
この文章は全てです
👍
高評価
0
👎
低評価
0
151 ななしのよっしん
2023/03/08(水) 23:31:34 ID: s5bVXpVOuv
経済安全保障担当相、放送法文書は「(高元総務相の)捏造
👍
高評価
0
👎
低評価
0
152 ななしのよっしん
2023/03/17(金) 22:39:19 ID: z8+W5yLY+G
ChatGPT自己言及のパラドックス試したら看破された
👍
高評価
0
👎
低評価
1
153 ななしのよっしん
2023/08/26(土) 21:25:34 ID: mOy+IIMk5k
ななしのよっしんの発言は信用できない
👍
高評価
2
👎
低評価
0
154 ななしのよっしん
2023/11/29(水) 21:15:47 ID: LTaXA7MN50
for文のループ制御(breakcontinue)
👍
高評価
0
👎
低評価
0