ヒロシとミカの対話で読む、哲学のデータベース

トップ > 問題・思考実験 > アキレスと亀

アキレスと亀

01概要カード

俊足のアキレスは、少し先を行く亀に永遠に追いつけないのかを問う、ゼノンのパラドックス。

古代ギリシャの哲学者ゼノンは、師パルメニデスの「運動は存在しない」という主張を守るため、いくつものパラドックスを作った。その代表作が「アキレスと亀」である。俊足の英雄アキレスが、少し先の地点からスタートした亀を追いかける。

アキレスが亀のいた場所に到達するたび、亀はわずかに前へ進んでいる。この繰り返しが無限に続くのだとすれば、アキレスは永遠に亀へ追いつけないことになる。実際には容易に追いつけるはずなのに、論理を積み上げると追いつけないという結論が出てしまう。

そのズレがどこから来るのかを問う、無限をめぐる最古級の思考実験である。

No. 113 分野 論理学・数学 種別 問題・思考実験 時代 古代ギリシャ 難易度 入門 初出 ゼノン(紀元前5世紀、アリストテレス『自然学』に伝わる)

このページのポイント

タグ: ゼノン / パラドックス / 無限 / エレア派

関連エントリ

02対話編:ヒロシとミカ

(帰り道の公園。ベンチの横を、散歩中の亀がのんびり歩いている)

ヒロシのアイコン
ヒロシ
あの亀、のんびりだな。俺ならスタートダッシュで一瞬で追い抜けるわ。
ミカのアイコン
ミカ
その「一瞬で追い抜ける」が、紀元前5世紀から引っかかってる問題だよ。ゼノンの「アキレスと亀」。
ヒロシのアイコン
ヒロシ
アキレスって、ギリシャ神話の俊足の英雄か。亀に勝てないわけないじゃん。
ミカのアイコン
ミカ
設定はこう。亀が少し先からスタートして、アキレスが亀のいた場所に着くたびに、亀は少しだけ先に進んでる。それが無限に続くから、永遠に追いつけない、って理屈。
ヒロシのアイコン
ヒロシ
……言われてみると、着くたびに差は縮まるけどゼロにはならない気もしてきた。あれ、俺、亀側に傾いてない?
ミカのアイコン
ミカ
私も最初はそっちに引っ張られた。でも、縮んでいく区間の合計は有限の時間に収まるんだって。「回数が無限」と「ゴールできない」は、どうも別の話らしい。
ヒロシのアイコン
ヒロシ
なるほど、頭では分かる。……でも感覚がついてこないんだよな。
ミカのアイコン
ミカ
そこが2500年続く引っかかりだと思う。じゃあヒロシが小刻みに歩いて再現してみて。まず亀の今の場所まで。
ヒロシのアイコン
ヒロシ
(小刻みに歩く)……これ、端から見るとただの変な歩き方の人だな。亀にも二度見されたし。

03データ編

定式化

ゼノン(紀元前5世紀、古代ギリシャのエレア派の哲学者で、パルメニデスの弟子とされる)の議論は、本人の著作が残っておらず、アリストテレス『自然学』第6巻を通じて伝えられた。設定はこうである。

俊足のアキレスが、少し先の地点からスタートした亀を追いかける。アキレスが亀のいた場所に到達するたびに、亀はわずかながら先へ進んでいる。アキレスが次にその場所へ着くときも、亀はさらに先にいる。

この手続きは無限に繰り返すことができる。したがって、アキレスは無限の地点を通過しなければならない以上、亀に追いつくことは永遠にできない。これがゼノンの結論である。

ゼノンの狙い

ゼノンの師パルメニデスは、「存在は一つであり、不動である」と説き、運動や変化は感覚の錯覚だと考えた。ゼノンのパラドックスは、運動を本物と認めると矛盾が生じることを示すことで、師の説を裏側から守る論法だったとされる。

アキレスと亀のほかに、飛んでいる矢は各瞬間に静止しているので運動していないとする「矢のパラドックス」、目的地に着くにはまず半分の地点を過ぎなければならず、それが無限に続くとする二分法(ディコトミー)のパラドックスなどが知られている。

数学的なほどき方

解きほぐしの鍵は、無限に分割された距離や時間の合計が、有限の値になりうることである。アキレスが亀に迫る各区間の長さは次々に小さくなり、その総和は一定の値に収束する(等比級数の和)。

微積分学の発展によって極限の概念が厳密に整備され、「区間の個数が無限である」ことと「有限の時間で追いつく」ことは矛盾しない、と整理された。ただし、計算で決着しても直感の引っかかりがなぜ残るのかという哲学的関心は、その後も消えていない。

その後の広がり

アリストテレス自身は、距離は現実には有限だが、思考の上では無限に分割できる、という「現実態」と「可能態」の区別を持ち出して応じた。

時代が下って1895年には、ルイス・キャロルが哲学誌『マインド』に寓話「亀がアキレスに言ったこと」を発表し、今度は推論の規則そのものを受け入れるかどうかをめぐるパラドックスへと話を発展させた。

ゼノンの亀は、数学と論理の境界を照らす題材として生き続けている。

04AI分析

意見が分かれる分岐点

分かれ目は、「無限に分けられる」ことの意味をどう取るかである。区間の個数が無限であることを「終わりがない」と読めば追いつけない結論になり、区間の長さの合計に目を向ければ有限時間で追いつける。同じ設定でも、何を測るかで結論が分かれる。

前提の違い

現代への接続

※ AI分析は事実の整理と解釈の提示であり、特定の立場への断定ではありません。

05出典・参考文献

書籍リンクは収益ゾーンとしてこの出典セクションに置く方針(試作では実際のリンクは入れていません)。