وجهات النظر الحديثة في النوع النظري للدلالات

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

وجهات النظر الحديثة في النوع النظري للدلالات

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

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

التطور التاريخي للنوع النظري للدلالات

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

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

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

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

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

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

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

وأدت نظرية النوع النظري للدلالات إلى تطوير عائلة من نظريات النوع المكثفة وتسمى نظريات النوع الحديثة، بما في ذلك نظريات النوع التنبؤية مثل نظرية النوع المكثف لمارتن لوف ونظريات النوع اللاإرادي مثل حساب التفاضل والتكامل والنظرية الموحدة للأنواع التابعة.

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

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

نظريات النوع النظري للدلالات كلغات أساسية في اللغة الرسمية

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

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

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

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

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

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

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

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

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