<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Filosofia Da Ciência on kenji.blog</title><link>http://kenji.blog/pt/tags/filosofia-da-ci%C3%AAncia/</link><description>Recent content in Filosofia Da Ciência 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/filosofia-da-ci%C3%AAncia/index.xml" rel="self" type="application/rss+xml"/><item><title>Esmeraldas são verdes ou 'grue'? O Novo Enigma da Indução de Goodman</title><link>http://kenji.blog/pt/p/grue-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/pt/p/grue-paradox/</guid><description>&lt;img src="http://kenji.blog/p/grue-paradox/img/grue_paradox.jpg" alt="Featured image of post Esmeraldas são verdes ou 'grue'? O Novo Enigma da Indução de Goodman" />&lt;p>Nós prevemos o &amp;ldquo;futuro&amp;rdquo; a partir de &amp;ldquo;experiências passadas&amp;rdquo;.
&amp;ldquo;O sol nasceu no leste ontem, então amanhã também nascerá no leste.&amp;rdquo;
&amp;ldquo;Todas as esmeraldas que vi até agora eram verdes, então a próxima esmeralda a ser escavada também será verde.&amp;rdquo;&lt;/p>
&lt;p>Esse tipo de raciocínio é chamado de &amp;ldquo;indução&amp;rdquo; e é a base de toda a ciência. No entanto, em 1955, o filósofo Nelson Goodman concebeu um estranho conceito de cor para mostrar que essa indução tem uma falha fundamental. Esse é o &lt;strong>paradoxo de &amp;ldquo;Grue&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;h2 id="a-definição-da-nova-cor-grue">A Definição da Nova Cor &amp;ldquo;Grue&amp;rdquo;
&lt;/h2>&lt;p>Goodman definiu uma nova propriedade (cor) chamada &amp;ldquo;Grue&amp;rdquo;, que é uma combinação de &amp;ldquo;Verde&amp;rdquo; (Green) e &amp;ldquo;Azul&amp;rdquo; (Blue), da seguinte maneira:&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Definição de Grue:&lt;/strong>
Diz-se que um objeto é &amp;ldquo;grue&amp;rdquo; se, ao ser observado antes de um tempo específico $t$ (por exemplo, 1º de janeiro de 2030), ele for &amp;ldquo;verde&amp;rdquo; (Green), e se for observado após o tempo $t$, ele for &amp;ldquo;azul&amp;rdquo; (Blue).&lt;/p>
&lt;/blockquote>
$$
\text{Grue} =
\begin{cases}
\text{Green} &amp; (\text{tempo} &lt; t) \\
\text{Blue} &amp; (\text{tempo} \ge t)
\end{cases}
$$
&lt;p>De acordo com essa definição, uma esmeralda verde que você tem nas mãos agora (antes do tempo $t$) é simultaneamente &amp;ldquo;verde&amp;rdquo; e &amp;ldquo;grue&amp;rdquo;.&lt;/p>
&lt;h2 id="por-que-isso-é-um-paradoxo">Por Que Isso é um Paradoxo?
&lt;/h2>&lt;p>O paradoxo ocorre quando tentamos prever o futuro.
Todas as esmeraldas que a humanidade observou até hoje eram &amp;ldquo;verdes&amp;rdquo;. Portanto, usando a indução, prevemos o seguinte:&lt;/p>
&lt;p>&lt;strong>Hipótese A: &amp;ldquo;Todas as esmeraldas são &amp;lsquo;verdes&amp;rsquo;.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Mas espere um momento. Como todas as esmeraldas observadas até agora o foram antes do tempo $t$, elas também deviam ser todas &amp;ldquo;grue&amp;rdquo;. Portanto, a partir dos mesmos exatos dados observacionais, a seguinte previsão também é válida:&lt;/p>
&lt;p>&lt;strong>Hipótese B: &amp;ldquo;Todas as esmeraldas são &amp;lsquo;grue&amp;rsquo;.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Se seguirmos as regras da indução, com a mesma &amp;ldquo;exata força&amp;rdquo; que todas as observações passadas apoiam a Hipótese A, elas também apoiam a Hipótese B.&lt;/p>
&lt;div class="mermaid">graph TD
A["Observações passadas: Todas as esmeraldas eram verdes"] -->|Simultaneamente| B["Observações passadas: Todas as esmeraldas eram 'grue'"]
A --> C["Previsão indutiva A: As esmeraldas no futuro também serão 'verdes'"]
B --> D["Previsão indutiva B: As esmeraldas no futuro também serão 'grue'"]
C --> E["Continuarão verdes após o tempo t"]
D --> F["Ficarão 'azuis' após o tempo t!"]
style C fill:#4CAF50,stroke:#333,color:#fff
style D fill:#2196F3,stroke:#333,color:#fff
style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px&lt;/div>
&lt;h2 id="as-esmeraldas-ficarão-azuis">As Esmeraldas Ficarão Azuis?
&lt;/h2>&lt;p>Se a Hipótese B estiver correta, no instante em que o tempo $t$ chegar, todas as esmeraldas do mundo deverão ficar &amp;ldquo;azuis&amp;rdquo; simultaneamente (pela definição de grue).&lt;/p>
&lt;p>Intuitivamente pensamos: &amp;ldquo;Isso é um absurdo. A Hipótese B é um jogo de palavras não natural, e a Hipótese A (verde) deve estar correta.&amp;rdquo;&lt;/p>
&lt;p>No entanto, o questionamento de Goodman vai muito mais fundo.
&lt;strong>Tanto a hipótese &amp;ldquo;verde&amp;rdquo; quanto a hipótese &amp;ldquo;grue&amp;rdquo; são perfeitamente consistentes com os dados passados. Então, por que consideramos apenas a previsão &amp;ldquo;verde&amp;rdquo; como válida e descartamos a previsão &amp;ldquo;grue&amp;rdquo;? Qual é a &amp;ldquo;base lógica&amp;rdquo; para isso?&lt;/strong>&lt;/p>
&lt;h2 id="um-desafio-à-uniformidade-da-natureza">Um Desafio à &amp;ldquo;Uniformidade da Natureza&amp;rdquo;
&lt;/h2>&lt;p>Para contornar esse problema, surge a objeção de que &amp;ldquo;devemos usar conceitos simples como &amp;lsquo;verde&amp;rsquo;, e não conceitos complexos envolvendo o tempo como &amp;lsquo;grue&amp;rsquo;.&amp;rdquo;&lt;/p>
&lt;p>Mas Goodman mostrou que se, inversamente, definirmos uma cor chamada &amp;ldquo;Bleen&amp;rdquo; (azul até o tempo $t$, verde depois disso), o próprio conceito de &amp;ldquo;verde&amp;rdquo; se torna um conceito complexo e dependente do tempo: &amp;ldquo;grue até o tempo $t$, bleen depois disso&amp;rdquo;.&lt;/p>
&lt;p>Ou seja, quais palavras assumimos como &amp;ldquo;básicas&amp;rdquo; é apenas uma questão de nossos hábitos linguísticos.&lt;/p>
&lt;p>O paradoxo grue de Goodman (o novo enigma da indução) provou que as teorias científicas não são determinadas apenas por dados puramente objetivos, mas dependem fortemente de &amp;ldquo;qual estrutura conceitual (linguagem) usamos para interpretar o mundo.&amp;rdquo;&lt;/p>
&lt;p>Mesmo no contexto da Inteligência Artificial e do aprendizado de máquina, com os mesmos dados de treinamento, previsões para o futuro podem mudar completamente dependendo da &amp;ldquo;estrutura do modelo (em quais características focar)&amp;rdquo;. Assim, este paradoxo continua sendo muito relevante hoje como problemas de &amp;ldquo;sobreajuste (overfitting)&amp;rdquo; e &amp;ldquo;viés (bias)&amp;rdquo;.&lt;/p></description></item></channel></rss>