نظرية المجموعات on kenji.blog

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

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 04:00:00 +0900

1. “مفارقة الحلاق” التي عصفت بقرية هادئة

في قرية مسالمة، كان هناك حلاق واحد. وعلى مدخل القرية، كانت توجد لافتة غريبة مكتوب عليها الآتي:

“حلاق هذه القرية يحلق لحى جميع القرويين الذين لا يحلقون لأنفسهم، ولا يحلق لحى غيرهم.”

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

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

قرر أن يفكر بشكل منطقي وفقًا لقاعدة اللافتة.

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

“إذا قرر أن يحلق، فلا يجب أن يحلق.” “إذا قرر ألا يحلق، فيجب أن يحلق.”

أصيب الحلاق بالذعر التام ولم يعد قادرًا على اتخاذ أي من الإجراءين. هذه هي “مفارقة الحلاق” الشهيرة.

graph TD Barber["الحلاق: هل يجب أن أحلق لحيتي؟"] Barber -->|نعم: أحلق لنفسي| Cond1["مخالفة للقاعدة!
（لا يجب أن يحلق لمن يحلق لنفسه）"] Barber -->|لا: لا أحلق لنفسي| Cond2["مخالفة للقاعدة!
（يجب أن يحلق لمن لا يحلق لنفسه）"] Cond1 --> Paradox["تناقض (مفارقة)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. “مفارقة راسل” التي زلزلت عالم الرياضيات

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

ما اكتشفه حقًا لم يكن حلاقًا، بل كان تناقضًا مرعبًا يتعلق بـ “المجموعة (Set)”. يطلق على هذا اسم “مفارقة راسل (1901)”.

مفهوم “مجموعة المجموعات”

“المجموعة” في الرياضيات تعني تجمعًا من الأشياء التي تلبي شروطًا معينة.

“مجموعة الأعداد الزوجية التي تساوي أو تقل عن 10” = $\{2, 4, 6, 8, 10\}$
“مجموعة التفاح الأحمر”

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

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

بهذه الطريقة، يمكن تقسيم المجموعات في العالم إلى نوعين رئيسيين:

A: مجموعات لا تحتوي على نفسها كعنصر (مثال: مجموعة الكتب)
B: مجموعات تحتوي على نفسها كعنصر (مثال: مجموعة الأشياء التي ليست كتبًا)

ولادة المجموعة الشيطانية $R$

هنا، فكر راسل في مجموعة خاصة $R$ كما يلي:

المجموعة $R$ = مجموعة تحتوي على جميع “المجموعات التي لا تحتوي على نفسها كعنصر (من النوع A)”

عند كتابتها كصيغة رياضية (التدوين البنائي)، تصبح هكذا:

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

حسنًا، هنا يكمن صلب الموضوع. طرح راسل السؤال التالي على هذه المجموعة $R$:

“هل المجموعة $R$ تحتوي على نفسها ($R$) كعنصر؟”

لنفكر في ذلك.

ماذا لو كانت $R$ “تحتوي على نفسها ($R \in R$)"؟ شرط الدخول إلى $R$ هو “ألا تحتوي على نفسها”. بالتالي، $R$ لا تلبي الشرط ولا يمكن أن تدخل ضمن $R$. (يصبح $R \notin R$ مما يشكل تناقضًا)
ماذا لو كانت $R$ “لا تحتوي على نفسها ($R \notin R$)"؟ شرط الدخول إلى $R$ هو “ألا تحتوي على نفسها”. بالتالي، $R$ تلبي الشرط بامتياز ويجب أن تدخل ضمن $R$. (يصبح $R \in R$ مما يشكل تناقضًا)

إذا كتبناها رياضياً، فهو انهيار منطقي في سطر واحد.

$$ R \in R \iff R \notin R $$

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

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

3. مأساة فريجه

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

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

ترك فريجه الملحق المؤلم التالي في نهاية كتابه قبل نشره مباشرة:

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

4. التغلب على الأزمة: ولادة نظرية المجموعات البديهية

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

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

بموجب نظام ZFC البديهي، فإن المجموعة $R$ التي فكر فيها راسل والتي تضم “جميع ‘المجموعات التي لا تحتوي على نفسها’” تم منعها من دخول عالم الرياضيات على أساس أنها “كبيرة جدًا وخطيرة، لذا لم تعد تعتبر ‘مجموعة’ (بل هي مجرد ‘صنف’)”.

graph LR subgraph "نظرية المجموعات المبسطة (قبل راسل)" Free["يمكنك إنشاء مجموعة
بحرية تحت أي شرط!"] --> Monster["وحش التناقض R
(مفارقة راسل)"] end subgraph "نظرية المجموعات البديهية (الرياضيات الحديثة)" Strict["فقط ما يتبع القواعد
الصارمة (البديهيات) هو 'مجموعة'"] --> Safe["التناقض R غير معترف به
كـ 'مجموعة' لذا فهو آمن!"] end Monster -.->|أزمة عالم الرياضيات| Strict

5. الخلاصة: المفارقة هي دواء قوي لإصلاح “أخطاء المنطق”

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

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

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