هل يفرّق الغزالي وكريغ بصورة كافية بين "اللانهائي الفعلي" و"اللانهائي المحتمل"، أم أنّ هذا التمييز يضيع في فيزياء المعاصرة؟

هذا السؤال يدخلنا في قلب أحد أكثر الجدالات تعقيداً في الحجة الكلامية: التمييز بين اللانهائي الفعلي (actual infinite) واللانهائي المحتمل (potential infinite). الغزالي في القرن الحادي عشر ووليام لين كريغ في عصرنا يعتمدان بشدّة على هذا التمييز لإثبات أنّ الكون له بداية. لكن هل يصمد هذا التمييز أمام الرياضيات والفيزياء المعاصرة؟

ردود غير كافية ينبغي تجنّبها

من جهة بعض المدافعين عن الحجة الكلامية:

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

"الفيزياء المعاصرة لا علاقة لها بالسؤال الميتافيزيقي عن اللانهائي." فصل مصطنع. الفيزياء المعاصرة — خاصة في نظرية الأوتار وفيزياء الكم — تستخدم مفاهيم رياضية للانهائي بطرق لم يتصوّرها الغزالي أو حتى كريغ في بداياته. تجاهل هذه التطوّرات يُضعف الحجة الكلامية.

ومن جهة بعض المعترضين:

"كانتور أثبت وجود اللانهائيات الفعلية، انتهى النقاش." قفزة غير مبرّرة. كانتور طوّر نظرية رياضية متّسقة للانهائيات اللامتناهية (transfinite numbers)، لكن هذا لا يعني أنّها موجودة فيزيائياً في العالم الواقعي. الاتّساق الرياضي لا يساوي الوجود الفيزيائي.

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

لماذا هذه الردود غير كافية

الردود من الجهتين تفشل في التعامل مع التعقيد الحقيقي: التمييز بين اللانهائي الفعلي والمحتمل واضح في بعض السياقات وغامض في أخرى. المسألة ليست "هل التمييز صحيح؟" بل "في أيّ سياقات يكون التمييز ذا معنى، وهل هذه السياقات تشمل الحجة الكلامية؟"

التمييز عند الغزالي

الغزالي في "تهافت الفلاسفة" يميّز بوضوح: اللانهائي المحتمل هو عملية لا تنتهي (مثل العدّ: 1، 2، 3... دائماً يمكنك إضافة واحد). اللانهائي الفعلي هو مجموعة مكتملة من عدد لانهائي من الأشياء الموجودة معاً في الواقع.

حجة الغزالي الأساسية: اللانهائي المحتمل ممكن (يمكنك العدّ إلى الأبد)، لكن اللانهائي الفعلي مستحيل في الواقع. لماذا؟ لأنّه يؤدّي إلى تناقضات. مثلاً: لو كان عدد الأيام الماضية لانهائياً فعلياً، ثم أضفنا اليوم، لصار لدينا "لانهائي + 1" — وهذا تناقض، لأنّ اللانهائي لا يمكن أن يزيد.

التمييز عند كريغ

كريغ يتبنّى تمييز الغزالي لكن يطوّره بأدوات معاصرة. يستخدم "فندق هيلبرت" (Hilbert's Hotel) لإظهار تناقضات اللانهائي الفعلي: فندق بغرف لانهائية، كلّها مشغولة، لكن يمكن دائماً إضافة نزيل جديد بنقل كلّ نزيل إلى الغرفة التالية. هذا يبدو متناقضاً: الفندق ممتلئ وغير ممتلئ في آن واحد.

كريغ يضيف: الرياضيات المعاصرة (نظرية المجموعات الكانتورية) متّسقة منطقياً، لكن هذا لا يعني أنّ اللانهائيات الفعلية يمكن أن توجد في الواقع الفيزيائي. الاتّساق المنطقي شيء، والإمكان الميتافيزيقي شيء آخر.

التحدّي من الرياضيات المعاصرة

جورج كانتور (1845-1918) ثوّر فهمنا للانهائي. أثبت أنّ هناك "أحجاماً" مختلفة من اللانهائي: لانهائية الأعداد الطبيعية (ألف-صفر) أصغر من لانهائية الأعداد الحقيقية (ألف-واحد). نظريته متّسقة رياضياً ومقبولة اليوم.

لكن — وهذا مهمّ — كانتور نفسه ميّز بين اللانهائي الرياضي واللانهائي المطلق (الله). كان يرى أنّ اللانهائيات الرياضية موجودة "في عقل الله"، لا بالضرورة في العالم الفيزيائي. هذا التمييز يُغفَل أحياناً في النقاشات المعاصرة.

التحدّي من الفيزياء المعاصرة

في الفيزياء المعاصرة، اللانهائي يظهر في سياقات متعدّدة:

- النقاط التفردية (Singularities): في النسبية العامة، المادة يمكن أن تنضغط إلى كثافة لانهائية. لكن معظم الفيزيائيين يرون هذا كعلامة على انهيار النظرية، لا كوصف للواقع.

- فضاء هيلبرت في ميكانيكا الكم: الحالات الكمّية تُمثَّل في فضاء ذي أبعاد لانهائية. لكن هذا تمثيل رياضي، والسؤال عن علاقته بالواقع الفيزيائي معقّد.

- نماذج الأكوان المتعدّدة: بعض النماذج تفترض عدداً لانهائياً من الأكوان. لكن هذه نماذج نظرية speculatives، وحتى مؤيّدوها منقسمون حول ما إذا كانت اللانهائية فعلية أم مجرّد أداة رياضية.

هل يصمد التمييز؟

الجواب مركّب. التمييز بين اللانهائي الفعلي والمحتمل يصمد في سياقات معيّنة:

حيث يصمد: في الرياضيات البنائية (constructive mathematics)، التمييز أساسي. في فلسفة الرياضيات، كثير من الفلاسفة (finitists وultrafinitists) يرفضون اللانهائي الفعلي. في الفيزياء التطبيقية، اللانهائيات تُعامل كتقريبات أو علامات على حدود النظرية.

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

الدلالة للحجة الكلامية

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

مواقف معاصرة

المدافعون عن التمييز: روبرت كونز، ألكسندر برس (مع تحفّظات)، ديفيد أوديربرغ. يرون أنّ التمييز أساسي ميتافيزيقياً، بغضّ النظر عن التطوّرات الرياضية.

الرافضون للتمييز: كوينتن سميث، غراهام أوبي، ولفرام هينزن. يرون أنّ الرياضيات الكانتورية أظهرت أنّ اللانهائيات الفعلية متّسقة، وأنّ رفضها الميتافيزيقي تعسّفي.

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

أين نحن اليوم؟

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

للقراءة المتقدّمة

- مستوى متقدّم: التمييز في الرياضيات البنائية مقابل الكلاسيكية
- مستوى متقدّم: اللانهائي في نماذج الكوزمولوجيا الحديثة
- صفحة "Kalam Cosmological Argument and Infinity"
- Al-Ghazali, The Incoherence of the Philosophers, Discussion 1
- William Lane Craig & James Sinclair, "The Kalam Cosmological Argument" in The Blackwell Companion to Natural Theology (2009)
- Graham Oppy, "Infinity in the Kalam Cosmological Argument" in Philosophical Perspectives on Infinity (2006)