<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Lógica Fuzzy on kenji.blog</title><link>http://kenji.blog/pt/tags/l%C3%B3gica-fuzzy/</link><description>Recent content in Lógica Fuzzy 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/l%C3%B3gica-fuzzy/index.xml" rel="self" type="application/rss+xml"/><item><title>Se removermos um grão, quando o monte de areia deixa de ser um monte? O Paradoxo do Monte</title><link>http://kenji.blog/pt/p/sorites-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/pt/p/sorites-paradox/</guid><description>&lt;img src="http://kenji.blog/p/sorites-paradox/img/sorites_paradox.jpg" alt="Featured image of post Se removermos um grão, quando o monte de areia deixa de ser um monte? O Paradoxo do Monte" />&lt;p>Imagine que diante de você há um magnífico monte feito de 10.000 grãos de areia. Qualquer pessoa diria que isso é um &amp;ldquo;monte de areia&amp;rdquo;.
Agora, removemos apenas um grão. 9.999 grãos. Ainda é um monte de areia, certo?
Removemos mais um grão. 9.998 grãos. Isso também ainda é um monte de areia.&lt;/p>
&lt;p>Vamos repetir esta operação.
Remover apenas um grão não deveria transformar um &amp;ldquo;monte de areia&amp;rdquo; em &amp;ldquo;algo que não é um monte de areia&amp;rdquo;. No entanto, se repetirmos esta lógica indefinidamente, no final restará apenas um único grão de areia.&lt;/p>
&lt;p>&lt;strong>Um único grão de areia é um &amp;ldquo;monte de areia&amp;rdquo;?&lt;/strong>&lt;/p>
&lt;p>Claro que ninguém chamaria um único grão de areia de &amp;ldquo;monte de areia&amp;rdquo;. Porém, em nenhum momento negamos a premissa de que &amp;ldquo;remover um grão não altera o fato de ser um monte de areia&amp;rdquo;. A lógica falha em algum ponto, mas afinal, &lt;strong>a partir de qual grão o monte de areia deixou de ser um monte?&lt;/strong>&lt;/p>
&lt;p>Este é o &lt;strong>&amp;ldquo;Paradoxo do Monte de Areia (Paradoxo de Sorites)&amp;rdquo;&lt;/strong>, que remonta ao filósofo grego antigo Eubúlides, do século IV a.C.&lt;/p>
&lt;h2 id="estrutura-lógica">Estrutura Lógica
&lt;/h2>&lt;p>Este paradoxo pode ser expresso na forma do seguinte silogismo:&lt;/p>
&lt;p>&lt;strong>Premissa 1&lt;/strong>: Um conjunto de 10.000 grãos de areia é um &amp;ldquo;monte de areia&amp;rdquo;.
&lt;strong>Premissa 2&lt;/strong>: Ao remover um grão de um monte de areia, ele continua sendo um &amp;ldquo;monte de areia&amp;rdquo;.
&lt;strong>Conclusão&lt;/strong>: Portanto, um único grão de areia também é um &amp;ldquo;monte de areia&amp;rdquo;.&lt;/p>
&lt;p>Tanto a Premissa 1 quanto a Premissa 2, individualmente, soam muito razoáveis. Porém, ao aplicar repetidamente a Premissa 2, chega-se a uma conclusão claramente equivocada.&lt;/p>
&lt;div class="mermaid">graph LR
A["10.000 grãos = monte de areia"] -->|Remoção de 1 grão| B["9.999 grãos = monte de areia"]
B -->|Remoção de 1 grão| C["9.998 grãos = monte de areia"]
C -->|...repetição...| D["100 grãos = monte de areia?"]
D -->|Remoção de 1 grão| E["10 grãos = monte de areia?"]
E -->|Remoção de 1 grão| F["1 grão = monte de areia?"]
style A fill:#4CAF50,color:#fff
style D fill:#FF9800,color:#fff
style E fill:#FF5722,color:#fff
style F fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="por-que-este-paradoxo-não-tem-solução">Por que este paradoxo não tem solução
&lt;/h2>&lt;p>O cerne do Paradoxo do Monte de Areia é que &lt;strong>a palavra &amp;ldquo;monte de areia&amp;rdquo; é essencialmente ambígua&lt;/strong>.
Não existe uma definição clara (um limiar) de &amp;ldquo;quantos grãos são necessários para que seja um monte de areia&amp;rdquo;. Esse tipo de conceito é chamado de &lt;strong>&amp;ldquo;predicado vago (vague predicate)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Nossa linguagem cotidiana está repleta de palavras ambíguas como essas.&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Alto&amp;rdquo;&lt;/strong> — a partir de quantos centímetros? Uma pessoa de 180 cm é &amp;ldquo;alta&amp;rdquo;. E se tirarmos 1 mm? E mais 1 mm?&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Rico&amp;rdquo;&lt;/strong> — a partir de quanto patrimônio? 10 bilhões é &amp;ldquo;rico&amp;rdquo;. E se subtrairmos 1 centavo?&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Careca&amp;rdquo;&lt;/strong> — abaixo de quantos fios? 0 fios é &amp;ldquo;careca&amp;rdquo;. E se nascer um fio?&lt;/li>
&lt;/ul>
&lt;p>Todos esses exemplos possuem exatamente a mesma estrutura do Paradoxo do Monte de Areia.&lt;/p>
&lt;h2 id="abordagens-dos-filósofos">Abordagens dos Filósofos
&lt;/h2>&lt;h3 id="1-abordagem-epistemológica-a-fronteira-existe">1. Abordagem Epistemológica (A fronteira existe)
&lt;/h3>&lt;p>Esta abordagem afirma que &amp;ldquo;na verdade, existe uma fronteira clara entre monte e não monte de areia, mas os seres humanos simplesmente não têm a capacidade de reconhecê-la&amp;rdquo;.
Por exemplo, a posição é que existe uma fronteira precisa como &amp;ldquo;5.837 grãos é um monte de areia, mas 5.836 grãos não é&amp;rdquo;, porém nós não podemos conhecê-la.&lt;/p>
&lt;p>Do ponto de vista da lógica formal, isso é satisfatório, mas muitas pessoas sentirão intuitivamente um desconforto com esta posição.&lt;/p>
&lt;h3 id="2-lógica-fuzzy-valores-de-verdade-graduais">2. Lógica Fuzzy (Valores de verdade graduais)
&lt;/h3>&lt;p>Na lógica clássica, há apenas duas opções: &amp;ldquo;verdadeiro ou falso&amp;rdquo;. Na lógica fuzzy, é possível assumir &amp;ldquo;qualquer valor entre 0 e 1&amp;rdquo;.&lt;/p>
&lt;p>Por exemplo:&lt;/p>
&lt;ul>
&lt;li>10.000 grãos de areia → &amp;ldquo;grau de monte = 1,0 (completamente monte de areia)&amp;rdquo;&lt;/li>
&lt;li>5.000 grãos → &amp;ldquo;grau de monte = 0,7&amp;rdquo;&lt;/li>
&lt;li>100 grãos → &amp;ldquo;grau de monte = 0,1&amp;rdquo;&lt;/li>
&lt;li>1 grão → &amp;ldquo;grau de monte = 0,0 (completamente não monte de areia)&amp;rdquo;&lt;/li>
&lt;/ul>
&lt;p>Este método é prático, mas não resolve completamente o paradoxo. Isso porque surge uma nova ambiguidade: &amp;ldquo;Qual é a diferença entre grau de monte 0,7 e 0,699?&amp;rdquo;&lt;/p>
&lt;h3 id="3-supervalorismo-supervaluationism">3. Supervalorismo (Supervaluationism)
&lt;/h3>&lt;p>Nesta abordagem, consideram-se simultaneamente todas as fronteiras razoáveis possíveis para a palavra &amp;ldquo;monte de areia&amp;rdquo;. Se todas as fronteiras classificarem como &amp;ldquo;monte de areia&amp;rdquo;, então é &amp;ldquo;definitivamente um monte de areia&amp;rdquo;; se todas classificarem como &amp;ldquo;não monte de areia&amp;rdquo;, então é &amp;ldquo;definitivamente não um monte de areia&amp;rdquo;; a região onde as opiniões divergem é classificada como &amp;ldquo;indeterminada&amp;rdquo;.&lt;/p>
&lt;h2 id="impacto-na-sociedade-moderna">Impacto na Sociedade Moderna
&lt;/h2>&lt;p>O Paradoxo do Monte de Areia não é um mero jogo de palavras — ele causa problemas sérios também no mundo real das leis e políticas públicas.&lt;/p>
&lt;ul>
&lt;li>&lt;strong>Maioridade&lt;/strong>: Aos 17 anos e 364 dias é &amp;ldquo;criança&amp;rdquo;, aos 18 anos e 0 dias é &amp;ldquo;adulto&amp;rdquo;. O que muda essencialmente em um único dia?&lt;/li>
&lt;li>&lt;strong>Linha de pobreza&lt;/strong>: Se a renda anual estiver 1 centavo abaixo do valor de referência, é classificado como &amp;ldquo;pobre&amp;rdquo;; se estiver 1 centavo acima, é &amp;ldquo;não pobre&amp;rdquo;.&lt;/li>
&lt;li>&lt;strong>Regulamentação ambiental&lt;/strong>: Se a emissão de poluentes ultrapassar o valor de referência em 0,001 mg, é ilegal. Se for exatamente o valor de referência, é legal.&lt;/li>
&lt;/ul>
&lt;p>A linguagem e o pensamento humanos contêm ambiguidade em sua essência, e talvez seja impossível dividir o mundo em dicotomias claras. O Paradoxo do Monte de Areia é um paradoxo que há mais de 2.400 anos continua a desafiar os filósofos, revelando os limites fundamentais da inteligência humana.&lt;/p></description></item></channel></rss>