Algumas afirmações recusam-se a ficar estáticas. Um paradoxo é uma alegação que parece conduzir, através de um raciocínio válido, a uma contradição ou a uma conclusão absurda. Os exemplos clássicos ainda incomodam. "Esta frase é falsa" deixa a lógica sem qualquer fundamento. A flecha de Zenão, eternamente congelada em voo, mas que de alguma forma chega ao seu destino, força um confronto com a natureza do movimento e do infinito.

Os filósofos distinguem vários tipos. Os paradoxos lógicos ameaçam a consistência de um sistema formal. Os paradoxos semânticos, como o do mentiroso, dependem da autorreferência da linguagem. Os paradoxos práticos aparecem na teoria da decisão ou na ética: o paradoxo do enforcamento inesperado, ou o dilema do prisioneiro, em que as escolhas individualmente racionais produzem resultados colectivamente piores. A prática científica também os gera — o gato de Schrödinger está vivo e morto ao mesmo tempo até ser observado, pelo menos segundo uma interpretação da mecânica quântica.

Nem todo o paradoxo é um beco sem saída. Muitos impulsionaram o progresso. O paradoxo de Russell obrigou a uma reformulação da teoria dos conjuntos. A inesperada conclusão levou a um pensamento mais preciso sobre o conhecimento e o conhecimento comum. Mesmo quando um paradoxo resiste a uma resolução completa, marca um ponto em que as suposições comuns falham e novas distinções se tornam necessárias.

• A autorreferência é uma fonte frequente de problemas.
• O infinito e a continuidade geram muitos dos enigmas mais antigos.
• Alguns paradoxos dissolvem-se quando as ambiguidades ocultas são removidas; outros permanecem persistentes.

Um bom paradoxo não se limita a confundir; ele revela os limites daquilo que pensávamos compreender.