المجموعة الخالية: مفهوم العدم والتمثيل المعرفي

تُعد دراسة الكينونات الفارغة والتمثيلات الذهنية لغياب الأشياء من أكثر المباحث إثارة للاهتمام في تقاطع الرياضيات والمنطق الصوري وعلم النفس المعرفي؛ إذ يواجه العقل البشري تحدياً فريداً عند محاولة معالجة فكرة «اللاشيء» بوصفه مفهوماً قائماً بذاته. يمثل مفهوم المجموعة الخالية حجر الزاوية في بناء الأنظمة التصنيفية والنماذج الذهنية التي تُمكّن الإنسان من إدراك الفئات المجردة والحدود المعرفية الفاصلة بين ما هو موجود وما هو معدوم. يتعمق هذا الدليل الأكاديمي في استكشاف المجموعة الخالية بوصفها بنية منطقية وأداة إدراكية حيوية لفهم العمليات العقلية المرتبطة بالتصنيف والترميز والمنطق الاستدلالي.

المجموعة الخالية (The Empty Set)

1. التعريف الموجز

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

يتجاوز هذا المفهوم مجرد كونه صفراً عددياً؛ إذ إنه يعبر عن «وعاء فارغ» يمتلك خصائص بنيوية محددة بدقة داخل النظام الصوري، ويشكل جزءاً أساسياً من أي مجموعة أخرى بوصفه مجموعة جزئية بديهية منها. وفي الدراسات السيكولوجية، تُعرّف المجموعة الخالية بأنها الحالة الذهنية أو البنية المعرفية التي تمثل غياب المثيرات أو الفئات المستحيلة منطقياً، كالمفاهيم المتناقضة داخلياً مثل «المثلث ذي الأربعة أضلاع»، والتي يفرد لها العقل البشري مساحة ترميزية استدلالية تمكنه من اتخاذ قرارات سريعة برفض انتمائها إلى الواقع التجريبي.

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

2. التأثيل والأصل اللغوي

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

أما في السياق الغربي التاريخي، فقد أُدخل المصطلح باللغة الألمانية تحت اسم (Leere Menge) على يد علماء المنطق والرياضيات الأوائل في القرن التاسع عشر، ولا سيما ريتشارد ديديكيند وجورج كانتور، قبل أن يُترجم إلى الإنجليزية بصيغة (Empty Set) أو (Null Set). وقد اقترح عالم الرياضيات الفرنسي أندريه فايل، وهو أحد أبرز أعضاء جماعة بورباكي المؤثرة، استخدام الرمز الاسكندنافي (Ø) المشتق من الأبجدية النرويجية والدنماركية في عام 1939 لتمييز المجموعة الخالية بصرياً عن الحرف اللاتيني وعن الرقم صفر، لتنتقل هذه التسمية والرمزية بعد ذلك إلى نظريات اللغويات المعرفية وعلم النفس الإدراكي للإشارة إلى المفاهيم الصفرية والامتدادات المعرفية غير المأهولة.

3. النطق والصيغة الصرفية

تُلفظ العبارة في اللغة العربية الفصحى بضم الميم الأولى وفتح الجيم وتضعيف الواو مع فتحها: «المَجْمُوعَة»، يليها نعت مؤنث مشتق بصيغة اسم الفاعل من الفعل الثلاثي خَلا يَخْلُو: «الخَالِيَة» بكسر اللام وتخفيف الياء، ليكون التركيب الاسمي المركب: «المَجْمُوعَةُ الخَالِيَةُ» (Al-Majmūʿah al-Khāliyah). وتُستخدم في الأدبيات المنطقية مرادفات نحوية مطابقة مثل «الفِئَة الفَارِغَة» أو «الطَّاقِم الخَالِي».

من الناحية الصرفية والتركيبية، يمثل التركيب نعتاً ومنعوتاً يُعامل معاملة الاسم المفرد المؤنث المعرف بـ «أل» التعريف. وفي الاستخدام اللغوي النفسي والتحليلي، يُعامل المفهوم بوصفه مصطلحاً كلياً يرمز إلى كينونة مفردة محددة بدقة (حيث إنه لا توجد إلا مجموعة خالية واحدة في الوجود المنطقي؛ إذ إن المجموعات تتطابق وتتماثل كلياً إذا تطابقت عناصرها، وحيث إن المجموعة الخالية لا عناصر لها، فهي واحدة وأزلية في بنيتها التجريدية).

4. الشرح المفاهيمي المفصل

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

يمتد النطاق الدلالي للمجموعة الخالية في علم النفس الإدراكي إلى معالجة ما يُعرف في المنطق المعرفي بـ «المفاهيم ذات الامتداد الصفري» (Zero-Extension Concepts). عندما يفكر الإنسان في كائنات أسطورية مثل «التنين المجنح قاذف اللهب» أو كينونات متناقضة مثل «المربع المستدير»، فإن الدماغ البشري يُنشئ تمثيلاً دلالياً (Intension) يتضمن الخصائص والصفات المتخيلة، لكن هذا المفهوم عند إسقاطه على الواقع الموضوعي يفرز مجموعة خالية تماماً من الكائنات التجريبية. وتتيح دراسة هذه العمليات للعلماء فهم كيفية فصل العقل بين المعنى المجرد والوجود المادي، وكيفية تنظيم الذاكرة الدلالية للفئات التي لا تمتلك شواهد واقعية قابلة للرصد المباشر.

علاوة على ذلك، تفرض المجموعة الخالية حدوداً بنيوية حاسمة في المنطق الاستدلالي البشري من خلال مبدأ «التفريغ التافه» أو «الصدق الشكلي المنطقي» (Vacuous Truth). يقضي هذا المبدأ بأن أي قضية شرطية تبدأ بمقدمة تنتمي للمجموعة الخالية تُعد قضية صحيحة منطقياً بالضرورة؛ كأن نقول: «جميع الهواتف الخلوية المصنوعة في العصر الحجري تدعم تقنية البلوتوث». على الرغم من أن العقل البشري الطبيعي يشعر بالارتباك أمام هذه العبارة بسبب غياب الشواهد التجريبية، إلا أن المنطق الصوري يُثبت صدقها لأن نفيها يستلزم العثور على هاتف من العصر الحجري لا يدعم البلوتوث، وهو أمر مستحيل لأن المجموعة ذاتها خالية. يكشف هذا التباين بين الحدس البشري الطبيعي وقواعد المنطق الصوري عن الثغرات المعرفية والتحيزات الإدراكية التي تظهر عندما يتعامل العقل مع الفئات غير المأهولة.

وفي سياق نظرية النماذج العقلية (Mental Models Theory)، تتجلى أهمية المجموعة الخالية في كيفية قيام الأفراد ببناء تمثيلات لـ «السيناريوهات المستحيلة» أو البدائل المنفية. فعندما يُطلب من المفحوص تصور عدم حدوث واقعة ما، فإنه يبني نموذجاً عقلياً يحتوي على علامة نفي صريحة تقترب وظيفياً من استدعاء فئة فارغة. وتوضح دراسات حل المشكلات أن الصعوبة الكبرى التي يواجهها الأفراد في المهام المنطقية المعقدة ترجع في كثير من الأحيان إلى عجزهم عن التمثيل الصحيح للمجموعات الخالية من الخيارات، حيث يميل التفكير غير المدرب إلى ملء الفراغات المعرفية ببيانات افتراضية لتجنب الشعور بعدم اليقين أو الغموض الناشئ عن غياب المعطيات.

5. التطور التاريخي

انبثق المفهوم الصوري للمجموعة الخالية من خضم الثورة المنطقية والرياضية التي شهدتها القارة الأوروبية في أواخر القرن التاسع عشر، وتحديداً مع تأسيس نظرية المجموعات على يد عالم الرياضيات الألماني جورج كانتور (Georg Cantor) في سبعينيات وثمانينيات القرن التاسع عشر. قبل هذا التاريخ، كانت فكرة «الفئة الفارغة» تُقابل بالتشكيك والرفض الفلسفي والرياضي؛ إذ كان الفكر الكلاسيكي المستند إلى التراث الأرسطي يرى أن الفئة لا يمكن أن توجد إلا بوجود أفراد ينتمون إليها فعلياً، واعتُبر الحديث عن مجموعة لا تحوي شيئاً ضرباً من التناقض اللفظي أو العبث الدلالي.

شهد العقد الأخير من القرن التاسع عشر والسنوات الأولى من القرن العشرين ترسيخاً بنيوياً للفكرة مع جهود عالم الرياضيات غوتلوب فريجه (Gottlob Frege) وبرتراند راسل (Bertrand Russell) في مشروع رد الرياضيات إلى المنطق الصوري. تجلت المفارقة الكبرى في أن بناء الأعداد الطبيعية ذاتها أصبح يعتمد بالكامل على المجموعة الخالية؛ فوفقاً للبناء الذي صاغه جون فون نيومان (John von Neumann) لاحقاً في عشرينيات القرن العشرين، يُعرّف الرقم صفر بأنه المجموعة الخالية نفسها {}، ويُعرّف الرقم واحد بأنه المجموعة التي تحوي المجموعة الخالية {Ø}، والرقم اثنان بالمجموعة التي تحوي الصفر والواحد {Ø، {Ø}}، وهكذا تم توليد صرح الأعداد الرياضية اللانهائي من رحم «الفراغ» المؤسس بدقة.

أما في المشهد النفسي والتحليلي المعرفي، فقد بدأت ارتدادات هذا التأسيس تظهر بوضوح في منتصف القرن العشرين مع انطلاق الثورة المعرفية وتأسيس اللغويات التوليدية على يد نعوم تشومسكي (Noam Chomsky) وأعمال جان بياجيه (Jean Piaget) في علم النفس النمائي. أدرك بياجيه أن إدراك الطفل للطبقات المنطقية والفئات الخالية يمثل مرحلة تطورية فارقة من مراحل العمليات الصورية؛ حيث لا يستطيع الطفل الصغير في المراحل الحدسية المبكرة تصور فئة خالية من المحتوى المادي المحسوس، بينما يتطلب الوصول إلى التفكير التجريدي نضج القدرة على تصور المجموعات المنطقية المنعدمة العناصر والتعامل معها بوصفها كيانات رمزية قابلة للتحليل والعمليات الذهنية.

6. الأسس النظرية والنمذجة المعرفية

تستند النمذجة المعرفية للمجموعة الخالية إلى عدة نظريات متقدمة في علم النفس الإدراكي ومعالجة المعلومات، وفي مقدمتها نظرية الفضاء المفاهيمي (Conceptual Spaces Theory) التي صاغها بيتر غاردنفورس (Peter Gärdenfors). تفترض هذه النظرية أن المفاهيم البشرية تُمثّل هندسياً في مساحات متعددة الأبعاد تُحدد بمقاييس جودة محددة (مثل اللون والحجم والوزن). وفي هذا الإطار الهندسي الإدراكي، تمثل المجموعة الخالية المنطقة المعرفية المستحيلة أو الفراغ الطوبولوجي الذي تنعدم فيه أي تقاطعات ممكنة بين الأبعاد الإدراكية المتنافرة؛ مما يجعل الدماغ يتعرف فورياً على استحالة مطابقتها لأي مثير خارجي.

من زاوية أخرى، تقدم نظرية النماذج العقلية لفيليب جونسون-ليرد (Philip Johnson-Laird) تفسيراً لكيفية تمثيل غياب المعلومات في التفكير الاستنتاجي. تشير النظرية إلى أن الذاكرة العاملة للإنسان تتجنب عادةً الاحتفاظ بنماذج صريحة للمجموعات الخالية أو الحالات المنفية لتقليل الحمل المعرفي (Cognitive Load). يميل البشر بطبيعتهم البيولوجية إلى ترميز «ما هو موجود وصحيح» بدلاً من ترميز «ما هو غائب ومستحيل»؛ ولذلك فإن استحضار تمثيل ذهني صريح للمجموعة الخالية يتطلب جهداً إدراكياً واعياً ونشاطاً مكثفاً في القشرة الجبهية الأمامية للتغلب على التحيز الإيجابي التلقائي للذهن.

كذلك ترتبط النمذجة الصورية للمجموعة الخالية في علم النفس الحسابي بنظرية الإدراك الفئوي (Categorical Perception)؛ حيث يُنظر إلى الدماغ كآلة احتمالية تقوم بحساب مصفوفات الانتماء الفئوي. في نماذج المجموعات الضبابية (Fuzzy Sets) النفسية، لا يُعامل انعدام الانتماء بوصفه صفراً ثابتاً دائماً، بل يمثل الحد الأدنى المطلق لدرجة الانتماء الدلالي. وبذلك تُمثل المجموعة الخالية حالة المعايرة المرجعية (Baseline Calibration) التي يقيس العقل البشري على أساسها بداية ظهور الملامح الإدراكية المميزة لأي كائن جديد يتم إدخاله إلى المخزون المفاهيمي.

7. المكونات والخصائص والأبعاد

تتميز المجموعة الخالية في المنطق الرياضي والمعرفي بمجموعة من الخصائص والأبعاد البنيوية الدقيقة التي تجعلها مفهوماً فريداً لا نظير له في علم النفس الصوري:

• خاصية الأحادية والفرادة المطلقة: لا توجد مجموعات خالية متعددة أو مختلفة؛ بل توجد مجموعة خالية واحدة وحيدة في النظام الكوني المنطقي، لأن هوية أي مجموعة تتحدد حصرياً بعناصرها، وحيث إنه لا توجد أي عناصر في هذا الكيان، فإن جميع التوصيفات الخالية تؤول إلى نفس البنية الصورية الموحدة.
• خاصية الجزئية الشاملة: تُعد المجموعة الخالية مجموعة جزئية (Subset) حتمية من أي مجموعة أخرى تخطر على البال؛ ففي عالم النفس المعرفي، تعني هذه الخاصية أن كل فئة فكرية أو بنية معرفية يمتلكها الإنسان تحتوي ضمناً في قاعها على إمكانية خلوّها أو غياب عناصرها.
• الامتداد الصفري والمفهومية الممتلئة: تتسم المجموعة الخالية بالفصل التام بين المفهوم والامتداد؛ فقد يكون المفهوم غنياً جداً بالصفات المنطقية المشروطة (مثل: الموظفون الذين تتجاوز أعمارهم 200 عام ويتقنون ألف لغة)، إلا أن امتداد هذا المفهوم على أرض الواقع هو فئة فارغة تماماً.
• المحايدة الاتحادية والامتصاص التقاطعي: عند اتحاد أي مجموعة معرفية مع المجموعة الخالية، تظل المجموعة الأصلية كما هي دون تغيير؛ بينما عند تقاطع أي فئة معرفية مع الفئة الخالية، تنتج الفئة الخالية ذاتها، وهو ما يفسر معرفياً كيف يؤدي إقحام شرط مستحيل أو معدوم في أي سياق استدلالي إلى نسف وتصفير النتائج المحتملة بأكملها.
• التمثيل الرمزي ثنائي القطب: في معالجة الإشارات الإدراكية، تعمل المجموعة الخالية كحالة مرجعية لـ «القيمة الصفرية» مقابل «القيمة الإيجابية»، حيث يستند التمييز الحسي إلى رصد الفارق بين حالة الغياب التام للمثير (الفئة الفارغة) وحالة الانبعاث الأولي للموجات الحسية.

8. أمثلة وحالات توضيحية

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

المثال الأول: فئات التشخيص المزدوج المستحيلة: في الطب النفسي والتشخيص الإكلينيكي وفق الدليل التشخيصي والإحصائي للاضطرابات النفسية (DSM-5)، قد يضع المعالج معايير استبعاد متبادلة تُفرز مجموعة خالية تشخيصياً. على سبيل المثال، إذا كانت المعايير تشترط لاستيفاء اضطراب معين غياباً مطلقاً لأي أعراض اكتئابية سابقة في تاريخ المريض، وفي الوقت ذاته يُصنف المريض ضمن فئة تستلزم وجود نوبات اكتئابية متكررة تاريخياً، فإن فئة «المرضى الذين يستوفون كلا المعيارين معاً بالتعريف الصارم المانع بالتبادل» تمثل مجموعة خالية من الأفراد في المجتمع الإكلينيكي الحقيقي، مما يحتم على الطبيب إعادة صياغة التشخيص التفريقي.

المثال الثاني: مساحات الخيارات الصفرية في ظاهرة اتخاذ القرار: في سيكولوجيا الاختيار، يوضع المستهلك أو الفرد في بعض التجارب أمام موقف يتطلب المفاضلة بين وظيفتين؛ الأولى تتطلب العمل 90 ساعة أسبوعياً براتب زهيد ودون أي إجازات في بيئة خطرة، والثانية تتطلب دفع المال للشركة مقابل العمل. في هذا السيناريو المعرفي، تصبح «مجموعة الخيارات التي يوافق عليها العقل العقلاني الرشيد» مجموعة خالية من البدائل؛ مما يولد لدى المشارك حالة من الجمود المعرفي والضغط النفسي ناتجة عن إدراكه بأن فضاء الحلول المقبولة لديه قد أفرغ تماماً من أي عنصر ممكن.

المثال الثالث: معالجة الجمل غير القابلة للتحقق في علم اللغويات النفسي: عند تعريض مفحوصين في مختبرات علم النفس العصبي لجمل من طراز: «تناول الأطفال الذين يطيرون بأجنحة ريشية وجبة الإفطار فوق السحاب»، أظهرت تسجيلات الجهد المرتبط بالحدث (Event-Related Potentials) وتحديداً موجة (N400) الكهربية في الدماغ حدوث نشاط مكثف وغير اعتيادي؛ يعكس هذا التغير العصبي الجهد الذي يبذله المخ عند إدراك أن الفاعل في الجملة ينتمي إلى مجموعة خالية من المراجع الواقعية، مما يفرض على شبكات المعالجة الدلالية محاولة إعادة بناء تأويل مجازي أو إعلان الخطأ التصنيفي الصريح للجملة.

9. القياس والتقييم المعرفي

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

في اختبارات الذكاء النمائية وبطاريات التقييم الإدراكي المستوحاة من مهام جان بياجيه للمنطق الصوري (Formal Operational Reasoning Tasks)، يُعطى الأفراد ألغازاً فئوية تعتمد على تقاطع مجموعات لا تشتمل على أي شواهد عملية. يُطلب من المفحوص تحديد نتيجة تقاطع مجموعتين غير متطابقتين تنافرياً؛ ويُعد إدراك المفحوص التلقائي بأن النتيجة هي «مجموعة خالية» أو «لا شيء» مؤشراً حاسماً على وصوله إلى النضج المعرفي المجرد، في حين يميل الأفراد ذوو القصور في التفكير التجريدي أو الأطفال في المراحل ما قبل الإجرائية إلى اختلاق كائن افتراضي أو رفض الإجابة لشعورهم بالحيرة أمام مفهوم الفئة التي لا تحوي محتوى.

وفي سياق أبحاث علم الأعصاب الإدراكي، تُستخدم مهام اتخاذ القرار القائمة على نظرية الكشف عن الإشارة (Signal Detection Theory)؛ حيث تمثل فترات «غياب المثير تماماً» (Catch Trials) ما يعادل استحضار الحالة الخالية في النظام الحسي. تُقاس الاستجابات الدماغية وسرعة رد الفعل (Reaction Time) للتحقق من كفاءة الفرد في تقرير «خلو» المجال البصري أو السمعي من الأهداف، وتُظهر نتائج الرنين المغناطيسي الوظيفي (fMRI) نشاطاً متميزاً في الشبكة التنفيذية الجبهية الجدارية عندما يُطلب من الإنسان تأكيد وجود «مجموعة خالية» من الأخطاء أو المثيرات مقارنة برصد وجودها الإيجابي.

10. التطبيقات والأهمية العملية

تتجلى الأهمية العملية لمفهوم المجموعة الخالية في حقول إنسانية وإكلينيكية وتطبيقية بالغة الحيوية، من بينها:

العلاج المعرفي السلوكي (CBT): يُعد تصحيح التفكير القائم على «الكل أو لا شيء» (All-or-Nothing Thinking) وتفنيد التعميمات المفرطة أحد الركائز الكبرى في العلاج المعرفي السلوكي. غالباً ما يتبنى مرضى الاكتئاب وقلق الأداء أفكاراً لا عقلانية كارثية، مثل: «أنا فاشل تماماً ومجموعة إنجازاتي فارغة تماماً» أو «مجموعة الأشخاص الذين يهتمون لأمري هي مجموعة خالية». يستخدم المعالج هنا أدوات منطقية مستمدة من نظرية المجموعات لمساعدة المريض على تفكيك هذه الفئات الصفرية الوهمية من خلال التنقيب في سجلات حياته؛ لإثبات أن الفئة ليست خالية في الواقع التجريبي بل تحتوي على أدلة حقيقية تنفي زعم الفراغ المطلق، مما يقلل من حدة الاستجابات الانفعالية السلبية.

هندسة النظم وتصميم واجهات المستخدم المعرفية (UX/HCI): يعتمد مهندسو العوامل البشرية وعلم النفس الإدراكي على مفهوم «الحالة الفارغة» (Empty State) عند تصميم البرمجيات والمنصات التفاعلية. عندما يقوم المستخدم بالبحث داخل نظام ما ولا تسفر نتائج البحث عن أي معطيات (أي تكون مجموعة النتائج خالية)، فإن ترك الشاشة بيضاء تماماً يولد لدى المستخدم ارتباكاً شديداً وقلقاً إدراكياً؛ ولذلك يوصي علماء النفس بتضمين رسائل توضيحية بصرية واضحة ترمز إلى أن «البحث سليم، لكن الفئة خالية حالياً»، مع تقديم مسارات استدلالية بديلة لتوجيه انتباه المستخدم وسلوكه بكفاءة.

علم النفس التربوي وتعليم الرياضيات: يواجه الطلاب في المراحل الدراسية المختلفة عوائق إدراكية جوهرية عند دراسة الجبر المجرد والاحتمالات؛ إذ يخلط معظمهم بشكل منهجي بين الرقم صفر «0» بوصفه قيمة عددية، والمجموعة الخالية «Ø» بوصفها هيكلاً تنظيمياً، وبين المجموعة التي تحتوي على الرقم صفر «{0}» بوصفها مجموعة غير خالية. يساعد التدخل النفسي التربوي القائم على علم النفس التنموي المعلمين في بناء تمثيلات بصرية ونماذج حسية تساعد المتعلمين على الفصل المفاهيمي الواضح بين هذه البنى الرياضية، مما يعزز مهارات التفكير المنطقي السليم ويحد من مشاعر القلق من الرياضيات.

11. الأبحاث والأدلة التجريبية

شكلت دراسة معالجة الفئات الخالية والمفاهيم المنفية موضوعاً لعدد كبير من الأبحاث التجريبية المعاصرة في علم النفس التجريبي والعلوم المعرفية. ففي دراسة كلاسيكية موسعة أجراها فيليب جونسون-ليرد وزملاؤه حول التفكير الاستنتاجي ونظرية النماذج العقلية، وُجد أن المهمات المنطقية التي تتطلب من المشاركين الاستدلال انطلاقاً من فرضيات تقود إلى مجموعات خالية من الحلول تستغرق زمناً أطول بنسبة تتراوح بين 30% إلى 45% في وقت الاستجابة مقارنة بالمهام التي تنتهي إلى حلول إيجابية أو فئات مأهولة؛ وأظهرت التحليلات أن المشاركين يرتكبون أخطاء استدلالية جسيمة بمحاولتهم ملء المجموعة الخالية قسرياً ببيانات دخيلة تمليها عليهم رغبتهم الدفينة في تفادي الفراغ الدلالي.

وفي تجارب رائدة في علم اللغويات النفسي قادتها الباحثة فيفيان فالنسيا وفريقها، تم تتبع حركة العين (Eye-Tracking) لدى القراء عند مواجهة أسماء ذات امتداد مرجعي فارغ (مثل: ملك الولايات المتحدة الحالي، وهو تعبير لغوي يشير إلى مجموعة خالية في الواقع السياسي الأمريكي). كشفت النتائج عن توقف طويل لحركة العين (Prolonged Fixation) وارتداد بصري متكرر نحو الكلمات السابقة في النص؛ مما يقدم دليلاً تجريبياً قاطعاً على أن العقل البشري يتعرض لعطل إدراكي مؤقت أو «صدمة معالجة» عند اكتشاف أن الفئة المرجعية خالية، مما يفرض عليه إعادة تقييم السياق اللغوي بالكامل للبحث عن دلالات رمزية أو مجازية بديلة.

كذلك أظهرت دراسات الدماغ الحديثة باستخدام تخطيط أمواج الدماغ (EEG) والتصوير المقطعي بالإصدار البوزيتروني (PET) أن معالجة غياب المثيرات في مهام الانتباه المستمر لا تُمثل حالة من الخمول العصبي السلبي، بل تترافق مع تزامن مرتفع لموجات بيتا وغاما في الفص الجبهي؛ مما يُثبت تجريبياً أن الدماغ يبذل نشاطاً استهلاكياً بيولوجياً حقيقياً لترميز حالة «الخلو» والاحتفاظ بالمجموعة الخالية في مسرح الذاكرة العاملة النشطة بانتظار ورود محفزات جديدة.

12. الاعتبارات الثقافية وما وراء الثقافية

تتأثر الطريقة التي يعالج بها العقل البشري مفهوم المجموعة الخالية والفراغ بالتكوين الثقافي والمنظومات الفلسفية السائدة في المجتمعات؛ إذ تتباين الثقافات الإنسانية تبايناً جوهرياً في تقبل فكرة «العدم» والتعامل مع الكيانات المنعدمة المحتوى.

في التراث الثقافي والفلسفي الغربي المتأثر بالمنطق الإغريقي القديم، ساد لقرون طويلة نفور شديد من فكرة الفراغ (Horror Vacui)؛ إذ اعتبر أرسطو أن «الطبيعة تمقت الفراغ»، وظلت الفلسفات الغربية تميل إلى تفضيل الكينونات المادية والمفاهيم الإيجابية المشغولة على حساب الأنماط الصفرية، وهو ما يفسر التأخر التاريخي النسبي في صياغة مفهوم المجموعة الخالية صراحة حتى نهايات القرن التاسع عشر في أوروبا. ينعكس ذلك في البيئات التعليمية الغربية الحديثة؛ حيث يجد الأطفال ميلاً فطرياً لمحاولة ملء الفئات الخالية بالتمثيلات الصورية الحسية لتفادي التجريد الموحش للعدم الخالص.

وعلى النقيض من ذلك، في الثقافات الشرقية (مثل الفلسفات البوذية والطاوية وتيارات الفكر الهندي القديم)، يحتل مفهوم الفراغ والعدم الصوري (Śūnyatā / Wu) مكانة مركزية مبجلة بوصفه الأصل والمنبع الخالق لجميع الظواهر والموجودات، وليس مجرد غياب سلبي للكينونة. وقد كشفت أبحاث علم النفس الثقافي المقارن التي أجريت على طلاب يابانيين وصينيين مقارنة بنظرائهم الغربيين أن الطلاب من خلفيات شرقية يُظهرون مرونة إدراكية أعلى، وقدرة أسرع على استيعاب المسائل المنطقية التي تتضمن مجموعات خالية وفئات صفرية؛ حيث يسهل عليهم تقبل فكرة أن «الوعاء الفارغ يمتلك وظيفة وجوهراً في ذاته»، وهو ما يؤكد أن النماذج العقلية لمعالجة الفراغ تتأثر بصورة ملموسة بالأطر اللغوية والميتافيزيقية للبيئة الثقافية الحاضنة.

13. الانتقادات والجدليات وحدود المفهوم

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

• مفارقة الوجود الدلالي للكينونات المستحيلة: يرى الفلاسفة المعرفيون ونقاد المنطق الصوري (مثل أليكسيوس ماينونغ في نظريته الشهيرة للكائنات) أن اختزال المفاهيم المستحيلة في «مجموعة خالية واحدة» يُعد تسطيحاً مجحفاً للتمايزات الذهنية؛ فالإنسان يميز بوضوح بين مفهوم «المربع المستدير» ومفهوم «الحصان المجنح»، ولديه تمثيلات معرفية متباينة تماماً لهما في الدماغ، في حين أن نظرية المجموعات الكلاسيكية تسوي بينهما قسراً بجعلهما شيئاً واحداً متطابقاً هو المجموعة الخالية ذاتها، مما يحد من كفاءة هذا المفهوم في نمذجة المخزون الدلالي البشري المعقد.
• صعوبة الحدس النفسي لمبدأ الصدق التافه: يظل مبدأ الصدق التافه (Vacuous Truth) الناشئ عن فرضيات المجموعة الخالية في المنطق الرياضي موضع انتقاد من علماء النفس المعرفي؛ إذ إن العقل البشري يرفض غريزياً التسليم بأن جملة شرطية مقدمتها خالية من العناصر صادقة ومفيدة في الحياة العملية. ويجادل علماء المنطق المعرفي التداولي (Relevance Logic) بأن هذا البناء الصوري يتصادم مع مبادئ المحادثة الإنسانية الطبيعية ومعالجة المعلومات الواقعية التي تستلزم وجود صلة ترابطية حقيقية بين المقدمات والنتائج.
• المحدودية الإدراكية في تمثيل الفراغ: تشير أدبيات علم النفس العصبي إلى أن الذاكرة البشرية لا تستطيع من الناحية الفسيولوجية تخزين «غياب مطلق» كمعلومة صافية، بل تضطر الخلايا العصبية دائماً إلى ترميز الفراغ من خلال علامات نفي مضافة إلى بنى قائمة فعلياً؛ مما يجعل المجموعة الخالية من منظور المعالجة البيولوجية تمثيلاً مركباً عالي التكلفة في الطاقة العصبية وليس مفهوماً أولياً بسيطاً كما تفترض الرياضيات النظرية.

14. المصطلحات ذات الصلة والفروق الدقيقة

لتجنب اللبس والغموض المفهومي الذي يقع فيه الكثير من الدارسين في مجالات العلوم المعرفية والمنطقية، لا بد من تفكيك التداخل بين المجموعة الخالية ومجموعة من المصطلحات والكيانات المقاربة عبر النقاط التحليلية التالية:

• المجموعة الخالية (Ø) مقابل الرقم صفر (0): الرقم صفر هو قيمة عددية أو كمية محددة تشير إلى انعدام الحجم أو العدد في المقياس، في حين أن المجموعة الخالية هي «حاوية» تنظيمية وفئة هيكلية فارغة من العناصر. الصفر قد يكون عنصراً بحد ذاته داخل مجموعة ما، بينما المجموعة الخالية لا تحتوي على أي عنصر على الإطلاق؛ فالمجموعة {0} ليست خالية أبداً، بل هي مجموعة مأهولة تحتوي على عنصر وحيد هو الرقم صفر.
• المجموعة الخالية مقابل المجموعة الكلية (Universal Set): تمثل المجموعة الكلية القطب العكسي التام للمجموعة الخالية؛ إذ تحوي المجموعة الكلية في سياق معين جميع العناصر الممكنة قيد التداول والبحث، وتُعد المجموعة الخالية متممتها المنطقية الإلزامية؛ أي أن نفي المجموعة الكلية يُنتج المجموعة الخالية، ونفي المجموعة الخالية يُنتج المجموعة الكلية.
• المجموعة الخالية مقابل العدم الفلسفي (Nothingness): العدم بالمعنى الفلسفي الميتافيزيقي هو النفي المطلق لكل أشكال الكينونة والمادة والشكل والقوانين؛ في المقابل، تُعد المجموعة الخالية كياناً رياضياً ومنطقياً صورياً محدداً بدقة، يمتلك خواص وقواعد جبرية صارمة تجعل له وجوداً ذهنياً ووظيفياً فاعلاً في البنية المنطقية الشاملة.
• المجموعة الخالية مقابل المتغير العشوائي الصفري: في الإحصاء ونظرية الاحتمالات المعرفية، يمثل المتغير العشوائي الصفري دالة تأخذ القيمة صفر باحتمالية تامة، بينما تمثل المجموعة الخالية «الحدث المستحيل» (Impossible Event) في فضاء العينة، وهو الحدث الذي لا يمكن أن يقع نظرياً وتبلغ احتماليته بالضرورة صفراً مطلقاً.

15. ملخص وخلاصة ختامية

تُمثل المجموعة الخالية (The Empty Set) إحدى أعمق وأدق الإنجازات التجريدية التي أنتجها الفكر الصوري؛ إذ تُجسد القدرة الإنسانية الخارقة على تأطير الفراغ وتحويل «اللاشيء» إلى أداة تصنيفية واستدلالية بالغة الفاعلية. ومن خلال استيعاب خصائصها البنيوية بوصفها فئة فريدة عديمة العناصر، ومجموعة جزئية أزلية من كل المجموعات الأخرى، يتمكن الفكر العلمي من إرساء دعائم الرياضيات الحديثة، وهندسة المعرفة، ونمذجة العمليات الذهنية بدقة غير مسبوقة.

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

المراجع

فيما يلي قائمة بالمصادر والأدبيات الأكاديمية الرصينة في مجالات المنطق الرياضي، وعلم النفس المعرفي، واللغويات الصورية، مرتبة وفق نظام الجمعية الأمريكية لعلم النفس (APA 7th):

• Cantor, G. (1874). Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Journal für die reine und angewandte Mathematik, 77, 258–262. https://www.digizeitschriften.de/dms/img/?PPN=GDZPPN002155583
• Frege, G. (1884). Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung über den Begriff der Zahl. Wilhelm Koebner.
• Gärdenfors, P. (2000). Conceptual spaces: The geometry of thought. MIT Press. https://mitpress.mit.edu/9780262572194/conceptual-spaces/
• Johnson-Laird, P. N. (2006). How we reason. Oxford University Press.
• Piaget, J., & Inhelder, B. (1958). The growth of logical thinking from childhood to adolescence. Basic Books.