What the Tortoise Said to Achilles adalah sebuah dialog alegoris singkat yang ditulis oleh Lewis Carroll dan diterbitkan dalam jurnal filsafat Mind pada April 1895. Teks ini — hanya tiga halaman dalam bentuk aslinya — sering disebut sebagai salah satu kontribusi paling orisinal Carroll dalam filsafat logika, dan hingga hari ini masih diperdebatkan oleh para filsuf tanpa ada resolusi yang disepakati secara luas. Judulnya merujuk secara sadar pada salah satu paradoks gerak Zeno dari Elea, di mana Achilles yang berlari cepat tidak pernah bisa mendahului seekor kura-kura yang bergerak lambat karena setiap kali ia mencapai posisi kura-kura sebelumnya, kura-kura itu sudah bergerak maju sedikit. Carroll meminjam dua tokoh yang sama, tetapi masalah yang ia angkat sama sekali berbeda: bukan tentang gerak fisik, melainkan tentang fondasi logika itu sendiri.
Dalam dialog Carroll, Achilles dan Kura-kura duduk bersama setelah perlombaan usai. Kura-kura mengajukan sebuah argumen geometris sederhana yang terdiri dari dua premis dan satu kesimpulan, diambil dari Elements karya Euklides. Premis A menyatakan bahwa benda-benda yang sama dengan benda yang sama adalah sama satu sama lain — sebuah aksioma dasar. Premis B menyatakan bahwa dua sisi segitiga tertentu adalah hal-hal yang sama dengan benda yang sama. Dari keduanya, ditarik kesimpulan Z: bahwa dua sisi segitiga tersebut sama satu sama lain. Argumen ini tampak sepenuhnya valid dan tidak memerlukan penjelasan lebih lanjut. Namun Kura-kura bersikeras bahwa ia menerima A dan B sebagai benar, tetapi tidak merasa terikat secara logis untuk menerima Z. Ia meminta Achilles untuk memaksanya menerima Z dengan kekuatan logika semata.
Achilles, dengan sabar, mencoba membantu. Ia menambahkan sebuah premis baru — sebut saja C — yang berbunyi: "Jika A dan B keduanya benar, maka Z harus benar." Kura-kura menerima C, tetapi kini ia berkata bahwa ia masih tidak merasa terikat untuk menerima Z dari A, B, dan C bersama-sama. Achilles pun menambahkan premis keempat, D: "Jika A, B, dan C semuanya benar, maka Z harus benar." Kura-kura menerima D juga, tetapi tetap menolak Z. Pola ini terus berulang tanpa batas. Setiap kali Achilles menambahkan premis baru yang menjembatani premis-premis sebelumnya dengan kesimpulan, Kura-kura menerimanya — tetapi tetap menolak melangkah ke kesimpulan. Hasilnya adalah sebuah regresi tak terbatas: daftar premis terus bertambah tanpa pernah mencapai titik di mana kesimpulan Z "dipaksa" untuk diterima.
Inti dari teka-teki ini terletak pada sebuah pertanyaan fundamental: apa yang sebenarnya memberikan kekuatan memaksa pada sebuah inferensi logis? Ketika kita berkata bahwa sebuah argumen "valid", kita biasanya maksudkan bahwa jika premis-premisnya benar, maka kesimpulannya harus benar. Tetapi "harus" ini datang dari mana? Carroll menunjukkan bahwa jika kita mencoba memperlakukan aturan inferensi itu sendiri sebagai sebuah premis tambahan — seolah-olah hubungan antara premis dan kesimpulan perlu dibenarkan oleh sebuah proposisi eksplisit — maka kita akan terjebak dalam regresi yang tidak berujung. Setiap pembenaran atas aturan inferensi membutuhkan aturan inferensi baru untuk membenarkannya, dan seterusnya ad infinitum.
Resolusi yang paling diterima dalam logika modern adalah bahwa aturan inferensi — khususnya modus ponens, aturan yang menyatakan bahwa dari "P" dan "jika P maka Q" kita dapat menyimpulkan "Q" — tidak boleh diperlakukan sebagai premis. Aturan inferensi bukan merupakan bagian dari konten argumen; ia adalah mekanisme yang mendefinisikan bagaimana sistem formal itu sendiri beroperasi. Dalam sebuah sistem formal, modus ponens ditetapkan sebagai aturan permainan, bukan sebagai sebuah klaim yang memerlukan pembuktian. Dengan distinsi ini, regresi Carroll lenyap: Kura-kura tidak bisa terus meminta "pembenaran atas pembenaran" karena aturan inferensi berada di luar domain proposisi yang dapat dibenarkan atau ditolak dalam sistem tersebut.
Namun demikian, masalah yang diangkat Carroll tidak sepenuhnya selesai hanya dengan jawaban teknis tersebut. Ia menyentuh sesuatu yang lebih dalam: pertanyaan tentang apakah logika memiliki fondasi yang dapat dibenarkan secara non-sirkular. Jika kita menetapkan modus ponens sebagai aturan dasar tanpa pembenaran lebih lanjut, apakah kita tidak sedang melakukan suatu bentuk keputusan arbitrer? Pertanyaan ini relevan dalam diskusi tentang epistemologi logika — cabang filsafat yang menyelidiki bagaimana kita mengetahui bahwa aturan-aturan logika adalah benar atau sah. Beberapa filsuf, seperti Lewis Carroll sendiri secara implisit melalui dialognya, meragukan bahwa ada cara untuk keluar dari lingkaran ini tanpa pada suatu titik menerima sesuatu secara primitif dan tidak tereduksi. Dalam tradisi filsafat analitik abad ke-20, dialog ini sering dikutip sebagai argumen bahwa logika tidak dapat sepenuhnya "dibenarkan dari dalam" — bahwa pada akhirnya, sistem apapun bertumpu pada sesuatu yang diterima begitu saja. Warisan intelektual dari tiga halaman dialog ini jauh melampaui konteks historisnya, dan terus menghantui diskusi tentang fondasi matematika, filsafat bahasa, dan teori inferensi hingga hari ini.