Make eBroadcast my Homepage | Contact Us   Return To The Main eBroadcast Homepage
Australia
Web Guide Search
Australia
Welcome It's
Australia
Australia
Web Guide: Encyclopedia
EBroadcast Australia
Powered by Wikipedia

<<Up     Contents

What the Tortoise Said to Achilles

"What the Tortoise Said to Achilles" is a brief dialog by Lewis Carroll which playfully problematizes the foundations of logic. The conversation takes place between the tortoise and Achilles, the two runners in Zeno's racecourse paradox. The tortoise challenges Achilles to use the force of logic to convince him that a particular deductive inference of the modus ponens variety is a valid argument. Ultimately, Achilles fails, because the clever tortoise leads him into an infinite regression.

The discussion concerns three statements:

(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."

(Z) "The two sides of this triangle are equal to each other"

which could be formalized with mathematical symbols as:

(A') ∀x∀y:equalsame(x,y) ⇒ x=y

(B') equalsame(a,b)

(Z') a=b

Achilles' task is to make the Tortoise agree that, if he accepts A and B, he must necessarily accept Z. The Tortoise sees no particularly good reason to agree to this, but takes it up as an additional premise C in order to humor Achilles:

(C) "If A and B are true, Z must be true"

Achilles argues that because the Tortoise now accepts A, B, and C, he must now necessarily accept Z. The Tortoise sees no particularly good reason to agree to this, but takes it up as an additional premise D in order to humor Achilles:

(D) "If A and B and C are true, Z must be true"

Ultimately, the Tortoise grows the list of premises ad infinitum, and never accepts the conclusion Z.

Table of contents
1 What's wrong here
2 Connections to philosophical ideas
3 Where to find the article
4 References

     What's wrong here  

The tortoise does not acknowledge modus ponens as a generally valid argument form. Carroll demonstrates the great difficulty of deducing modus ponens from premises that do not include modus ponens. This suggests that, more generally, valid logical argument forms cannot be derived "from nothing". ...

Several philosophers have tried to resolve the Carroll paradox. Isashiki Takahiro (1999) summarizes past attempts and concludes they all fail before beginning yet another.

     Connections to philosophical ideas  

...

     Where to find the article  

     References  

  • Isashiki Takahiro (1999). "What Can We Learn from Lewis Carroll's Paradox?". In Memoirs of the Faculty of Education, Miyazaki University: Humanities, no. 86, pp. 79-98. The paper is in Japanese, although an extremely condensed summary by the author is availible from [4] (http://www.miyazaki-u.ac.jp/~e02702u/papers/eng_carroll.html). Another author provides a more extended summary at [5] (http://homepage2.nifty.com/Workshop-Alice/click/m-t.html)

Elsewhere
EBroadcast Australia
Search engine
Web directory

CONTENTS:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

Australia
eBroadcast Australia
Australia © 06 eBroadcast Australia | About eBroadcast | Legal Notices | Privacy Policy | Contact Us    Return To The Main eBroadcast Homepage