No finite record of observed regularity logically entails that the same regularity will continue in unobserved cases.
1The problem it solves
Induction is how empirical science moves from observed cases to general laws, future cases, and unseen populations. Hume’s problem is that the move cannot be justified deductively, and justifying it by saying induction has worked in the past is itself an inductive argument. The method that generates most empirical knowledge therefore lacks the kind of proof deduction enjoys.
2The idea
Hume's argument is short and has never been answered. Inductive inference assumes the future will resemble the past. That assumption cannot be established deductively, since its denial is not contradictory. Nor can it be established inductively, since that would use the very principle in question.
So every empirical generalisation you have ever made rests on something you cannot justify. This is not a reason to stop generalising; it is a reason to know what you are doing when you do.
3Origin & context
David Hume’s eighteenth-century treatment is canonical. He distinguishes “relations of ideas” from “matters of fact” and argues that inference beyond present experience relies on an expectation that nature is sufficiently uniform. That expectation cannot be established without circularity.
4Canonical example
The sun has risen every morning in recorded history. That fact entails nothing whatsoever about tomorrow morning.
5Objections & replies
Objection. Evolution or learning theory can explain why creatures that generalize from experience tend to survive; doesn’t that justify induction?
Reply. It can explain why the habit is adaptive and perhaps reliable in our environment, but the justification still uses empirical generalization from the world’s past structure. Hume’s logical point remains: no non-circular deduction guarantees future uniformity.
Objection. Bayesian updating solves induction by giving a rational rule for learning from evidence.
Reply. Bayes gives conditional consistency once priors and likelihood models are supplied; it does not derive those priors or guarantee the future resembles the modeled past. The inductive burden reappears in model choice and prior assumptions.
6Don't confuse it with
Induction and deduction
Deduction preserves truth if premises are true; induction can amplify information beyond the premises but is fallible. The tradeoff—new information for loss of certainty—is the point.
Problem of induction and confirmation bias
Hume’s problem is a normative/logical problem about projecting patterns at all. Confirmation bias is a psychological tendency to seek or interpret evidence selectively.
7Common mistakes
- Responding 'but induction usually works' as if that were non-circular; the word 'usually' is already an inductive summary.
- Treating the problem as a reason never to generalize. Hume shows the absence of deductive guarantee, not that empirical inference is practically dispensable.
8In your work
The hard ceiling on every out-of-sample forecast and on every model calibrated to a historical regime. Regime change is not an exotic risk; it is the default expectation that induction quietly assumes away.
9Check yourself
You have observed a stable coefficient for 20 years. What, strictly speaking, does those 20 years deductively entail about year 21?
Show answer
Nothing about the coefficient’s year-21 value follows deductively. Using the past pattern to project forward is an inductive move whose rationality depends on assumptions about stability, similarity, and the data-generating process.
هیچ سابقهٔ متناهی از نظمِ مشاهدهشده منطقاً تضمین نمیکند همان نظم در مواردِ مشاهدهنشده ادامه یابد.
1مسئلهای که حل میکند
استقرا راهی است که علمِ تجربی از مواردِ مشاهدهشده به قانون، آینده و جمعیتِ نادیده میرود. مسئلهٔ هیوم این است که این حرکت بهصورت قیاسی توجیه نمیشود، و گفتنِ «استقرا در گذشته جواب داده» خودش استدلالی استقرایی است. بنابراین روشی که بیشترِ معرفتِ تجربی را تولید میکند اثباتی از نوعِ قیاس ندارد.
2ایدهٔ اصلی
استدلال هیوم کوتاه است و هرگز پاسخ نیافته. استنتاجِ استقرایی فرض میکند آینده شبیه گذشته خواهد بود. این فرض قیاسی اثبات نمیشود، چون انکارش تناقضآمیز نیست. استقرایی هم اثبات نمیشود، چون همان اصلِ محلِ نزاع را به کار میگیرد.
پس هر تعمیمِ تجربی که تا کنون دادهاید بر چیزی استوار است که نمیتوانید توجیهش کنید. این دلیلی بر توقفِ تعمیم نیست؛ دلیلی است بر اینکه بدانید هنگام تعمیم چه میکنید.
3خاستگاه و زمینه
صورتبندیِ قرنِ هجدهمیِ دیوید هیوم معیار است. او «روابطِ میان ایدهها» را از «امورِ واقع» جدا و استدلال میکند استنتاج فراتر از تجربهٔ فعلی به انتظارِ یکنواختیِ کافیِ طبیعت متکی است. این انتظار بدون دور اثبات نمیشود.
4مثالِ کلاسیک
خورشید در تمام تاریخِ ثبتشده هر بامداد برآمده است. این واقعیت هیچ چیزی دربارهٔ بامدادِ فردا نتیجه نمیدهد.
5اعتراضها و پاسخها
اعتراض. تکامل یا نظریهٔ یادگیری میتواند توضیح دهد چرا موجوداتی که از تجربه تعمیم میدهند بقا مییابند؛ آیا این استقرا را توجیه نمیکند؟
پاسخ. میتواند توضیح دهد چرا عادت سازگار و شاید در محیطِ ما قابلاعتماد است، اما این توجیه هنوز از تعمیمِ تجربی دربارهٔ ساختارِ گذشتهٔ جهان استفاده میکند. نکتهٔ منطقیِ هیوم باقی است: هیچ قیاسِ غیردوری یکنواختیِ آینده را تضمین نمیکند.
اعتراض. بهروزرسانیِ بیزی مسئلهٔ استقرا را حل میکند چون قاعدهٔ عقلانیِ یادگیری از شاهد میدهد.
پاسخ. بیز پس از دادهشدنِ پیشین و مدلِ درستنمایی سازگاریِ شرطی میدهد؛ پیشینها را از هیچ استخراج یا تضمین نمیکند آینده شبیه گذشتهٔ مدلشده باشد. بارِ استقرا در انتخابِ مدل و فرضهای پیشین بازمیگردد.
6با اینها اشتباه نگیرید
استقرا و قیاس
قیاس در صورتِ صدقِ مقدمات حقیقت را حفظ میکند؛ استقرا اطلاعات را فراتر از مقدمات گسترش میدهد اما خطاپذیر است. معاملهٔ اطلاعاتِ تازه با ازدستدادنِ یقین اصلِ ماجراست.
مسئلهٔ استقرا و سوگیریِ تأیید
مسئلهٔ هیوم مسئلهای هنجاری/منطقی دربارهٔ اصلِ فرافکنیِ الگوست. سوگیریِ تأیید گرایشِ روانشناختی به جستوجو یا تفسیرِ گزینشیِ شاهد است.
7خطاهای رایج
- پاسخِ «اما استقرا معمولاً جواب میدهد» گویی غیردوری است؛ واژهٔ «معمولاً» خودش خلاصهای استقرایی است.
- فهمِ مسئله بهعنوان دلیلِ ممنوعیتِ هر تعمیم. هیوم نبودِ تضمینِ قیاسی را نشان میدهد، نه بینیازیِ عملی از استنتاجِ تجربی.
8در کارِ شما
سقفِ سختِ هر پیشبینیِ بروننمونهای و هر مدلی که بر رژیمی تاریخی کالیبره شده. تغییرِ رژیم ریسکی عجیب نیست؛ حالتِ پیشفرضی است که استقرا بیسروصدا آن را کنار میگذارد.
9خودآزمایی
بیست سال ضریبِ پایداری دیدهاید. بهطور دقیق این بیست سال چه چیزی را دربارهٔ سالِ بیستویکم بهصورت قیاسی نتیجه میدهد؟
نمایش پاسخ
هیچ مقدارِ سالِ بیستویکم بهصورت قیاسی نتیجه نمیشود. فرافکنیِ الگوی گذشته حرکتِ استقرایی است و به فرضهایی دربارهٔ ثبات، شباهت و فرایندِ تولیدِ داده وابسته است.