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