مرجعية ذاتية 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 11:00:00 +0900

1. التعبير عن الأرقام بالكلمات

نحن نستخدم في حياتنا اليومية ليس فقط “الأرقام العربية (1، 2، 3…)” بل أيضًا “الكلمات (مثل اليابانية أو الإنجليزية)” للتعبير عن الأرقام.

على سبيل المثال، الرقم “$10$” يمكن التعبير عنه بكلمات مختلفة كما يلي:

“عشرة” (في اليابانية: じゅう - 3 حروف)
“ضعف الخمسة” (في اليابانية: ごの2ばい - 5 حروف)
“عُشر المائة” (في اليابانية: ひゃくの10ぶんの1 - 9 حروف)

دعونا نفكر في وصف رقم معين باستخدام “الحروف اليابانية” على هذا النحو. سنضع حدًا لعدد الحروف المسموح باستخدامها. هنا سنفكر في الأرقام التي يمكن التعبير عنها باللغة اليابانية بـ “19 حرفًا أو أقل”.

بالطبع، هناك حد للأرقام التي يمكن التعبير عنها في حدود 19 حرفًا. ذلك لأن أنواع الحروف اليابانية (هيراغانا، كاتاكانا، كانجي وغيرها) محدودة، والتراكيب الممكنة لترتيبها في 19 حرفًا أو أقل هي أيضًا محدودة (رغم أنها ستكون رقمًا فلكيًا، إلا أنها ليست لا نهائية).

بعبارة أخرى، لا بد أن يوجد دائمًا “عدد صحيح ضخم لا يمكن التعبير عنه أبدًا بـ 19 حرفًا أو أقل باللغة اليابانية”.

2. ولادة المفارقة

حسنًا، من هنا يبدأ الموضوع الرئيسي. توجد أعداد لا حصر لها من “الأعداد الصحيحة التي لا يمكن التعبير عنها بـ 19 حرفًا أو أقل باللغة اليابانية”. لنفترض أننا بحثنا ووجدنا “أصغرها (أصغر عدد صحيح)” من بين تلك الأعداد التي لا حصر لها والتي لا يمكن التعبير عنها.

سنطلق على هذا الرقم اسم $X$. بحكم التعريف، $X$ هو أصغر عدد من بين “الأعداد التي لا يمكن التعبير عنها بـ 19 حرفًا أو أقل باللغة اليابانية”، لذلك يمكننا تسميته كالتالي:

“じゅうきゅうもじいないであらわせないさいしょうのせいすう” (أصغر عدد صحيح لا يمكن التعبير عنه بتسعة عشر حرفًا أو أقل)

دعونا نعد عدد الحروف (في اليابانية باستخدام الهيراغانا). 「じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う」 … مهلاً؟ حتى لو أزلنا علامات الترقيم، سنجد أنها 25 حرفًا. بهذا الشكل، فقد تجاوزنا حد الـ “19 حرفًا”.

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

“十九文字以内で表せない最小の整数”

حسنًا، حاول عد عدد حروف هذه العبارة اليابانية:

يا للعجب، إنها “16 حرفًا” فقط.

لقد حدث شيء غريب. نحن الآن قد عبرنا عن الرقم $X$ باستخدام “16 حرفًا يابانيًا” في العبارة “十九文字以内で表せない最小の整数”!

graph TD Define["التعريف:
X = أصغر عدد صحيح لا يمكن التعبير عنه بـ 19 حرفًا أو أقل"] --> CheckLength{"ما هو عدد حروف العبارة
『十九文字以内で表せない最小の整数』؟"} CheckLength -->|إنها 16 حرفًا| Contradiction["تناقض!
تم التعبير عن X بـ 『16 حرفًا』!"] Contradiction --> Paradox["على الرغم من أن X 『لا يمكن التعبير عنه بـ 19 حرفًا أو أقل』
إلا أنه 『أمكن التعبير عنه بـ 19 حرفًا أو أقل (16 حرفًا)』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

من المفترض أن $X$ هو رقم “لا يمكن التعبير عنه بـ 19 حرفًا أو أقل”، لكن كلمات التعريف نفسها تعبر عن $X$ بشكل كامل بـ “16 حرفًا (أقل من 19 حرفًا)”. هذا هو ما يُعرف بـ “مفارقة بيري (Berry Paradox)”.

3. من الذي ابتكر هذه المفارقة؟

ابتكر هذه المفارقة شخص يُدعى جي. جي. بيري (G. G. Berry)، والذي كان يعمل أمين مكتبة في جامعة أكسفورد في عام 1904. وبعد ذلك، قام عالم الرياضيات والفيلسوف العبقري الذي يمثل القرن العشرين، بيرتراند راسل، بتقديمها في إحدى أوراقه البحثية، مما أدى إلى انتشارها في جميع أنحاء العالم.

(※ في الورقة البحثية الأصلية باللغة الإنجليزية، استُخدم التعبير “The least integer not nameable in fewer than nineteen syllables” (أصغر عدد صحيح لا يمكن تسميته بأقل من تسعة عشر مقطعًا لفظيًا)، وتمت صياغة المفارقة بحيث تتحقق بناءً على عدد المقاطع اللفظية في اللغة الإنجليزية.)

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

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

اللغة الطبيعية لا تستطيع تحمل صرامة الرياضيات

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

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

ماذا يعني “أن يُسمى”؟

بالإضافة إلى ذلك، فإن تعريف عبارة “يمكن التعبير عنه بـ 16 حرفًا” هو أيضًا غامض. عبارة “أصغر عدد صحيح لا يمكن التعبير عنه بـ 19 حرفًا أو أقل” لا تشير بشكل مباشر إلى رقم محدد ومعين (مثل الرقم $987654321...$). إنها ببساطة تصف بشكل غير مباشر قائلة: “يجب أن يكون هناك رقم يستوفي هذه الشروط”.

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

5. الخلاصة وتأثيرها على العصر الحديث

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

“يجب ألا نعرّف الأرقام بالكلمات. يجب بناء الرياضيات بالكامل باستخدام رموز صارمة ومستقلة تمامًا.”

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

إن 16 حرفًا يابانيًا فقط كانت كفيلة بكشف حدود الرياضيات. هذا هو الجمال الكامن في مفارقة بيري.

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

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. الخلاصة

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

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