<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Semântica on kenji.blog</title><link>http://kenji.blog/pt/tags/sem%C3%A2ntica/</link><description>Recent content in Semântica on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>pt</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/pt/tags/sem%C3%A2ntica/index.xml" rel="self" type="application/rss+xml"/><item><title>Quando as palavras descrevem a si mesmas: O Paradoxo de Grelling-Nelson</title><link>http://kenji.blog/pt/p/grelling-nelson-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/pt/p/grelling-nelson-paradox/</guid><description>&lt;img src="http://kenji.blog/p/grelling-nelson-paradox/img/grelling_nelson.jpg" alt="Featured image of post Quando as palavras descrevem a si mesmas: O Paradoxo de Grelling-Nelson" />&lt;p>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.&lt;/p>
&lt;p>Criado em 1908 por Kurt Grelling e Leonard Nelson, o &lt;strong>&amp;ldquo;Paradoxo de Grelling-Nelson&amp;rdquo;&lt;/strong> é um famoso paradoxo semântico que expõe exatamente os limites de quando &amp;ldquo;as palavras definem as palavras&amp;rdquo;.&lt;/p>
&lt;h2 id="classificando-as-palavras-em-dois-grupos">Classificando as palavras em dois grupos
&lt;/h2>&lt;p>Grelling e Nelson propuseram que todos os adjetivos (palavras) podem ser classificados nos dois grupos a seguir:&lt;/p>
&lt;ol>
&lt;li>&lt;strong>Autológicas (Autological)&lt;/strong>: A palavra em si possui a propriedade que ela mesma significa.&lt;/li>
&lt;li>&lt;strong>Heterológicas (Heterological)&lt;/strong>: A palavra em si não possui a propriedade que ela mesma significa.&lt;/li>
&lt;/ol>
&lt;h3 id="vejamos-alguns-exemplos">Vejamos alguns exemplos
&lt;/h3>&lt;p>&lt;strong>Exemplos de palavras autológicas:&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Curto&amp;rdquo; (short)&lt;/strong>: Esta própria palavra é curta.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Inglês&amp;rdquo; (English)&lt;/strong>: Esta própria palavra é inglês.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Substantivo&amp;rdquo; (noun)&lt;/strong>: Esta palavra é um substantivo.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Pentassilábico&amp;rdquo; (pentasyllabic)&lt;/strong>: Em inglês, &amp;ldquo;pen-ta-syl-lab-ic&amp;rdquo; possui 5 sílabas.&lt;/li>
&lt;/ul>
&lt;p>&lt;strong>Exemplos de palavras heterológicas:&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Longo&amp;rdquo; (long)&lt;/strong>: Esta palavra em si é curta e não longa.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Alemão&amp;rdquo; (German)&lt;/strong>: Esta palavra está em português (ou inglês) e não é alemão.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Invisível&amp;rdquo; (invisible)&lt;/strong>: Esta palavra é claramente visível agora na tela ou no papel.&lt;/li>
&lt;/ul>
&lt;p>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.&lt;/p>
&lt;h2 id="a-pergunta-fatal-o-surgimento-do-paradoxo">A pergunta fatal: O surgimento do paradoxo
&lt;/h2>&lt;p>Agora, aqui começa o paradoxo. Vamos refletir sobre a seguinte palavra.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>A própria palavra &amp;ldquo;heterológica&amp;rdquo; (Heterological) é autológica ou heterológica?&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>Para essa pergunta, depararemo-nos com uma contradição independentemente da resposta que escolhermos.&lt;/p>
&lt;h3 id="caso-1-supor-que-heterológica-é-autológica">Caso 1: Supor que &amp;ldquo;heterológica&amp;rdquo; é &lt;em>autológica&lt;/em>
&lt;/h3>&lt;p>Se a palavra &amp;ldquo;heterológica&amp;rdquo; for &amp;ldquo;autológica&amp;rdquo;, por definição, &amp;ldquo;ela possui a propriedade que ela mesma significa&amp;rdquo;.
Porém, o significado desta palavra é ser &amp;ldquo;heterológica&amp;rdquo;.
Ou seja, ter a propriedade de ser &amp;ldquo;heterológica&amp;rdquo; significa que ela é &amp;ldquo;heterológica&amp;rdquo;.
&lt;strong>Supusemos que fosse autológica, mas o resultado foi que ela é heterológica.&lt;/strong> (Contradição)&lt;/p>
&lt;h3 id="caso-2-supor-que-heterológica-é-heterológica">Caso 2: Supor que &amp;ldquo;heterológica&amp;rdquo; é &lt;em>heterológica&lt;/em>
&lt;/h3>&lt;p>Se a palavra &amp;ldquo;heterológica&amp;rdquo; for &amp;ldquo;heterológica&amp;rdquo;, por definição, &amp;ldquo;ela não possui a propriedade que ela mesma significa&amp;rdquo;.
Como o significado desta palavra é &amp;ldquo;heterológica&amp;rdquo;, não ter essa propriedade significa que ela é &amp;ldquo;autológica&amp;rdquo;.
&lt;strong>Supusemos que fosse heterológica, mas o resultado foi que ela é autológica.&lt;/strong> (Contradição)&lt;/p>
&lt;p>Independentemente do caminho escolhido, a lógica entra em colapso.&lt;/p>
&lt;div class="mermaid">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&lt;/div>
&lt;h2 id="conexão-com-a-matemática-e-a-lógica-um-parente-do-paradoxo-de-russell">Conexão com a Matemática e a Lógica: Um parente do Paradoxo de Russell
&lt;/h2>&lt;p>Este paradoxo não é um simples erro de cálculo ou ilusão como o &amp;ldquo;enigma do dólar desaparecido&amp;rdquo;. Ele possui essencialmente a mesma estrutura do &lt;strong>Paradoxo de Russell&lt;/strong> (&amp;ldquo;O conjunto de todos os conjuntos que não contêm a si mesmos contém a si mesmo?&amp;rdquo;), que abalou os fundamentos da matemática.&lt;/p>
&lt;p>O paradoxo de Grelling-Nelson pode ser considerado a versão semântica (do significado das palavras) do paradoxo de Russell.&lt;/p>
&lt;p>O Paradoxo de Russell na Teoria dos Conjuntos:
&lt;/p>
$$ R = \{ x \mid x \notin x \} $$
&lt;p>
Ao definir tal conjunto, questionar se $R \in R$ ou $R \notin R$ resulta em uma contradição.&lt;/p>
&lt;p>O Paradoxo de Grelling-Nelson na Semântica:
Quando definimos $Het(x)$ como &amp;ldquo;a palavra $x$ não possui a propriedade $x$ (é heterológica)&amp;rdquo;,
&lt;/p>
$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$
&lt;p>
caímos em uma contradição lógica.&lt;/p>
&lt;h2 id="por-que-este-paradoxo-é-importante">Por que este paradoxo é importante?
&lt;/h2>&lt;p>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.&lt;/p>
&lt;p>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.&lt;/p>
&lt;p>O paradoxo de Grelling-Nelson é um experimento mental que visualiza de forma brilhante os &amp;ldquo;bugs&amp;rdquo; (limites) inerentes ao próprio sistema da &amp;ldquo;linguagem&amp;rdquo;.&lt;/p></description></item></channel></rss>