<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Grue on kenji.blog</title><link>http://kenji.blog/en/tags/grue/</link><description>Recent content in Grue on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/en/tags/grue/index.xml" rel="self" type="application/rss+xml"/><item><title>Are Emeralds Green or 'Grue'?: Goodman's New Riddle of Induction</title><link>http://kenji.blog/en/p/grue-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/en/p/grue-paradox/</guid><description>&lt;img src="http://kenji.blog/p/grue-paradox/img/grue_paradox.jpg" alt="Featured image of post Are Emeralds Green or 'Grue'?: Goodman's New Riddle of Induction" />&lt;p>We predict the &amp;ldquo;future&amp;rdquo; from &amp;ldquo;past experiences&amp;rdquo;.
&amp;ldquo;The sun rose from the east yesterday, so it will rise from the east tomorrow as well.&amp;rdquo;
&amp;ldquo;All emeralds we have seen so far were green, so the next emerald unearthed will also be green.&amp;rdquo;&lt;/p>
&lt;p>Such reasoning is called &amp;ldquo;induction&amp;rdquo;, and it is the foundation of all science. However, in 1955, philosopher Nelson Goodman devised a bizarre concept of color to show that this induction has a fundamental flaw. That is the &lt;strong>&amp;ldquo;Grue&amp;rdquo; paradox&lt;/strong>.&lt;/p>
&lt;h2 id="definition-of-the-new-color-grue">Definition of the New Color &amp;ldquo;Grue&amp;rdquo;
&lt;/h2>&lt;p>Goodman defined a new property (color) called &amp;ldquo;Grue&amp;rdquo;, which is a synthesis of &amp;ldquo;Green&amp;rdquo; and &amp;ldquo;Blue&amp;rdquo;, as follows.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Definition of Grue:&lt;/strong>
An object is &amp;ldquo;grue&amp;rdquo; if it is observed before a specific time $t$ (e.g., January 1, 2030) and is &amp;ldquo;green&amp;rdquo;, and if it is observed at or after time $t$ and is &amp;ldquo;blue&amp;rdquo;.&lt;/p>
&lt;/blockquote>
$$
\text{Grue} =
\begin{cases}
\text{Green} &amp; (\text{Time} &lt; t) \\
\text{Blue} &amp; (\text{Time} \ge t)
\end{cases}
$$
&lt;p>According to this definition, the green emerald you hold in your hand right now (before time $t$) is simultaneously &amp;ldquo;green&amp;rdquo; and &amp;ldquo;grue&amp;rdquo;.&lt;/p>
&lt;h2 id="why-is-it-a-paradox">Why is it a Paradox?
&lt;/h2>&lt;p>The paradox occurs when we try to predict the future.
All emeralds humanity has observed so far have been &amp;ldquo;green&amp;rdquo;. Therefore, using induction, we predict the following:&lt;/p>
&lt;p>&lt;strong>Hypothesis A: &amp;ldquo;All emeralds are &amp;lsquo;green&amp;rsquo;&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>But wait a minute. Since all emeralds observed so far were from before time $t$, they must have also all been &amp;ldquo;grue&amp;rdquo;. Therefore, from exactly the same observational data, the following prediction also holds true.&lt;/p>
&lt;p>&lt;strong>Hypothesis B: &amp;ldquo;All emeralds are &amp;lsquo;grue&amp;rsquo;&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>If we follow the rules of induction, past observations support Hypothesis B with &amp;ldquo;exactly the same strength&amp;rdquo; as they support Hypothesis A.&lt;/p>
&lt;div class="mermaid">graph TD
A["Past observation: All emeralds were green"] -->|Simultaneously| B["Past observation: All emeralds were 'grue'"]
A --> C["Inductive prediction A: Future emeralds will also be 'green'"]
B --> D["Inductive prediction B: Future emeralds will also be 'grue'"]
C --> E["Remain green even after time t"]
D --> F["Turn 'blue' after time 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="will-emeralds-turn-blue">Will Emeralds Turn Blue?
&lt;/h2>&lt;p>If Hypothesis B is correct, the moment time $t$ arrives, all emeralds in the world must simultaneously turn &amp;ldquo;blue&amp;rdquo; (from the definition of grue).&lt;/p>
&lt;p>Intuitively, we think, &amp;ldquo;That&amp;rsquo;s absurd. Hypothesis B is unnatural wordplay, and Hypothesis A (green) must be the correct one.&amp;rdquo;&lt;/p>
&lt;p>However, Goodman&amp;rsquo;s question lies much deeper.
&lt;strong>Even though both &amp;ldquo;green&amp;rdquo; and &amp;ldquo;grue&amp;rdquo; hypotheses perfectly match past data, why do we consider only the &amp;ldquo;green&amp;rdquo; prediction as valid and eliminate the &amp;ldquo;grue&amp;rdquo; prediction? What is the &amp;ldquo;logical basis&amp;rdquo; for that?&lt;/strong>&lt;/p>
&lt;h2 id="challenge-to-the-uniformity-of-nature">Challenge to the &amp;ldquo;Uniformity of Nature&amp;rdquo;
&lt;/h2>&lt;p>To avoid this problem, an objection comes to mind: &amp;ldquo;We should use simple concepts like &amp;lsquo;green&amp;rsquo; and not complex, time-dependent concepts like &amp;lsquo;grue&amp;rsquo;.&amp;rdquo;&lt;/p>
&lt;p>However, Goodman showed the opposite: if we define a color &amp;ldquo;Bleen&amp;rdquo; (blue until time $t$, green thereafter), the very concept of &amp;ldquo;green&amp;rdquo; becomes a complex, time-dependent concept (&amp;ldquo;grue&amp;rdquo; until time $t$, &amp;ldquo;bleen&amp;rdquo; thereafter).
In other words, which words we take as &amp;ldquo;fundamental&amp;rdquo; is merely a habit of our language.&lt;/p>
&lt;p>Goodman&amp;rsquo;s &amp;ldquo;Grue&amp;rdquo; paradox (the new riddle of induction) proved that scientific theories are not determined merely by objective data alone, but depend heavily on &amp;ldquo;what conceptual framework (language) we use to carve up the world&amp;rdquo;.&lt;/p>
&lt;p>Even in the context of AI and machine learning, this paradox continues to hold significant meaning today as the problem of &amp;ldquo;overfitting&amp;rdquo; and &amp;ldquo;bias&amp;rdquo;, where even with the same training data, predictions for the future can completely change depending on the &amp;ldquo;structure of the model (which features it focuses on)&amp;rdquo;.&lt;/p></description></item></channel></rss>