死神のパラドックスは、無限に続く死神の列に関する哲学的議論であり、それぞれの死神は、まだ誰もその人を殺していない場合にその人を殺すように命じられている。このパラドックスは、連続した時間と無限の過去(時間的有限性)の可能性について疑問を投げかける。 [ 1 ]
これは、 1964 年の著書『無限:形而上学のエッセイ』におけるJ.A. ベナルデテのパラドックスに触発されたものです。始まりのない集合を含むさまざまなパラドックスの定式化では、その要素は前の要素が機能しない場合にのみ機能を実行しますが、これらはすべて「ベナルデテのパラドックス」と呼ばれています。[ 2 ]これらはスーパータスクの例です。
このパラドックスは、それぞれ特定の人物を殺す時間が割り当てられている死神が無限に存在するという前提に基づいている。各死神は、それ以前の死神がその人物を殺すことがない場合にのみ、その人物を殺す。
時刻は正午で、最初の死神は午後1時にその人を殺すように設定されている。2番目の死神は午後12時30分に、3番目の死神は午後12時15分に、といった具合に、順番にその人を殺すように設定されている。
これらの命題の結果として、その人物は午後1時までに必ず死神に殺されることになる。しかし、必ず先に殺す死神がいるため、個々の死神はその人を殺すことはできない。したがって、その人物が生き残ることは不可能であり、また、どの死神もその人を殺すことは不可能である。[ 3 ]
このパラドックスの解決策の一つは、時間が連続的ではなく離散的であると仮定することです。そうであれば、各期間には有限個の「瞬間」しかないため、無限の数の死神がそれぞれ異なる時間にあなたを殺すことはできません。この解決策の潜在的な問題点は、死神のパラドックスが連続的な時間に依存しないさまざまな形をとる可能性があることです。そのような例の一つがベナルデテの著書に登場し、ある神が人が 1/2 マイル移動すると壁を出現させ、別の神が 1/4 マイル後に壁を出現させ、さらに別の神が 1/8 マイル後に壁を出現させる、といった具合に無限に続きます。離散的な時間では、このパラドックスを防ぐことはできません。[ 4 ] [ 5 ]
もう一つの解決策は、原因の無限後退はあり得ないという因果的有限性の考え方である。言い換えれば、すべての因果連鎖には始点がなければならない。したがって、過去のすべての死神の行動に依存する死神が無限に存在することはあり得ない。ベナルデテのパラドックスはすべて、この無限の因果連鎖という特徴を共有しているため、すべて不可能である。
因果的有限主義は時間と空間の離散性を強制するものではない。さらに、無限の過去と矛盾しないが、それは逆無限の因果連鎖を意味しない。シュミットとマルパスは、そこには重い形而上学的コミットメントがあると考えているが[ 6 ] 、他の人々はそれに反対している[ 7 ] [ 8 ] [ 9 ]。
死神のパラドックスに対する3つ目の解決策として、不充足ペア診断(UPD)が提案されている。UPDは、ベナルデテのパラドックス(死神のパラドックスを含む)は論理的に不可能であり、形而上学的なテーゼを採用する必要はないと主張する。ニコラス・シャッケルは著書『ベナルデテの二分法の形式』の中で、すべてのベナルデテのパラドックスには2つの条件が伴うと述べている。
シャッケルは、これらの命題が形式的に矛盾していることを示している。つまり、論理的に両方とも真であることはあり得ない。このパラドックスは、ある一連の項目が両方の命題を満たす可能性があると仮定しているが、そのような項目の集合は存在しない。[ 6 ] [ 10 ]しかし、UPDは確率的パラドックスや合理性パラドックスにはあまり役立たないが、因果的有限主義はここで有利である。UPDのもう1つの欠点は、人が自分の祖父を殺すことができる場合を除いて、すべての場合にタイムトラベルを許容することであるが、他の場合には全く問題ない。最後に、UPDはバグではなく機能である限り、因果的有限主義と両立する。[ 11 ]
4番目に提案された解決策は、アリストテレスに触発された、より一般的な「実在無限なし(NAI)」原理[ 12 ]であり、実際に無限の数の事物を含むすべてのパラドックス(多くのベナルデテのパラドックス、トムソンのパラドックス、ロス・リトルウッドのパラドックス、バナッハ・タルスキーのパラドックスなどを含む)を解消しつつ、比較的単純で優雅なままである。NAIは、時間に関するすべての合理的な理論、および数学、命題、普遍の無限と矛盾しない。なぜなら、これらの実体は実在しないからである。物理学者は一般的に、物理システムに無限の量を帰属させることを避けており、これはNAI原理と一致している。[ 13 ]
アレクサンダー・プルスによれば、死神のパラドックスは、過去が有限である、つまり最初の時間期間が存在しなければならないと考える根拠を提供する。これはカラーム宇宙論的議論を支持し、宇宙が誕生したという前提を裏付けることになる。[ 1 ]
2018年、プルスは因果的有限主義を用いて「必然的な原因なき原因」を導き出す、より徹底した宇宙論的議論を展開した。その議論は以下の通りである。
プルースはさらに次の因果原理を付け加える。5. すべての偶発的な事物には原因がある。[注2 ]このことから、必然的に存在する原因のない原因があるという結論を導き出すことができる。プルースは、必然的な第一原因から有神論を論証することは依然として大きな課題であると述べている。
カラームの議論は時間的に無限に遡る数列に反対するが、この議論は因果的に無限に遡る数列をすべて否定する。[ 4 ]
{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)