Poznámka 82

Viz L. Carroll, What the Tortoise said to Achilles, in: Mind, 3, 1895, str. 278–280. Základní problém je ten, že pokud by měl být úsudek od A k B (např. od „je mokro“ k „prší“) ve své správnosti zdůvodněn logickým pravidlem typu modus ponens A, A→B/B, povede nás otázka po jeho zdůvodnění k pravidlu A˄(A→B), A˄(A→B)→B/B, a tím k nekonečnému regresu. Detaily viz V. Kolman, Říká logicismus něco, co se říkat nemá?, in: Teorie vědy, 32, 2010, str. 37–57, část 3.