مسئلهٔ «گرو»ی گودمن نشان میدهد شاهد بهتنهایی تعیین نمیکند کدام محمول یا الگو را باید به آینده فرافکنی کرد.
1مسئلهای که حل میکند
هیوم میپرسد چرا نظمِ گذشته باید ادامه یابد. گودمن مسئله را تیزتر میکند: حتی اگر اصلِ فرافکنی را بپذیریم، همان مشاهدات بسته به شیوهٔ توصیفِ الگو از تعمیمهای ناسازگار پشتیبانی میکنند. مادهٔ گمشده دادهٔ بیشتر نیست؛ نظریهای دربارهٔ اینکه کدام محمول قانونوار یا طبیعی است.
2ایدهٔ اصلی
گودمن محمولی تعریف میکند: چیزی سبزآبی است اگر پیش از زمانِ t مشاهده و سبز باشد، یا پس از t مشاهده و آبی باشد. هر زمردی که تا کنون بررسی شده هم سبز است و هم سبزآبی. پس همان شواهد، «همهٔ زمردها سبزند» و «همهٔ زمردها سبزآبیاند» را به یک اندازه پشتیبانی میکند — و این دو دربارهٔ فردا خلافِ هم پیشبینی میکنند.
معما دربارهٔ رنگ نیست. نشان میدهد که شواهد بهتنهایی هرگز یک تعمیم را برنمیگزیند. داوریِ پیشینی دربارهٔ اینکه کدام محمولها فرافکنیپذیرند — کدام مقولات طبیعیاند — دارد کار میکند، و آن داوری در داده نیست.
3خاستگاه و زمینه
نلسون گودمن «معمای جدیدِ استقرا» را در واقعیت، داستان و پیشبینی مطرح کرد. شیء «گرو» است اگر پیش از زمانِ آینده مشاهده و سبز باشد، یا پیش از آن مشاهده نشده و آبی باشد. همهٔ زمردهای مشاهدهشده میتوانند هم سبز و هم گرو باشند اما دو محمول آیندهٔ متفاوتی پیشبینی میکنند.
4مثالِ کلاسیک
دو مشخصهبندی یک سری را یکسان برازش میکنند و بیرون از نمونه بهشدت واگرا میشوند. داده نمیتواند به شما بگوید کدام متغیرها طبیعی بودند.
5اعتراضها و پاسخها
اعتراض. «گرو» ساختگی و وصلهدوزیشده است و «سبز» طبیعی؛ با ترجیحِ انواعِ طبیعی معما حل میشود.
پاسخ. این پاسخِ شهودی است اما فقط مسئله را جابهجا میکند: چه چیزی بهصورت غیردوری یک محمول را طبیعیتر یا فرافکنیپذیرتر میکند؟ نکتهٔ گودمن همین است که نحو و برازشِ دادهٔ گذشته پاسخ نمیدهند.
اعتراض. علم از پیش واژگان و نظریهٔ پسزمینهٔ تثبیتشده دارد، پس کسی بدیلِ گروگونه را جدی نمیگیرد.
پاسخ. گودمن میپذیرد تثبیتِ تاریخی مهم است، اما آنگاه اعتبارِ استقرا تا حدی به تاریخِ زبانی و نظری وابسته میشود. همتای عملیِ امروز مهندسیِ ویژگی است: مشخصاتِ همبرازش میتوانند برونیابیهای کاملاً متفاوت رمزگذاری کنند.
6با اینها اشتباه نگیرید
گرو و تعیّنناقص
گرو مسئلهٔ مشخصِ محمولهای فرافکنیپذیر و استقراست. تعیّنناقص گستردهتر است: کلِ شواهد میتواند چند نظریهٔ رقیب را حتی با محمولهای عادی پشتیبانی کند.
بیشبرازش
بیشبرازش شکستِ آماریِ تعمیم بهسببِ برازشِ نویز یا انعطافِ زیاد است. گرو حتی با برازشِ کامل و بدون نویز هم رخ میدهد؛ مسئله این است که کدام الگو مشروعاً قابلفرافکنی است.
7خطاهای رایج
- ردکردنِ گرو فقط چون محمول عجیب به نظر میرسد؛ این همان معیارِ طبیعیبودن را مفروض میگیرد که معما میخواهد توجیه شود.
- حلکردنِ مسئله با برازشِ دروننمونهای بهتر، در حالی که سبز و گرو طوری ساخته شدهاند که همهٔ مواردِ مشاهدهشده را یکسان برازش کنند.
8در کارِ شما
انتخابِ متغیرها و صورتِ تابعی، بیش از خودِ برآورد کار میکند. «سبزآبی» اثبات میکند که ناگزیر چنین است، و از همین رو استدلالی است برای افشای آن.
9خودآزمایی
دو تبدیل از یک مجموعهداده تمامِ تاریخ را دقیقاً یکسان برازش میکنند اما روندهای بروننمونهایِ متضاد میدهند. پرسشِ گودمنی چیست؟
نمایش پاسخ
چه چیزی یکی را واقعاً فرافکنیپذیر میکند و دیگری را صرفاً بازتوصیفی همبرازش؟ پاسخ باید از ساختار، سازوکار، نظریهٔ پسزمینه یا قیدِ اصولیِ سادگی/طبیعیبودن بیاید، نه صرفِ برازشِ تاریخی.