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