シミュレーション・アーギュメントを論駁する

本稿ではシミュレーション・アーギュメントとその変種について論駁します。シミュレーション・アーギュメントは最近《忘却からの帰還：シミュレーション・アーギュメントとオメガポイントについて》で初めて知り、そこで紹介されていた『ゼロからの論証』(三浦 俊彦, 青土社, 2006年)を購入し、一通り読みました。

■	『ゼロからの論証』のシミュレーション・アーギュメント

『ゼロからの論証』で紹介されているシミュレーション・アーギュメントは次のようなものです。

> 正確にいうとシミュレーション・アーギュメントとは、次の四つの命題のうち少なくとも一つは正しいはずだという論証です。 (1) 現在の人類程度の科学技術(レベルＣ)に達した文明は、さらに高い段階(レベルＤ)へ進む前に、確実に滅亡する。 (2) レベルＤのコンピュータ・シミュレーションによって、あなたの心と同程度にクリアな意識を作り出すことはできない。 (3) レベルＤの文明は、あなたの心と同程度にクリアな意識シミュレーションを作り出すことに興味を持たない。 (4) あなたは、コンピュータ・シミュレーションで作り出された意識である。

基本的な論の進め方は (1) の感情的否定から (2) の否定を導き、(3) を肯定するのが難しいので (4) を認めさせるよう導きます。

これを論駁するには (4) を否定するのを大目的として (1), (2), (3) の部分否定があってもかまわないということを示していければ良いのだと考えます。

ターゲットは「あなたは、コンピュータ・シミュレーションで作り出された意識でないと信じていても良い」ということです。

(1) について気付くべきことは「レベルＣ」や「レベルＤ」が特に定義されていないことです。つまり、「レベルＤ」というのは(2)(3)の逆のようなコンピュータ・シミュレーションができるような段階を示すだけなので、(1) でいうところのレベルＣの文明が我々のものより部分的に勝っていたり、レベルＤの文明が部分的に劣っていたりしても良いのです。

そのようなレベルＤの文明はレベルＣの文明をシミュレーションのように見なしているかもしれません。だとすれば我々がシミュレーションになすように、躊躇なく滅ぼしてしまうことも考えられます。

このときそのシミュレーションを放っておくのにコストがかからない場合、レベルＤの文明はレベルＣに関与することをやめるだけで「滅亡させた」と認識するかもしれません。するとレベルＣの文明はレベルＤのような文明にこそなれなくなるかもしれませんが、何らかの形で「滅亡はしてない」と認識するようになるでしょう。しかも、レベルＤの文明からは見捨てられているわけですから、「自分達はコンピュータ・シミュレーションにある意識ではない」と信じる積極的な根拠が得られます。

(2), (3) についてはその部分否定が共存できることに気付くことができます。今、仮に、(2),(3) についてより高位の存在がいるとして、心と同程度にクリアな意識を作り出しているという認識がシミュレータの側にあれば十分なので、高位の存在がそのような「認識」をプログラムすれば良いのです。

そのようなシミュレータのうちいずれかが、我々の心のシミュレーションを作ることに興味を見出したとしましょう。我々にとってシミュレーションとしか思えないことを「彼ら」がやりそうになったとき、高位の存在がそれをブロックしてくれていれば、我々は仮にシミュレーションからはじまったとしても「自分達はコンピュータ・シミュレーションにある意識ではない」と信じていても問題はないわけです。

最後に思い返すと、これは「高位の存在」による必要はなく、同列な存在であっても互いのシミュレーションを妨害しあえれば十分です。また、その変種として自制や隠蔽もありえます。三浦氏も指摘する「シミュレーションを差し控える」場合もレベルＤが複数存在し、妨害までするようなモデルではありえないほどとは思えません。

今でもコンピュータを用いながらアリを観察し、その群の習性をヒトのシミュレーションだと言い張るようコンピュータに設定すれば、それはそれで意識をコンピュータ・シミュレーションしていると言えます。しかし、だからと言ってアリは自分達がコンピュータ・シミュレートされていると信じる必要はありません。コンピュータは多くのことに介入していても、滅亡させるような介入は誰かがストップさせれば良いわけですし、コンピュータとアリの「良い関係」というものも築けるかもしれません。そうなればシミュレーションなのか一つの世界なのかもわからなくなるでしょう。

■	Nick Bostrom による Simulation Argument

《忘却からの帰還：シミュレーション・アーギュメントとオメガポイントについて》にある上のシミュレーション・アーギュメントの変種は次のようなものです。

> 技術的に成熟した人類の次の段階の文明には、巨大な計算力があるだろう。この経験的事実に基づくと、シミュレーション・アーギュメントは次の命題のうち少なくとも一つは真であることを示す。(1)人類段階の文明が、次の段階の文明に到達する可能性は限りなくゼロに近い。(2) 次の段階の文明は、自らの祖先のシミュレーションを実行することに興味を持つ可能性は限りなくゼロに近い。(3) すべての人々のうち、シミュレーションの中に生きている人々の比率は限りなく1に近い。

ここでいう比率は「太陽から1光年内で生命が存在する空間の比率はほとんどゼロ」というのと同じようなもので、数え方しだいでなんとでもなるようなものです。

例えば次のように言えば、前節の議論を反映できるでしょう。

(3') シミュレーションの中にはクリアな意識に満たないもののほうが多いだろうし、実際にはシミュレーションの残滓・断片や中途半端なシミュレーションのほうが多いだろう。すべての意識を持った存在のうち完全なシミュレーションの中にいるものの比率は限りなくゼロに近い。

■

結論

そもそも「あなたがシミュレーションの中にいることを論証する」というのは「神の存在証明」と同じようなもので、実際に論証しているのは「その可能性が排除されない」ということぐらいだと思います。

相方共、もしそうであるなら奇蹟によって証しすることができるはずですが、ほとんどの人は証しとなるほどの奇蹟には出会えません。それを理性によっても到達できるはずだと考えて論証しても、どこかにアラがあるか、他の人に理解不能な論述になってしまうと考えます。

ただ、後述するように、私は『ゼロからの論証』の中でわからない議論があります。それが影響してシミュレーション・アーギュメントで私が理解できていない部分がある可能性は指摘しておきます。

■	余談 1 : 『ゼロからの論証』の確率を用いた議論について

私に物理学力の不足があり、ファインチューニングが実際にあるのか確証を持てません。むしろ、進化論が広まる前の「生物相の調和」という題目を思い出させ否定的な気分にさせます。ファインチューニングに見えるのはまだ見つかってない何らかの法則か平衡状態の結果で、それを進化論的なモデルで説明するのは悪ノリのジョークではないかとイブカっています。

そういう目で『ゼロからの論証』を読んだので、最初、５章の確率論もどこかで間違っているという印象を持って読み飛ばしていました。しかし、ふと考え返してみて、５章を自分で検証すると、いくつかの例は確証できました。

まず、三囚人問題に対する考察から私は以前から「観測選択」のようなものはあると思っていました。また、《Wikipedia：ベイズ推定》の見本空間が直積による拡張でうまく説明できることも知っていました。

そこで『ゼロからの論証』の p.175 のサイコロの例は、見本空間 Ω＝ {1,...,n}×D×D²×...×Dⁿ というモデルで検算したところ、P(M) = P(M|E) = 1 になりますが、条件によっては P(S|E) < P(S) ということが確証できました。

また、ちょっと手間どりましたが組み合わせ(_mC_n)を用いて「カプセル化」することで p.197 の当たりくじの例もちゃんと計算できました。p.203 の森の例については期待値を使うのでしょうが、まだ検算する方法を考察中です。(ヒントください。)

ただ、最初の p.171 の魚の例については、まったく見当も付きません。しかし、他ができるということはこれもできるのでしょう。

最後の p.209 の「この宇宙」の例は、おかしいのではないかと思っています。もし、「実現する宇宙」のほとんどが「可能な宇宙」に依存していて、完全に「可能な宇宙」から独立な「実現する宇宙」が非常に尊いものであった場合、宇宙は「存在論的に同列」ではなくなり数え方によっては多宇宙説 P(M|E) が一宇宙説 P(S|E) の R 倍確からしいとは言えなくなるのではないかと思いました。

■

余談 2

カテゴリ付けをどうするか迷ったのですが「進化の果てを予想するもの」として「創造論と進化論」のカテゴリにしました。

■

参考 ● 『ゼロからの論証』(三浦 俊彦, 青土社, 2006年) ● 《三浦俊彦の時空間》 ● 《忘却からの帰還：シミュレーション・アーギュメントとオメガポイントについて》 ● 《忘却からの帰還：“ここ”がシミュレーションであることの検証可能性 by Nick Bostrom》 ● 《忘却からの帰還：Doomsday Argumentメモ》 ● 《JRF の公開ブックマーク：創造論と進化論》 ● 《Wikipedia：神の存在証明》という場合、神の存在は前提としません。念のため。ややこしく書いてしまったので誤解なさったなら申しわけない ● です。 ● 《Wikipedia：ゼロ知識証明》 関係ないですが。;-)

更新：	2006-10-24
初公開：	2006年10月25日 00:02:50
最新版：	2006年10月26日 22:53:44