ゼノンのパラドックス

ゼノンのパラドックスとは、エレア派のゼノンの議論で、特にパルメニデスを擁護してなされたいくつかの論駁を指す。多・場所・運動・粟粒等の論があったと伝えられているが、本人の書は失われ、断片が残るだけである。アリストテレスが『自然学』の中で、ゼノンに対する反論として引用した議論が、比較的詳しいものであり、重要なものとして取り上げられてきた。そのなかで運動のパラドックスと呼ばれるものは、運動があるとするとこのような不合理が帰結すると論じられた。シンプリキウスがアリストテレスを注釈しつつ他の議論に触れているものおよびその他の断片から、多（多数性plurality）の議論もいくつか残った。
多のパラドックス.
プラトンは、対話編でゼノンに次のように語らせている。
以下は、多とその他の論考を、断片などから再現しパラドックス風に整形したものである。
運動のパラドックス.
アリストテレスが、自らの運動論の展開に利用し且つ対質しつつ伝えるゼノンの四つ議論は、それぞれが、後世いろいろの解釈のもと論ぜられてきた。二分法（dichotomy）は、race courseなどとも呼ばれるが、アリストテレスはもっとも力を入れ、繰り返し論じている。「アキレスと亀」は、もっとも遅い者の代表として、ウサギとカメのイソップ寓話の連想から古くから亀の名が登場している。
二分法.
「まず第一の議論は、移動するものは、目的点へ達するよりも前に、その半分の点に達しなければならないがゆえに、運動しない、という論点にかんするものである」。この文は二通りに解釈しうる。
前進型解釈.
目的点の半分の点にまで到着したとしても更に残りの半分の半分にも、到着しなければならない。更にその残りの半分にも同様、と到着すべき地点が限りなく前に続く故に到着しない。だから運動はない、と見る解釈。
後進型解釈.
目的点の半分の点まで到着するには、その前の半分の半分に着いていなければならない。更にその前の半分にも同様、と限りなく先に着いているべき点があり、一歩も進み出得ない。だから運動はない、と見る解釈。
アキレスと亀.
「走ることの最も遅いものですら最も速いものによって決して追い着かれないであろう。なぜなら、追うものは、追い着く以前に、逃げるものが走りはじめた点に着かなければならず、したがって、より遅いものは常にいくらかずつ先んじていなければならないからである、という議論である」。
あるところにアキレスと亀がいて、2人は徒競走をすることとなった。しかしアキレスの方が足が速いのは明らかなので亀がハンディキャップをもらって、いくらか進んだ地点（地点Aとする）からスタートすることとなった。
スタート後、アキレスが地点Aに達した時には、亀はアキレスがそこに達するまでの時間分だけ先に進んでいる（地点B）。アキレスが今度は地点Bに達したときには、亀はまたその時間分だけ先へ進む（地点C）。同様にアキレスが地点Cの時には、亀はさらにその先にいることになる。この考えはいくらでも続けることができ、結果、いつまでたってもアキレスは亀に追いつけない。
ゼノンのパラドックスの中でも最もよく知られたものの一つであり、多数の文献は彼の手に帰しているが、ディオゲネス・ラエルティオスが引くパボリノスの説によれば、この議論を創始したのはパルメニデスであるという。
その議論やキャラクターの面白さから、アキレスと亀という組み合わせは、この論自体とともに多くの作家に引用された。たとえば、ルイス・キャロルの『亀がアキレスに言ったこと』や、ダグラス・ホフスタッターの啓蒙書『ゲーデル、エッシャー、バッハ』に主役として登場する。
飛んでいる矢は止まっている.
「もしどんなものもそれ自身と等しいものに対応しているときには常に静止しており、移動するものは今において常にそれ自身と等しいものに対応しているならば、移動する矢は動かない、とかれは言うのである。」
アリストテレスは続けて、「この議論は、時間が今から成ると仮定することから生ずる」と述べている。この言から、ゼノンも「時間が瞬間より成る」を前提としていると解される。瞬間においては矢は静止している。どの瞬間においてもそうである。という事は位置を変える瞬間はないのだから、矢は位置を変えることはなく、そこに静止したままである。ゼノンの意が単純にこうであったのかは確定的な事ではない。
競技場.
第四の議論としてアリストテレスの伝えるところは、先の三つとは異なり、ゼノンの論として不明確なところがあって、解釈が分かれる。
アリストテレスによる説明.
「例えば」として、アリストテレスが以下に続ける文章は、解釈を加えたうえで、補わなければ意味が通らない。「列ΑΑ」と2物塊（或いは線分）で説明されているが、ここでは3ブロックに変え、事態を表す。
第一図 "Ａ"：競技場、"Ｂ"：右方向へ移動するブロック列ＲＱＰ、"Γ"：左方向へ移動するブロック列ＸＹＺとして、初期状態は、"Β"と"Γ"の先頭ＰとＸが"Α"の中間ブロックに並ぶ。
Ａ：　▲▲▲
Ｂ：ＲＱＰ
Γ：　　ＸＹＺ
第二図 "B"、"Γ"それぞれが移動を開始し、次のように、"Β"の先頭Ｐが"Ａ"の右端に、"Γ"の先頭Ｘが"Α"の左端に並んだとする。
Ａ：　▲▲▲
Ｂ：　ＲＱＰ
Γ：　ＸＹＺ
このとき、"Ｂ"、"Γ"それぞれは、"Ａ"に対しては1ブロック分しか移動していないが、互いには2ブロック分移動している。この事態をゼノンは次のように説明している、とアリストテレスは言う。
諸種の解釈.
アリストテレスは、図式的に示すことで、相対的には倍速になることは自明であるとしている。では、ゼノンは相対速度を知らなかったのか。どう見るかで、解釈は分かれる。
以上とは異なり、原子論的見解に対する論難であるとする解釈も多くなされる。ゼノンが上記の説明図を基に論じたとして、時間・空間が不可分割な単位を持つとする見解は、次の様なパラドックスをもたらす、と解する。
上図に現れない次の第三図のケースを問題としていたとする解釈もある。下図の位置に関して、論理的には二種の解釈がありうる。
第三図 "Α"の3ブロック▲の間▽に、"Ｂ"のブロックＱと"Γ"のブロックＸが並ぶ、あるいは"Ｂ"のブロックＰと"Γ"のブロックＹが並ぶ
運動のパラドックスの数学的解説.
ゼノンの指摘は運動を位置関係で捉えているが、後世の数学はそれらを時間と距離との関係として捉え返す。以下は、1次元実数空間上の運動であると仮定する。
二分法.
異なる二点に中点が存在することだけで、目的点に着かないと論ぜられている。数学的にみるなら、運動としての条件が不足している。加えられる仮定によっていくつかの事例が生まれ得る。
時間項を入れ、運動速度を勘案すると、二種類の事例がみられる。
アキレスと亀.
二つの条件（亀がアキレスの前からスタートする、亀はアキレスより遅い）の下において、追付くか否かが問題とされている。純粋に数学的に見れば、この条件下では、それは定まらない。ゼノン式に捉えたとしてもそれは同じである。従って、ゼノンの誤りは、何れとも決せられないことであるのに、一方を断じていることである。そのことは、アリストテレスを始めとする、ゼノン式の捉え方そのものが問題を孕むのだとする論議は、追付かないケースもある事を見ていない限りにおいて、何処かに問題を孕んでいる可能性があることを示唆している。
飛んでいる矢は止まっている.
アリストテレスは、時間が「不可分割的な今から成るのではない」としてゼノンを否定する一方、「今においては運動も静止もありえない」として、疑似的な論議と見ている風もある。数学的に見れば、瞬間においては運動も静止もないと見ることも可能であるが、同時に、運動方程式は瞬間における速度を示し得るのであって、言葉の定義の問題に過ぎない。しかし、前者の否定は成り立たない。時間が瞬間より成るとしても、運動は否定され得ない。時間が連続体であれば、時間が瞬間＝点よりなり、矢が瞬間＝点においては静止しているとしたとしても、動くことは出来る。近代解析学においては、ゼノンの結論は否定されるが、アリストテレスの論議も否定される。
哲学的解釈.
ゼノンの議論は、プラトンが伝えるように、当時から哲学者たちに注目されて来た。いかなる価値があると見るかは別として、歴史上そうそうたる顔ぶれによって取り上げられ、論じてられて来た。どの議論を取り上げるか、またそれが何を論じていると見るかなど、解釈の違い、関心の持ち方はさまざまではあったが、特に運動のパラドックスは、多様な論議が古代から現在まで続いている。
アリストテレス.
アリストテレスは著書でゼノンの議論をいくつか取り上げているが、後世もっともよく論じられたのは運動のパラドックスに関するものである。アリストテレスは、運動の否定という結論は退けるが、連続に関わって、運動は時空間が無限分割可能であるとして捉えうるとの論証を支える一つとして、ゼノンの議論を持ち出している。すなわち、否定されるのは運動ではない。パラドックス（飛ぶ矢）の成立は、不可分割的な長さ・時間という前提がある故であるから、その前提が否定される、としている。しかし、分割が無限に可能ならば、無限の問題を解かなければならない。彼は、
と言い、無限分割される空間には無限分割される時間が対応する、とする。つづけて彼は、有限なものには有限な時間で通過できるとの論証を試みている。彼は、それに留まらず、更に別の観点で、
と言い、これに答えて言う。一つの線分が二分割の集積として完全現実的にあるとする者は、分割点を始点と終点と二つに数えて、「運動を連続的ではないものとし、停止させることになるだろう。」
と、論じている。
バートランド・ラッセル.
数学上の問題が一段落したのち、新たな見解がいくつか提案された。その一人、ラッセルは、
と言う。そして、逃れる道は、
ラッセルは（1）の見地から、歴史上のゼノンが考えていたかはさておいて、たとえばと、アキレスと亀を再解釈し、
このパラドックスは、集合論に於ける無限の定義によって、初めて厳密に解消された、と。ただしここでラッセルの言う無限とは、基数としてであって、単なる「限りが無いこと」ではない。飛ぶ矢については、
ゼノンの指摘の通り、矢はある時刻にある位置にいる。だからといって動かないのではなく、「運動とは、時間と場所とに相関があって、異なった時点において異なった位置を占めること」に過ぎない、とラッセルは言う。
アンリ・ベルクソン.
ラッセルの言う（2）の見地から論じた者としては、ベルクソンが第一に挙げられる。
『物質と記憶』第四章にて、ゼノンの間違いは、動体が描いた軌跡によって表される線分及びそこから切り出されうる無限の点の性質でしかない不動性を、動体自体の性質に割り当ててしまうことにあるという。その線分はたしかに流れ「終わった」持続を表しはするものの、流れ「つつある」持続や流れ「ている」持続の性質はもはや表さないものである。
ギルバート・ライル.
ライルは、「アキレスと亀」に関して、追いつく事例においてゼノンの論が如何にして追いつかない様に見せているかを論じ、一つの解決を示した、とする。ケーキカットを例にとって、彼は説明する。常に一切れ残るように切れという指示であれば、キリがないと見えるが、それは残り一切れを足すとケーキ全体ができあがる点を見逃している。ゼノンの議論からすると、アキレスは亀との相対速度を知らず、常に前に居ると思わされている。「私たちはアキレスの眼を通してレースを見るように誘導されることによって、その知識〔ゴールまでの一部が残るだけであること〕を冷凍冷蔵庫に入れるように仕向けられたのである。」ゼノンの言う決して追いつかないと、数列の和が決して収束値に達しないとはまったく異なった意味である。
大森荘蔵.
大森は、「運動の時間的連続性がある限りゼノンの論法を避けることはできない。」と論じ、続けて、「点運動とは矛盾を含んでいる」、「幾何図形の運動とは矛盾概念なのである。」とする。従って、点運動にもとづくゼノンの論法は、この矛盾として解消される。物理学・工学がこの矛盾から逃れているのは、それらが運動をではなく、静止図を扱っている限りであるに過ぎない、と言う。その点運動の逆理とは、点Ｘが動くということは、同一の点Ｘが始めは点Ａと同一で、終わりには点Ｂと同一である、と言うことである。この逆理は、点時刻概念によってもたらされる。それは、線形時間の刻み目として考えられたもので、経験的実用時間の「基準となるように考えられた理論的時間なのである。」「一言で言えば、この理論的時間は基本的自然法則を成り立たせるように思考された時間である。...それ故に科学理論の中では飛ぶ矢の逆理は生きているはずである。」「科学に飛ぶ矢の逆理から激しい症状が起きる可能性は常にある。」と言う。
スーパータスク論.
級数による「解決」或いはラッセルの言う無限数の導入によるという数学的な捉え方に対して、いくつかの疑問が提出される。マックス・ブラック等は、スーパータスク・無限作業の問題を提出する。トムソンのランプなど、無限の作業が完了したとすると説明の付かない事態が出来する。二分法に於いて、前進型で目的点に到着するケースにあたる無限数列Ｚ=｛0，1/2，3/4，7/8，...｝は、上限が1である。Ｚの各数に順にオンオフを対応させるとすると、上限1において到着するというならば、その時それはオンなのかオフなのか。どちらでもあり得ない、とは言う。この例が、スーパータスクの自己矛盾性を証明しているか否かは、見解が分かれる。
その他.
量子力学において、ある確率で放射性崩壊を起こすはずの不安定な原子核が、完全に連続した観測の下では崩壊を起こさないことを（ゼノンの議論と直接の関係はないものの）量子ゼノンパラドックスと呼んでいる。また、実際に、非常に短いスパンで観測を行うと、原子核が本来予測されるよりも低い確率で崩壊することが実験で確かめられている。これは量子ゼノン効果と呼ばれる。