سول كريبكي

1. مقدمة

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

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

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

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

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

2. الحياة والسياق التاريخي

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

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

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

تاريخيًا، يمتد مساره المهني عبر عدة مراحل من الفلسفة التحليلية:

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

3. التعليم والأعمال المنطقية المبكرة

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

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

المنشورات والنتائج المبكرة

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

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

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

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

4. تطور المنطق الموجّه ودلالات كريبكي

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

البنى الإطارية لكريبكي والنماذج

قدّم كريبكي بنى تُعرف اليوم ببنى كريبكي الإطارية ونماذج كريبكي:

تُفسَّر الضرورة (□) والإمكان (◇) بالنسبة إلى هذه البنى: □φ صادقة في عالم w إذا كانت φ صادقة في جميع العوالم التي يمكن الوصول إليها من w عبر R؛ وَ◇φ صادقة إذا كانت φ صادقة في عالم واحد على الأقل يمكن الوصول إليه.

أتاح هذا النهج لكريبكي أن يربط منطقات موجّهة بعينها بشروط بنيوية على علاقة إمكانية الوصول. فعلى سبيل المثال:

أتاحت هذه المطابقات إثبات مبرهنات تمام ومبرهنات مطابقة منظومية لطيف واسع من الأنساق الموجّهة.

الأهمية الفلسفية والتقنية

من الناحية التقنية، قدّمت دلالات كريبكي:

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

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

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

5. المسيرة الأكاديمية والمؤسسات

تطورت المسيرة الأكاديمية لكريبكي في معظمها داخل مؤسسات أمريكية النخبة، تخللتها تعيينات زائرة ومحاضرات متميزة في سلاسل محاضرات مرموقة.

المناصب المؤسسية

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

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

المحاضرات والدور العام بوصفه مثقفاً

تعززت أعمال كريبكي بفضل سلاسل محاضرات مدعوة، كثير منها أصبح لاحقاً من النصوص المحورية:

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

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

6. التسمية والضرورة: الإحالة والتعيين الجامد

يُعدّ كتاب «التسمية والضرورة» (Naming and Necessity) لكريبكه، المستند إلى محاضرات ألقاها في جامعة برينستون عام 1970 ونُشر عام 1980، علامةً فارقة في فلسفة اللغة. فهو يطوّر نقدًا للنظريات الوصفية للأسماء، ويصوغ مفهومي التعيين الجامد ونظرية الإحالة السببية التاريخية.

نقد الوصفية

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

• الاسم العلم مكافئ في المعنى لوصف محدد أو لمجموعة من الأوصاف.
• يحيل الاسم إلى شيء ما لأن ذلك الشيء يُشبع الوصف (أو الأوصاف) المرتبط به على نحو فريد.

اعترض كريبكه بعدة اعتراضات، منها:

هدفت هذه الحجج إلى إثبات أن المضمون الوصفي المرتبط باسم ما لا يحدد إحالته، وأنه ليس معناه.

المُعيّنات الجامدة

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

إذا كان شيء ما مُعيِّنًا جامدًا لشيء، فإنه يعيّن ذلك الشيء نفسه في كل عالم ممكن يوجد فيه ذلك الشيء، ولا يعيّن أبدًا أي شيء آخر.

ووفقًا له:

• الأسماء العلم العادية (مثل «أرسطو» و«هسبيروس») جامدة.
• كثير من الأوصاف المحددة (مثل «معلّم الإسكندر») غير جامدة، إذ تعيّن أفرادًا مختلفين في عوالم ممكنة مختلفة.

نظرية الإحالة السببية التاريخية

لتفسير كيفية اكتساب الأسماء لإحالتها، اقترح كريبكه تفسيرًا سببيًا تاريخيًا:

1. تُثبِّت «تعميدة» أولية الإحالة، غالبًا بالإشارة المباشرة.
2. ينتقل الاسم عبر سلسلة سببية من التواصل.
3. يقصد المستخدمون اللاحقون استعمال الاسم بالإحالة نفسها التي قصدها المتكلمون السابقون في السلسلة.

يتناقض هذا مع الوصفية، إذ يجعل الإحالة تعتمد على عوامل تاريخية واجتماعية لا على المعتقدات الوصفية الفردية.

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

7. الميتافيزيقا والبَعْدي الضروري

استنادًا إلى نظريته في التسمية الجامدة، اقترح كripke إعادة تشكيل للعلاقات بين الضرورة والإمكان العرضي من جهة، والمعرفة القَبْلية والمعرفة البَعْدية من جهة أخرى. وفي كتابه «التسمية والضرورة» زعم أن هناك حقائق ضرورية (صادقة في جميع العوالم الممكنة) وبَعْدية في الوقت نفسه (لا تُعرف إلا بوسائل تجريبية)، وحقائق عرضية قَبْلية.

البَعْدي الضروري

جرت العادة في الآراء التقليدية على ربط الضرورة بإمكان المعرفة القَبْلية. وقد تحدى كripke هذا الرأي بدراسة قضايا الهوية التي تتضمن مُشيرات جامدة، مثل:

• «هيسبيروس هو فوسفوروس» (نجمة المساء هي نجمة الصباح).
• «الماء هو H₂O.»
• «الحرارة حركة جزيئية.»

ويمكن تلخيص سلسلة استدلاله على النحو الآتي:

وقد كتب قولته الشهيرة:

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

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

القَبْلي العرضي

في المقابل، حدد كripke حالات تبدو قَبْلية ومع ذلك عرضية، مثل التعريفات الاصطلاحية أو الأوصاف المثبتة للإحالة:

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

أما القضايا التي تربط هذه الاصطلاحات بالعالم (مثل «طول قضيب المتر المعياري في الزمن t₀ هو متر واحد») فيمكن معرفتها قَبْليًا بمجرد وضع الاصطلاح، لكنها لا تعبر عن حقائق ضرورية ميتافيزيقيًا.

ردود الفعل والبدائل

لقد نوقشت تمييزات كripke على نطاق واسع:

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

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

8. فتغنشتاين، والقواعد، واللغة الخاصة

في كتاب فتغنشتاين عن القواعد واللغة الخاصة (Wittgenstein on Rules and Private Language، 1982)، المستند إلى محاضراته في «محاضرات لوك» عام 1972، يقدّم كريبكي (Saul Kripke) تأويلاً مثيراً للجدل لفلسفة لودفيغ فتغنشتاين المتأخرة، ولا سيما النقاش حول اتباع القاعدة في «تحقيقات فلسفية» (Philosophical Investigations). وقد عُرف هذا التأويل باسم «كريبكنشتاين».

مفارقة اتباع القاعدة

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

توجد مشكلة فلسفية أساسية حول اتباع القاعدة: لا يمكن لأي مسار من الفعل أن يتحدد بقاعدة، لأن كل مسار من الفعل يمكن أن يُبيَّن على أنه يتوافق مع القاعدة.

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

الحل الشكّي والجماعة

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

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

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

الخلافات التأويلية

تأويل كريبكي أثار نقاشاً واسعاً:

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

9. فلسفة العقل ومناهضة الاختزالية

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

ضد نظرية الهوية بين العقل والدماغ

شكّلت الفيزيائية في منتصف القرن العشرين غالباً صورة نظريات الهوية النوعية، التي تؤكد أن الحالات العقلية (مثل الألم) متطابقة مع الحالات الفيزيائية (مثل إطلاق الألياف C). وينطلق نقد كريبكي من جهاز التعيين الصارم والهوية البَعْدية الضرورية.

تتضمن الادعاءات الرئيسية ما يلي:

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

من حقيقة أن شيئاً ما مترابط مع شيء آخر في الواقع، لا يلزم أن يكون متطابقاً معه بالضرورة.

الفجوة التفسيرية

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

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

تتباين ردود الفعل:

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

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

10. المنطق والحقيقة ونظرية المجموعات

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

نظرية الحقيقة

في «مخطط لنظرية في الحقيقة» (1975)، اقترح كripke نظرية دلالية للغات تتضمّن محمولَ الصدق الخاص بها، متناولًا مفارقة الكذّاب وغيرها من المفارقات الدلالية ذات الصلة.

تشمل العناصر الأساسية ما يلي:

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

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

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

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

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

التفاعل بين المنطق والفلسفة

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

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

11. المنهج والأسلوب والأعمال غير المنشورة

يتميز منهج كريبكي الفلسفي وأسلوبه بسمات مميزة، وقد شكّلا معاً طريقة استقبال أفكاره وطريقة تداولها قبل نشرها.

المنهج والأسلوب الحجاجي

يُبرز الشراح عادةً عدة سمات:

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

المحاضرات والملاحظات والمخطوطات المتداولة

نشر كريبكي قدراً قليلاً من الكتب قياساً إلى شهرته. وكانت كثير من أفكاره الأكثر تأثيراً معروفةً في البداية من خلال:

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

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

المنشورات بعد الوفاة والمحررة

مع مرور الوقت، جرى تحرير بعض هذه المادة ونشرها:

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

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

12. ردود الفعل النقدية والنقاشات

أثار عمل كripke تعليقات واسعة، بعضها مادح وبعضها ناقد، عبر فروع متعددة من الفلسفة.

استقبال كتاب التسمية والضرورة

يرى كثير من الفلاسفة أن كتاب التسمية والضرورة (Naming and Necessity) كان تحويلياً لفلسفة اللغة والميتافيزيقا. ويعزو المؤيدون إليه ما يلي:

• إزاحة النظريات الوصفية للأسماء.
• إحياء الاهتمام بالضرورة الميتافيزيقية والحديث الجوهراني.
• توفير أدوات لدلالات الأنواع الطبيعية والآراء الخارجانية في المعنى.

غير أن النقاد يثيرون عدة مخاوف:

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

في الميتافيزيقا، كان الضروري البَعْدي عند كripke مؤثراً ومثيراً للجدل في آن. وتسعى أطر بديلة، كالدلالة ثنائية البعد، إلى الحفاظ على رؤاه مع تفسيرها تفسيراً مختلفاً. وما زالت النقاشات قائمة حول مكانة الماهية، وطبيعة الأنواع الطبيعية، ومشروعية الواقعية الموجهة القوية.

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

تفسير فتغنشتاين

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

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

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

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

13. التأثير في الفلسفة التحليلية وما بعدها

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

داخل الفلسفة التحليلية

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

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

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

في نظرية المعرفة وفلسفة العقل، أصبحت تمييزاته بين الموداليّة المعرفية والموداليّة الميتافيزيقية، وحججه حول الوعي، محورية في النقاشات حول المعرفة القَبْلية، وقابلية التصور، وحدود الاختزال.

وقد أثّر تفسيره لفتجنشتاين أيضاً في فلسفة اللغة وفلسفة الفعل، ولا سيما في الأعمال المتعلقة بالمعيارية، والمعايير الجماعية، وميتافيزيقا القواعد.

التأثير خارج الفلسفة

وجدت دلالات كريبكه تطبيقات واسعة في علوم الحاسوب والذكاء الاصطناعي والتحقق الشكلي. وتُستخدم المنطقيات الموداليّة القائمة على البنى الكريبكية للاستدلال حول:

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

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

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

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

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

موقعه في تاريخ الفلسفة التحليلية

يضع المؤرخون كريبكي غالبًا بين الشخصيات المركزية في «الجيل الثاني» من الفلاسفة التحليليين بعد فريجه وراسل وفتجنشتاين المبكر. ويُنظر إلى عمله بوصفه يمثّل انتقالًا:

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

الإسهامات الباقية

تشمل إسهامات كريبكي الباقية:

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

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

التقييمات والنقاش المستمر

تتباين تقييمات الأهمية العامة لكريبكي:

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

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