Hempel’s raven paradox shows that logical confirmation can assign positive evidential relevance to observations that intuitively seem almost irrelevant.
1The problem it solves
“All ravens are black” is logically equivalent to “all non-black things are non-ravens.” If evidence confirms logically equivalent statements equally, observing a green apple appears to confirm that all ravens are black. The paradox forces confirmation theory to distinguish mere consistency and logical equivalence from evidential weight.
2The idea
“All ravens are black” is logically equivalent to “all non-black things are non-ravens”. Anything confirming the second confirms the first. So a green apple confirms that all ravens are black.
3Origin & context
Developed by Carl Hempel as part of twentieth-century work on the logic of confirmation. It became a classic pressure test for simple instances-confirm-universals accounts and helped motivate probabilistic/Bayesian treatments of evidential relevance.
4Canonical example
Ornithology conducted indoors, by examining fruit. The logic is impeccable and the conclusion is absurd.
5Objections & replies
Objection. A green apple really does confirm the hypothesis, just by an astronomically tiny amount.
Reply. Bayesian replies often take exactly this line. The apple rules out one possible non-black raven only in a vast space of non-ravens, so the likelihood effect is positive but negligible.
Objection. The paradox comes from using logical equivalence; perhaps equivalent formulations need not have the same confirmation relation.
Reply. Dropping equivalence solves one problem at a high price: logically identical hypotheses would acquire different evidential support depending on wording. Most theories prefer to preserve equivalence and explain the tiny weight instead.
6Don't confuse it with
Confirmation vs. consistency
An observation can be consistent with a hypothesis without raising its probability. Confirmation requires a favorable comparison with alternatives.
Raven paradox vs. base-rate neglect
Both concern evidential weight, but the raven paradox arises from equivalence and universal generalization; base-rate neglect is a probabilistic updating error.
7Common mistakes
- Using “this observation is compatible with the theory” as if compatibility itself were evidence.
- Ignoring the reference class: observing non-black non-ravens is cheap because almost everything in the universe is a non-raven.
8In your work
A warning about confirmation logic: evidence that is technically consistent with a hypothesis can carry essentially zero weight. Consistency is not support.
9Check yourself
Does finding a white shoe confirm “all ravens are black”?
Show answer
On many Bayesian accounts, technically yes but by an almost vanishing amount. The important lesson is that logical confirmation need not imply practically meaningful evidential weight.
پارادوکسِ کلاغِ همپل نشان میدهد منطقِ سادهٔ تأیید میتواند به مشاهدهای وزنِ شاهدیِ مثبت بدهد که از نظر شهودی تقریباً بیربط است.
1مسئلهای که حل میکند
«همهٔ کلاغها سیاهاند» با «همهٔ چیزهای غیرسیاه غیرکلاغاند» همارز است. اگر شاهد باید گزارههای همارز را یکسان تأیید کند، دیدنِ سیبِ سبز ظاهراً همهٔ کلاغها سیاهاند را تأیید میکند. پارادوکس ما را مجبور میکند سازگاری و همارزی را از وزنِ واقعیِ شاهد جدا کنیم.
2ایدهٔ اصلی
«همهٔ کلاغها سیاهاند» منطقاً همارز است با «هر چیزِ غیرسیاه، غیرکلاغ است». هر چه دومی را تأیید کند اولی را هم تأیید میکند. پس یک سیبِ سبز تأیید میکند که همهٔ کلاغها سیاهاند.
3خاستگاه و زمینه
کارل همپل آن را در پژوهشِ قرن بیستم دربارهٔ منطقِ تأیید مطرح کرد. به آزمونی کلاسیک برای نظریههای سادهٔ «نمونه، حکمِ کلی را تأیید میکند» بدل شد و به رویکردهای احتمالاتی/بیزی انگیزه داد.
4مثالِ کلاسیک
پرندهشناسی در اتاقِ نشیمن، با وارسیِ میوه. منطق بیعیب است و نتیجه پوچ.
5اعتراضها و پاسخها
اعتراض. سیبِ سبز واقعاً فرضیه را تأیید میکند، فقط به مقدارِ ناچیز.
پاسخ. پاسخِ بیزی اغلب همین است. سیب یکی از امکانهای «کلاغِ غیرسیاه» را در فضای عظیمِ غیرکلاغها کنار میگذارد، پس اثرِ درستنمایی مثبت اما تقریباً صفر است.
اعتراض. مشکل از همارزیِ منطقی میآید؛ شاید صورتبندیهای همارز لازم نیست تأییدِ یکسان داشته باشند.
پاسخ. رهاکردنِ همارزی هزینهٔ زیادی دارد: فرضیههای منطقیِ یکسان بر اساسِ عبارتبندی شاهدِ متفاوت میگیرند. بیشتر نظریهها همارزی را حفظ و کوچکیِ وزن را توضیح میدهند.
6با اینها اشتباه نگیرید
تأیید و سازگاری
مشاهده میتواند با فرضیه سازگار باشد بیآنکه احتمالِ آن را بالا ببرد. تأیید مقایسهٔ مطلوب با بدیلها میخواهد.
پارادوکسِ کلاغ و غفلت از نرخِ پایه
هر دو دربارهٔ وزنِ شاهدند، اما کلاغ از همارزی و حکمِ کلی میآید؛ غفلت از نرخِ پایه خطای بهروزرسانیِ احتمالاتی است.
7خطاهای رایج
- برخورد با «این مشاهده با نظریه سازگار است» گویی خودِ سازگاری شاهد است.
- نادیدهگرفتنِ طبقهٔ مرجع: دیدنِ غیرسیاهِ غیرکلاغ بسیار ارزان است چون تقریباً همهٔ جهان غیرکلاغ است.
8در کارِ شما
هشداری دربارهٔ منطقِ تأیید: شاهدی که از نظر فنی با فرضیه سازگار است میتواند وزنی تقریباً صفر داشته باشد. سازگاری، پشتیبانی نیست.
9خودآزمایی
آیا پیدا کردنِ کفشِ سفید «همهٔ کلاغها سیاهاند» را تأیید میکند؟
نمایش پاسخ
در بسیاری از روایتهای بیزی، از نظر فنی بله اما به مقداری تقریباً صفر. درسِ مهم این است که تأییدِ منطقی الزاماً وزنِ شاهدیِ عملی ندارد.