← Back to Paradoxes

The Crocodile Dilemma

"An ancient Greek logic puzzle from the banks of the Nile"

The Scenario: A crocodile steals a child from a parent. The crocodile, feeling philosophical, makes a promise:

"I will return your child if and only if you correctly predict what I will do next."

The parent must now predict: Will the crocodile return the child, or keep it?

😰
Parent
👶
🐊
Crocodile

Step Through the Formal Logic

Step 1 of 8

Step 1: Define the Variables

Let's formalize the crocodile's promise using propositional logic:

P = "The parent's prediction is correct"
R = "The crocodile returns the child"

These two propositions will form the basis of our logical analysis.

Step 2: The Crocodile's Promise

The crocodile says: "I will return your child if and only if you correctly predict what I will do."

Promise: P <=> R
(The prediction is correct if and only if the child is returned)

This biconditional creates a tight logical relationship between prediction and outcome.

Step 3: What Does "Correct Prediction" Mean?

The prediction is correct when reality matches what was predicted:

If parent predicts "return": P <=> R
If parent predicts "keep": P <=> ¬R

The truth of P depends on what action the crocodile actually takes.

Step 4: Case 1 - Parent Predicts "Return"

Suppose the parent says: "You will return my child."

Prediction correct means: P <=> R
Promise says: P <=> R

Both conditions are identical!

Result: The crocodile can choose either action consistently. No paradox here.

Step 5: Case 2 - Parent Predicts "Keep"

Now suppose the parent says: "You will NOT return my child."

Prediction correct means: P <=> ¬R
Promise says: P <=> R

These two conditions conflict. Let's see what happens...

Step 6: Analyzing the Conflict

From P <=> ¬R and P <=> R, we can derive:

P <=> ¬R (prediction is correct iff child kept)
P <=> R (promise: prediction correct iff child returned)

Therefore: R <=> ¬R

This is a contradiction! The child must be both returned AND kept.

Step 7: The Paradox Revealed

The statement R <=> ¬R is logically impossible:

If R is true (return): ¬R must be true (keep) - CONTRADICTION
If R is false (keep): ¬R is true, so R must be true - CONTRADICTION

There is no truth assignment that satisfies both conditions simultaneously.

Step 8: Conclusion

The Crocodile Dilemma demonstrates that self-referential promises can be impossible to fulfill.

The crocodile's promise is not merely difficult to keep—
it is logically impossible to keep when the parent
predicts "keep."

This connects to deeper results in logic: Godel's incompleteness theorems, the halting problem, and the limits of formal systems.

Start

The Complete Logic

Let's analyze all possible combinations of prediction and action:

Parent Predicts Crocodile Does Prediction Correct? Child Should Be... Result
Return Return Yes Returned Consistent
Return Keep No Kept Consistent
Keep Return No Kept PARADOX
Keep Keep Yes Returned PARADOX

When the parent predicts "keep," both outcomes violate the crocodile's terms—creating an inescapable paradox!

The Self-Referential Trap

The paradox arises because the prediction refers to its own effect:

  • The parent's prediction determines what "should" happen (via the crocodile's promise)
  • What "should" happen affects whether the prediction is true
  • Whether the prediction is true determines what "should" happen...

This creates a circular dependency with no stable solution. It's the same logical structure as:

"This statement is false."
— The Liar Paradox

If the Liar's statement is true, it's false. If it's false, it's true. Similarly, if the crocodile returns the child (when "keep" was predicted), it shouldn't have; if it keeps the child, it should have returned it.

Ancient Origins

The Crocodile Dilemma is one of the oldest recorded paradoxes in Western philosophy:

  • Eubulides of Miletus (4th century BCE), the inventor of the Liar Paradox, is credited with this paradox as well
  • It appears in Greek discussions of sophism—tricky arguments that seem valid but lead to absurdity
  • Variants appear across cultures: Saint Jerome (Christian), Bhartrhari (Hindu), and Nasir al-Din al-Tusi (Islamic) all discussed similar dilemmas

The Nile crocodile setting reflects Greece's fascination with Egypt—a land of ancient wisdom and dangerous wildlife.

Why Philosophers Care

This seemingly silly riddle exposes deep problems:

  • Metaknowledge: What happens when knowledge refers to itself? The parent needs to know what the crocodile will do, but the crocodile's action depends on what the parent knows.
  • Promise-keeping: Can a promise ever be logically impossible to keep? The crocodile genuinely cannot fulfill its terms in the "keep" scenario.
  • Game Theory: Rational actors making binding commitments can create situations where no rational action exists.

The paradox helped motivate developments in formal logic, set theory (Russell's Paradox), and eventually Godel's incompleteness theorems.

Sources

Wolfram MathWorld: Crocodile's Dilemma | IFLScience: The Crocodile Paradox | IEP: Logical Paradoxes