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