# What the Tortoise Said to Achilles

This article includes a list of references, related reading or external links,
but its sources remain unclear because it lacks inline citations. (October 2015) |

This article
possibly contains original research. (February 2013) |

"**What the Tortoise Said to Achilles**", written by Lewis Carroll in 1895, for the philosophical journal *Mind*, is a brief dialogue which problematises the foundations of logic. The title alludes to one of Zeno's paradoxes of motion, in which Achilles could never overtake the tortoise in a race. In Carroll's dialogue, the tortoise challenges Achilles to use the force of logic to make him accept the conclusion of a simple deductive argument. Ultimately, Achilles fails, because the clever tortoise leads him into an infinite regression.

## Contents

## Summary of the dialogue

The discussion begins by considering the following logical argument:

*A*: "Things that are equal to the same are equal to each other" (Euclidean relation, a weakened form of the transitive property)*B*: "The two sides of this triangle are things that are equal to the same"- Therefore
*Z*: "The two sides of this triangle are equal to each other"

The Tortoise asks Achilles whether the conclusion logically follows from the premises, and Achilles grants that it obviously does. The Tortoise then asks Achilles whether there might be a reader of Euclid who grants that the argument is *logically valid*, as a *sequence*, while denying that *A* and *B* are true. Achilles accepts that such a reader might exist, and that he would hold that *if* *A* and *B* are true, *then* *Z* must be true, while not yet accepting that *A* and *B* *are* true. (A reader who denies the premises.)

The Tortoise then asks Achilles whether a second kind of reader might exist, who accepts that *A* and *B* *are* true, but who does *not* yet accept the principle that *if* *A* and *B* are both true, *then* *Z* must be true. Achilles grants the Tortoise that this second kind of reader might also exist. The Tortoise, then, asks Achilles to treat the Tortoise as a reader of this second kind. Achilles must now logically compel the Tortoise to accept that *Z* must be true. (The tortoise is a reader who denies the argument itself; the syllogism's conclusion, structure, or validity.)

After writing down *A*, *B*, and *Z* in his notebook, Achilles asks the Tortoise to accept the hypothetical:

*C*: "If*A*and*B*are true,*Z*must be true"

The Tortoise agrees to accept *C*, if Achilles will write down what it has to accept in his notebook, making the new argument:

*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"*C*: "If*A*and*B*are true,*Z*must be true"- Therefore
*Z*: "The two sides of this triangle are equal to each other"

But now that the Tortoise accepts premise *C*, it still refuses to accept the expanded argument. When Achilles demands that "If you accept *A* and *B* and *C*, you must accept *Z*," the Tortoise remarks that that's *another* hypothetical proposition, and suggests even if it accepts *C*, it could still fail to conclude *Z* if it did not see the truth of:

*D*: "If*A*and*B*and*C*are true,*Z*must be true"

The Tortoise continues to accept each hypothetical premise once Achilles writes it down, but denies that the conclusion necessarily follows, since each time it denies the hypothetical that if all the premises written down so far are true, *Z* must be true:

- "And at last we've got to the end of this ideal racecourse! Now that you accept
*A*and*B*and*C*and*D*,*of course*you accept*Z*." - "Do I?" said the Tortoise innocently. "Let's make that quite clear. I accept
*A*and*B*and*C*and*D*. Suppose I*still*refused to accept*Z*?" - "Then Logic would take you by the throat, and
*force*you to do it!" Achilles triumphantly replied. "Logic would tell you, 'You can't help yourself. Now that you've accepted*A*and*B*and*C*and*D*, you must accept*Z*!' So you've no choice, you see." - "Whatever Logic is good enough to tell me is worth
*writing down*," said the Tortoise. "So enter it in your notebook, please. We will call it- (
*E*) If*A*and*B*and*C*and*D*are true,*Z*must be true.

- (
- Until I've granted that, of course I needn't grant
*Z*. So it's quite a necessary step, you see?" - "I see," said Achilles; and there was a touch of sadness in his tone.

Thus, the list of premises continues to grow without end, leaving the argument always in the form:

- (1): "Things that are equal to the same are equal to each other"
- (2): "The two sides of this triangle are things that are equal to the same"
- (3): (1) and (2) ⇒ (Z)
- (4): (1) and (2) and (3) ⇒ (Z)
- ...
- (
*n*): (1) and (2) and (3) and (4) and ... and (*n*− 1) ⇒ (*Z*) - Therefore (
*Z*): "The two sides of this triangle are equal to each other"

At each step, the Tortoise argues that even though he accepts all the premises that have been written down, there is some further premise (that if all of (1)–(*n*) are true, then (*Z*) must be true) that it still needs to accept before it is compelled to accept that (*Z*) is true.

## Explanation

Lewis Carroll was showing that there is a regress problem that arises from *modus ponens* deductions.

The regress problem arises because a prior principle is required to explain logical principles, here modus ponens, and once *that* principle is explained, *another* principle is required to explain *that* principle. Thus, if the causal chain is to continue, the argument falls into infinite regress. However, if a formal system is introduced where modus ponens is simply a rule of inference defined by the system, then it can be abided by simply because it is so. For example, chess has particular rules that simply go without question and players must abide by them because they form the very framework of the game. Likewise, a formal system of logic is defined by rules that are to be followed, by definition, without question. Having a defined formal system of logic stops the infinite regression—that is, the regression stops at the axioms or rules, per se, of the given game, system, etc.

However, the story also hints at problems with this solution because, within the system, no proposition or variable carries any semantic content. The moment any proposition or variable takes on semantic content, the problem arises again because semantic content runs outside the system. Thus, if the solution is to be said to work, then it is to be said to work solely within the given formal system, and not otherwise.

Some logicians (Kenneth Ross, Charles Wright) draw a firm distinction between the conditional connective (the syntactic sign "→"), and the implication relation (the formal object denoted by the double arrow symbol "⇒"). These logicians use the phrase *not p or q* for the conditional connective and the term *implies* for the implication relation. Some explain the difference by saying that the conditional is the *contemplated* relation while the implication is the *asserted* relation.^{[citation needed]} In most fields of mathematics, it is treated as a variation in the usage of the single sign "⇒," not requiring two separate signs. Not all of those who use the sign "→" for the conditional connective regard it as a sign that denotes any kind of object but instead treat it as a so-called *syncategorematic sign*, that is, a sign with a purely syntactic function. For the sake of clarity and simplicity in the present introduction, it is convenient to use the two-sign notation, but allow the sign "→" to denote the boolean function that is associated with the truth table of the material conditional.

These considerations result in the following scheme of notation.

The paradox ceases to exist the moment informal logic is replaced with propositional logic^{[citation needed]}. The Tortoise and Achilles don't agree on any definition of logical implication. In propositional logic the logical implication is defined as follows:

P ⇒ Q if and only if the proposition P → Q is a tautology.

Hence de modus ponens, [P ∧ (P → Q)] ⇒ Q, is a valid logical implication according to the definition of logical implication just stated. There is no need to recurse since the logical implication can be translated into symbols and propositional operators such as →. Demonstrating the logical implication simply translates into verifying that the compound truth table produces a tautology.

## Discussion

Several philosophers have tried to resolve Carroll's paradox. Bertrand Russell discussed the paradox briefly in § 38 of *The Principles of Mathematics* (1903), distinguishing between *implication* (associated with the form "if *p*, then *q*"), which he held to be a relation between *unasserted* propositions, and *inference* (associated with the form "*p*, therefore *q*"), which he held to be a relation between *asserted* propositions; having made this distinction, Russell could deny that the Tortoise's attempt to treat *inferring* *Z* from *A* and *B* is equivalent to, or dependent on, agreeing to the *hypothetical* "If *A* and *B* are true, then *Z* is true."

The Wittgensteinian philosopher Peter Winch discussed the paradox in *The Idea of a Social Science and its Relation to Philosophy* (1958), where he argued that the paradox showed that "the actual process of drawing an inference, which is after all at the heart of logic, is something which cannot be represented as a logical formula ... Learning to infer is not just a matter of being taught about explicit logical relations between propositions; it is learning *to do* something" (p. 57). Winch goes on to suggest that the moral of the dialogue is a particular case of a general lesson, to the effect that the proper *application* of rules governing a form of human activity cannot itself be summed up with a set of *further* rules, and so that "a form of human activity can never be summed up in a set of explicit precepts" (p. 53).

According to Penelope Maddy,^{[1]} Carroll's dialogue is apparently the first description of an obstacle to conventionalism about logical truth, later reworked in more sober philosophical terms by W.V.O. Quine.^{[2]}

## See also

- Deduction theorem
- Homunculus argument
- Münchhausen trilemma
- Paradox
- Regress argument
- Rule of inference

## References

- ↑ Maddy, P. (December 2012). "The Philosophy of Logic".
*Bulletin of Symbolic Logic*.**18**(4): 481–504. doi:10.2178/bsl.1804010. JSTOR 23316289.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑ Quine, W.V.O. (1976).
*The Ways of Paradox, and Other Essays*. Cambridge, MA: Havard University Press. ISBN 9780674948358. OCLC 185411480.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>

## Sources

- Carroll, Lewis (1895). "What the Tortoise Said to Achilles".
*Mind*.**104**(416): 691–693. doi:10.1093/mind/104.416.691. JSTOR 2254477.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> Reprinted in*The Penguin Complete Lewis Carroll*(Harmondsworth, Penguin, 1982), pp 1104-1108. - Hofstadter, Douglas.
*Gödel, Escher, Bach: an Eternal Golden Braid*. See the second dialogue, entitled "Two-Part Invention". Hofstadter appropriated the characters of Achilles and the Tortoise for other, original, dialogues in the book which alternate contrapuntally with prose chapters. Hofstadter's Tortoise is of the male sex, though the Tortoise's sex is never specified by Carroll. The French translation of the book rendered the Tortoise's name as "Madame Tortue". - A number of websites, including "What the Tortoise Said to Achilles" at the Lewis Carroll Society of North America, "What the Tortoise Said to Achilles" at Digital Text International, and "What the Tortoise Said to Achilles" at Fair Use Repository.

## External links

- Works related to What the Tortoise Said to Achilles at Wikisource

- Articles lacking in-text citations from October 2015
- EngvarB from September 2013
- Use dmy dates from September 2013
- Articles that may contain original research from February 2013
- Articles with unsourced statements from May 2011
- Articles with unsourced statements from February 2013
- Fictional turtles
- Logic
- Dialogues
- Works by Lewis Carroll
- 1895 works