  |
はてなキーワード: ゲーデルとは
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
数の概念は文化や歴史によって変化してきた。古代ギリシアでは、1は数ではなく単位とされていたが、現代では自然数の集合 N の最小の要素とされている。
数の概念は哲学的な問題を引き起こすことがある。無限や超準数といった数は直観に反する性質を持つ。例えば、無限は自分自身に加えても変わらないという性質を持つ（∞+∞=∞）。超準数もまた通常の数の演算法則が成り立たない（ω+1≠1+ω）。
数は実在するのか、それとも人間の心の産物なのかという存在論的な問いもある。数の実在主義は、数は客観的な実在であり、人間の心とは独立して存在すると考える。数の構成主義は、数は人間の心の産物であり、人間の言語や思考に依存して存在すると考える。プラトニズムは、数はイデア界に存在する普遍的な実在であると考える。ピタゴラス主義は、数は万物の根源であると考える。論理主義は、数は論理的な体系から導き出されるものであると考える。
数の概念は数学の基礎付けにも関わる。数学の公理や定理は、数の概念に基づいて構築されているが、その正当性や完全性には限界がある。ゲーデルの不完全性定理は、数の概念を用いた形式体系には矛盾しないが証明できない命題が存在することを示した。
数の概念は、かつて客観的な現実を表すものと考えられていたが、量子論の発展により、数はより複雑で主観的なものである可能性が高まった。古典物理学では、数は物理量と一致していたが、量子論では、数は物理量とは別の抽象的な概念として使われている。
自我や自由意識と同様に、数の本質はまだ解明されていない。しかし、量子コンピューターは数の概念を利用して作られており、数は物理システムを表現する有効なツールであることは、どのレイヤー、スケールにおいても明らかである。
数の概念は私たちの知識や理解を拡張するものであり、同時に私たちの疑問や不確実性を増やすものでもある。
数の概念は、私たちの世界に対する見方を変える力を持っている。(どやああああ)
————————-
https://anond.hatelabo.jp/20240216124331
定義と表現が別ではないというなら、そもそも数学者が定義を考える最中の頭の中の、定義にあたる思考内容は、やっぱり記号列を想起してるときの記号列そのものってことか？
ならたとえば「→」ならばという記号や、もっと直接的にはゲーデル文の一覧表みたいなので記号列を頭のなかで想起して記号列の書き換えについて定義するのだろうし、他人が書いた→が使われた記号列や一覧表を規則としてみれば、それに従った書き換えもまたできるわけだけど。
だとしたら「書き換える」みたいな操作はどうやって身に着けた？全く言語的でそれ以外には一切よってないのか？
そうではなく、書き換えるという動作がなんであるかを身体感覚として知っているから
現代の数学者のほとんどは形式化された数学の体系であるツェルメロ-フレンケル集合論ZFCを使っています.
言及されている通り, ゲーデルの不完全性定理によってZFCが無矛盾であるならばZFCは自身の無矛盾性を証明することができません. ZFCが矛盾している可能性はあります. ZFCの無矛盾性に関しては, 一方でZFCを用いて多くの数学者が数学をしている中でまだ矛盾が見つかってないという傍証もあります.
仮に矛盾が見つかってしまった場合, その後の方向性はいくつか考えられます:
1. その矛盾の証明をよく調べて, その原因を取り除いてZFCより弱い新たな数学体系を構築する.
これに関しては普段の数学をする際にフルでZFCを使っているわけではないので, 合理的なZFCより弱い体系を見つけることができればこれまでの数学を続けることができるかも知れません.
この場合は数学がどうなるか想像がつきません. 数学にとって大打撃になると思います.
他にもZFC以外の別の数学の形式的な基礎づけを与えようという動きもあります. またZFCより改善させるような新しい体系, 公理形を見つける方向の研究もあります.
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
↓なんかchatgptっぽくね？
ゲーデルの第1不完全性定理は、形式的な論理体系内での数学の特定の命題に関して「証明できない」ということを示しています。この定理によれば、ある論理体系内で自己言及的な命題を含む場合、その命題が真か偽かを証明することはできないということを意味します。
つまり、ゲーデルの第1不完全性定理は、「この命題は証明できない」という命題を考えた場合、それが真か偽かを判断できないことを指摘しています。したがって、特定の命題が「証明できない」ということは、その命題が現実には真か偽かになっているかどうかを示すものではありません。
ゲーデルの第1不完全性定理は、形式的な論理体系の限界を示すものであり、数学や論理学の基本的な性質を理解する上で重要な結果です。しかし、この定理が特定の命題の真偽を示すものではないため、その命題が現実に真か偽かを判断するためには、他の手段や情報が必要です。
ウィトゲンシュタインの思想とゲーデルの不完全性定理には、いくつかの類似点があるかもしれません、それぞれ異なる観点から論理と数学にアプローチしています。
ウィトゲンシュタインの「論理空間」の概念は、言語や記号による表現の枠組みや制約を強調し、言語や論理の限界について考察しています。彼は「言語ゲーム」という概念を導入し、言葉や文脈の中での意味の理解に注目しました。ウィトゲンシュタインの主張は、言語や論理の使用が特定の文脈やルールに従って行われることを強調し、その文脈やルールから外れた場合、意味が崩壊する可能性があるというものです。
一方、ゲーデルの不完全性定理は、数学的な形式的論理体系に焦点を当て、その体系内での命題と証明可能性について論じました。この定理は、特定の命題がその論理体系内で証明できないことを示し、論理体系の限界を示唆しています。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13286033693
世間では「明るいこと」に比べて「後ろ暗いこと」への理解が浅い。浅すぎると思う。
そもそもいつからこんなに、明るさや賑やかさが正義とされ始めたのだろう。そして明るさを「楽しい」と変換する安直な人が増えたのだろう。
「性質」と「それがもたらす感情」は別物なのに、ごく当たり前のようにいっしょくたにされすぎである。自分の中できちんと「楽しい」に変換されたなら全く構わない。し、社訓や集団のスローガンに沿っていっしょくたになる場合は往々にしてあるから仕方ない。
けれどよく考えずに、よりによってその場の空気なんかで「楽しい」としているのはいただけない。
後述するように、思考を放棄すると自分のためにならないからだ。
明るく賑やかなものに触れると楽しい。後ろ暗いものに触れると気が滅入るし嫌だ。だから暗さは人生に必要ない。Q.E.D。
ここまで解いてペンを置く人たちが意外と多くて恐怖をおぼえる。はたしてそんなに簡単に証明できるものなんでしょうか。まだ終了のチャイム鳴ってませんよ。まだまだ考える時間はたくさんありますよ。ゲーデルの不完全性定理みたく証明できないということを証明しても間違いじゃないんだから、もうちょっと考えましょうよー！
情報が増えSNSが普及し、みんなが広く「人と比べる」ことを始めてから、世の中ではグッとわかりやすいものへの評価が高まった。
わかりやすいというのは、説明しやすいということだ。「楽しい」はわかりやすい。他者との濃密なコミュニケーション。よろこび。平和。笑顔。健康。皮肉にも先人たちのブランディングのおかげで、個人に沿ったものかは別として楽しいシチュエーションなんて山ほどあげられる。フェス。海。BBQ。友人とのランチ。家族との食事。etc……。
それに比べて「気が滅入る」「嫌」はどうだ。「楽しい」ほどポンポンシチュエーションが出る人は少ない気がする。
それは人によって全く違う形をしているのと、「嫌なことなんて忘れて、楽しいことだけ考えないと人生もったいないですよ♪」というひとつの考えが蔓延しているからだ。
はたしてそれがみんなに適応する考えなのだろうか。楽しいことだけで自己が形成されているわけなんてないのに、臭いものに蓋をしてしまったとき、ひずみが生まれないだろうか。そしてそのひずみは、今すぐでなくても時間をかけてゆっくりと自分を苦しめたり、あるいは自分が無意識に他者を攻撃する原因になったりしないだろうか。
私の母はもう還暦になるが、家の中でひとりでボケてツッコんで、永遠に喋り続けている陽気な関西人だ。器用で頭の回転が速く、生活力も抜群に高い。何をやらせても80〜120点でこなせるタイプで、どこでも重宝されて生きてきた。
母は子供時代、友達と遊ぶことを許されなかった。共働きの両親の代わりに家事を引き受け、弟の面倒をみた。ランドセルを放り出して遊びにいきたいのをずっと我慢して、結婚して家を出るまで一生懸命家族に尽くしてきた。
年月は流れ、両親も母も歳を取った。いざ相続に関する話が出たとき、母の親、つまり私の祖父母は露骨に弟を贔屓したそうだ。
母は当時50代だったが、そこから何年も「男尊女卑精神が染み付いた両親」と向き合うことになった。
『思えばずっと、あの家が嫌いだった。ずっと、両親の弟贔屓が嫌だった。でも、嫌ってしまったら「嫌な家庭に生まれた人間」になってしまうから考えないようにしていた。年老いた親を嫌うひどい人間になりたくない』……。
さめざめと泣く母を見て「別に実の親のこと嫌っててもいいじゃん。そういう自分を認めていいじゃん。『私はあの人たちを嫌いで理解できない』ってことを自分で理解しておけばいいじゃん」と言った。
これは言わなかったけれど「私は絶対に自分の中の『暗い部分』や『何かを嫌う理由』と向き合っておこう」と思った。
私は母と違って生活力もなければ大抵のことが40〜50点しかできないし、場合によっては0点も当たり前、でもある特定の条件が重なると涼しい顔で200点を叩き出せる、そういうタイプの人間なのでより一層そう思う。
これは私の持論だが、これから先もずっと自分の弱い部分や後ろ暗さ、悲しみや憎しみについて考えなければならないと思う（楽しいことなんて放っておいても無意識に考える）。
「ずっとトラウマを抱えるな」「いい大人なんだから忘れろ」「うじうじするな」「そんなこと考えて人生楽しい？」とかなんとか言ってくる人がいる。けれど、そもそも簡単に忘れられないからトラウマなのだし、「いい大人」なんて曖昧な言葉が理由になることなんてないし、うじうじしているのではなく向き合っているのだし、人生は広い目で見ると楽しいけどピンポイントで見ると全然楽しくない、そういうものだと思ってます。
勘違いされたくないから強調するが「『暗い部分』や『何かを嫌う理由』と向き合って昇華し、キラキラすっきりと生きていこう♪」という能天気なことを言っているわけではない。無理無理、それは私には無理。ずっと私は暗いもん抱え続けて生きているし、嫌なもんは嫌なまま。
その理由を言葉で説明できるようにしておくと「本当に無理なこと」を避けられる。客観視できるまで噛み砕いておくと「これに関しては私のバランス感覚がおかしいのだな、人を選んで主張しよう」「これは今いる環境によって自己がブレてしまって起きている事象だから、あまり気にしないでおこう」と判断ができる。
自分を知るという槍、客観視点という盾で戦うしかない。転生したらきっとチート主人公になれるのだから、今世ではとりあえず、武器を持って立ち上がろうと思う。
俺は32歳年収1500万男性で婚活してる。イケメン。メインターゲット層は18〜23歳ぐらい。
婚活してはいるけど、相手に結婚を匂わせない。恋愛すらも匂わせない。
「別にセフレ作ったり彼女作ったり結婚したいわけじゃなくて、ただただきみが幸せになってほしいんだ」というテンションでやっている。
流入元は、趣味の場で会うとか旅先とかストナン・ネトナン・マッチングアプリなど。
マッチングアプリ経由は少ない。マッチングアプリでは、28歳以上の女性はフィルターかけているので、そもそも向こうから来る以外は見ていない。（※ はじめはそうじゃなかった）
そのためいわゆる「婚活女子」とは仲良くなることがなくて住む世界線が違うけど、婚活女子の特徴を書いてくよ！
婚活女子は「超モテるけど全くモテない」「遊び人だけど遊び人じゃない」みたいな男を求めてることが多いのかな？というふうに見えている。
「遊び人の男を、この私の魅力によって遊び人じゃなくする」とか、「遊び人の男じゃないけど、この私の魅力によって遊び人っぽくする」とか、そういう積極性もなく、両方手に入れようとしている感がある。
おまえはゲーデルかっちゅうの。
ディズニーとアイドルは「私は無趣味でシンデレラ願望があります」の合図。
無視したくなる。もしくは、どうしてもヤリモクモードが発動してしまう。すまんこ。
自分としても、20歳でディズニーとアイドル好きなのは「いいね！！！シーだとどのアトラクションが好き？可愛いね！すきすき！！」などと言えるけど、いい年してディズニー好きとか言われると直感が警鐘を鳴らすのか何も話題が思い浮かばないのもある。
真剣なことの裏返しなのかもしれないが、まだ具体的な相手がいるよりも前に「結婚したい」が先にくるのは怖い。
誰かもよくわからんやつが「本気で私を救ってくれ」というふうに世界中に大発信しているのを見ると冷や汗が背中を走る。
年をとっている女性の最大の魅力は、若い女性にはない知性とエレガントな会話だと思うのだが、そのへんも10代と同じだと心がばよえ〜んする。
楽しませてほしいなら金払ってくれ。
自分のライバルが20代前半の美人で性格もよく、相手に収入を求めていない子だということをわかってない。
なんでわざわざ俺がお前に行くと思うんだ！お前から来てセフレでもいいのでよろしくおねがいしますって土下座して！！！！！
きらい。
1946年ごろのプリンストン高等研究所で天才が実在だの知性の限界だのの話をする日常物語。主な主人公はフォン・ノイマン、クルト・ゲーデル、アインシュタインの三人。
肝心なのは、実在の人物が登場するが、これは物語であってドキュメンタリーではないこと。
彼らの会話内容や経歴には元ネタがあるにせよ、要するに著者の妄想である。
メイン主人公のフォン・ノイマンはプリン☆ストン高等研究所の数学教授。アカデミアでは知らない人はいない超天才。最近は計算機開発にご執心。フォン・ノイマンちゃんは天気予報をやってみたい！
クルト・ゲーデルは不完全性定理を発表した当代随一の論理学者、にして奇人。最近は教授になりたくてしょうがない。
世界的アイドル アルバート・アインシュタインさんは、ここでは時代に取り残された古典物理学者。つまり金看板ですよ金看板。
あとはオッペンハイマーとかワイルとか、なんか色々出てきて、不確定性原理とかヒルベルトプログラムとか知性とか認知とかの話をしながら和やかに穏やかに日々が流れる。
クルト・ゲーデルが教授に昇進し、フォン・ノイマンの計算機開発が採択され、アインシュタインは主人公格なのに影が薄いまま物語は幕を閉じる。
気晴らしにはちょうど良いが内容が適当っぽくて人には勧めにくい。
図書館には娘を連れて行ったわけだが、本当に久しぶりだ。紙の娯楽本を読むのも久々だ。
年のせいか読書ヂカラが衰えてきたな、なんて思うこともあるのだが、この本はすいすい読めた。
どうもやはり紙の本は、Kindleとは違う。読んでいるときの脳のモードとか没入感が違う。
なんでだろうね。
根本的なところでは、言葉を使って考えざるを得ないからだと思う。っていうか、思考自体が言葉なんだけど。言葉は相当あやしい。どっか限界があるっぽい。ゲーデルの不完全性定理とか、ラッセルのパラドックスとか。数学でさえ信用できないっていうし。わからんものはわからん。そりゃ、専門家のわからんと素人のわからんは別だろうけど。
似非科学って量子力学のタームと相性いいイメージだけど、あれもよほど頭いいヤツしかわからないし、その頭いいヤツの中でも解釈がわかれてるし、そりゃ、素人を煙に巻くだけなら言ったもん勝ちにもなるよな、気持ちの弱ったやつは騙されるよな、と思う。
あとホメオパシーとかも、全然現行の科学に反してるのに、統計では有効って結果が出る場合があるらしい。だから既存の科学が間違ってるとかって話じゃなく、数字をそれっぽく利用してやろうってヤカラにつけこまれる余地があるっていうことで、正直、どの似非科学にも引っかかってない人は運がいいだけ、周りに恵まれてるだけ、という感がある。
最近、二次元に魂を奪われ二次創作に萌える二次豚とでも呼ぶべき存在どもが、「公式が勝手に言ってるだけ」「原作とアニメで言ってないだけ」という種類の鳴き声を発明した。
歴史学などの一部学問においてはこうした態度が倫理的に要請されてきた、ということはニコニコ大百科でも指摘されているが、そもそもこうした態度はここ半世紀ほど「文学」「テキスト」「作品」といった物事を専門家が語るために用いられてきたものがほぼ起源であろうと思う。「テクスト論」と呼ばれるものがそれである（構造主義の話はしません）。
すなわち「勝手に言ってるだけ」「言ってないけど言ってる」は、文学者がこの半世紀格闘し続けてきたテーマなのである。ちなみに本稿は、加藤典洋『テクストから遠く離れて』をなんとなく参考にして書かれたので、興味のある方はそちらも読まれるとより楽しいかと思う。
さて、半世紀ほど前まで、たとえば夏目漱石の作品を批評する、ということは「それを書いた当時の夏目漱石の思考に限りなく接近する」ということとほぼイコールであった。平たく言えば「作者の気持ちを考える」ことが批評家の仕事であった。友人の噂話やら本人の秘蔵のメモ書きやら、ちょっと引くくらいの何もかもを動員して「唯一の答え」＝「漱石の意図」に接近しようとした。
これは当時に特異な現象ではなく、それまで人間と「ことば」の関係は大体においてそんな感じであった。人類史上のベストセラーである聖書の読み解かれ方を考えてみればわかるだろう。聖書には○○と書いてあるが、これは当時の××という慣習を踏まえなければ正しく読み解けず、「正しい教え」は△△せよ、という意味になる、という研究は数限りなくされてきたし、今も続いている。
聖書にせよ漱石にせよ、ここでイメージされているのは「正解」というもの（難しく言いなおせば「真理」といってもよい）が遠くにあり、我々は「ことば」というヒントでありフィルターでもあるものを通してそこに接近していく、という構図である。
これは我々の日常的な「ことば」の使用から考えてもごく自然なことだ。たとえば日本語話者のあなたが「八百屋さんの隣にあるポストに手紙を入れてきて」と日本語話者である子供に頼んだとき、その場で子供が八百屋と反対方向に歩き出したら、あるいはその場で手紙を破いて食べ始めたら、あなたは「言葉の正しい意味」「子供がたどり着くべきだった正解」についてこんこんとお説教をすることになるだろう。
これまでの「公式」に対するオタクの態度もまた、まさしくここに連なるものと考えてよいと思う。たとえば「エヴァの世界で公式に起きたこと」にアニメや劇場版を通してよりよく接近していこうとする、というのは聖書研究者の態度そのものである（ちなみに「公式」とファンダムの関係をもってしてオタク文化を特異なものとする東浩紀「データベース消費」などの理論もありますが、例も反例もいくらでも出てくる類の話なのでここでは触れません）。
話は半世紀前の文学研究に戻る。ソシュールという言語学者が「一般言語学講義」という10人くらいしか出席者のいない講義を行い、ソシュール死後、その講義にも出てなかった全く関係ない奴が学生のノートをもとにソシュール『一般言語学講義』として出版し、これがコペルニクス的転回にもならぶ「言語論的転回」のはじめとなった。
聖書や漱石の研究など、ソシュール以前は「世界が言葉を作った」とされてきた。されてきた、というか、それ以外の考え方が無かった。わたしたちが「あの赤くて木になってかじると甘いやつ」に「りんご」と名付けたのであって、「りんご」という言葉がまずあって「あの赤いやつ」が後からついてきたわけではない（全くの余談だがりんごと机はこのジャンルの議論で酷使されすぎだと思う）。
それに対して、「言葉が世界を作った」と主張するのがソシュールを祖とする「言語論的転回」である。ソシュールが言ったのはあくまで言語の話で「あの赤いやつと『ri-n-go』の結びつきって別に絶対的じゃなくて、appleとかpommeとか見ればわかるけどたまたまだよね」という程度のことではあった。しかしそれは十分に革命であった。あまりに革命的だったために世界が驚くまでに半世紀を要し（講義は1900年代はじめだった）、さらに半世紀経った今ようやく振り返りがなされつつある。本稿で扱うのは、世界が気づいてからの文学理論の最近半世紀である。
それまでの哲学（世界観と言ってもよい）においては、言語の研鑽によって「正解」「真理」にたどり着けると思われていた。しかし「たまたま」のものをいくら研ぎ澄ませたところでその高みに至る日がくるものだろうか？
よく言われるように、日本人は虹を7色で数えるが、外国人は5色で数える。この差の2色というものは本当に「ある」のだろうか？といった問題は一見トリビアルで退屈なものである。だがさらに進めて、そもそも「日本人」というものは「日本人」という言葉よりも前から「あった」のか？と問うと大昔の言語学の講義がいまなお強烈に突き刺さってくる。
これは今日でも大問題ではあるが、半世紀前の文学研究にとっても大問題であった。確かに、それまでも言語というものがそんなに主人に忠実でないメッセンジャーであることは知られていた。しかし言語論的転回は、メッセンジャーこそが主人である、としてしまったのである。その理由は以下のように明快である。我々は言語の向こうの対象（「真理」）に近づこうとしてきた。しかしソシュールいわく言語と対象の結びつきは「たまたま」である。我々が触れることが出来るのは言語のみである。ならば、「たまたま」で検証不能な真理などというものを求めるのではなく、言語が言語として我々に何を訴えかけてくるのかこそをガクジュツテキにケンキューすべきである！と。
冗談のような本当の話なのだが、ここ半世紀、世界中の文学研究者はこぞって「公式が勝手に言ってるだけ」「原作とアニメで言ってないだけ」と言い続けてきた。専門用語でこれを「テクスト論」における「作者の死」という。本当にそういう専門用語がある。
もはや書きぶりから嫌いと蔑視がにじみ出てしまっているが、しかしこの半世紀くらい、この潮流は世界中の識者におけるブームないし真理とされつづけ、最近になってようやく揺り戻しがきている。
二次豚でも簡単にわかることだが、これを言い始めると「公式見解」が意味を成さなくなり、要するにきりがなくなる。しかしこれはある意味正当なことでもある。「全ての『公式見解』が正しいか」と問われれば、とくに今日であれば即座にNOと答えることができる。なぜならもはや「公式」と呼ばれる以上はもはや庵野や富野といった個人ではなく、分業化された組織であるからして、そこには作品世界という真理からの誤差、ノイズ、エラーが当然のものとして含まれうる。最も軽薄でありがちな事例として、公式Twitter担当者が調子に乗って後に撤回する、という事例を挙げておけば十分だろう。
しかし、かつてのテクスト論者たちが正当にも考えたように、庵野や富野すなわち「作者」個人だってべつに無謬ではありえない。すなわち彼らとて（限りなく比喩としての意味合いが薄くそのままの意味での）「神」ではないのだから、それを絶対視する必要は無くなる。むしろ「作品」は1文字、1フレームに至るまで確固たるものとして存在するのだから、そちらから何を導けるかが重要である、とテキスト論者は考えた。さらには一歩進んで、「作品から導かれたわたしの感情」が重要だと考える「読者反応理論」というものも生まれた。
上で「きりがなくなる」と書いたが「何でもありになる」とは微妙に異なることに注意されたい。これまで「訴えかけてくる」「意味する」「導く」などとこっそりごまかして書いてきた部分についても、文学研究者は鋭くメスを入れた。すなわち形式としての言語がなにを「意味する」（またこの言葉を使ってしまった！）かについて、激しい議論が戦わされた。つまり、「シャミ子が悪いんだよ」は「原作とアニメで言ってないだけで実際は言ってる」という解釈はまあアリだが、「桃が悪いんだよ」は「言ってないし実際言ってない」という我々の直観をいかに正当化するかについて、涙ぐましい努力が続けられた。
しかしそうした努力にもかかわらず、論理学や数学（それぞれ「たまたま」じゃない言語として期待されていた）が発達した結果、クレタ人のパラドクスやらゲーデルの不完全性定理やらでそこまで簡単ではないことがわかってきた（ここでは「簡単ではない」と注意深く言ったが、知ったかぶりで「数学は不完全だと証明されたよね」と言うと凄まじく怒られるので注意）。
かくして文学研究者らはそうした論理的数学的理論を縦横無尽闊達自在に引用した結果、文学の「正解」を「何でもあり」にした。現在蔑称として使われる「ポストモダン」という思想潮流は、大体この辺のことを指していると思う。
しかし、文学の「正解」が「何でもあり」であっていいものだろうか。蔑称とか揺り戻しなどと何度か言っているように、今日の文学理論は素朴な「作者の死」論には与せず、いくらかの距離を取っていることが多い（『テクストから遠く離れて』はまさしくそうした書物である）。しかし昔と違って「神」のことばこそが「正解」であるとも考えない。そもそも「正解」があるのかどうかもわかってはいない。いまの研究者は、グラデーションの中のどこかに、自分の場所を見いだそうと必死になっているのだと思う。
だから、「公式が勝手に言ってるだけ」「原作とアニメで言ってないだけ」と2022年に言っている人がいても、笑おうとは思わない。「彼／彼女はこう思う、と私は思う」という感情＝想像力こそ、人間が発明した最も大きな発明であり、誰しもまだそれを持て余しているのだから。
最後に
これを書いた人（@k_the_p）は無職で、仕事を探しています。Pythonとかほんの少しできます。よろしくお願いいたします。
おっさんが飲み会で真実の愛について延々語るだけなので、哲学書の入門編にいいんじゃないかな。楽しそうにしてるおっさんはいいぞ。
どうしてフィクションで人は感動するかについて述べた本の走りで、後半は散逸しているんだけど、カタルシスについてはなるほどなあ、とは思った。作家になりたいんだったら普通にハリウッドの三幕構成の本を買ったほうがいいかもしれないが、この読書リストを読んでいる人は実用的な知識よりも読んでいて楽しいかどうかを求めている気もする。
読もうと思ったまま長い時間が過ぎてしまった本で、まだ読めてない。アウグスティヌスが若いころややりたい放題やっていた時期のことも書いてあるらしいので、宗教書として以外にも楽しめるんじゃないだろうか。
塩野七海がエッセイですごく推していたから読んでみたけれども、普通に面白い。例えば、中途半端に生かしておくと復讐されるから、いっそとどめを刺しておけ、みたいなことが書いてあって、優しいと人から言われてしまう自分には大いに刺激になった。ところで「孫子」もそうだが、戦争や政治学について書かれた本はたいてい「そもそも戦争は大悪手で、戦争になる時点で何かやらかしてる」という趣旨の言葉があり、全くその通りだと思う。
未読なんだけど、結婚とはある種の契約なんだから、まず処女と童貞がお互いに裸を見せ合ってからだ、みたいなディストピア的な描写もあるらしく、ディストピア文学好きの人は楽しめるんじゃないかな。あとは非モテ界隈の人とか。実際、完全な平等な社会を目指そうとするとどっかしら歪みが出るもので、それについて考えるのにも使えそう。
自然科学的な考え方、ロジカルシンキングのマニュアル。長くないのですぐ読める。得るものがあるかどうかはわからないけど、逆に普段している論理的思考がそもそも存在しない時代があったことは、実感しておくと歴史を学ぶ上で面白いかも。
平凡社の上巻を読んで挫折。純粋な理性っていうけれども、ヒトの心にはデフォルトで時間とか空間とかの枠組み、基本的な概念が組み込まれているよね？ 的な話をやたら細かく述べていく内容だったように記憶している。長いので三行でまとめたくなる。
この本に限らず、いくつかの哲学書は「この本さえあればあらゆる哲学的論争をおしまいにできる」「この本からあらゆる結論が導き出せる」的なスタンスで書かれたものが多い印象。
エヴァヲタなら読まなきゃという謎の義務感から読んだ本。要は、どうすれば自分を信じることができるか、について語った本であったような気がする。自分は救われないだろうという絶望から、それでも神を信じるという境地に至るまでの道筋を延々と語ったようなものだった、はず。
自分は特定の信仰を持たないが、どうせ自分なんてと己を見捨てた境地から、まあ自分は自分だよね、的な気分に至った経験がある人が読むと楽しめるだろう。
「善悪の彼岸」と「ツァラトゥストラはかく語りき」なら読んだ覚えが。自分はカトリックの中高一貫校出身であったせいか、キリスト教思想にある欠点を指摘したこの本を面白く読んだ。キリスト教になじみがなくても、たとえば来世があると考えることで現在を生きることがおろそかになるといった指摘は、興味深く読めるんじゃないだろうか。あとは、増田で定期的に出てくるルサンチマンがどうこうとかいう話が好きな人にもおすすめ。マッチョぶってるところはあるが。
新潮文庫の「夢判断」「精神分析入門」「トーテムとタブー」「一神教の起源」なら読んだ。フロイト自身はヒトの心を脳から探りたかったらしいのだけれど、当時はMRIやら何やらはまだないので対話式の治療法を導入したらしい。
彼の理論は今となってはツッコミどころがたくさんあるのだろうけれど、クラインだとかビオンとかについて触れるなら頭に入れておきたいし、心理学特にパーソナリティ障害について読むなら知っておきたい。自分はフロイトやアドラーよりもユング派だが。
ラブストーリーの「ナジャ」だけ読んだ。謎めいた女のあるある的な話だ。
「論理哲学論考」だけなら読んだ。これもカントみたいに「俺が哲学のくだらない争い全部終わらせてやる」的な立場で書かれている。定理がずらずら並んでいるだけで、余計な表現がなく、簡素。
ただ、言語の限界について今の人が持っている感覚ってのは大体この時代の人が言っていたことだった気がするし、そういう意味では面白いんじゃないかな。この辺は数学ともかかわっていて、ペアノとかゲーデルとかヒルベルトとかその辺興味があったらいかがでしょう。
ちなみにウィトゲンシュタインがポパーとの議論でキレて火かき棒を振り回したヤバいやつだというのは哲学界隈では有名らしい。
シン・ウルトラマンの予告編でちらっと映っていたので読んだらいいかもしれない。
この本そのものは未読で「悲しき熱帯」ともう一冊なんか専門書を読んだことは覚えている。面白かったエピソードの一つは、ある民族は身分を入れ墨にするんだけど、入れ墨のない人間（白人たち）を見て面食らう。要するに身分証明書を持ってないようなものだから。
定期的に異民族と共に暮らすドキュメンタリーが読みたくなる性分なのだが、それはたぶん、自分のやり方や考え方が絶対じゃないってことをよく教えてくれるからで、これも本を読む効用の一つだろう。趣味なので効用なんて本当はどうでもいいが。
面白い。僕自身のスタンスとしては、日本人が海外で誤解されていることを批判するんだったら、自分も外国に対する偏見や無知を減らそうと努力するのが筋だと思っていて、それの理論的な補強をしてくれた本。身近に外国人の多い環境ではないが、すぐに役に立たないからと言って読まないというのはなんか違うんじゃなかろうか。自分はイスラーム世界やインドについて、どれほどわかっているのだろう？
どっからがいきでどっからが野暮なのか、直方体を使った図があった気がするが忘れた。
「遠野物語」しか読んだことがないし、それも「マヨヒガ」のことしか覚えていない。
自分が現代思想に出てくる名前がわからなすぎて最初に読んだ本の一つ。四コマ漫画だがかなり本質をとらえており、いしいひさいちの本業は何だったのかよくわからなくなる。素直に笑っておきましょう。勉強ってのは楽しみながらするもんだ。
上のリストでは省略した20世紀哲学者が実名で登場するミステリなんだけど、フーコーがサウナで美青年とイチャイチャしたり、七十年代の音楽を聞きながら薬をキメたりしているので、現代思想だのポストモダンだのをかじったことがあるならおすすめ。著者がやりたかったのは、たぶん上の世代の脱神話化というか、強すぎる影響の破壊なんだろうけれども、ここも素直に笑っておくのがいい。
以上。
