مفارقة فيتش للقابلية للمعرفة

1. مقدمة

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

لا تُعدّ المفارقة تجربةً فكريةً قائمةً على سرد، بل هي اشتقاقٌ صوريٌّ دقيق، يستخدم أدوات المنطق الموجِّه والمنطق المعرفي. وتعمل بتعبيرات مثل p (قضية)، وKp ("من المعلوم أن p")، و◇Kp ("من الممكن أن تُعلم p")، وتُبيّن أنه، في ظل المبادئ المنطقية المعيارية، فإن إضافة مخطط القابلية للمعرفة

p → ◇Kp

يؤدي إلى

p → Kp

لكل القضايا p. وإذا وُجدت أي حقائق أصلًا، فإن هذا يبدو مكافئًا للقول بعدم وجود حقائق غير معلومة.

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

• العلاقة بين الحقيقة والمعرفة،
• طبيعة الإمكان و"القابلية للمعرفة من حيث المبدأ"،
• المنطق السليم للاستدلال بشأن المعرفة.

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

2. الأصل والنسبة

تُسمّى مفارقة فيتش نسبةً إلى المنطقي الأمريكي فريدريك ب. فيتش (1908–1987). ظهرت الحجة لأول مرة في ورقته المنشورة عام 1963:

تحليل منطقي لبعض مفاهيم القيمة”، مجلة المنطق الرمزي 28 (1963): 135–142.

يشغل برهان القابلية للمعرفة جزءًا صغيرًا فقط من الورقة، ويُعرض بصيغة صورية موجزة. استخلص الشارحون اللاحقون هذا الجزء وعمّموه، فنشأ ما يُعرف اليوم بصورة معيارية بمفارقة فيتش للقابلية للمعرفة أو مفارقة فيتش–تشيرش.

هناك بعض النقاش حول السوابق والصيغ ذات الصلة:

أسهمت أعمال فلسفية لاحقة، وبخاصة أعمال ويليام هارت ومايكل دامت وآخرين منذ أواخر السبعينيات، في إبراز المفارقة في النقاشات حول مناهضة الواقعية الدلالية. ويُستشهد عادةً بورقة هارت عام 1979 وكتابات دامت حول الصدق بوصفهما محوريتين في إدراك أهمية برهان فيتش للقضايا الفلسفية الأوسع.

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

3. السياق التاريخي والفلسفي

نشأت حجة فيتش في خضم النقاشات التي دارت في منتصف القرن العشرين حول المعنى والصدق والتحقق. وثمة عدة تيارات فكرية ذات صلة خاصة بهذا الموضوع.

ما بعد الوضعية المنطقية والمذهب التحققي

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

ذهب فلاسفة متعاطفون مع المذهب التحققي أو مع مناهضة الواقعية الدلالية (ومن أبرزهم مايكل دامت) إلى تبني رأي مفاده أن الصدق لا ينبغي أن يُفهم على أنه مستقل تمامًا عن قدراتنا المعرفية. وقد اقترح دامت بشهرة أن:

الصدق مقيَّد بما يمكن، من حيث المبدأ، التعرف عليه بوصفه صادقًا.

يدعو هذا النوع من الفكر بشكل طبيعي إلى صورة من صور القول بأن "كل الحقائق قابلة للمعرفة".

الحدسية والمفاهيم القائمة على البرهان للصدق

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

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

تطور المنطق المعرفي والمنطق المودالي

شهدت خمسينيات القرن العشرين وستينياته أيضًا تطورًا سريعًا في المنطق المودالي والمنطق المعرفي، ومن ذلك أعمال ياكو هينتيككا وآخرين. وقد وفّر استخدام المؤثرات المودالية للمعرفة (K) وللإمكان (◇) أدوات للتعبير عن مبادئ مثل:

• "إذا كان p صادقة، فيمكن أن تُعرف p."

تُظهر حجة فيتش أنه في مثل هذه الأطر، يؤدي الجمع بين مبدأ القابلية للمعرفة غير المقيَّد وقواعد منطقية مألوفة إلى نتيجة العلم المطلق. وقد وضع هذا المفارقة في قلب التقاطع بين:

• المنطق الصوري،
• ونظريات الصدق،
• ونظرية المعرفة القائمة على الأفكار التحققية والمناهضة للواقعية.

4. أطروحة قابلية المعرفة ودوافعها

تُعدّ أطروحة قابلية المعرفة الادعاءَ بأن كل حقيقة قابلة للمعرفة من حيث المبدأ. وتُعبَّر عنها في أبسط صيغها الصورية بالمخطط الآتي:

p → ◇Kp

لأي قضية p، حيث K مؤثر معرفي و◇ مؤثر إمكان.

الدوافع الفلسفية

تدفع عدةُ مواقف فلسفية نحو هذه الأطروحة:

ويؤكد المدافعون أن قابلية المعرفة «من حيث المبدأ» لا تعني بالضرورة أن أي فاعل محدود أو فعلي سيعرف فعلًا كل الحقائق. وغالبًا ما تُفهم الأطروحة على أنها تُكمّم على:

• عوامل مثالية،
• زمن ممتد إلى غير حد،
• أو توسّعات ممكنة في الأدلة.

الصيغ والقوة

توجد طرق متعددة لتفسير قابلية المعرفة وصياغتها:

• الصيغة الكلية: لكل p صادقة، ◇Kp.
• الصيغ المقيَّدة: تنطبق فقط على فئات معينة من الحقائق (مثل الحقائق غير المعرفية، أو الأساسية، أو الرصدية).
• القراءات المستقبلية: كل حقيقة ستُعرف في النهاية عند حدّ البحث.

تعتمد قوة الأطروحة على:

• مدى اتساع نطاق «الحقيقة» (كل القضايا مقابل مجموعة جزئية)،
• ونوع الإمكان الذي يمثّله ◇ (معرفيًا، أو ميتافيزيقيًا، أو عمليًا)،
• وأي الفاعلين (الفعليين، أو المثاليين، أو الإلهيين) يُعدّون عارفين محتملين.

ترتبط مفارقة فيتش ارتباطًا أوثق ما يكون بالصيغة الكلية غير المقيّدة، مقترنةً بالمبادئ المعيارية المعرفية-الموداليّة.

5. الصيغة الرمزية لمفارقة فيتش

تُصاغ مفارقة فيتش عادةً داخل منطق معرفي-مودالي عادي يستخدم:

• متغيرات قضوية p وq وr وغيرها،
• مؤثِّرًا معرفيًا K (“من المعلوم أن”)،
• مؤثِّرًا للإمكان ◇ (وهو ثنائي للضرورة □).

المخططات الأساسية

العناصر الجوهرية هي:

1. أطروحة القابلية للمعرفة (المخطط غير المقيَّد) لأي قضية p: (K) p → ◇Kp
2. الصدق الضروري للمعرفة (F) Kp → p
3. مبدأ الاقتران المعرفي (C) K(p ∧ q) → (Kp ∧ Kq)
4. الخلفية القضوية والمودالية: القواعد المعيارية للمنطق القضوي الكلاسيكي والمنطق المودالي العادي من أجل ◇ / □.

وإضافةً إلى ذلك، تُعرض المفارقة غالبًا بافتراض ما يلي:

1. وجود حقيقة مجهولة (U) ∃p (p ∧ ¬Kp)

وهذا يعبّر عن الفكرة الشائعة القائلة بأن ليست كل الحقائق معلومة.

النتيجة الصورية النموذجية

من (K) و(F) و(C) والمنطق الخلفي، يمكن استنتاج أنه إذا وُجدت أي قضية صادقة على الإطلاق، فإن:

(O) p → Kp

لكل القضايا p؛ أي أن كل حقيقة معلومة. وعند افتراض (U) أيضًا يصبح النظام متناقضًا. وتعامل عروض كثيرة هذه الحجة بوصفها إبطالًا بالخُلف للقبول المشترك لـ:

• أطروحة القابلية للمعرفة،
• المبادئ المعرفية-المودالية المعيارية،
• وجود حقائق غير معلومة.

تستخدم صياغات بديلة منطق المحمولات من الرتبة الأولى أو الثانية مع الكمّيات والمودالية، وتمثّل القابلية للمعرفة أحيانًا بـ ◇Kp أو بمؤثِّر مختلف Kv p (“p قابلة للتحقق”). وتحافظ هذه الصيغ المتعددة على البنية المركزية نفسها: مبدأ غير مقيَّد يربط الصدق بالمعرفة الممكنة ينهار، وفق القواعد المعيارية، إلى أطروحة الإحاطة المطلقة بكل شيء.

6. البنية المنطقية واستراتيجية البرهان

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

نمط الرد إلى المحال

تكون الاستراتيجية العامة قابلة للتمثيل التخطيطي على النحو الآتي:

1. نفترض وجود قضية صادقة واحدة على الأقل q لكنها غير معلومة (صياغةً لنفي العلم المطلق).
2. نتأمل القضية المركبة r = (q ∧ ¬Kq)، التي تنص على أن q صادقة وغير معلومة.
3. نطبق أطروحة القابلية للمعرفة على r، فنحصل على ◇K(q ∧ ¬Kq): أي أن r يمكن أن تكون معلومة.
4. نستخدم مبادئ تتعلق بكيفية توزع المعرفة على الوصل لنستنتج أنه إذا تحقق K(q ∧ ¬Kq)، فإن كلًا من Kq وK¬Kq يتحققان.
5. نحاجج بأن Kq ∧ K¬Kq مستحيلة، عادةً لأن المعرفة مفترضة متسقة وفعلية (factive).
6. نستنتج أن K(q ∧ ¬Kq) مستحيلة؛ ومن ثم ¬◇K(q ∧ ¬Kq).
7. هذا يناقض الخطوة 3، التي أكدت ◇K(q ∧ ¬Kq).
8. لذلك يجب رفض الافتراض الأولي بأن بعض الحقائق غير معلومة، فيُنتج ذلك العلم المطلق.

دور البناء الذاتي الإحالة

الحركة المحورية هي إدخال r = (q ∧ ¬Kq). وهذا ليس ذا إحالة ذاتية بالمعنى الدلالي الدقيق، لكنه محمَّل معرفيًا: إذ يتحدث عن وضعه المعرفي الخاص عبر المكوِّن الجزئي ¬Kq. وتطبيق القابلية للمعرفة على مثل هذه القضايا هو ما يُحرّك المفارقة.

تُبرز إعادة البناءات المختلفة للبرهان خطوات صورية مختلفة، إذ يستخدم بعضها مُكمِّمات على القضايا، ويعتمد بعضها بقدر أكبر على البديهيات الموجهة، لكنها تشترك في هذه البنية:

• اختر حقيقة غير معلومة،
• ضمّها في وصل معرفي،
• طبِّق القابلية للمعرفة،
• استنتج التناقض في حالة المعرفة الناتجة.

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

7. الافتراضات الأساسية والمبادئ المنطقية

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

المبادئ المعرفية

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

الافتراضات الحملية والقضوية

يعتمد المفارقة على منطق القضايا الكلاسيكي المعياري، ويشمل:

• مبدأ الثالث المرفوع (p ∨ ¬p)،
• مبدأ عدم التناقض (¬(p ∧ ¬p))،
• قواعد التوزيع والتعويض.

كما يفترض منطقاً حملياً معيارياً للمُمكن / الضروري (◇ / □)، ويشمل:

• الثنائية: ◇p ≡ ¬□¬p،
• الضرورة والتوزيع بالنسبة إلى □ في كثير من الصياغات.

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

الافتراضات الكمية والمخططية

تُعامَل أطروحة قابلية المعرفة بوصفها مخططاً عاماً تماماً:

بالنسبة إلى كل قضية p: p → ◇Kp.

وثمة جانبان مهمان:

• المجال غير المقيَّد: تندرج في المدى جميع القضايا، بما فيها تلك التي تتضمن مؤثرات معرفية مثل ¬Kp.
• القراءة الموحدة لـ K و◇: تنطبق المؤثرات نفسها للمعرفة والإمكان على القضايا البسيطة والقضايا المعرفية المعقدة على حد سواء.

وأخيراً، تفترض كثير من الصياغات:

• وجود حقائق غير معروفة: ∃p (p ∧ ¬Kp)،

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

تركز المناقشات اللاحقة على أي هذه الافتراضات (المعرفية أو الحملية أو المخططية) ينبغي مراجعته أو تقييده.

8. من إمكانية المعرفة إلى العلم الشامل

تتمثل النتيجة المركزية المرتبطة بمفارقة فيتش في استنتاج أطروحة العلم الشامل من أطروحة قابلية المعرفة والافتراضات الخلفية. وبشكل تقريبي، تُظهر هذه النتيجة أن:

إذا كانت جميع الحقائق قابلة للمعرفة (p → ◇Kp لكل p)، فإن جميع الحقائق معروفة (p → Kp لكل p)،

بافتراض وجود حقيقة واحدة على الأقل.

مخطط الاستنتاج

تنتقل الخطوة من قابلية المعرفة إلى العلم الشامل عبر برهان الخلف السابق:

1. لنفترض أنه ليست كل الحقائق معروفة: ∃q (q ∧ ¬Kq).
2. باستخدام هذا q، نبني r = (q ∧ ¬Kq)، وهي عندئذ صادقة.
3. وفقاً لأطروحة قابلية المعرفة، فإن r قابلة للمعرفة: ◇K(q ∧ ¬Kq).
4. لكن، في ضوء المبادئ المعرفية، تفضي K(q ∧ ¬Kq) إلى تناقض في الحالة المعرفية للفاعل (إذ سيعرف عندئذ q ويعرف أيضاً أنه لا يعرف q).
5. ومن ثم فإن K(q ∧ ¬Kq) مستحيلة: ¬◇K(q ∧ ¬Kq).
6. وهذا يناقض الخطوة 3، فيجب أن يكون افتراض وجود حقيقة غير معروفة كاذباً.
7. وبناءً على ذلك، يتحقق Kp لكل p صادقة: جميع الحقائق معروفة.

يُعبَّر عن هذه الخطوة الأخيرة في بعض العروض بصيغة أكثر صورية على النحو التالي:

بوجود قضية صادقة واحدة على الأقل، فإن اقتران أطروحة قابلية المعرفة مع المبادئ المعرفية-الموداليّة المعيارية يقتضي ∀p (p → Kp).

القضايا التأويلية

يختلف الفلاسفة في تأويل هذه النتيجة:

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

تعتمد القوة الدقيقة لنتيجة العلم الشامل إذن على المقدمات التي يستعد المرء لمراجعتها.

9. تفسيرات الإمكان والمعرفة

تتوقف المفارقة على كيفية فهم المؤثرين ◇ ("من الممكن") وK ("يعرف أن"). ويمكن للتفسيرات المختلفة أن تؤثر تأثيرًا كبيرًا في كلٍّ من معقولية المقدمات وقوة الحجة.

التفسيرات الإمكانية لـ"◇"

تم تمييز عدة قراءات لـ◇ في أطروحة قابلية المعرفة:

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

تفسيرات المعرفة "K"

يمكن أيضًا تفسير المؤثر K بطرائق مختلفة:

• بوصفها المعرفة البشرية العادية، الخاضعة للقيود المعرفية.
• بوصفها معرفة فاعل مثالي، عاقل تمامًا ومُلمٍّ منطقيًا بكل شيء.
• بوصفها المعرفة الإلهية، في السياقات اللاهوتية.

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

ويفسّر آخرون K بصورة أكثر حيادية بوصفه حالة نجاح معرفي عامة (مثل الاعتقاد الصادق المبرَّر مضافًا إليه شروط أخرى). وعلى هذه القراءة، تتركز النقاشات على ما إذا كان من المناسب توسيع K ليشمل قضايا معرفيًا معقدة مثل (p ∧ ¬Kp)، أو ما إذا كانت معرفة مثل هذه القضايا إشكالية من الناحية المفهومية.

القراءات المركبة

تُنتج تركيبات مختلفة من قراءات ◇ وK نسخًا مختلفة من المفارقة:

• المعرفة المثالية + الإمكان الميتافيزيقي تؤدي إلى النتيجة الشكلية الأقوى والأعم.
• المعرفة البشرية + الإمكان العملي تُنتج أطروحة لقابلية المعرفة أضعف وأكثر حساسية للسياق، حيث قد لا تنطبق حجة من نوع فيتش تطبيقًا مباشرًا.

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

10. الاعتراضات والانتقادات المعيارية

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

القيد على الحقائق غير المعرفية

يُعد أحد الاعتراضات الرئيسية، المرتبط بمايكل دامِت ونيل تينانت وآخرين، أن أطروحة القابلية للمعرفة لم يُقصد بها قط أن تنطبق على القضايا المعقدة معرفياً، مثل القضايا التي تحتوي على K أو ¬K. ووفقاً لهذا الرأي:

• ينبغي أن ينطبق المخطط p → ◇Kp على الحقائق الأساسية أو غير المعرفية أو الذرية فقط.
• تقع القضية الحاسمة (q ∧ ¬Kq) خارج هذا المجال المقصود.

إذا قُبل هذا القيد، فإن التطبيق الرئيسي للقابلية للمعرفة الذي يقود المفارقة يُحجب.

مخاوف اللاعلم الكلي والمثالية

تستهدف مجموعة أخرى من الاعتراضات المثاليات المتضمنة في المبادئ المعرفية:

• توزيع المعرفة على الوصل،
• ومختلف مبادئ الإغلاق،
• وافتراض وجود عامل عالِم كلياً منطقياً.

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

الالتباسات في الصيغ الجهية

يرى بعض الفلاسفة أن المفارقة تستغل التباساً في صيغة "الممكن":

• غالباً ما يكون الدافع وراء القابلية للمعرفة معرفياً أو منهجياً،
• في حين أن المعالجة الصورية تستخدم صيغة أقرب إلى الإمكان الميتافيزيقي.

ويقترحون التمييز بين هذه الصيغ الجهية صراحةً، وتكييف أطروحة القابلية للمعرفة مع قراءة معرفية أضعف، قد لا تدعم الاشتقاق المفارق.

الاحتضان الجذري للعلم الكلي

يتمثل رد فعل مختلف في قبول نتيجة العلم الكلي:

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

تناقش الأقسام اللاحقة نسخاً أكثر تحديداً وتطوراً من هذه الاستراتيجيات.

11. القيود المقيدة للإمكان المعرفي والردود المناهضة للواقعية

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

تقييد مدى المخطط

الخطوة الأساسية هي تحديد القضايا p التي يُقصد أن يصح فيها

p → ◇Kp

ويُقصد أن يصح هذا المخطط. وتختلف المقترحات في طريقة رسم هذا التقييد:

تحت هذه القيود، لا تُعد القضية الحاسمة r = (q ∧ ¬Kq) مثالًا مشروعًا لـ p في المخطط؛ ومن ثم تُمنع الخطوة ◇K(q ∧ ¬Kq).

دامت والدلالة المناهضة للواقعية

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

• أطروحة إمكان المعرفة أطروحة دلالية تتعلق بمتى تُعد القضية صادقة أو قابلة للتأكيد.
• ولا يُقصد منها أن تحكم القضايا التي يتعلق مضمونها مباشرةً بوضعها المعرفي الخاص.

وفق هذا الرأي، يسيء استدلال فيتش تطبيق البصيرة المناهضة للواقعية إذ يغذيها بجمل (مثل q ∧ ¬Kq) تتعلق بالمعرفة أصلًا.

«ترويض الصادق» لتينانت

طوّر نيل تينانت نظرية مفصلة:

• تقصر إمكان المعرفة على القضايا المقبولة بناءً.
• ترفض مبادئ كلاسيكية معينة على مستوى النظرية الدلالية مع الإبقاء على ممارسات استدلالية مقبولة.

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

تحديات استراتيجيات التقييد

ينثر النقاد للردود القائمة على التقييد أسئلة مثل:

• هل التقييد المقترح تخصيصي ومفصَّل خصيصًا لتجنب المفارقة وحدها؟
• هل من الممكن تحديد حد مبدئي غير دائري بين القضايا المسموح بها والممنوعة؟
• كيف يُعالج التعامل مع العبارات المركبة التي تمزج بين مكونات معرفية وغير معرفية؟

تتعلق هذه المناقشات بالتفاصيل التقنية (أي الصيغ التي يشملها المخطط) وبالقضايا الفلسفية الأوسع حول طبيعة المناهضة للواقعية ونطاق دلالاتها.

12. المنطقات غير الكلاسيكية وحلول بديلة

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

المنطقات الحدسية والبنائية

يرى بعض الفلاسفة المتعاطفين مع الحدسية أو البنائية أنه إذا اعتمدنا منطقاً حدسياً (لا يقبل، على سبيل المثال، مبدأ الثالث المرفوع دون قيد)، فقد تفشل خطوات أساسية في البرهان. ومن الآثار المحتملة ما يلي:

• إضعاف أنماط الاستدلال التي تتيح الانتقال من ◇Kp إلى ادعاءات حول ما لا يمكن أن يكون عليه الحال.
• تغيير سلوك النفي، بحيث لا يحمل التناقض Kq ∧ K¬Kq الدلالة نفسها.

لا يزال النقاش قائماً حول ما إذا كان يمكن إعادة تكييف الصيغ المعتادة للحجة لتصمد في البيئات الحدسية، أم أنها تعتمد أساساً على الاستدلال الكلاسيكي.

المنطقات اللاتناقضية والمنطقات الملائمة

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

• قد لا يستلزم استحالة Kq ∧ K¬Kq أن يكون K(q ∧ ¬Kq) مستحيلاً بكل بساطة.
• قد لم يعد الاشتقاق الذي يفضي من تناقض K(q ∧ ¬Kq) إلى ¬◇K(q ∧ ¬Kq) صحيحاً.

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

إضعاف مبادئ الإغلاق المعرفي

يحافظ بعض المؤلفين على منطق القضايا الكلاسيكي، لكنهم يُضعفون الإغلاق المعرفي:

• ينكرون أن المعرفة يجب أن توزع دائماً على العطف، أو أن تكون مغلقة تحت كل النتائج المنطقية.
• يمكن لذلك أن يمنع الاستدلال من K(q ∧ ¬Kq) إلى Kq ∧ K¬Kq، أو من هناك إلى التناقض الصريح.

تُدعم هذه الآراء أحياناً بدوافع مستقلة تتعلق بمشكلات الكلية المنطقية في منطق المعرفة.

تقويم الاستراتيجيات غير الكلاسيكية

يرى مؤيدو هذه الاستراتيجيات أن:

• لدى المنطقات غير الكلاسيكية دوافع مستقلة بالفعل (مثل الغموض، والمفارقات، أو الرياضيات البنائية).
• وبعد اعتمادها، تؤثر تأثيراً طبيعياً في طريقة تقويمنا لحجة فيتش.

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

13. الآثار المترتبة على الواقعية والمناهضة للواقعية

تحوّلت مفارقة فيتش إلى محور تركيز في النقاشات حول الواقعية والمناهضة للواقعية فيما يخص الصدق والمعنى.

الضغط على تصورات الصدق المناهضة للواقعية

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

كل الحقائق قابلة للمعرفة

إلى

كل الحقائق معلومة

يبدو أنه يقوّض تطلعًا أساسيًا للمناهضة للواقعية: التوفيق بين تصور معرفي للصدق والفكرة الشائعة بأننا لسنا عالمين بكل شيء. وتشمل الردود:

• تقييد مبدأ القابلية للمعرفة بفئات معينة من القضايا.
• إعادة تفسير لفظ «قابل للمعرفة» بطرق غير معيارية.
• قبول شكل ما من العلم الشامل (لعامل مثالي، أو عند الحد النهائي للبحث).

يترتب على كل واحدة من هذه الخطوات نتائج تتعلق بمدى بقاء النظرية الناتجة مناهضةً للواقعية بقوة.

تأييد الحدوس الواقعية

يفسّر كثير من الواقعيين فيما يخص الصدق حجة فيتش بوصفها تأييدًا غير مباشر لوجهة النظر القائلة إن:

• يمكن للصدق أن يتجاوز ما هو قابل للمعرفة.
• توجد (أو يمكن أن توجد) حقائق غير قابلة للمعرفة.

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

• تصور للصدق على نمط المطابقة.
• فكرة أن بعض جوانب الواقع قد تظل إلى الأبد خارج المتناول المعرفي.

منظورات حد البحث والمراقب المثالي

يتبنى بعض الفلاسفة تصورات الصدق القائمة على حد البحث أو المراقب المثالي، أو يطورونها:

• الصدق هو ما سيُعلم عند الحد المثالي للبحث العقلاني.
• أو ما يعلمه عارف مثالي ما (ربما إلهي).

بالنسبة إلى هذه المنظورات، يمكن دمج الاستنتاج القائل إن كل الحقائق معلومة (من قبل المثالي المعني) في النظرية بدلًا من معاملته بوصفه مفارقًا. ثم تتركز النقاشات على:

• مدى كفاية هذه التصورات في التقاط المفاهيم المعتادة للصدق.
• كيفية توفيقها بين العلم المثالي الشامل والقيود المعرفية البشرية.

التوترات المستمرة

تُبرز المفارقة بذلك توترًا جوهريًا:

• بين ربط الصدق ربطًا وثيقًا بالقابلية للمعرفة (الدافع المناهض للواقعية)،
• وبين الاعتراف بالمعقولية الظاهرة للحقائق المجهولة أو غير القابلة للمعرفة (الدافع الواقعي).

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

14. تطبيقات في المنطق المعرفي والمنطق الشرطي

فضلاً عن دوره في النقاشات حول الصدق، أثّرت مفارقة فيتش في التطوير التقني وفي تطبيق المنطقين المعرفي والنمطي.

اختبار الأنظمة المعرفية

تُعدّ المفارقة معياراً مرجعياً للمنطقات المعرفية:

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

وقد أفضى ذلك إلى فحص صريح لما يلي:

• أيّ البديهيات (مثل التوزيع، والضرورة، والاستبطان السلبي) لازمة،
• وكيف تتفاعل مع مبادئ القابلية للمعرفة.

نمذجة القابلية للمعرفة والتحقق

استخدم المناطقة البنى المستوحاة من فيتش من أجل:

• التمييز بين المعرفة وعوامل التحقق أو الدليل.
• إدخال طرائق نمطية منفصلة لـ«القابل للتحقق» (Kv) و«يعلم» (K).
• استكشاف المنطقات الزمنية أو الديناميكية التي تُربط فيها القابلية للمعرفة بنقاط مستقبلية في الزمن، أو بتحديثات محتملة للمعلومات.

وتتصل هذه الأعمال بتطبيقات في نظرية المعرفة الصورية، وعلوم الحاسوب (مثل المنطق المعرفي الديناميكي)، ونظرية المعلومات.

المعرفة متعددة العوامل والموزّعة

في سياقات تعدد العوامل، تثير المفارقة أسئلة حول:

• ما إذا كان القول «كل الحقائق قابلة لأن يعرفها أحد ما» يؤدي إلى علم جمعي أو موزّع مطلق.
• كيف تتفاعل عوامل المعرفة الجماعية (مثل المعرفة المشتركة، والمعرفة الموزّعة) مع مبادئ القابلية للمعرفة.

وللأمر تطبيقات في:

• نظرية الألعاب،
• والتحقق من البروتوكولات،
• والأنظمة التي تملك فيها العوامل معلومات جزئية لكنها قابلة للدمج.

المتغيرات والتعميمات

طوّر الباحثون:

• محاكيات حسابية تربط القابلية للمعرفة بقابلية الإثبات (مستوحاة من غودل ومنطقات الإثبات النمطية).
• متغيرات زمنية تربط القابلية للمعرفة بالمعارف المستقبلية («سيُعرف أن p»).
• أطراً عامة للديناميكيات المعلوماتية، تقيّد فيها حجج من نوع فيتش الكيفية التي يمكن بها للعوامل أن تحدّث معتقداتها وتكتسب المعرفة مع الزمن.

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

15. النقاشات الراهنة والأسئلة المفتوحة

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

صياغة قابلية المعرفة ونطاقها

تظل هناك تساؤلات حول:

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

المنطق الملائم للمفاهيم المعرفية

يجري عمل متواصل حول:

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

تفسير المودالية والمثالية

تستمر النقاشات حول:

• القراءة الصحيحة للمودالية في عبارة «p قابلة للمعرفة».
• دور العوامل المثالية ومشروعيتها في المبادئ المعرفية.
• ما إذا كانت نتيجة الإحاطة الكلية لهذه العوامل المثالية إشكالية أم تافهة أم مُنيرة.

وضع الحقائق غير القابلة للمعرفة

سؤال آخر لم يُحسم هو الوضع الميتافيزيقي ونظري المعرفي للحقائق غير القابلة للمعرفة:

• هل توجد حجج مستقلة مقنعة تبين أن بعض الحقائق يجب أن تكون غير قابلة للمعرفة؟
• هل يمكن التوفيق بين هذه الادعاءات وطموحات العلم والبحث العقلاني؟
• كيف ينبغي صياغة عدم قابلية المعرفة صوريًا (مثلًا من حيث العوامل أو الموارد أو المودالية)؟

التكامل مع النظريات الأوسع

وأخيرًا، يستكشف الفلاسفة كيفية اندراج نتيجة فيتش ضمن:

• النظريات الشاملة للصدق (الانكماشية، والمطابقة، والتماسك، والبراغماتية، وغيرها)،
• تفسيرات الفهم والتبرير والدليل،
• والمجالات المتداخلة التخصصات مثل فلسفة العلم والرياضيات والدين.

لا يوجد إجماع على «حل» واحد للمفارقة. بل إنها تمثل قيدًا مستمرًا وميدانًا لاختبار المقاربات المتنافسة حول الصدق والمعرفة.

16. الأهمية التاريخية والإرث

تحوّلت مفارقة فيتش مع مرور الوقت من نتيجة شبه مغمورة في ورقة بحثية عام 1963 إلى نقطة مرجعية محورية في مجالات متعددة من الفلسفة والمنطق.

التأثير في فلسفة الحقيقة والمعنى

أسهمت المفارقة إسهامًا كبيرًا في تشكيل النقاشات حول:

• اللاواقعية الدلالية: بات من المعتاد اليوم أن يُسأل كيف تتعامل أي نظرية لاواقعية حول الحقيقة مع اشتقاق فيتش أو كيف تتجنبه.
• النظرية التحقّقية: يُنظر إلى النتيجة على نطاق واسع بوصفها تحديًا رئيسيًا للصياغات البسيطة لفكرة أن الحقيقة تكافئ قابلية التحقق.
• الآراء القائمة على حدّ البحث: صيغت كثير من التصورات للحقيقة عند الحدّ المثالي للبحث مع وعي صريح بمفارقة قابلية المعرفة.

أسهم في معالجة المفارقة عدد من المفكرين البارزين، مثل مايكل دامت وكريسبين رايت وغيرهما، في تطوير نظرياتهم الدلالية.

الدور في المنطق المعرفي والمنطق الموجِّه

في المنطق المعرفي، تعمل مفارقة فيتش بوصفها حالة دراسية نموذجية لـ:

• التفاعلات بين المؤثرات المعرفية والمؤثرات الموجِّهة.
• مشكلة العلم المنطقي اللامتناهي (الكلي العلم المنطقي).
• اختيار البديهيات التي تحكم المعرفة والإمكان.

وقد أثرت المفارقة أيضًا في أعمال منطق القابلية للبرهان ومجالات ذات صلة، فأوحت بنظائر تربط قابلية المعرفة بقابلية البرهان وبالنظريات الصورية للأدلة.

الأثر متعدد التخصصات

نوقشت المفارقة في:

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

الوضع في الأعمال المعاصرة

اليوم، مفارقة فيتش هي:

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