Goodman’s “grue” problem shows that evidence alone does not determine which predicates or patterns are projectible into the future.
1The problem it solves
Hume asks why any past regularity should continue. Goodman sharpens the puzzle: even granting projection, the same observations support multiple incompatible generalizations depending on how we describe the pattern. The missing ingredient is not more data but a theory of which predicates are lawlike or natural.
2The idea
Goodman defines a predicate: something is grue if it is observed before time t and green, or observed after t and blue. Every emerald examined so far is both green and grue. So the same evidence supports “all emeralds are green” and “all emeralds are grue” equally — yet these predict opposite things about tomorrow.
The riddle is not about colour. It shows that evidence alone never selects a generalisation. Some prior judgment about which predicates are projectible — which categories are natural — is doing the work, and that judgment is not in the data.
3Origin & context
Nelson Goodman introduced the “new riddle of induction” in Fact, Fiction, and Forecast. An object is “grue” if observed before a future time and green, or unobserved before that time and blue. All observed emeralds can be both green and grue, yet the predicates predict different future colors.
4Canonical example
Two specifications fit the same series identically and diverge sharply out of sample. The data cannot tell you which variables were the natural ones.
5Objections & replies
Objection. 'Grue' is artificially gerrymandered while 'green' is natural; the puzzle disappears once we prefer natural kinds.
Reply. That is the intuitive reply, but it relocates the problem: what non-circularly makes one predicate more natural or projectible? Goodman’s point is precisely that syntax and fit to past data do not answer that question.
Objection. Scientific practice already has entrenched vocabulary and background theory, so no one seriously considers grue-like rivals.
Reply. Goodman agrees entrenchment matters, but then inductive validity depends partly on linguistic and theoretical history. The modern practical analogue is feature engineering: multiple equally fitting specifications can encode very different extrapolations.
6Don't confuse it with
Grue and underdetermination
Grue is a specific problem of projectible predicates and induction. Underdetermination is broader: total evidence may support multiple rival theories, even with ordinary predicates.
Overfitting
Overfitting is a statistical failure to generalize due to fitting noise or excessive flexibility. Grue can arise even with perfect in-sample fit and no noisy estimation; it concerns which pattern is legitimate to project.
7Common mistakes
- Dismissing grue merely because the predicate sounds weird; that assumes the naturalness criterion the riddle asks you to justify.
- Treating better in-sample fit as the solution when green and grue are constructed to fit the observed cases equally.
8In your work
Your choice of variables and functional form is doing more work than the estimation. Grue is the proof that it must be, and therefore the argument for disclosing it.
9Check yourself
Two transformations of the same dataset fit every historical observation exactly but imply opposite out-of-sample trends. What Goodman-style question should you ask?
Show answer
What makes one representation genuinely projectible rather than merely an equally fitting redescription? The answer must come from structure, mechanism, background theory, or a principled simplicity/naturalness constraint—not historical fit alone.
مسئلهٔ «گرو»ی گودمن نشان میدهد شاهد بهتنهایی تعیین نمیکند کدام محمول یا الگو را باید به آینده فرافکنی کرد.
1مسئلهای که حل میکند
هیوم میپرسد چرا نظمِ گذشته باید ادامه یابد. گودمن مسئله را تیزتر میکند: حتی اگر اصلِ فرافکنی را بپذیریم، همان مشاهدات بسته به شیوهٔ توصیفِ الگو از تعمیمهای ناسازگار پشتیبانی میکنند. مادهٔ گمشده دادهٔ بیشتر نیست؛ نظریهای دربارهٔ اینکه کدام محمول قانونوار یا طبیعی است.
2ایدهٔ اصلی
گودمن محمولی تعریف میکند: چیزی سبزآبی است اگر پیش از زمانِ t مشاهده و سبز باشد، یا پس از t مشاهده و آبی باشد. هر زمردی که تا کنون بررسی شده هم سبز است و هم سبزآبی. پس همان شواهد، «همهٔ زمردها سبزند» و «همهٔ زمردها سبزآبیاند» را به یک اندازه پشتیبانی میکند — و این دو دربارهٔ فردا خلافِ هم پیشبینی میکنند.
معما دربارهٔ رنگ نیست. نشان میدهد که شواهد بهتنهایی هرگز یک تعمیم را برنمیگزیند. داوریِ پیشینی دربارهٔ اینکه کدام محمولها فرافکنیپذیرند — کدام مقولات طبیعیاند — دارد کار میکند، و آن داوری در داده نیست.
3خاستگاه و زمینه
نلسون گودمن «معمای جدیدِ استقرا» را در واقعیت، داستان و پیشبینی مطرح کرد. شیء «گرو» است اگر پیش از زمانِ آینده مشاهده و سبز باشد، یا پیش از آن مشاهده نشده و آبی باشد. همهٔ زمردهای مشاهدهشده میتوانند هم سبز و هم گرو باشند اما دو محمول آیندهٔ متفاوتی پیشبینی میکنند.
4مثالِ کلاسیک
دو مشخصهبندی یک سری را یکسان برازش میکنند و بیرون از نمونه بهشدت واگرا میشوند. داده نمیتواند به شما بگوید کدام متغیرها طبیعی بودند.
5اعتراضها و پاسخها
اعتراض. «گرو» ساختگی و وصلهدوزیشده است و «سبز» طبیعی؛ با ترجیحِ انواعِ طبیعی معما حل میشود.
پاسخ. این پاسخِ شهودی است اما فقط مسئله را جابهجا میکند: چه چیزی بهصورت غیردوری یک محمول را طبیعیتر یا فرافکنیپذیرتر میکند؟ نکتهٔ گودمن همین است که نحو و برازشِ دادهٔ گذشته پاسخ نمیدهند.
اعتراض. علم از پیش واژگان و نظریهٔ پسزمینهٔ تثبیتشده دارد، پس کسی بدیلِ گروگونه را جدی نمیگیرد.
پاسخ. گودمن میپذیرد تثبیتِ تاریخی مهم است، اما آنگاه اعتبارِ استقرا تا حدی به تاریخِ زبانی و نظری وابسته میشود. همتای عملیِ امروز مهندسیِ ویژگی است: مشخصاتِ همبرازش میتوانند برونیابیهای کاملاً متفاوت رمزگذاری کنند.
6با اینها اشتباه نگیرید
گرو و تعیّنناقص
گرو مسئلهٔ مشخصِ محمولهای فرافکنیپذیر و استقراست. تعیّنناقص گستردهتر است: کلِ شواهد میتواند چند نظریهٔ رقیب را حتی با محمولهای عادی پشتیبانی کند.
بیشبرازش
بیشبرازش شکستِ آماریِ تعمیم بهسببِ برازشِ نویز یا انعطافِ زیاد است. گرو حتی با برازشِ کامل و بدون نویز هم رخ میدهد؛ مسئله این است که کدام الگو مشروعاً قابلفرافکنی است.
7خطاهای رایج
- ردکردنِ گرو فقط چون محمول عجیب به نظر میرسد؛ این همان معیارِ طبیعیبودن را مفروض میگیرد که معما میخواهد توجیه شود.
- حلکردنِ مسئله با برازشِ دروننمونهای بهتر، در حالی که سبز و گرو طوری ساخته شدهاند که همهٔ مواردِ مشاهدهشده را یکسان برازش کنند.
8در کارِ شما
انتخابِ متغیرها و صورتِ تابعی، بیش از خودِ برآورد کار میکند. «سبزآبی» اثبات میکند که ناگزیر چنین است، و از همین رو استدلالی است برای افشای آن.
9خودآزمایی
دو تبدیل از یک مجموعهداده تمامِ تاریخ را دقیقاً یکسان برازش میکنند اما روندهای بروننمونهایِ متضاد میدهند. پرسشِ گودمنی چیست؟
نمایش پاسخ
چه چیزی یکی را واقعاً فرافکنیپذیر میکند و دیگری را صرفاً بازتوصیفی همبرازش؟ پاسخ باید از ساختار، سازوکار، نظریهٔ پسزمینه یا قیدِ اصولیِ سادگی/طبیعیبودن بیاید، نه صرفِ برازشِ تاریخی.