منطق on kenji.blog

تلميذ ومعلم، محاكمة متناقضة بغض النظر عن الفائز: مفارقة بروتاغوراس

Thu, 10 Sep 2026 21:00:00 +0900

في اليونان القديمة، أصبح شاب يدعى إيواثلوس تلميذًا لبروتاغوراس، أعظم السوفسطائيين (معلمي فن الخطابة). تم إبرام عقد بينهما بشأن دفع الرسوم الدراسية على النحو التالي:

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

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

نفد صبر بروتاغوراس، فرفع دعوى قضائية ضد إيواثلوس في المحكمة. مطالبًا إياه: “ادفع الرسوم الدراسية”.

ومن هنا تبدأ متاهة المنطق.

منطق المعلم بروتاغوراس

جادل بروتاغوراس في المحكمة على النحو التالي:

“أيها القاضي، سأفوز بغض النظر عما سيحدث.

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

في كلتا الحالتين، هو ملزم بدفع الرسوم الدراسية.”

منطق التلميذ إيواثلوس

في المقابل، لم يستسلم إيواثلوس وكان له رده الخاص.

“أيها القاضي، سأفوز أنا بغض النظر عما سيحدث.

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

في كلتا الحالتين، لست مضطرًا لدفع الرسوم الدراسية.”

graph TD A["نتيجة المحاكمة"] --> B["بروتاغوراس يفوز"] A --> C["إيواثلوس يفوز"] B --> B1["الحكم: إيواثلوس يدفع"] B --> B2["العقد: إيواثلوس لم يفز → لا يجب عليه الدفع"] C --> C1["الحكم: إيواثلوس لا يجب عليه الدفع"] C --> C2["العقد: فوز إيواثلوس الأول → يجب عليه الدفع"] B1 --> D{"تناقض! الحكم ضد العقد"} B2 --> D C1 --> E{"تناقض! الحكم ضد العقد"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

لماذا يحدث هذا التناقض؟

السبب الجذري لهذه المفارقة هو أن نظامين مختلفين للقواعد (القانون والعقد) يصدران أحكامًا تتناقض مع بعضها البعض.

قاعدة القانون: اتبع حكم المحكمة.
قاعدة العقد: اتبع شرط “ادفع إذا فزت بأول محاكمة”.

عادةً، يعمل كل من القانون والعقد كمجالين مستقلين، ولكن نظرًا لأن بروتاغوراس جعل “دفع الرسوم الدراسية” هو نقطة النزاع في المحاكمة، فقد أثرت نتيجة هذه المحاكمة نفسها على شرط العقد، مما أوقع النظامين في حلقة من المرجعية الذاتية (Self-reference).

إجابات علماء القانون

قدم الحقوقي الروماني القديم أولوس جيليوس الحل التالي لهذه المشكلة.

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

بعبارة أخرى، هذه الإجابة تشير إلى أن محاولة حل المفارقة “في محاكمة واحدة في وقت واحد” تؤدي إلى تناقض، ولكن معالجتها “على مرحلتين” يمكن أن تزيل هذا التناقض.

الارتباط بمفارقة المرجعية الذاتية

تحتوي مفارقة بروتاغوراس على بنية مرجعية ذاتية مشابهة لـ “مفارقة الكذاب” (“هذه الجملة كاذبة”) و “مفارقة راسل”. حيث تؤثر قضية معينة (نتيجة المحاكمة) على الشروط (تحقق العقد) التي تحدد حقيقة أو زيف القضية نفسها.

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

إن مفارقة بروتاغوراس هي تحذير يعود تاريخه إلى 2400 عام يعلمنا أن أنظمة القواعد التي صنعها الإنسان (كالقوانين والعقود) يمكن أن تنهار من الداخل بسبب مرجعية ذاتية ماكرة.

عندما تصف الكلمات نفسها: مفارقة غريلينغ-نيلسون

Thu, 10 Sep 2026 21:00:00 +0900

الكلمات هي أدوات لوصف العالم، ولكن عندما نحاول وصف الكلمات نفسها، يمكن للمنطق أن يقع في فخ غير متوقع.

“مفارقة غريلينغ-نيلسون” (Grelling-Nelson Paradox)، التي ابتكرها كورت غريلينغ وليونارد نيلسون في عام 1908، هي مفارقة دلالية شهيرة تسلط الضوء على حدود “تعريف الكلمات بالكلمات”.

تصنيف الكلمات إلى مجموعتين

اعتقد غريلينغ ونيلسون أنه يمكن تصنيف جميع الصفات (الكلمات) إلى المجموعتين التاليتين:

وصفية ذاتياً (Autological): الكلمة التي تمتلك الخاصية التي تعنيها الكلمة نفسها.
غير وصفية ذاتياً (Heterological): الكلمة التي لا تمتلك الخاصية التي تعنيها الكلمة نفسها.

دعونا نلقي نظرة على بعض الأمثلة

أمثلة على الكلمات الوصفية ذاتياً:

“قصير (short)”: هذه الكلمة بحد ذاتها قصيرة.
“إنجليزي (English)”: هذه الكلمة بحد ذاتها لغة إنجليزية.
“اسم (noun)”: هذه الكلمة هي اسم.
“خماسي المقاطع (pentasyllabic)”: كلمة “pen-ta-syl-lab-ic” بالإنجليزية تتكون من 5 مقاطع.

أمثلة على الكلمات غير الوصفية ذاتياً:

“طويل (long)”: هذه الكلمة بحد ذاتها قصيرة وليست طويلة.
“ألماني (German)”: هذه الكلمة يابانية (أو إنجليزية أو عربية)، وليست ألمانية.
“غير مرئي (invisible)”: هذه الكلمة مرئية بوضوح الآن على الشاشة أو الورق.

حتى الآن، يبدو الأمر وكأنه مجرد تلاعب بالكلمات. يجب أن تكون كل كلمة قابلة للتصنيف بالضرورة إلى إما أنها تجسد معناها أو لا تجسده.

السؤال القاتل: ظهور المفارقة

الآن، تبدأ المفارقة من هنا. دعونا نفكر في الكلمة التالية.

هل الكلمة “غير وصفي ذاتياً” (Heterological) بحد ذاتها وصفية ذاتياً؟ أم أنها غير وصفية ذاتياً؟

في مواجهة هذا السؤال، سنواجه تناقضًا بغض النظر عن الإجابة التي نختارها.

الحالة 1: افتراض أن كلمة “غير وصفي ذاتياً” هي “وصفية ذاتياً”

إذا كانت الكلمة “غير وصفي ذاتياً” (Heterological) هي “وصفية ذاتياً”، فبناءً على التعريف، “يجب أن تمتلك الخاصية التي تعنيها الكلمة نفسها”. لكن معنى هذه الكلمة هو “غير وصفي ذاتياً”. بعبارة أخرى، امتلاكها لخاصية “غير وصفي ذاتياً” يعني أنها “غير وصفية ذاتياً”. افترضنا أنها وصفية ذاتياً، لكن النتيجة كانت أنها غير وصفية ذاتياً. (تناقض)

الحالة 2: افتراض أن كلمة “غير وصفي ذاتياً” هي “غير وصفية ذاتياً”

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

في كلتا الحالتين ينهار المنطق.

graph TD A["كلمة 'غير وصفي ذاتياً' (Heterological)"] --> B{"إلى أي فئة تصنف؟"} B -->|وصفية ذاتياً| C["التعريف: تمتلك الخاصية التي تعنيها"] C --> D["معناها هو 'غير وصفي ذاتياً'"] D --> E["النتيجة: غير وصفية ذاتياً!"] E -->|تناقض| B B -->|غير وصفية ذاتياً| F["التعريف: لا تمتلك الخاصية التي تعنيها"] F --> G["معناها هو 'غير وصفي ذاتياً'"] G --> H["النتيجة: وصفية ذاتياً!"] H -->|تناقض| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

الارتباط بالرياضيات والمنطق: قريبة مفارقة راسل

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

يمكن القول إن مفارقة غريلينغ-نيلسون هي النسخة الدلالية (معنى الكلمات) من مفارقة راسل.

مفارقة راسل في نظرية المجموعات:

$$ R = \\{ x \mid x \notin x \\} $$

عند تعريف هذه المجموعة، فإن السؤال عما إذا كان $R \in R$ أو $R \notin R$ يؤدي إلى تناقض.

مفارقة غريلينغ-نيلسون في علم الدلالة: عند تعريف $Het(x)$ كـ “الكلمة $x$ لا تمتلك الخاصية $x$ (أي أنها غير وصفية ذاتياً)"، نقع في التناقض المنطقي التالي:

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

لماذا هذه المفارقة مهمة؟

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

هذه ليست مجرد مشكلة في الفلسفة أو اللغويات. ففي مجالات علوم الكمبيوتر والذكاء الاصطناعي، عندما يحاول برنامج ما تقييم وتعديل الكود الخاص به، أو عندما يفسر نموذج معالجة لغة طبيعية التناقضات الدلالية، فإنه يواجه جدراناً منطقية مشابهة.

مفارقة غريلينغ-نيلسون هي تجربة فكرية تُظهر بشكل رائع “الأخطاء” (القيود) التي يمتلكها نظام “اللغة” بشكل جوهري.

ماذا يحدث عندما تزيل حبة رمل واحدة؟ متى يتوقف الكومة عن كونها كومة رمل؟: مفارقة كومة الرمل

Thu, 10 Sep 2026 21:00:00 +0900

لنفترض أن أمامك كومة رمل رائعة مكونة من 10,000 حبة رمل. أي شخص ينظر إليها سيقول إنها “كومة رمل”. الآن نزيل حبة رمل واحدة فقط. 9,999 حبة. لا تزال كومة رمل، أليس كذلك؟ نزيل حبة أخرى. 9,998 حبة. هذه أيضاً لا تزال كومة رمل.

لنكرر هذه العملية. إزالة حبة واحدة لا ينبغي أن تحوّل “كومة الرمل” إلى “ما ليس كومة رمل”. لكن إذا كررنا هذا المنطق إلى ما لا نهاية، ينتهي بنا الأمر بحبة رمل واحدة فقط.

هل حبة رمل واحدة هي “كومة رمل”؟

بالطبع، لا أحد يسمي حبة رمل واحدة “كومة رمل”. لكننا لم ننكر أبداً الفرضية القائلة بأن “إزالة حبة واحدة لا تغير كومة الرمل”. لا بد أن المنطق قد انهار في مكان ما، لكن عند أي حبة بالضبط توقفت كومة الرمل عن كونها كومة رمل؟

هذه هي “مفارقة كومة الرمل (مفارقة سوريتيس)”، التي تعود إلى الفيلسوف اليوناني القديم إيوبوليدس في القرن الرابع قبل الميلاد.

البنية المنطقية

يمكن التعبير عن هذه المفارقة على شكل قياس منطقي كالتالي:

المقدمة 1: مجموعة من 10,000 حبة رمل هي “كومة رمل”. المقدمة 2: إذا أزلنا حبة رمل واحدة من كومة رمل، فإنها تظل “كومة رمل”. النتيجة: إذن، حبة رمل واحدة هي أيضاً “كومة رمل”.

المقدمة 1 والمقدمة 2 تبدوان منطقيتين تماماً كل على حدة. لكن التطبيق المتكرر للمقدمة 2 يؤدي إلى نتيجة خاطئة بشكل واضح.

لماذا هذه المفارقة غير قابلة للحل؟

جوهر مفارقة كومة الرمل هو أن كلمة “كومة رمل” غامضة بطبيعتها. لا يوجد تعريف واضح (عتبة محددة) يحدد “كم عدد الحبات اللازمة لتكوين كومة رمل”. تُسمى هذه المفاهيم “المحمولات الغامضة (vague predicate)”.

لغتنا اليومية مليئة بمثل هذه الكلمات الغامضة.

“طويل القامة” يعني كم سنتيمتر بالضبط؟ شخص طوله 180 سم “طويل القامة”. ماذا لو أزلنا 1 مم؟ وماذا لو أزلنا 1 مم أخرى؟
“غني” يعني امتلاك كم من المال؟ 10 مليارات ين تعني “غني”. ماذا لو نقص ين واحد؟
“أصلع” يعني أقل من كم شعرة؟ صفر شعرة تعني “أصلع”. ماذا لو نبتت شعرة واحدة؟

جميع هذه الأمثلة لها نفس بنية مفارقة كومة الرمل بالضبط.

مقاربات الفلاسفة

1. المقاربة المعرفية (الحد الفاصل موجود)

تزعم هذه المقاربة أن “هناك بالفعل حداً فاصلاً واضحاً بين كومة الرمل وما ليس كومة رمل، لكن البشر ببساطة لا يملكون القدرة على إدراكه”. مثلاً، هناك حد دقيق حيث “5,837 حبة هي كومة رمل لكن 5,836 حبة ليست كومة رمل”، لكننا لا نستطيع معرفته.

هذا الموقف مرضٍ من الناحية المنطقية، لكن كثيراً من الناس يشعرون حدسياً بعدم الارتياح تجاهه.

2. المنطق الضبابي (قيم الحقيقة التدريجية)

في المنطق الكلاسيكي، الخيار هو “صحيح أو خاطئ”، لكن في المنطق الضبابي يمكن أن تأخذ القيمة “أي قيمة بين 0 و 1”.

على سبيل المثال:

10,000 حبة رمل: “درجة الكومة = 1.0 (كومة رمل تماماً)”
5,000 حبة: “درجة الكومة = 0.7”
100 حبة: “درجة الكومة = 0.1”
حبة واحدة: “درجة الكومة = 0.0 (ليست كومة رمل على الإطلاق)”

هذه الطريقة عملية، لكنها لا تحل المفارقة بالكامل. لأنها تولّد غموضاً جديداً: “ما الفرق بين درجة كومة 0.7 و 0.699؟”

3. دلالات القيم الفائقة (Supervaluationism)

وفقاً لهذه الفكرة، نأخذ بعين الاعتبار جميع الحدود المعقولة الممكنة لكلمة “كومة رمل” في آن واحد. إذا حُكم عليها بأنها “كومة رمل” وفق جميع الحدود، فهي “كومة رمل بالتأكيد”، وإذا حُكم عليها بأنها “ليست كومة رمل” وفق جميع الحدود، فهي “بالتأكيد ليست كومة رمل”، والمنطقة التي تتباين فيها الآراء تُحكم بأنها “غير محددة”.

التأثير على المجتمع المعاصر

مفارقة كومة الرمل ليست مجرد لعبة لغوية، بل تسبب مشكلات خطيرة في عالم القانون والسياسات الواقعية أيضاً.

سن الرشد: في عمر 17 سنة و364 يوماً يكون الشخص “طفلاً”، وفي عمر 18 سنة و0 يوم يصبح “بالغاً”. ما الذي يتغير جوهرياً في يوم واحد؟
خط الفقر: إذا كان الدخل السنوي أقل من المبلغ المحدد بين واحد، فهو “فقير”، وإذا زاد بين واحد، فهو “ليس فقيراً”.
اللوائح البيئية: إذا تجاوزت كمية انبعاث الملوثات المعيار بمقدار 0.001 ملغ، فهو غير قانوني. وإذا كانت مساوية للمعيار بالضبط، فهو قانوني.

اللغة والتفكير البشري يحتويان بطبيعتهما على الغموض، وربما تكون محاولة تقسيم العالم إلى ثنائيات واضحة أمراً مستحيلاً في حد ذاته. مفارقة كومة الرمل هي مفارقة تكشف عن الحدود الجذرية للعقل البشري، وقد ظلت تحيّر الفلاسفة لأكثر من 2400 عام.

هل الزمرد أخضر أم بلون 'غرو'؟: لغز جودمان الجديد للاستقراء

Thu, 10 Sep 2026 21:00:00 +0900

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

هذا النوع من الاستدلال يُسمى “الاستقراء”، وهو أساس كل العلوم. ولكن في عام 1955، ابتكر الفيلسوف نيلسون جودمان مفهومًا لونيًا غريبًا يوضح أن هذا الاستقراء يحمل عيبًا جوهريًا. هذه هي مفارقة “غرو” (Grue).

تعريف اللون الجديد “غرو” (Grue)

عرّف جودمان خاصية (لونًا) جديدة تسمى “غرو” (Grue)، وهي مزيج من “الأخضر” (Green) و"الأزرق" (Blue)، على النحو التالي:

تعريف “غرو” (Grue): يُقال إن شيئًا ما بلون “غرو” إذا كان قد لوحظ قبل وقت محدد $t$ (على سبيل المثال 1 يناير 2030) وكان “أخضر” (Green)، وإذا لوحظ في الوقت $t$ أو بعده وكان “أزرق” (Blue).

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{الوقت} < t) \\ \text{Blue} & (\text{الوقت} \ge t) \end{cases} $$

وفقًا لهذا التعريف، فإن الزمردة الخضراء التي تحملها بيدك الآن (قبل الوقت $t$) هي “خضراء” وفي نفس الوقت بلون “غرو”.

لماذا تُعتبر مفارقة؟

تحدث المفارقة عندما نحاول التنبؤ بالمستقبل. حتى الآن، كان كل الزمرد الذي لاحظته البشرية “أخضر”. لذلك، باستخدام الاستقراء، نتوقع ما يلي:

الفرضية أ: “كل الزمرد لونه ‘أخضر’”

ولكن، انتظر لحظة. جميع الزمرد الذي تم ملاحظته حتى الآن يعود إلى ما قبل الوقت $t$، لذلك لابد أنه كان جميعها بلون “غرو” أيضًا. وبالتالي، من بيانات الملاحظة نفسها تمامًا، يمكننا التوصل إلى التنبؤ التالي:

الفرضية ب: “كل الزمرد لونه ‘غرو’”

إذا اتبعنا قواعد الاستقراء، فإن جميع ملاحظات الماضي تدعم الفرضية أ، وبنفس “القوة تمامًا” تدعم أيضًا الفرضية ب.

graph TD A["الملاحظات الماضية: كان كل الزمرد أخضر اللون"] -->|في نفس الوقت| B["الملاحظات الماضية: كان كل الزمرد بلون 'غرو'"] A --> C["التنبؤ الاستقرائي أ: سيكون زمرد المستقبل أيضًا 'أخضر'"] B --> D["التنبؤ الاستقرائي ب: سيكون زمرد المستقبل أيضًا بلون 'غرو'"] C --> E["سيبقى أخضر بعد الوقت t"] D --> F["سيتحول إلى 'أزرق' بعد الوقت t!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

هل سيتحول الزمرد إلى اللون الأزرق؟

إذا كانت الفرضية ب صحيحة، ففي اللحظة التي يحل فيها الوقت $t$، يجب أن يتحول كل الزمرد في العالم في وقت واحد إلى اللون “الأزرق” (من تعريف “غرو”).

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

ومع ذلك، فإن تساؤل جودمان يذهب إلى أعمق من ذلك بكثير. “الأخضر” و"غرو"، كلاهما فرضيتان تتوافقان تمامًا مع بيانات الماضي، فلماذا نعتبر تنبؤ “الأخضر” فقط مبررًا ونستبعد تنبؤ “غرو”؟ وما هو “الأساس المنطقي” لذلك؟

تحدي “اطراد الطبيعة”

لتجنب هذه المشكلة، قد يتبادر إلى الذهن اعتراض يقول: “يجب أن نستخدم مفاهيم بسيطة مثل ‘الأخضر’، ولا ينبغي لنا أن نستخدم مفاهيم معقدة تتضمن الزمن مثل ‘غرو’”.

لكن جودمان أوضح بالمقابل أنه إذا قمنا بتعريف لون يسمى “بلين” (Bleen: أزرق حتى الوقت $t$، وأخضر بعد ذلك)، فإن مفهوم “الأخضر” بحد ذاته سيصبح مفهومًا معقدًا يعتمد على الزمن كالتالي: “غرو حتى الوقت $t$، وبلين بعد ذلك”. بمعنى آخر، أي الكلمات نعتبرها “أساسية” هو مجرد مسألة عادة في لغتنا.

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

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

هل رؤية تفاحة زرقاء تثبت أن 'الغراب أسود'؟: غراب همبل

Thu, 10 Sep 2026 21:00:00 +0900

كيف يثبت العلماء النظريات؟ عادةً، يستخدمون “الاستقراء” (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$، فمن الناحية المنطقية نستنتج الاستنتاج الغريب التالي:

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

graph TD A["القضية H1: جميع الغربان سوداء"] <-->|تكافؤ منطقي (معاكس إيجابي)| B["القضية H2: ما ليس أسود ليس غراباً"] C["ملاحظة: غراب أسود"] -->|يعتبر دليلاً لـ| A D["ملاحظة: تفاحة زرقاء"] -->|يعتبر دليلاً لـ| B D -.->|وبالتالي يجب أن يكون هذا دليلاً أيضاً؟| A style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style C fill:#2196F3,stroke:#333,color:#fff style D fill:#FF9800,stroke:#333,color:#fff

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

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

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

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

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

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

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

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

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

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

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

مفارقة الاختبار المفاجئ: اليوم الذي يتم فيه إجراء اختبار "مستحيل تمامًا" منطقيًا

Thu, 10 Sep 2026 10:00:00 +0900

1. “الإعلان المطلق” للمعلم

في طريق العودة إلى المنزل يوم جمعة، أصدر معلم الرياضيات إعلانًا مرعبًا لطلابه.

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

عند سماع هذا الإعلان، ارتعد الطلاب خوفًا. كان عليهم أن يقضوا كل يوم في قلق، متسائلين متى سيتم الاختبار. ولكن، الطالب A، أذكى طالب في الفصل، وقف فجأة وابتسم ابتسامة عريضة.

“لا تقلقوا يا رفاق. من المستحيل تمامًا أن يكون هناك اختبار مفاجئ الأسبوع القادم. إنه مستحيل منطقيًا!”

بدأ الطالب A بكتابة “منطقه المثالي” بثقة تامة على السبورة.

2. الإثبات بواسطة “المنطق المثالي” للطالب A

يستخدم إثبات الطالب A تقنية رياضية تُعرف بـ التفكير بالعودة بالزمن إلى الوراء بدءًا من “يوم الجمعة” (الاستدلال التراجعي).

الخطوة 1: استبعاد احتمالية يوم الجمعة

لنفترض أنه لم يتم إجراء أي اختبار طوال الأيام الأربعة: الاثنين، الثلاثاء، الأربعاء، والخميس. إذن، اليوم الوحيد المتبقي هو “الجمعة”. في صباح يوم الجمعة، سيتمكن الطلاب من التنبؤ بشكل مؤكد قائلين: “بما أن اليوم هو الوحيد المتبقي، فمن المؤكد أن الاختبار سيكون اليوم!”. ووفقًا لإعلان المعلم، “لن يتم إجراء الاختبار في اليوم الذي يمكن التنبؤ به”، لذا فإنه من المستحيل منطقيًا إجراء اختبار مفاجئ يوم الجمعة. لذلك، لن يكون هناك اختبار يوم الجمعة مطلقًا.

الخطوة 2: استبعاد احتمالية يوم الخميس

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

الخطوة 3: استبعاد جميع الأيام

ما عليك سوى تكرار نفس المنطق. إذا لم يكن الخميس، فإن اليوم الأخير سيكون الأربعاء. لذلك، إذا لم يكن هناك اختبار حتى يوم الثلاثاء، فيمكن التنبؤ به في صباح يوم الأربعاء، وبالتالي يتم استبعاد الأربعاء أيضًا. إذا تم استبعاد الأربعاء، سيتم استبعاد الثلاثاء، وسيتم استبعاد الاثنين أيضًا. الخلاصة: طالما تم الالتزام بقاعدة المعلم، فمن المستحيل تمامًا إجراء اختبار مفاجئ في أي يوم من الاثنين إلى الجمعة!

graph TD Fri["صباح الجمعة
(لا اختبار من الاثنين للخميس)"] -->|يمكن التنبؤ 'لا يوجد سوى الجمعة'| NoFri["لا يمكن اختبار الجمعة"] Thu["صباح الخميس
(لا اختبار من الاثنين للأربعاء)"] -->|يمكن التنبؤ 'لا جمعة لذا اليوم فقط'| NoThu["لا يمكن اختبار الخميس"] Wed["صباح الأربعاء"] -->|يمكن التنبؤ 'لا خميس وجمعة لذا اليوم فقط'| NoWed["لا يمكن اختبار الأربعاء"] Tue["صباح الثلاثاء"] -->|يمكن التنبؤ بنفس الطريقة| NoTue["لا يمكن اختبار الثلاثاء"] Mon["صباح الاثنين"] -->|يمكن التنبؤ بنفس الطريقة| NoMon["لا يمكن اختبار الاثنين"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

فرح طلاب الفصل. بدا منطق الطالب A مثاليًا، ولم تكن فيه أية ثغرات. لقد استمتعوا بعطلة نهاية الأسبوع في اللعب والمرح، واستقبلوا يوم الاثنين دون أن يدرسوا للاختبار على الإطلاق.

يوم الاثنين… لم يكن هناك اختبار. “أرأيتم!” يوم الثلاثاء… لم يكن هناك اختبار. “الطالب A كان محقًا!”

ثم جاء صباح الأربعاء. فُتح باب الفصل فجأة، ودخل المعلم قائلًا:

“حسنًا، أخلوا مكاتبكم. سنبدأ الآن اختبارًا مفاجئًا!”

أصيب الطلاب بالذعر. “مـ، لماذا!؟ وجود اختبار يوم الأربعاء، لم نكن نتوقعه على الإطلاق!”

ابتسم المعلم ابتسامة عريضة. “أرأيتم، لم تتمكنوا من التنبؤ به، أليس كذلك؟ ‘إعلاني’ كان صحيحًا تمامًا، ووفقًا للقواعد، تم إجراء الاختبار المفاجئ بنجاح.”

3. أين كان الخطأ المنطقي بالضبط؟

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

في الواقع، لا يوجد حتى الآن رأي موحد يعتبر “الحل الصحيح والوحيد” لهذه المفارقة. ومع ذلك، هناك العديد من المقاربات القوية لحلها.

المقاربة 1: “مفارقة المعرفة (نظرية المعرفة)”

أكبر فخ في استنتاج الطالب A هو أنه أدرج الافتراض بأن “إعلان المعلم صحيح بنسبة 100%” في توقعاته الخاصة.

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

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

المقاربة 2: “مفارقة المرجعية الذاتية”

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

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

4. “الاختبارات المفاجئة” الكامنة في الحياة اليومية

هذه المفارقة لا تُطبق في الرياضيات فحسب، بل في حياتنا اليومية أيضًا.

【معضلة الحفلة المفاجئة】

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

5. الخلاصة

تُعبر “مفارقة الاختبار المفاجئ” ببراعة عن صعوبة إدراج حالة الإنسان في “المعرفة (التوقع)” نفسها في الحسابات المنطقية.

ما نعتقد أنه “استنتاج مثالي” قد لا يكون سوى قصر من رمال مبني على اعتقاد لا أساس له بأن “الطرف الآخر سيلتزم بالقواعد تمامًا”. في المرة القادمة التي يقول فيها المعلم: “سأجري اختبارًا مفاجئًا”، يبدو أن الخيار الأكثر عقلانية هو التوقف عن التلاعب بالمنطق، والالتزام بالدراسة الهادئة كل يوم.