متناقضة القابلية للمعرفة

1. مقدمة

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

يعالج الفلاسفة هذه المسألة بوصفها مفارقةً، لأن كل مكوّن منها يبدو مقبولاً عند أخذه على حدة:

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

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

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

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

يُنسب البرهان المعتمد لهذه المفارقة عادةً إلى فريدريك ب. فيتش (Frederic B. Fitch)، الذي قدّم النتيجة الشكلية الأساسية عام 1963 في مقالة حول مفاهيم القيمة:

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

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

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

يلخّص الجدول التالي أهم النسب:

رغم أنه جرى البحث في الأسبقية التاريخية الدقيقة للفكرة الأساسية، فثمة اتفاق واسع على أن مقالة فيتش عام 1963 قدّمت البرهان الشكلي الذي تقوم عليه المفارقة المعروفة اليوم بمفارقة قابلية المعرفة.

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

ظهرت نتيجة فيتش ضمن الفلسفة التحليلية في منتصف القرن العشرين، في ظل تطورات سريعة في المنطق الموجّه والمنطق المعرفي، واستمرار النقاش حول إرث الوضعية المنطقية والتحقّقية.

السياق المنطقي والتقني

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

السياق الدلالي والمعرفي

فلسفيًا، تميزت تلك الفترة بما يلي:

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

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

التلقي اللاحق

لم يلقَ برهان فيتش اهتمامًا فلسفيًا كبيرًا عند نشره لأول مرة. وقد برزت أهميته الأوسع عندما:

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

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

4. صياغة مبدأ القابلية للمعرفة

المبدأ المركزي محل البحث في مفارقة القابلية للمعرفة هو مبدأ القابلية للمعرفة (KP). وفي صيغته الصورية الأكثر شيوعًا، يُصاغ على النحو الآتي:

KP: ∀p (p → ◊Kp)

يقول هذا المبدأ بلغة غير صورية: لكل قضية p، إذا كانت p صادقة، فمن الممكن أن تُعرف p. وفي ذلك، K مؤثر معرفي (بمعنى «من المعلوم أن»)، و◊ مؤثر جهوي (بمعنى «من الممكن أن»).

الدوافع والقراءات المقصودة

يُبرَّر مبدأ القابلية للمعرفة عادةً بطريقتين مختلفتين:

• القراءة المعرفية المتواضعة: لا توجد صدقيات تقع خارج متناول المعرفة تمامًا؛ فأي صدق يمكن أن يعرفه عارف مثالي مناسب في ظل شروط ملائمة.
• القراءة المناهضة للواقعية/التحققية: يرتبط الصدق ارتباطًا جوهريًا بإمكان التحقق؛ فأن تكون القضية صادقة يعني تمامًا (أو يستلزم) أن تكون قابلة للمعرفة من حيث المبدأ.

يُشدِّد مؤلفون مختلفون على تفسيرات متباينة للمؤثر «◊»:

تكتسب هذه التفسيرات أهميتها لأن قوة المفارقة تتوقف على مدى تطابق لفظ «قابل للمعرفة» في KP مع ما تقصده النظريات المختلفة في الصدق أو المعرفة.

الصياغات الشاملة مقابل الصياغات المقيّدة

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

• لا يُدّعى أن القضايا القابلة للتقرير وحدها قابلة للمعرفة.
• لا تشمل التغطية إلا قضايا من مجالات معينة (كالرياضيات، وعبارات الملاحظة) دون غيرها.

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

5. الصياغة الرسمية لحجة فيتش

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

التدوين الأساسي

• Kp: يُعلم فعلاً أن p
• ◊p: من الممكن أن p
• p، q، r: قضايا اعتباطية
• KP: ∀p (p → ◊Kp)

الاشتقاق الأساسي

يتبع أحد العروض الصورية الشائعة الاستخدام الخطوات التالية:

1. نفترض KP: ∀p (p → ◊Kp).
2. نفترض، لأجل الاختزال إلى المحال، أن هناك حقيقةً مجهولةً ما: ∃p (p ∧ ¬Kp).
3. لتكن q بحيث يكون q ∧ ¬Kq صادقاً. نعرّف r := (q ∧ ¬Kq).
4. من (2–3)، تكون r صادقة: r.
5. بواسطة KP، نستنتج من r أن ◊K(r).
6. نفترض جدلاً أن ◊K(r). إذن توجد حالة ممكنة يتحقق فيها K(r).
7. في تلك الحالة، يكون K(r) هو K(q ∧ ¬Kq). باستخدام توزيع K على العطف، نستنتج Kq ∧ K¬Kq.
8. بواسطة خاصية الإفادة للمعرفة، نستنتج من Kq أن q، ونستنتج من K¬Kq أن ¬Kq.
9. وبذلك، يتحقق في تلك الحالة الممكنة كلٌّ من Kq و¬Kq، فينشأ تناقض.
10. وعليه، فإن K(r) مستحيلة، أي ¬◊K(r).
11. لكن KP مع r أعطى ◊K(r)، فلدينا إذن كلٌّ من ◊K(r) و¬◊K(r)، وهذا تناقض.

من هنا، فإن الاستنتاج القياسي هو أن افتراض وجود حقيقة مجهولة (الخطوة 2) لا يتسق مع KP مع المنطق الخلفي. وهكذا، بافتراض KP، لا يمكن للمرء أن يؤكد بتماسك وجود حقائق مجهولة، ويلزم عن ذلك أن كل حقيقة يجب أن تكون معلومة.

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

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

البنية العامة

يتخذ الاستدلال شكل الرد إلى الخلف (الاختزال إلى المحال):

• اجمع بين مبدأ القابلية للمعرفة ووجود حقيقة واحدة على الأقل غير معروفة.
• أظهر أن هذا يفضي إلى تناقض بالنظر إلى القواعد المنطقية التي تحكم K و◊.
• استنتج أن مبدأ القابلية للمعرفة يستبعد إمكان وجود أي حقيقة غير معروفة.

تتمثل الخطوة المحورية في بناء قضية تقول، فعليًا، «توجد حقيقة بعينها غير معروفة»، ثم التساؤل عما سيحدث لو كانت تلك القضية قابلة للمعرفة.

الافتراضات المنطقية الأساسية

تُبرز العروض الشائعة الافتراضات التالية:

إن الطبيعة الإحالية الذاتية للقضية المبنية r = (q ∧ ¬Kq) حاسمة، إذ تُدرج شرطًا معرفيًا داخل حقيقة تخضع هي نفسها لمبدأ القابلية للمعرفة.

حالة الافتراضات

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

7. الدور في الواقعية مقابل مناهضة الواقعية

تحتل مفارقة القابلية للمعرفة مكانة مركزية في النقاشات بين الواقعيين ومناهضي الواقعية بشأن الصدق.

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

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

الالتزامات الواقعية

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

كيف تتدخل المفارقة

تبدو المفارقة وكأنها تضغط على الأطروحات الكلية لمناهضة الواقعية:

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

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

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

8. الصياغات والتنويعات

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

الصياغات النحوية والدلالية

تعمل بعض إعادات البناء أساسًا على المستوى النحوي (أنظمة البراهين)، بينما تعمل أخرى على المستوى الدلالي (العوالم الممكنة أو نماذج مماثلة):

• في السياقات البرهانية النظرية، يُقدَّم الاشتقاق بوصفه متتابعة من الاستدلالات في نظام الاستنتاج الطبيعي أو حساب المتتابعات للمنطق المعرفي.
• في السياقات النظرية النموذجية، تُصاغ المفارقة بدلالة خصائص علاقات الإمكان وشروط الصدق الخاصة بـ K و◊.

البدائل من حيث المؤثرات والمفاهيم

يُستخدم مدى واسع من المؤثرات بدلًا من K أو إلى جانبه:

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

المتغيرات الكمية وتعدد المجالات

تختلف المتغيرات أيضًا في طريقة معالجتها للمكممات والمجالات:

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

الصياغات المفهومية

وفضلًا عن التغييرات التقنية، توجد صياغات مفهومية تستبدل «القابلية للمعرفة» بما يلي:

• «القبول العقلاني في نهاية البحث»
• «تحديد شروط صدق القضية»
• «توافر إجراء للتحقق»

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

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

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

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

الاعتراضات على نطاق مفارقة القابلية للمعرفة

يتجه أحد الانتقادات المؤثرة إلى التكميم غير المقيد في مفارقة القابلية للمعرفة:

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

الاعتراضات على تفسير الإمكان

تتعلق مجموعة أخرى من الاعتراضات بتوظيف المؤثر الإمكاني ◊ توظيفاً بسيطاً:

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

الاعتراضات على المنطق المعرفي

يركز بعض الفلاسفة على القواعد الصورية التي تحكم المؤثر K:

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

الاعتراضات على مقدمة الحقيقة غير المعلومة

ينتقد اتجاه أكثر جذرية الافتراض القائل بوجود حقائق غير معلومة:

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

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

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

يسعى الفلاسفة المناهضون للواقعية، ولا سيما المتأثرون بدامِت والتقاليد التحقّقية، إلى تطوير عدة استراتيجيات للتوفيق بين آرائهم ومفارقة القابلية للمعرفة، أو لبيان أن المفارقة لا تهدّد مواقفهم تهديداً حقيقياً.

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

يقبل بعض المناهضين للواقعية صيغةً من مبدأ القابلية للمعرفة (KP) لكنهم يقيّدون نطاقه:

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

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

إعادة تفسير القابلية للمعرفة

يجادل آخرون من المناهضين للواقعية بأن المؤثّر الحصري في المبدأ ينبغي أن يعبّر عن القابلية للتحقّق المثالية، لا عن الإمكان الميتافيزيقي العام. وقد يربطون القابلية للمعرفة بـ:

• الاتجاه المتواصل للبحث نحو التقارب النهائي،
• وجود برهان بنّاء،
• أو توفّر مسوّغ قابل للتعرّف عليه علنياً.

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

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

رد إضافي يتمثل في إعادة النظر في الافتراضات المتعلقة بالمعرفة ذاتها:

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

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

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

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

11. المقاربات غير الكلاسيكية والمقيِّدة

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

المنطقات غير الكلاسيكية

تُضعف عدةُ مقاربات المنطقَ الكامن وراء برهان فيتش أو تُغيّره:

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

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

المُشغِّلات المعرفية المقيَّدة

تعمل فئةٌ أخرى من الاستراتيجيات ضمن أطر كلاسيكية في معظمها، لكنها تعدّل سلوك المُشغِّل المعرفي K أو نطاقه:

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

قيود المجال واللغة

تستهدف استراتيجيات التقييد أيضاً لغةَ التكميم ومجاله:

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

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

12. الآثار على المنطق المعرفي

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

تمحيص المبادئ المعيارية

دفعت المفارقة المناطقة إلى إعادة فحص افتراضات مألوفة بشأن K:

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

لغات معرفية أغنى

للتعامل مع الإحالة الذاتية والادعاءات الميتامعرفية، تُدخل بعض المقاربات:

• مؤثرات معرفية متعددة (مثلاً لوكلاء مختلفين أو مستويات مختلفة أو تمثيلات مثالية).
• تمييزات بين المعرفة الفعلية، والقابلية للمعرفة العملية، والقابلية للمعرفة المثالية الأكثر تجريداً.

تهدف هذه التوسعات إلى احترام التمييزات المعرفية الحدسية التي لا يستطيع مؤثر K البسيط في الأنظمة الأساسية أن يلتقطها.

التفاعل مع الضرورة والتسوير

تُبرز المفارقة أهمية كيفية تفاعل المؤثرات الموجهة والمعرفية مع المسورات:

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

الأثر في البديهيات المعرفية

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

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

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

13. الروابط بالمفارقات الأخرى

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

مفارقات الكذّاب والمفارقات الدلالية

ثمة أوجه شبه ملحوظة بمفارقة الكذّاب («هذه الجملة كاذبة») وغيرها من الألغاز الدلالية ذات الصلة:

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

مفارقات العلم المطلق والعلم السابق

ترتبط نتيجة العلم المطلق بمفارقة فيتش بنقاشات حول:

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

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

مفارقات المودالية ونظرية المجموعات

وقد رُبطت المفارقة أيضًا بـ:

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

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

14. المناقشات المعاصرة والأسئلة المفتوحة

تدور المناقشات الراهنة حول مفارقة القابلية للمعرفة حول قضايا تقنية وفلسفية في آنٍ معًا، وكثير منها لم يُحسم بعد.

وضع مبدأ القابلية للمعرفة

يتمثل أحد الأسئلة المحورية في كيفية الإبقاء على مبدأ القابلية للمعرفة (KP)، إن كان ثمة إبقاء عليه أصلًا:

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

الإطار الموديالي والمعرفي الملائم

لا يوجد إجماع على أفضل إطار صوري لنمذجة القابلية للمعرفة:

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

دور المنطق غير الكلاسيكي

لا يزال جدوى المقاربات غير الكلاسيكية محل جدل:

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

الدلالات الميتافيزيقية والدلالية

على المستوى العام الأوسع، تواصل المفارقة إثارة أسئلة حول:

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

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

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

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

الأثر في فلسفة الحقيقة

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

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

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

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

في المنطق المعرفي، دفعت المفارقة إلى:

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

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

الأثر عبر المجالات الفرعية

يمتدّ إرث المفارقة إلى:

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

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