Суть понятия
Короткий диалог Льюиса Кэрролла, опубликованный в журнале «Mind» в апреле 1895 года. Черепаха предлагает Ахиллу простое логическое рассуждение (из «А» и «если А, то Б» следует «Б») и просит принять его формально, шаг за шагом дописывая в качестве отдельной посылки само правило вывода «если верны эти посылки, то верно и заключение». Но тогда, чтобы применить это новое, более длинное рассуждение, нужно снова явно принять правило, по которому из него следует заключение — и так до бесконечности: логический вывод, оказывается, невозможно до конца обосновать конечным числом явных посылок, само «правило modus ponens» нельзя окончательно «уложить» внутрь системы как ещё одну посылку.
Где встречается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | как литературный образец для диалогов ГЭБ (Ахилл и Черепаха — сквозные персонажи книги) |