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

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

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

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

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