الدلالات التركيبية والرسمية
تقدم الدلالات الرسمية وصفًا دقيقًا ومشروطًا بالحقيقة للمعنى، حيث يُبنى معنى التعبير المعقد تركيبيًا من معاني أجزائه.
Definition
الدلالات التركيبية والرسمية هي دراسة المعنى اللغوي باستخدام المنطق الرسمي ونظرية النماذج، وتتركز على التفسير التركيبي، المشروط بالحقيقة للتعبيرات.
Scope
يغطي هذا المجال الدراسة الرسمية، القائمة على النماذج، لمعنى اللغة الطبيعية. ويشمل مبدأ التركيبية، واستخدام الأدوات المنطقية والنظرية للمجموعات لتعيين المدلولات للتعبيرات، وبرنامج مونتاج لمعالجة اللغة الطبيعية بدقة المنطق الرسمي، وتحليل التكميم والنطاق، ودلالات الزمن، والجانب، والجهة. الفكرة التوجيهية هي أن معرفة معنى الجملة تعني معرفة شروط حقيقتها، وأن هذه الشروط تُحسب بشكل منهجي من معاني مكوناتها وطريقة تركيبها.
Sub-topics
Core questions
- كيف يتحدد معنى التعبير المعقد من خلال معاني أجزائه وتركيبها النحوي؟
- كيف يمكن تمثيل معاني تعبيرات اللغة الطبيعية في نظام رسمي قائم على النماذج؟
- كيف يجب تحليل المحددات، والنطاق، والربط؟
- كيف ينبغي نمذجة الظواهر المعتمدة على السياق والظواهر القصدية (الزمن، الجهة)؟
Key concepts
- مبدأ التركيبية
- شروط الحقيقة
- المدلول والنوع الدلالي
- حساب التفاضل والتكامل لامدا
- النموذج ووظيفة التفسير
- القصد والامتداد
- التطبيق الوظيفي
Key theories
- الدلالات المشروطة بالحقيقة، القائمة على النماذج
- يُحدد معنى الجملة الخبرية بشروط حقيقتها، المحسوبة بالنسبة لنموذج يفسر التعبيرات الأساسية، باتباع التقليد الفريجي والتارسكي.
- نحو مونتاج
- يمكن التعامل مع اللغة الطبيعية كلغة رسمية: نحو مقترن بدلالات قائمة على النماذج عبر تشاكل (homomorphism)، باستخدام حساب التفاضل والتكامل لامدا المكتوب ومنطق قصدي لتفسير التعبيرات تركيبيًا.
- التفسير التركيبي الموجه بالنوع
- تُعيّن التعبيرات أنواعًا دلالية وتُجمع بقواعد عامة مثل التطبيق الوظيفي، بحيث يكون التفسير مدفوعًا بأنواع المكونات، كما هو منظم في إطار هايم وكراتزر.
History
تنحدر الدلالات الرسمية من عمل فريجه حول الحس والمرجع وتعريف تارسكي للحقيقة للغات الرسمية. كانت الخطوة الحاسمة هي ادعاء مونتاج في أوائل السبعينيات بأنه لا يوجد فرق جوهري بين اللغات الطبيعية والرسمية، وأن اللغة الإنجليزية يمكن أن تُمنح دلالات قائمة على النماذج. لعبت باربرا بارتي دورًا مركزيًا في نقل برنامج مونتاج إلى اللغويات، وأصبح كتاب هايم وكراتزر لاحقًا معيارًا للدلالات التركيبية الموجهة بالنوع في النحو التوليدي.
Debates
- التفسير المباشر مقابل التفسير غير المباشر (التمثيلي)
- ما إذا كان ينبغي تفسير اللغة الطبيعية مباشرة في نموذج، كما في برنامج مونتاج، أو عن طريق الترجمة إلى مستوى من الشكل المنطقي / التمثيل العقلي.
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- ماذا يعني القول بأن الدلالات مشروطة بالحقيقة؟
- يعني ذلك أن تحديد معنى الجملة الخبرية هو تحديد الشروط التي بموجبها ستكون صحيحة؛ معرفة المعنى هي معرفة كيف يجب أن يكون العالم لكي تكون الجملة صحيحة.