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

نظرة عامة
---------

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

### أهدافه ونطاقه

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

### أنواع علم الدلالة المنهجي

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

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

### مراجع

1. ↑  *The handbook of linguistics*. Oxford: Blackwell. 2003. ISBN:1-4051-0252-7. OCLC:50654658. مؤرشف من الأصل في 2019-12-10.
2. ↑  Zucchi، Sandro (2012-11). "Formal Semantics of Sign Languages". *Language and Linguistics Compass*. ج. 6 ع. 11: 719–734. DOI:10.1002/lnc3.348. ISSN:1749-818X. مؤرشف من الأصل في 2019-12-10. `{{استشهاد بدورية محكمة}}`: تحقق من التاريخ في: `|تاريخ=` (مساعدة)
3. ↑  *Categorial investigations : logical and linguistic aspects of the Lambek calculus*. Dordrecht, Holland: Foris Publications. 1988. ISBN:90-6765-387-X. OCLC:20608436. مؤرشف من الأصل في 2019-12-10.
4. 1 2  Lewis, David (1970-12). "General semantics". *Synthese* (بالإنجليزية). **22** (1–2): 18–67. DOI:10.1007/BF00413598. ISSN:0039-7857. Archived from the original on 12 مارس 2020. `{{استشهاد بدورية محكمة}}`: تحقق من التاريخ في: `|تاريخ=` (help)
5. ↑  *Metasemantics : new essays on the foundations of meaning* (ط. First edition). Oxford, United Kingdom. ISBN:978-0-19-966959-2. OCLC:869343541. مؤرشف من الأصل في 2019-12-10. `{{استشهاد بكتاب}}`: `|طبعة=` يحتوي على نص زائد (مساعدة)
6. ↑  *Minimal semantics*. Oxford: Oxford University Press. 2004. ISBN:978-0-19-153364-8. OCLC:191172270. مؤرشف من الأصل في 2019-12-10.
7. ↑  *Semantics in generative grammar*. Malden, MA: Blackwell. 1998. ISBN:0-631-19712-5. OCLC:36589342. مؤرشف من الأصل في 2019-12-10.
8. ↑  *Meaning without truth*. Oxford: Oxford University Press. 2013. ISBN:978-0-19-150216-3. OCLC:852707680. مؤرشف من الأصل في 2019-12-10.
9. ↑  *Conjoining meanings : semantics without truth values*. Oxford. ISBN:978-0-19-254089-8. OCLC:1031374197. مؤرشف من الأصل في 2019-12-10.
10. ↑  *Computing meaning. Vol. 3*. Dordrecht: Springer. 2008. ISBN:978-1-4020-5956-8. OCLC:288284190. مؤرشف من الأصل في 2019-12-10.

* أيقونة بوابةبوابة اللغة
* أيقونة بوابةبوابة لسانيات
* أيقونة بوابةبوابة منطق