كيف يثبت العلماء النظريات؟ عادةً، يستخدمون “الاستقراء” (Induction)، وهو مراقبة العالم وجمع البيانات. على سبيل المثال، إذا أردت إثبات فرضية “جميع الغربان سوداء”، فإنك ستراقب الغربان حول العالم وتتأكد من أنها سوداء واحداً تلو الآخر.

ومع ذلك، في أربعينيات القرن العشرين، أشار عالم المنطق كارل همبل (Carl Hempel) إلى ثغرة منطقية غريبة مخفية في هذا النهج العلمي البديهي. وهي مفارقة غراب همبل (Hempel’s Ravens) التي تنص على أن “مجرد رؤية تفاحة زرقاء أو حذاء أحمر يعتبر دليلاً على أن ‘الغراب أسود’”.

تبديل المنطق: سحر المعاكس الإيجابي

لفهم ادعاء همبل، نحتاج إلى تذكر مفهوم “المعاكس الإيجابي” (Contrapositive) الذي نتعلمه في رياضيات المدرسة الثانوية.

في المنطق، إذا كانت قضية ما “إذا كان أ، فإن ب” صحيحة، فإن معاكسها الإيجابي “إذا لم يكن ب، فإنه ليس أ” يجب أن يكون صحيحاً أيضاً (وهذا ما يسمى بالتكافؤ المنطقي).

الفرضية $H_1$: “جميع الغربان سوداء (إذا كان غراباً، فهو أسود)”

دعونا نأخذ المعاكس الإيجابي لهذه الفرضية $H_1$. سيصبح “إذا لم يكن أسود، فهو ليس غراباً”.

الفرضية $H_2$: “كل الأشياء غير السوداء ليست غرباناً”

وفقاً لقواعد المنطق، $H_1$ و $H_2$ لهما نفس المعنى تماماً (متكافئان). إذا تم إثبات أحدهما، يتم إثبات الآخر تلقائياً.

إثبات الغراب دون رؤيته

الآن، للتحقق من الفرضية $H_1$ (الغراب أسود)، في كل مرة نجد فيها غراباً أسود، تزداد احتمالية (دليل) الفرضية قليلاً. هذا أمر يقتنع به الجميع.

ولكن، بما أن $H_1$ و $H_2$ لهما نفس المعنى، فإن إيجاد دليل للفرضية $H_2$ (ما ليس أسود ليس غراباً) يجب أن يكون دليلاً مباشراً للفرضية $H_1$.

إذن، ما هو الدليل على $H_2$؟ يكفي أن نجد “شيئاً ليس أسود وليس غراباً”.

• افترض أن هناك “تفاحة زرقاء” على الطاولة. هذه ليست سوداء، وليست غراباً. وبالتالي، فهي دليل يدعم $H_2$.
• يوجد “حذاء أحمر” في الخزانة. هذا أيضاً ليس أسود وليس غراباً. إنه دليل على $H_2$.
• تطفو “سحابة بيضاء” في السماء. هذه أيضاً دليل على $H_2$.

بما أن دليل $H_2$ يحمل نفس قيمة دليل $H_1$، فمن الناحية المنطقية نستنتج الاستنتاج الغريب التالي:

“كلما راقبنا تفاحاً أزرق أو أحذية حمراء داخل الغرفة، كلما أثبتنا صحة فرضية ‘جميع الغربان سوداء’”

لماذا يتعارض هذا مع الحدس؟

لا يوجد عالم طيور في أي مكان في العالم يزداد اقتناعه بأن “الغراب أسود” عند رؤية تفاحة زرقاء. على الرغم من أن هذا صحيح تماماً من الناحية المنطقية، فلماذا يرفض منطقنا السليم هذا الأمر؟

في عالم الفلسفة والإحصاء، تم اقتراح عدة مناهج لحل هذه المفارقة.

1. الحل البايزي (اختلاف كمية المعلومات)

الرد الأكثر إقناعاً من وجهة نظر الإحصاء الحديث (الاحتمال البايزي) يركز على الاختلاف في “قوة الدليل (كمية المعلومات)”.

في العالم، يوجد “أشياء غير سوداء” أكثر بكثير من “الأشياء السوداء”، وكذلك “أشياء ليست غرباناً” أكثر بكثير من “الغربان” بشكل فلكي.

عندما نرى تفاحة زرقاء، فهي بالتأكيد تعتبر دليلاً على أن “جميع الغربان سوداء”، ولكن قيمتها كدليل (مقدار الزيادة في الاحتمال) تقترب من الصفر. إن تأكيد أحد “الأشياء غير السوداء” التي لا تعد ولا تحصى في الكون الشاسع يزيد من احتمال أن “الغراب أسود” بمقدار يعادل تأثير إزالة حبة رمل واحدة من الصحراء. من ناحية أخرى، العثور على غراب أسود واحد مباشرة له قيمة هائلة كدليل.

بمعنى آخر، من الناحية المنطقية “التفاحة الزرقاء تشكل دليلاً”، ولكن من الناحية العملية “قيمة الدليل تساوي صفراً تقريباً لذا يمكن تجاهلها” - هذا هو الحل البايزي.

2. حدود “علم الطيور الداخلي”

تسلط هذه المفارقة الضوء على مدى هشاشة الافتراضات التي يُبنى عليها “الاستقراء” (استنتاج القوانين العامة من الملاحظة)، وهو أساس العلم. إذا اعتمدنا فقط على التكافؤ المنطقي، فسيصبح من الممكن التحقق من جميع قوانين الكون (“جميع البجع أبيض”، “جميع الفضائيين ليسوا خضراً”، إلخ) بمجرد مراقبة الخردة داخل الغرفة دون الخروج، وهو ما يمكن تسميته “علم الطيور الداخلي”.

غراب همبل هو مفارقة مثيرة جداً للاهتمام تظهر أن كلمات مثل “دليل” و “إثبات” التي نستخدمها دون وعي لا يمكن استيعابها بالكامل بواسطة قواعد المنطق الرمزي البحتة وحدها.