هل البرهان الصدّيقين عند ابن سينا قابل للترجمة إلى لغة المنطق الجهتي المعاصر دون فقدان قوّته الميتافيزيقية؟

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

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

من جهة بعض المدافعين عن التراث الفلسفي:

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

"ترجمة البرهان إلى المنطق الجهتي تشويه للفلسفة الإسلامية." خلط بين
الترجمة كأداة تحليل والاختزال. يمكن ترجمة البرهان دون ادّعاء أنّ
الترجمة تستنفد محتواه الفلسفي.

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

ومن جهة بعض الناقدين:

"البرهان السينوي مجرّد لعب بالألفاظ، الصورنة تكشف هذا." اتهام سطحي
يتجاهل عمق التحليل الوجودي عند ابن سينا. حتى لو فشلت محاولة صورنة
معيّنة، لا يعني هذا أنّ البرهان "لعب بالألفاظ".

"المنطق الجهتي المعاصر أثبت بطلان مفاهيم الضرورة والإمكان التقليدية."
خلط بين تطوّر الأدوات المنطقية وبطلان المفاهيم الفلسفية. المنطق الجهتي
يوضّح ويدقّق، لا "يبطل".

"أيّ برهان قابل للصورنة في S5 مشكوك فيه." موقف متطرّف يرفض نظام S5
بالكامل، بينما له مبرّرات فلسفية قويّة في سياق الضرورة الميتافيزيقية.

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

تتجاهل السؤال التقني الدقيق: ما الذي يُفقد وما الذي يُحفظ عند ترجمة
برهان فلسفي كلاسيكي إلى لغة منطقية معاصرة؟ هذا سؤال في فلسفة المنطق
وفلسفة الترجمة الفلسفية.

بنية برهان الصديقين السينوي

البرهان في صيغته الأصلية (الإشارات والتنبيهات، النجاة):

1. التقسيم الثلاثي للوجود: كلّ موجود إمّا واجب بذاته، أو ممكن
بذاته واجب بغيره، أو ممكن بذاته ممكن بغيره.

2. استحالة التسلسل في الممكنات: سلسلة الممكنات المحضة لا يمكن أن
تكون لانهائية بدون واجب يسندها.

3. الانتقال من الإمكان إلى الوجوب: وجود أيّ ممكن يستلزم وجود
واجب الوجود.

4. وحدانية الواجب: واجب الوجود واحد بالضرورة (براهين إضافية).

محاولات الصورنة المعاصرة

المحاولة الأولى: صورنة مبسّطة في S5

```
التعريفات:
Wx: x واجب الوجود
Cx: x ممكن الوجود
Ex: x موجود

المقدّمات:
(1) ◇∃x(Ex) → ∃x(Ex) [من الإمكان إلى الوجود الفعلي]
(2) ∀x(Ex → (Wx ∨ Cx)) [التقسيم الثنائي]
(3) ∀x(Cx → ∃y(Wy ∧ Causes(y,x))) [كلّ ممكن يحتاج واجباً]
(4) ∃x(Ex) [يوجد شيء ما]

النتيجة:
∃x(Wx) [يوجد واجب الوجود]
```

نقد هذه المحاولة: مفرطة في التبسيط. تفقد:
- التمييز الدقيق بين الإمكان الذاتي والإمكان الاستقبالي
- تحليل معنى "الاحتياج" و"التعلّق الوجودي"
- البعد الزماني/الأزلي للبرهان

المحاولة الثانية: صورنة أكثر دقّة (Zarepour 2022)

```
التعريفات الموسّعة:
NE(x): x ضروري الوجود ذاتياً
PE(x): x ممكن الوجود ذاتياً
D(x,y): x يعتمد وجودياً على y
G(X): X مجموعة مؤسِّسة (grounding)

المبادئ:
(P1) ∀x(PE(x) → ◇Ex ∧ ◇¬Ex)
(P2) ∀x(NE(x) → □Ex)
(P3) ∀x∀y(D(x,y) → (Ex → Ey))
(P4) ¬∃X(∀y∈X(PE(y)) ∧ G(X))

الاستنتاج عبر عدّة خطوات وسيطة إلى:
∃x(NE(x))
```

تقييم: أفضل لكنّها تواجه تحدّيات:
- مفهوم "التأسيس" (grounding) حديث وليس سينوياً تماماً
- العلاقة بين الضرورة المنطقية والضرورة الميتافيزيقية

المحاولة الثالثة: صورنة تراعي البُعد الأنطولوجي

لـ Davlat (2018)، محاولة تدمج:
- نظرية الأنماط السينوية (ماهية/وجود)
- التمييز بين الوجود الذهني والخارجي
- مفهوم "التقدّم بالذات" لا بالزمان

```
باستخدام منطق جهتي ثنائي البُعد:
⟨W₁, W₂, R₁, R₂, V⟩
حيث W₁ للإمكانات المنطقية، W₂ للإمكانات الميتافيزيقية
```

التحدّيات الفلسفية العميقة

التحدّي الأول: طبيعة الضرورة السينوية

الضرورة عند ابن سينا ليست مجرّد ضرورة منطقية (صدق في كلّ العوالم
الممكنة)، بل ضرورة وجودية أنطولوجية. واجب الوجود "يفيض" الوجود،
لا يصدق عليه وصف منطقي فحسب.

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

التحدّي الثاني: مفهوم الإمكان الاستقبالي

الممكن السينوي له جهتان:
- إمكان ذاتي (لا تناقض في ماهيته)
- احتياج وجودي (افتقار دائم لمؤثّر)

المنطق الجهتي العادي يصعب عليه التقاط هذا البُعد الثنائي. محاولات
استخدام "منطق الاعتماد" (dependence logic) واعدة لكنّها معقّدة.

التحدّي الثالث: السببية الميتافيزيقية vs المنطقية

البرهان السينوي يعتمد على مفهوم سببي ميتافيزيقي: الممكن "يحتاج" إلى
الواجب احتياجاً وجودياً دائماً، لا مجرّد سبق زماني.

المنطق الجهتي المعاصر لا يحوي بدائياً مفهوم السببية الميتافيزيقية.
إضافتها تتطلّب توسيعات تقنية (منطق السببية الجهتي).

التحدّي الرابع: البساطة الإلهية والتركيب المنطقي

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

مواقف معاصرة

الموقف المتفائل (McGinnis, Zarepour)
الصورنة ممكنة ومفيدة. تكشف البنية المنطقية للبرهان، تسمح بمقارنته
مع براهين أخرى (أنسلم، لايبنتز، غودل). النقص في التعبير عن بعض
الجوانب الميتافيزيقية لا ينفي القيمة.

الموقف المتشائم (Wisnovsky, Adamson)
البرهان السينوي متجذّر في ميتافيزيقا لا يمكن اختزالها للمنطق الصوري.
الصورنة تفقد الجوانب الأساسية: الفيض، التقدّم بالذات، البُعد الصوفي.

الموقف الوسط (Lizzini, Belo)
الصورنة مفيدة كأداة تحليل أوّلية، لكن يجب إكمالها بتحليل فلسفي.
المنطق الجهتي يكشف الهيكل، الفلسفة تملأ المحتوى.

محاولة تقييمية

من زاوية الرجحان العقلي، يمكن القول:

ما يُحفَظ في الصورنة:
- البنية الاستدلالية الأساسية
- العلاقة بين الإمكان والوجوب
- استحالة التسلسل اللانهائي للممكنات
- ضرورة وجود واجب واحد على الأقلّ

ما يُفقَد أو يُضعَف:
- الغنى الأنطولوجي لمفهوم "واجب الوجود"
- البُعد الدينامي للعلاقة بين الواجب والممكنات
- التمييزات الدقيقة في أنماط الإمكان
- الارتباط بين البرهان والتجربة الصوفية/العرفانية

النتيجة التقييمية:

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

لكنّ هذه الترجمة لا تحفظ كامل القوّة الميتافيزيقية للبرهان الأصلي.
القوّة الكاملة تكمن في التحليل الوجودي العميق الذي يتجاوز الصورنة
المنطقية.

هذا لا يعني فشل الصورنة، بل يؤكّد ما نعرفه من فلسفة المنطق: الصورنة
أداة توضيح وتحليل، لا أداة استنفاد للمعنى الفلسفي. البرهان السينوي
يحتفظ بقيمته الفلسفية حتى لو كانت ترجمته المنطقية ناقصة.

التطبيق على منهج الموقع

ضمن منهج التجلّي والاحتجاب، يقع البرهان في المسلك الفلسفي/الميتافيزيقي.
قابليته لل

أين نحن من هذا النقاش اليوم

شهدت الفترة 2020-2026 تسارعاً ملحوظاً في محاولات صورنة البراهين الكلاسيكية الإسلامية. أعمال Zarepour (2022-2024) وسّعت نطاق الصورنة لتشمل براهين ابن سينا في الإلهيات والطبيعيات معاً، مستخدمةً أنظمة جهتية غير كلاسيكية تتجاوز S5 التقليدي. في المقابل، طوّر باحثون مثل Zamboni (2021) وEl-Rouayheb (2023) أدوات تحليلية تراعي خصوصية المنطق العربي الكلاسيكي، محاولين بناء "دلاليات سينوية" (Avicennian semantics) لا تختزل الضرورة الوجودية في الضرورة المنطقية المعاصرة. كما برز اتجاه ثالث يستثمر تطوّرات منطق التأسيس (grounding logic) عند Fine وRosen لتقديم صورنة أقرب لمفهوم الاعتماد الوجودي السينوي. التحدّي الأبرز الذي يشغل الباحثين اليوم ليس مجرّد إمكان الصورنة، بل معايير نجاحها: متى نقول إنّ ترجمة منطقية "أمينة" لبرهان فلسفي كلاسيكي؟ هذا السؤال الميتامنهجي صار محوراً في فلسفة المنطق التطبيقي، ولم يُحسم بعد. النقاش مفتوح ومتحرّك، وأيّ ادّعاء بإجابة نهائية سابق لأوانه.