Paradoxo

Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradição lógica, ou a uma situação que contradiz a intuição comum. Em termos simples, um paradoxo é "o oposto do que alguém pensa ser a verdade". A identificação de um paradoxo baseado em conceitos aparentemente simples e racionais tem, por vezes, auxiliado significativamente o progresso da ciência, filosofia ematemática.

A etimologia da palavra paradoxo pode ser traçada a textos que remontam à aurora da Renascença, um período de acelerado pensamento científico na Europa e Ásia que começou por volta do ano de 1500. As primeiras formas da palavra tiveram por base a palavra latina paradoxum, mas também são encontradas em textos em grego como paradoxon (entretanto, o latim é fortemente derivado do alfabeto grego e, além do mais, o português é também derivado do latim romano, com a adição das letras "J" e "U"). A palavra é composta do prefixo para-, que quer dizer "contrário a", "alterado" ou "oposto de", conjugada com o sufixo nominal doxa, que quer dizer opinião. Compare com ortodoxia e heterodoxo.

Na filosofia moral, o paradoxo tem um papel central nos debates sobre ética. Por exemplo, a admoestação ética para "amar o seu próximo" não apenas contrasta, mas está em contradição com um "próximo" armado tentando ativamente matar você: se ele é bem sucedido, você não será capaz de amá-lo. Mas atacá-lo preemptivamente ou restringi-lo não é usualmente entendido como algo amoroso. Isso pode ser considerado um dilema ético. Outro exemplo é o conflito entre a injunção contra roubar e o cuidado para com a família que depende do roubo para sobreviver.

Deve ser notado que muitos paradoxos dependem de uma suposição essencial: que a linguagem (falada, visual ou matemática) modela de forma acurada a realidade que descreve. Em física quântica, muitos comportamentos paradoxais podem ser observados (o princípio da incerteza de Heisenberg, por exemplo) e alguns já foram atribuídos ocasionalmente às limitações inerentes da linguagem e dos modelos científicos. Alfred Korzybski, que fundou o estudo da Semântica Geral, resume o conceito simplesmente declarando que, "O mapa não é o território". Um exemplo comum das limitações da linguagem são algumas formas do verbo "ser". "Ser" não é definido claramente (a área de estudos filosóficos chamada ontologia ainda não produziu um significado concreto) e assim se uma declaração incluir "ser" com um elemento essencial, ela pode estar sujeita a paradoxos.

Tipos de paradoxos

Temas comuns em paradoxos incluem autorreferências diretas e indiretas, definições circulares e confusão nos níveis de raciocínio.

W. V. Quine (1962) distingue três classes de paradoxos:

• Os paradoxos verídicos produzem um resultado que parece absurdo embora seja demonstravelmente verdadeiro. Assim, o paradoxo do aniversário de Frederic na operetaThe Pirates of Penzance estabelece o fato surpreendente de que uma pessoa pode ter mais do que N anos em seu N-ésimo aniversário. Da mesma forma, o teorema da impossibilidade de Arrow envolve o comportamento de sistemas de votação que é surpreendente mas, ainda assim, verdadeiro.
• Os paradoxos falsídicos estabelecem um resultado que não somente parece falso como também o é demonstravelmente – há uma falácia da demonstração pretendida. As várias provas inválidas (e.g., que 1 = 2) são exemplos clássicos, geralmente dependendo de uma divisão por zero despercebida. Outro exemplo é o paradoxo do cavalo.
• Um paradoxo que não pertence a nenhuma das classes acima pode ser uma antinomia, uma declaração que chega a um resultado auto-contraditório aplicando apropriadamente meios aceitáveis de raciocínio. Por exemplo, o paradoxo de Grelling-Nelson aponta problemas genuínos na nossa compreensão das ideias de verdade e descrição.