الدلالات النموذجية ودلالات مونتاج

تفسر دلالات مونتاج اللغة الطبيعية تفسيرًا نموذجيًا، باستخدام المنطق القصدي المكتوب (typed intensional logic) لتعيين المدلولات للتعبيرات بطريقة تركيبية بالكامل.

Definition

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

Scope

يغطي هذا الموضوع الجهاز الشكلي للدلالات النموذجية للغة الطبيعية: النماذج ذات مجالات الأفراد، والعوالم الممكنة، والأزمنة؛ والأنواع الدلالية وحساب التفاضل والتكامل اللامدا المكتوب (typed lambda calculus)؛ وتفسير التعبيرات كدوال على هذه المجالات. يركز على عمل مونتاج 'المعالجة الصحيحة للكمية في اللغة الإنجليزية العادية' (PTQ) والبرنامج الأوسع لمعالجة اللغة الإنجليزية بدقة المنطق الشكلي، بما في ذلك القصد والامتداد وتحليل العبارات الاسمية كمحددات كمية معممة.

Core questions

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

Key concepts

• عوالم ممكنة
• القصد مقابل الامتداد
• نوع دلالي
• حساب التفاضل والتكامل اللامدا المكتوب
• محدد كمي معمّم
• رسم خرائط متماثل بين التركيب والدلالة
• منطق قصدي

Key theories

المعالجة الصحيحة للتحديد الكمي (PTQ)

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

نظرية الأنواع والمنطق القصدي

تُعيّن التعبيرات لأنواع مبنية من أنواع أساسية (كيانات، قيم حقيقة) وربما عوالم/أزمنة؛ القصود هي دوال من عوالم ممكنة إلى امتدادات، تلتقط معنى السياقات الغامضة والنمطية.

History

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

Debates

قصود العوالم الممكنة ومشكلة الدقة

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

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

ما الفرق بين القصد والامتداد؟

امتداد التعبير هو مدلوله في عالم معين (مثل المجموعة الفعلية للكلاب)، بينما قصده هو الدالة التي تنتج امتدادًا لكل عالم ممكن (تقريبًا، المفهوم)، وهو ما يلزم لتفسير السياقات النمطية والغامضة.