Paradox Vault
A living archive of contradiction and insight.

Kleene–Rosser paradox

PARADOX logic

In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Haskell Curry's combinatory logic introduced in 1930, and Alonzo Church's original lambda calculus, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935.

Metadata

  • Slug: 00227-kleene-rosser-paradox
  • Type: PARADOX
  • Tags: logic
  • Sources: 1
Back to Vault

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

Overview

In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Haskell Curry’s combinatory logic introduced in 1930, and Alonzo Church’s original lambda calculus, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935.

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?