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