هانس كامب: المنطق الكامن في الحديث العادي

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

تيكسل، ليدن، أمستردام

وُلد يوهان أنتوني ويليم كامب (Johan Anthony Willem Kamp) في 5 سبتمبر 1940 في دين بورغ (Den Burg) على جزيرة تيكسل (Texel)، وهي الجزيرة الهولندية الواقعة في قمة ساحل شمال هولندا. التحق بمدرسة مورميليوس جيمنازيوم (Murmellius Gymnasium) في ألكمار (Alkmaar) من 1952 إلى 1958 ثم إلى جامعة ليدن (University of Leiden)، حيث درس الفيزياء والرياضيات من 1958 إلى 1961. ما حدث بعد ذلك حدد نمط مسيرته المهنية: لقد أصبح مهووساً بالمنطق، وانتقل إلى جامعة أمستردام (University of Amsterdam) من 1961 إلى 1965 للحصول على درجة الدكتوراه (doctorandus) في المنطق وأسس الرياضيات وفلسفة العلوم التجريبية. وقد وصف إي. دبليو. بيث (E. W. Beth)، من مدرسة أمستردام، بأنه أحد أقوى ثلاثة تأثيرات على تفكيره.

طالب مونتاج

في عام 1965 ذهب إلى جامعة كاليفورنيا في لوس أنجلوس (UCLA)، وكان هذا الاختيار حاسماً. كان مشرفه ريتشارد مونتاج (Richard Montague)، الذي كان يقوم حينها ببناء البرنامج الذي يعامل اللغة الطبيعية كلغة صورية قابلة لنفس المعالجة النموذجية النظرية تماماً مثل لغات المنطق. ضمت لجنة أطروحته أيضاً تشن تشونغ تشانغ (Chen Chung Chang)، وديفيد كابلان (David Kaplan)، ويانيس موسكوفاكيس (Yiannis Moschovakis)، وجوردان هوارد سوبيل (Jordan Howard Sobel) - وهي مجموعة مركزة من علماء المنطق كما يمكن لأي طالب أن يجلس أمامها. حصل على الدكتوراه في الفلسفة عام 1968 بأطروحة عن منطق الزمن ونظرية الترتيب الخطي (Tense Logic and the Theory of Linear Order)، مثبتاً نتيجة اكتمال وظيفي: تكفي العوامل الزمنية منذ (since) وحتى (until) لتعريف جميع العوامل الأخرى عبر الترتيبات الخطية المستمرة. إلى جانب مونتاج وبيث، يعزو الفضل إلى آرثر بريور (Arthur Prior)، مؤسس منطق الزمن الحديث، كتأثير تكويني - في كل حالة بسبب الدقة المنهجية والنزاهة الفكرية بدلاً من العقيدة.

الآن

ورقته البحثية عام 1971 بعنوان "الخصائص الصورية لـ 'الآن'" (Formal Properties of 'Now') هي كلاسيكية صغيرة. كلمة الآن (now) هي مصدر إزعاج للدلالات النموذجية النظرية القياسية: يعتمد مرجعها على لحظة النطق، ولكن يمكن أيضاً تضمينها داخل عوامل تغير وقت التقييم، وينفصل المؤشران. أصبح حل كامب - الفهرسة المزدوجة، وتقييم التعبيرات مقابل إحداثيين زمنيين في وقت واحد - معدات قياسية في دلالات المؤشرات والنمطية.

كان ينتقل باستمرار بحلول ذلك الوقت: مدرس في جامعة كاليفورنيا في لوس أنجلوس عام 1968، أستاذ مساعد في كورنيل من 1968 إلى 1970، أمستردام في 1970-1971، ثم ثلاثة عشر عاماً من التدريس في كلية لندن الجامعية (University College London) وكلية بيدفورد (Bedford College) من 1971 إلى 1984، مع منصب أستاذ في جامعة ماساتشوستس، أمهرست (University of Massachusetts, Amherst) في 1983 وآخر في جامعة تكساس في أوستن (University of Texas at Austin) من 1984 إلى 1988.

التحول إلى الخطاب

ظهرت "نظرية الحقيقة والتمثيل الدلالي" (A Theory of Truth and Semantic Representation) في عام 1981 وقدمت نظرية تمثيل الخطاب (Discourse Representation Theory, DRT). خطوتها المركزية هي العكس. تخصص دلالات مونتاج شروط الحقيقة جملة بجملة؛ بينما تضع DRT مستوى من التمثيل - بنية تمثيل الخطاب - والتي يبنيها السامع تدريجياً مع تقدم النص، مقدماً علامات للأشياء التي يتم الحديث عنها وشروطاً عليها، والتي يتم تفسيرها بعد ذلك مقابل نموذج. تصبح الإحالة عبر حدود الجمل، التي أحرجت الدلالات التركيبية لعقود، طبيعية: الضمير في الجملة الثانية يلتقط علامة وضعتها الجملة الأولى على اللوحة.

النتيجة هي أن المعنى يصبح ديناميكياً. لم تعد الجملة حزمة ثابتة من شروط الحقيقة بل تعليمات لتحديث التمثيل، والسياق ليس خلفية ثابتة بل شيئاً يبنيه الخطاب نفسه باستمرار. نشر كامب "مفارقة الكومة" (The Paradox of the Heap) في نفس العام، حول الغموض ومفارقة السوريتس - تشير الورقتان البحثيتان لعام 1981 معاً إلى أنه عالم منطق ينجذب بدقة إلى الأماكن التي تكون فيها المعالجة الصورية أصعب.

من الخطاب إلى المنطق

انتقل إلى معهد معالجة اللغات الطبيعية في جامعة شتوتغارت (University of Stuttgart) في عام 1988 كأستاذ للمنطق الصوري وفلسفة اللغة، وبقي هناك. في عام 1993 نشر هو وأوفه ريلي (Uwe Reyle) كتاب من الخطاب إلى المنطق (From Discourse to Logic)، وهو المعالجة الكاملة التي حولت DRT من ورقة بحثية مذهلة إلى نظام عمل بتغطية كافية لكي يتمكن اللغويون الحسابيون من تنفيذه. ومن حوله أدار سلسلة من المشاريع التعاونية الكبيرة - مبادرة Dyana الأوروبية من 1989 إلى 1995، ومركز الأبحاث الألماني الخاص SFB 340 حول أساليب اللغويات الحاسوبية من 1989 إلى 2000، وFraCaS من 1995 إلى 1997، ومجموعة منطق DFG من 2000 إلى 2002 - وهي الطريقة التي يكتسب بها الإطار جيلاً من المستخدمين.

استمر البحث في التوسع: المرجع الزمني، الافتراض المسبق، الاعتماد على السياق، النماذج الأولية والتركيبية (مع باربرا بارتي (Barbara Partee)، 1995)، واللغة غير الحرفية - الاستعارة والمجاز المرسل - وهي منطقة غير عادية بالنسبة لعالم دلالات صوري. نُشرت محاضراته في جان نيكود (Jean Nicod Lectures) من قبل مطبعة معهد ماساتشوستس للتكنولوجيا (MIT Press) تحت عنوان التفكير والتحدث عن الأشياء (Thinking and Talking about Things)، وظهر مجلد من كتاباته المختارة بعنوان المعنى وديناميكيات التفسير (Meaning and the Dynamics of Interpretation).

لماذا يُدعى هانس عبقرياً

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

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

تستحق القضية المضادة أن تُذكر بوضوح. مُنحت جائزة رولف شوك (Rolf Schock Prize) لعام 2024 لكامب بالاشتراك مع إيرين هايم (Irene Heim)، وتتم مشاركة الجوائز عندما يصل أكثر من شخص - كان التحول الديناميكي في الدلالات في الأجواء حوالي عام 1980، وDRT هو حل واحد من بين العديد بدلاً من كونه الحل الوحيد الممكن. كما أنه ثقيل من حيث التدوين، وقد استحوذت أطر عمل ديناميكية منافسة على حصة في السوق. وسمعة كامب داخلية تماماً لتخصص تقني: ليس لديه ملف تعريف عام، ولا كتاب شهير، ولا فكرة هربت إلى الثقافة العامة. داخل الدلالات الصورية، مكانته قريبة من كونها غير قابلة للتشكيك. خارجها، لم يسمع به أحد تقريباً.

الإرث

تراكمت الأوسمة باطراد: جائزة جان نيكود (Jean Nicod Prize) في 1996، عضوية مراسلة في الأكاديمية الملكية الهولندية للفنون والعلوم (Royal Netherlands Academy of Arts and Sciences) في 1997، دكتوراه فخرية، زمالة الأكاديمية الأمريكية للفنون والعلوم (American Academy of Arts and Sciences) في 2015، وجائزة رولف شوك في المنطق والفلسفة في 2024. الإرث الأعمق هو أن الأسئلة غيرت شكلها. قبل DRT، كانت الدلالات تسأل عما تعنيه الجملة؛ بعد ذلك، السؤال القياسي هو ما تفعله الجملة للسياق - كيف تحدث حالة تفسير مستمر. كل نظام يتتبع مراجع الخطاب عبر الجمل، في اللغويات النظرية أو في معالجة اللغة الحاسوبية، يعمل في تقليد يبدأ بورقة كتبها كامب في 1981 حول كيف نعرف من هو "هو".