Raven paradox

Metadata

• Slug: 00378-raven-paradox
• Type: PARADOX
• Tags: truth
• Sources: 1

Axioms

• Assume the rules of the domain apply uniformly.
• Assume the observer’s criteria remain fixed.
• Assume classification boundaries stay consistent.
• Assume the model describes the real case.
• Assume repeated steps do not change the outcome.
• Assume no hidden variables are introduced midstream.

Contradictions

• Two reasonable lines of inference yield opposite conclusions
• A global rule conflicts with a local judgment
• A stable resolution appears to violate a starting premise
• Changing the framing reverses the outcome
• Intuition and formalism diverge at the same step

Prompts

• Which assumption is doing the most hidden work?
• What changes if you relax the smallest constraint?
• Does the paradox dissolve or relocate when reframed?
• What is conserved, and what is sacrificed?

Notes

Sources

• https://en.wikipedia.org/wiki/Raven_paradox

Overview

The raven paradox, also known as Hempel’s paradox, Hempel’s ravens or, rarely, the paradox of indoor ornithology, is a paradox arising from the question of what constitutes evidence for the truth of a statement. Observing objects that are neither black nor ravens may formally increase the likelihood that all ravens are black even though, intuitively, these observations are unrelated.

Tension

• Two reasonable lines of inference yield opposite conclusions.
• A global rule conflicts with a local judgment.
• A stable resolution appears to violate a starting premise.
• Changing the framing reverses the outcome.
• Intuition and formalism diverge at the same step.

Why It Matters

This entry tests how a stable rule-set can yield unstable conclusions under certain assumptions.

Prompts

• Which assumption is doing the most hidden work?
• What changes if you relax the smallest constraint?
• Does the paradox dissolve or relocate when reframed?
• What is conserved, and what is sacrificed?