Carrollian regress (What the Tortoise Said to Achilles)
The Carrollian regress is a logical paradox first presented by Lewis Carroll in his 1895 dialogue "What the Tortoise Said to Achilles." It exposes a fundamental problem about the nature of inference: a rule of inference cannot be applied without already assuming that very rule.
The classic formulation
Achilles presents the Tortoise with two premises:
- (A) Things that are equal to the same are equal to each other.
- (B) The two sides of this triangle are things that are equal to the same.
And the conclusion:
- (Z) The two sides of this triangle are equal to each other.
The Tortoise accepts (A) and (B) but refuses to accept (Z). When Achilles objects that (Z) follows logically from (A) and (B), the Tortoise asks him to write down this very inference as a new premise:
- (C) If (A) and (B) are true, then (Z) must be true.
Achilles does so. The Tortoise now accepts (A), (B), and (C), but still refuses (Z). Again she asks Achilles to write down the inference as a new premise:
- (D) If (A), (B), and (C) are true, then (Z) must be true.
And so on, ad infinitum. The Tortoise can always demand the next meta-level premise, and no finite list of premises will ever force the conclusion.
The contract analogy
The regress can be translated from formal logic into the philosophy of law with a contract scenario:
- Contract 1: "If someone gives you one euro, you must give them a gum." A child gives you one euro, and you give nothing. You argue: "No one told me I had to comply with Contract 1."
- Contract 2: "You will comply with what Contract 1 says." You sign it. Again, a child gives you one euro, and you give nothing. You argue: "I never said I would comply with Contract 2."
- Contract 3: "You will comply with Contract 2."
- ...
Each new contract is just more text on paper, incapable of self-execution. As long as you maintain your skeptical stance, no finite stack of contracts can force the action — just as no finite list of logical premises can force the inference.
The analogy captures the essence of the problem: premises (or contracts) are passive statements. They do not carry their own enforcement mechanism. Inference requires something outside the system — a willingness to act, a physical processor, a judge with authority.
What if they make my accept a contract
Connection to formal systems
In a formal system, rules of inference occupy a different logical level from axioms and theorems. The Carrollian regress shows that this distinction is not incidental but essential: a formal system cannot internalize its own rules of inference without triggering an infinite regress. The rules must be followed by an external agent (a mathematician, a computer) — they cannot apply themselves.
This is directly connected to Gödel's incompleteness theorems, which also demonstrate a fundamental limitation of formal systems: there are truths about a system that cannot be proved from within the system, requiring meta-level reasoning.
Breaking the regress
In the real world, the regress is broken by an external mechanism:
- Law: Police and courts (coercive force outside the contract).
- Computing: The processor executes instructions by physical design.
- Mathematics: The mathematician's understanding and intentionality.
In pure logic, however, if one refuses to perform the inference (like the Tortoise), no argument can compel it. Logic, like contracts, requires a will or a mechanism that acts from outside the page.