چرا استقرا مهم است؟
تمامِ علومِ تجربی — فیزیک، شیمی، زیست‌شناسی، پزشکی — بر پایهٔ استقرا بنا شده‌اند. وقتی دانشمند هزاران آزمایش انجام می‌دهد و یک قانونِ کلی می‌نویسد، از استقرا استفاده کرده است؛ وقتی پزشک از علائمِ بیمار به تشخیص می‌رسد، از استنتاجِ بهترین تبیین استفاده کرده است.
تمایزِ بنیادی: قیاسی در برابرِ استقرایی
| ویژگی | استدلالِ قیاسی | استدلالِ استقرایی |
|---|---|---|
| رابطهٔ مقدمات و نتیجه | نتیجه ضرورتاً از مقدمات می‌آید | مقدمات از نتیجه حمایتِ نسبی می‌کنند |
| قطعیتِ نتیجه | قطعی | احتمالی |
| ارزیابی | صحیح/غلط | قوی/ضعیف |
| کاربردِ اصلی | ریاضیات، فلسفه | علومِ تجربی، زندگیِ روزمره |
مثالِ کتاب: «برایِ رفتن به دانشگاه باید دیپلم داشت؛ حمید دانشجوست؛ پس حمید دیپلم دارد» ← نتیجه قطعی (قیاسی). اما «راننده‌ای بارها در شرایطِ خطرناک خودرو را کنترل کرده؛ پس هیچ‌گاه تصادف نخواهد کرد» ← نتیجه قطعی نیست (استقرایی).
استقرایِ تمثیلی
حکمِ یک چیز را به‌دلیلِ شباهت به چیزِ دیگر، به آن منتقل می‌کنیم؛ کاربردهایش از تشبیهِ ادبی تا تمرینِ خلبانان در شبیه‌ساز را دربرمی‌گیرد. نمونهٔ معروف: تمثیلِ غارِ افلاطون — انسان در عالمِ مادی مانندِ زندانیانی است که فقط سایهٔ حقیقت را می‌بینند، نه خودِ حقیقت را.
قاعده: هرچه وجوهِ شباهت بیشتر و وجوهِ اختلاف کمتر باشد، تمثیل قوی‌تر است. وقتی از شباهتِ ظاهری نتیجهٔ نادرست بگیریم، مغالطهٔ تمثیلِ ناروا رخ می‌دهد؛ مثلاً «چون خودروی شخصی می‌رانم، پس کامیون هم می‌توانم برانم» یا «دل‌دردم شبیهِ دل‌دردِ پسرعمویم است؛ پس داروهایش را می‌خورم» — که علائمِ مشابه می‌توانند علت‌هایِ کاملاً متفاوت داشته باشند. دو راهِ مقابله: توجه به وجوهِ اختلاف، و یافتنِ یک تمثیلِ مخالف در همان موضوع.
استقرایِ تعمیمی
از بررسیِ چند نمونهٔ جزئی، حکمِ کلی می‌سازیم؛ مثلاً «تمامِ کلاغ‌هایی که تاکنون دیده‌ایم سیاه بودند ← پس هیچ کلاغِ سفیدی وجود ندارد» — هرچند قوی، همچنان احتمالی است. برایِ تعمیمِ قوی سه شرط لازم است: نمونه‌ها تصادفی باشند، متنوع و نمایندهٔ همهٔ طیف‌ها باشند، و تعدادشان نسبتِ مناسبی با کلِ جامعه داشته باشد. نقضِ این شروط ← مغالطهٔ تعمیمِ شتاب‌زده (مثلاً «دو نفر از فلان شهر دروغگو بودند؛ پس آن شهری‌ها دروغگویند»).
بخشِ ستاره‌دار: استقرایِ تام یعنی بررسیِ همهٔ مصادیقِ یک مجموعه (مثلاً ادارهٔ ثبتِ احوال که همهٔ شناسنامه‌ها را شمرده)؛ برخلافِ استقرایِ ناقص، نتیجه‌اش قطعی است و به همین دلیل منطق‌دانان آن را نوعی قیاس به شمار می‌آورند.
نمونه‌هایِ بیشترِ کتاب برایِ سنجشِ قوت: «نظرسنجی‌ها نشان می‌دهد بیشترِ مردم به کاندیدایِ ما رأی خواهند داد» (اگر روشِ نمونه‌گیری درست باشد، نسبتاً قابلِ اطمینان)؛ در برابرِ «دو دوستم فارغ‌التحصیلِ شیمی‌اند و شغلِ مرتبط ندارند ← پس شیمی بازارِ کار ندارد» (فقط دو نمونه، بسیار ضعیف). نتایجِ ۱۷۰ دبیرستان از ۲۰۰ دبیرستان (۸۵٪) بسیار قابلِ اعتمادتر از نتایجِ ۱۰ دبیرستان از همان ۲۰۰ تاست (۵٪) — نسبتِ نمونه به جامعه اهمیتِ مستقیم دارد.
استنتاجِ بهترین تبیین
با حذفِ تدریجیِ احتمالاتِ اشتباه، به بهترین توضیحِ ممکن برایِ یک پدیده می‌رسیم — مثلِ کارآگاهی که همهٔ احتمالات را فهرست می‌کند، یکی‌یکی رد می‌کند و با بهترین احتمالِ باقی‌مانده کار می‌کند (مثالِ کتاب: ماجرایِ شکلاتِ ناپدیدشده که پس از ردِ پنج احتمال، به «پدرم برداشته» می‌رسد). ساختار: مشاهدهٔ پدیده‌ای غیرمنتظره ← فهرستِ احتمالات ← حذفِ ناسازگارها ← انتخابِ بهترینِ باقی‌مانده. کاربردها: کارآگاهی، تشخیصِ پزشکی، فرضیه‌سازیِ علمی. نتیجهٔ این روش هم قطعی نیست، فقط بهترین توضیحِ موجود است.
استدلالِ دوری (مصادره به مطلوب)
استدلالی که در آن نتیجه همان مقدمه است، به شکلِ دیگر بیان‌شده؛ مثال: «چرا پول درمی‌آوری؟ ← تا زندگی کنم. چرا زندگی می‌کنی؟ ← تا پول دربیاورم!» — هیچ توجیهی ارائه نشده، فقط در یک دایره می‌چرخیم. مثالِ دیگر: «این فیلم بهترین فیلمِ سال است، چون خیلی بهتر از بقیه است» — «بهترین» چیزی جز تکرارِ همان ادعا نیست. این استدلال باطل است و در کنکور با نامِ «مصادره به مطلوب» (Begging the Question) هم شناخته می‌شود.
فراتر از کتاب
فیلسوفِ اسکاتلندی دیوید هیوم در قرنِ ۱۸ پرسید «چرا از گذشته می‌توان به آینده نتیجه گرفت؟» و گفت هیچ دلیلِ منطقی وجود ندارد که فردا خورشید طلوع کند، ما فقط عادت داریم — این «مشکلِ استقرا» نام دارد و هنوز در فلسفهٔ علم بحث می‌شود. حتی قوانینِ علمی هم استقرایی‌اند و ممکن است روزی نقض شوند: نیوتون ۲۰۰ سال معتبر بود تا اینشتین آمد.
دو دامِ شناختیِ رایج: دامِ تأیید — تمایل به دیدنِ فقط شواهدی که باورهایمان را تأیید می‌کنند (مثلاً اگر فکر کنی یک برند خوب است، فقط محصولاتِ خوبش یادت می‌ماند)؛ و دامِ نمونهٔ نمایان — چیزهایی که اخیراً یا با شدت دیده‌ایم را «بیشتر» تصور می‌کنیم (مثلاً پس از یک سانحهٔ هوایی در اخبار، مردم فکر می‌کنند هواپیما خطرناک‌تر از ماشین است، در حالی که عکسِ آن درست است).
قاعدهٔ اوکام می‌گوید بینِ چند تبیین، ساده‌ترینی که همهٔ شواهد را توضیح دهد باید انتخاب شود؛ کشفِ سیارهٔ نپتون در ۱۸۴۶ از انحرافِ مدارِ اورانوس، نمونهٔ معروفِ استنتاجِ بهترین تبیین در علم است. تمثیلِ ادبی هدفش زیبایی و انتقالِ احساس است («لبت لعل است»)؛ تمثیلِ منطقی هدفش استدلال و اثبات است — این دو را نباید با هم اشتباه گرفت. چک‌لیستِ تفکرِ انتقادی برایِ سنجشِ استقراهایِ ضعیف: آیا نمونه کافی است؟ تصادفی است یا گزینشی؟ متنوع است؟ شباهت ظاهری است یا ذاتی؟ نتیجه از مقدمات «ضرورتاً» می‌آید یا «احتمالاً»؟