Teoria Dos Conjuntos on kenji.blog

Quando as palavras descrevem a si mesmas: O Paradoxo de Grelling-Nelson

Thu, 10 Sep 2026 21:00:00 +0900

As palavras são ferramentas para descrever o mundo, mas quando tentamos usá-las para descrever as próprias palavras, a lógica pode cair em armadilhas inesperadas.

Criado em 1908 por Kurt Grelling e Leonard Nelson, o “Paradoxo de Grelling-Nelson” é um famoso paradoxo semântico que expõe exatamente os limites de quando “as palavras definem as palavras”.

Classificando as palavras em dois grupos

Grelling e Nelson propuseram que todos os adjetivos (palavras) podem ser classificados nos dois grupos a seguir:

Autológicas (Autological): A palavra em si possui a propriedade que ela mesma significa.
Heterológicas (Heterological): A palavra em si não possui a propriedade que ela mesma significa.

Vejamos alguns exemplos

Exemplos de palavras autológicas:

“Curto” (short): Esta própria palavra é curta.
“Inglês” (English): Esta própria palavra é inglês.
“Substantivo” (noun): Esta palavra é um substantivo.
“Pentassilábico” (pentasyllabic): Em inglês, “pen-ta-syl-lab-ic” possui 5 sílabas.

Exemplos de palavras heterológicas:

“Longo” (long): Esta palavra em si é curta e não longa.
“Alemão” (German): Esta palavra está em português (ou inglês) e não é alemão.
“Invisível” (invisible): Esta palavra é claramente visível agora na tela ou no papel.

Até aqui parece um mero jogo de palavras. Afinal, todas as palavras devem necessariamente ser classificadas entre aquelas que encarnam o seu próprio significado e as que não o fazem.

A pergunta fatal: O surgimento do paradoxo

Agora, aqui começa o paradoxo. Vamos refletir sobre a seguinte palavra.

A própria palavra “heterológica” (Heterological) é autológica ou heterológica?

Para essa pergunta, depararemo-nos com uma contradição independentemente da resposta que escolhermos.

Caso 1: Supor que “heterológica” é autológica

Se a palavra “heterológica” for “autológica”, por definição, “ela possui a propriedade que ela mesma significa”. Porém, o significado desta palavra é ser “heterológica”. Ou seja, ter a propriedade de ser “heterológica” significa que ela é “heterológica”. Supusemos que fosse autológica, mas o resultado foi que ela é heterológica. (Contradição)

Caso 2: Supor que “heterológica” é heterológica

Se a palavra “heterológica” for “heterológica”, por definição, “ela não possui a propriedade que ela mesma significa”. Como o significado desta palavra é “heterológica”, não ter essa propriedade significa que ela é “autológica”. Supusemos que fosse heterológica, mas o resultado foi que ela é autológica. (Contradição)

Independentemente do caminho escolhido, a lógica entra em colapso.

graph TD A["Palavra 'Heterológica' (Heterological)"] --> B{"Em qual é classificada?"} B -->|É autológica| C["Definição: Possui a propriedade do seu próprio significado"] C --> D["Seu significado é 'heterológica'"] D --> E["Resultado: É heterológica!"] E -->|Contradição| B B -->|É heterológica| F["Definição: Não possui a propriedade do seu próprio significado"] F --> G["Seu significado é 'heterológica'"] G --> H["Resultado: É autológica!"] H -->|Contradição| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Conexão com a Matemática e a Lógica: Um parente do Paradoxo de Russell

Este paradoxo não é um simples erro de cálculo ou ilusão como o “enigma do dólar desaparecido”. Ele possui essencialmente a mesma estrutura do Paradoxo de Russell (“O conjunto de todos os conjuntos que não contêm a si mesmos contém a si mesmo?”), que abalou os fundamentos da matemática.

O paradoxo de Grelling-Nelson pode ser considerado a versão semântica (do significado das palavras) do paradoxo de Russell.

O Paradoxo de Russell na Teoria dos Conjuntos:

$$ R = \{ x \mid x \notin x \} $$

Ao definir tal conjunto, questionar se $R \in R$ ou $R \notin R$ resulta em uma contradição.

O Paradoxo de Grelling-Nelson na Semântica: Quando definimos $Het(x)$ como “a palavra $x$ não possui a propriedade $x$ (é heterológica)”,

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

caímos em uma contradição lógica.

Por que este paradoxo é importante?

Quando a linguagem se refere a si própria (autorreferência), existe sempre o perigo oculto de ocorrer um erro semelhante a um loop infinito.

Este não é um problema exclusivo da filosofia ou da linguística. No campo da ciência da computação e da inteligência artificial, enfrentamos barreiras lógicas semelhantes quando um programa tenta avaliar ou modificar o seu próprio código, ou quando modelos de processamento de linguagem natural tentam interpretar contradições de significado.

O paradoxo de Grelling-Nelson é um experimento mental que visualiza de forma brilhante os “bugs” (limites) inerentes ao próprio sistema da “linguagem”.

Paradoxo de Russell: O "conjunto de conjuntos que não contêm a si mesmos" contém a si mesmo?

Thu, 10 Sep 2026 04:00:00 +0900

1. O “Paradoxo do Barbeiro” que atacou uma aldeia pacífica

Em uma aldeia pacífica, havia um barbeiro. Na entrada da aldeia, havia uma placa estranha que dizia o seguinte:

“O barbeiro desta aldeia rapa a barba de todos os aldeões que não rapam a sua própria barba, e não rapa a barba de mais ninguém.”

Os aldeões estavam satisfeitos com esta regra. Aqueles que não conseguiam rapar a própria barba iam ao barbeiro, e aqueles que conseguiam, rapavam em casa.

Mas um dia, o jovem barbeiro olhou-se no espelho e de repente percebeu: uma barba por fazer crescia em seu queixo. “Bem, eu deveria rapar a minha própria barba?”

Ele decidiu pensar logicamente, seguindo a regra da placa.

E se ele “rapar a própria barba”? De acordo com a regra, o barbeiro só deve rapar a barba de “pessoas que não rapam a própria barba”. Portanto, se ele rapar a própria barba, ele não tem o direito de ter sua barba rapada pelo barbeiro (ele mesmo). Ou seja, “não deve rapar”.
E se ele “não rapar a própria barba”? De acordo com a regra, o barbeiro deve rapar a barba de todas as “pessoas que não rapam a própria barba”. Portanto, se ele não rapar a própria barba, ele deve ter sua barba rapada pelo barbeiro (ele mesmo). Ou seja, “deve rapar”.

“Se eu rapar, não devo rapar.” “Se eu não rapar, devo rapar.”

O barbeiro entrou em pânico total e tornou-se incapaz de tomar qualquer das atitudes. Este é o famoso “Paradoxo do Barbeiro”.

graph TD Barber["Barbeiro: Devo rapar a minha própria barba?"] Barber -->|SIM: Rapo eu mesmo| Cond1["Violação da regra!
（Não deve rapar a barba de quem rapa a própria barba）"] Barber -->|NÃO: Não rapo eu mesmo| Cond2["Violação da regra!
（Deve rapar a barba de quem não rapa a própria barba）"] Cond1 --> Paradox["Contradição (Paradoxo)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. O “Paradoxo de Russell” que abalou o mundo da matemática

Este “Paradoxo do Barbeiro” é uma analogia criada pelo lógico e filósofo britânico Bertrand Russell para explicar de forma simples ao público em geral o paradoxo matemático que ele descobriu.

O que ele realmente descobriu não foi um barbeiro, mas uma terrível contradição sobre “Conjuntos (Sets)”. Isso é chamado de “Paradoxo de Russell (1901)”.

O conceito de “Conjunto de Conjuntos”

Na matemática, um “conjunto” é uma coleção de coisas que satisfazem uma certa condição.

“Conjunto de números pares menores ou iguais a 10” = $\{2, 4, 6, 8, 10\}$
“Conjunto de maçãs vermelhas”

E, como conteúdo (elemento) de um conjunto, podemos colocar outro “conjunto”. Por exemplo, considere o “conjunto de todos os livros do mundo”. Uma vez que esse conjunto em si não é um “livro”, o “conjunto de todos os livros do mundo” não está incluído no seu próprio conjunto.

Por outro lado, considere o “conjunto de coisas que não são livros”. Esse conjunto em si também não é um “livro”. Portanto, o “conjunto de coisas que não são livros” estará incluído no seu próprio conjunto.

Dessa forma, os conjuntos no mundo podem ser amplamente divididos em dois tipos:

A: Conjuntos que não contêm a si mesmos (Exemplo: conjunto de livros)
B: Conjuntos que contêm a si mesmos (Exemplo: conjunto de coisas que não são livros)

O nascimento do conjunto diabólico $R$

Aqui, Russell considerou o seguinte conjunto especial $R$.

Conjunto $R$ = O conjunto que reúne todos os “conjuntos que não contêm a si mesmos (tipo A)”

Escrito em fórmula matemática (notação de construtor de conjuntos), fica assim:

$$ R = \{ x \mid x \notin x \} $$

Agora, aqui está o ponto principal. Russell fez a seguinte pergunta sobre este conjunto $R$.

“O conjunto $R$ contém a si mesmo ($R$)?”

Vamos pensar.

Se $R$ “contém a si mesmo ($R \in R$)”? A condição para ser incluído em $R$ é “não conter a si mesmo”. Portanto, $R$ não satisfaz a condição e não pode ser incluído em $R$. ($R \notin R$, o que é uma contradição)
Se $R$ “não contém a si mesmo ($R \notin R$)”? A condição para ser incluído em $R$ é “não conter a si mesmo”. Portanto, $R$ satisfaz perfeitamente a condição e deve ser incluído em $R$. ($R \in R$, o que é uma contradição)

Escrito em uma fórmula, é o colapso lógico em apenas uma linha.

$$ R \in R \iff R \notin R $$

“Se contém, não é contido.” “Se não contém, é contido.” Esta é exatamente a mesma estrutura que o paradoxo do barbeiro. No entanto, se fosse o barbeiro da aldeia, poderia ser uma piada de “o chefe da aldeia que colocou a placa com essa regra é apenas um tolo”, mas no mundo da matemática não é assim.

Isso porque a comunidade matemática daquela época estava no meio da tentativa de reconstruir toda a matemática com base na regra ingênua de que “desde que você defina a condição claramente, você é livre para criar um ‘conjunto’ de qualquer coisa” (Teoria Ingênua dos Conjuntos).

3. A tragédia de Frege

A pessoa a quem Russell enviou esta carta foi o grande lógico alemão Gottlob Frege. Frege tinha acabado de enviar à gráfica o segundo volume de sua obra magna, “Leis Básicas da Aritmética” (Grundgesetze der Arithmetik), à qual ele dedicou toda a sua vida. Este livro foi a culminação de sua tentativa de provar a completude da matemática baseada na regra de que “você pode criar um conjunto a partir de qualquer condição”.

Frege entrou em desespero ao ler a carta de Russell. Foi porque foi provado que usando a regra da “base das bases” de seu próprio livro, um “conjunto absolutamente contraditório” como o paradoxo de Russell poderia ser criado. Se a fundação desmoronasse, as centenas de páginas de fórmulas matemáticas construídas sobre ela se tornariam todas inválidas.

No final de seu livro, pouco antes da publicação, Frege deixou a seguinte e amarga adição:

“Dificilmente algo mais indesejável pode acontecer a um cientista do que ter uma de suas fundações abalada logo quando a obra está concluída. Fui colocado exatamente nessa situação por uma carta do Sr. Bertrand Russell logo após este livro ter ido para a impressão.”

4. Superando a crise: O nascimento da Teoria Axiomática dos Conjuntos

O paradoxo de Russell causou um grande pânico na comunidade matemática conhecido como a “crise dos fundamentos da matemática”. A regra libertina de “desde que você decida a condição, você pode criar conjuntos livremente” deu à luz um monstro chamado contradição.

Para resolver essa crise, os matemáticos propuseram-se a tornar as regras mais rígidas. Matemáticos como Zermelo e Fraenkel desenvolveram um livro de regras (sistema axiomático) que distingue estritamente entre “conjuntos que podem ser criados” e “conjuntos que não podem ser criados (porque são muito grandes)”. Isso é chamado de “Sistema de Axiomas ZFC (Teoria Axiomática dos Conjuntos)”.

Sob o sistema de axiomas ZFC, o “conjunto $R$ que reúne todos os ‘conjuntos que não contêm a si mesmos’”, como Russell pensou, foi banido do mundo da matemática, pois “é muito grande e perigoso, por isso não é mais reconhecido como um ‘conjunto’ (é apenas uma ‘classe’)”.

graph LR subgraph "Teoria Ingênua dos Conjuntos (Pré-Russell)" Free["Você pode criar conjuntos
livremente sob qualquer condição!"] --> Monster["Monstro da contradição R
(Paradoxo de Russell)"] end subgraph "Teoria Axiomática dos Conjuntos (Matemática Moderna)" Strict["Apenas aqueles que seguem regras
rígidas (axiomas) são 'conjuntos'"] --> Safe["A contradição R não é reconhecida como um
'conjunto', então é seguro!"] end Monster -.->|Crise no mundo da matemática| Strict

5. Conclusão: Paradoxos são um “remédio forte” para corrigir “bugs lógicos”

O Paradoxo de Russell é o extremo de um bug lógico causado por auto-referência (referindo-se a si mesmo), muito parecido com “uma cobra comendo a própria cauda (Ouroboros)” ou “um mentiroso dizendo ’eu sou um mentiroso’”.

À primeira vista, paradoxos que parecem ser apenas sofismas ou jogos de palavras destruíram o fundamento da disciplina mais rigorosa, a matemática, e como resultado fizeram a matemática evoluir para algo mais forte e rigoroso.

Se um gênio chamado Russell não tivesse notado este “bug do barbeiro”, a matemática moderna e a ciência da computação, que é uma extensão de sua lógica, poderiam ter se desenvolvido carregando uma contradição fatal em algum lugar. Paradoxos são o remédio forte mais estimulante que nos ensina os limites da lógica humana.