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