How this is classified
Six axes, each a fixed list rather than free-form tags. You never need to learn this to use the site — but if you want to slice the collection precisely, this is the vocabulary.
A note on the word “paradox”
Most collections call everything surprising a paradox. That flattens some genuinely different things: a proof that no solution exists is not the same as a sentence that contradicts itself, and neither is the same as a correct answer that feels wrong. The Nature axis below is this site's answer to that, and it is the field authors are asked to think hardest about.
Domains
An entry can have several.
- Philosophy38
- Paradoxes that press on what exists, what we can know, and what words mean.
- Logic16
- Self-reference, contradiction, and the limits of formal systems.
- Mathematics28
- Where rigorous proof leads somewhere your gut refuses to follow.
- Probability12
- Puzzles where the correct answer feels obviously wrong.
- Statistics8
- Aggregation, selection, and inference traps hiding in real numbers.
- Physics12
- Relativity, quantum mechanics, and thermodynamics against common sense.
- Astronomy3
- Why the night is dark, and why nobody has called.
- Biology9
- Puzzles in fitness, cooperation, cancer, and complexity.
- Psychology34
- Choice, preference, memory, and confidence turning on themselves.
- Economics30
- Where rational individuals produce irrational collective outcomes.
- Society30
- What happens when many people's preferences must become one decision.
- Computer Science24
- Provable limits on what machines can decide, agree, or guarantee.
- AI6
- Alignment, capability, and metrics that stop meaning what they measured.
Types
An entry can have several.
- Self-reference14
- A statement or system that talks about itself.
- Infinity15
- Unbounded quantities, limits, and completed infinities.
- Identity1
- What makes a thing the same thing over time or change.
- Causality8
- Cause, effect, and their possible loops.
- Probability16
- Chance, conditioning, and updating on evidence.
- Knowledge35
- What can be known, proved, or announced.
- Decision-making46
- Choosing rationally under uncertainty or conflict.
- Aggregation25
- Combining many parts, votes, or groups into one result.
- Optimization8
- Maximising a target and what that target destroys.
- Computation10
- What algorithms and machines can and cannot do.
- Time9
- Duration, ordering, motion, and travel.
- Measurement20
- The act of quantifying changing what is quantified.
- Observation45
- Selection effects and the observer's place in the data.
- Vagueness2
- Boundaries that admit no sharp line.
Eras
An entry has exactly one.
- Ancient7
- Before 500 CE
- Medieval2
- 500 – 1500
- Early Modern4
- 1500 – 1800
- 19th Century8
- 1800 – 1900
- 20th Century74
- 1900 – 2000
- Contemporary7
- 2000 – today
Difficulty
An entry has exactly one.
- Beginner36
- Anyone can follow the whole thing. Ages 8+, no background needed.
- Intermediate38
- Comfortable with basic reasoning or arithmetic. Curious teenagers and general adult readers.
- Advanced22
- Assumes some formal or technical background at depth. Undergraduate level in the relevant field.
- Expert6
- The deep layer is genuinely technical. Graduate level or specialist readers.
Nature
An entry has exactly one.
- Logical contradiction8
- Accepting the premises and the reasoning forces you to accept both P and not-P. Something in the premises must go. These are the rarest and most consequential paradoxes.
- Apparent contradiction16
- The contradiction comes from an unstated assumption or an equivocation. Once named, the paradox resolves without abandoning anything important.
- Counterintuitive result54
- Nothing is wrong with the reasoning. The result is simply correct and human intuition is simply unreliable here. Not a contradiction at all.
- Thought experiment3
- Not a proof but a probe. Its value is in the disagreement it reveals about concepts like identity, personhood, or responsibility.
- Impossibility result7
- Mathematically established. Not paradoxical in the strict sense, but almost always experienced as one because the impossible thing feels achievable.
- Open problem8
- No consensus resolution exists. Presenting one as settled would be misleading, so this site presents the competing positions instead.
- Veridical paradox6
- Quine's term. The result seems absurd but is demonstrably correct. Closely related to counterintuitive results, used where a formal demonstration exists.
Status
An entry has exactly one.
- Resolved30
- Settled. There is a correct answer and experts agree on it.
- Explained41
- Well understood mechanically, though it still surprises people.
- Debated27
- Competing serious positions, no consensus winner.
- Open2
- Genuinely unresolved.
- Dissolved1
- Shown to rest on a confused question rather than a real one.
- Historically significant1
- Its importance is what it changed, not whether it stands today.
Kinds
An entry has exactly one.
- Paradox69
- Self-defeating arguments, impossible results, and situations where valid reasoning reaches an absurd conclusion.
- Law13
- Heuristics, rules of thumb, and empirical observations that have proven durable enough to earn a name.
- Effect15
- Documented causal patterns where something in the world behaves differently from how most people expect.
- Principle5
- Foundational ideas that organise an entire field — stated simply but with far-reaching consequences.
- Theorem0
- Results proved rigorously from axioms, often with consequences that feel impossible until you see the proof.
- Puzzle0
- Constructed problems where the difficulty is not calculation but correctly framing what the question is asking.
Relationship kinds
Connections between entries are typed. Each kind has an inverse, so an author writes a link once and the site generates the other direction.
- Related toShares a core idea.inverse: Related to
- Influenced byThis paradox was shaped by that one.inverse: Influences
- InfluencesThis paradox shaped that one.inverse: Influenced by
- Historical predecessor ofAn earlier form of the same problem.inverse: Successor of
- Successor ofA later, usually sharper, form of the same problem.inverse: Historical predecessor of
- ResolvesSupplies the machinery that settles that paradox.inverse: Resolved by
- Resolved bySettled by the ideas in that entry.inverse: Resolves
- GeneralisesA broader statement of that result.inverse: Special case of
- Special case ofA narrower instance of that result.inverse: Generalises
- Contrasts withInstructive precisely because it points the other way.inverse: Contrasts with
- Modern application inShows up in practice there.inverse: Applies
- AppliesPuts that idea to work.inverse: Modern application in