الدلالات الرسمية (اللغة الطبيعية)

كثيراً ما يُمثّل علماء الدلالة الصورية شروط الصدق باستخدام منطق القضايا أو منطق المسندات. ويستخدم منطق القضايا حروفاً مثل${\displaystyle A}$و${\displaystyle B}$لتمثيل العبارات البسيطة . ويمكن دمج هذه العبارات لتكوين صيغ معقدة باستخدام روابط منطقية مثل${\displaystyle \land }$(و)،${\displaystyle \lor }$(أو)، و${\displaystyle \to }$(إذا...إذن). على سبيل المثال، باستخدام طريقة التفسير غير المباشر، يمكن ترجمة الجملة "أليس سعيدة وبوب غني" إلى منطق القضايا باستخدام الصيغة التالية:${\displaystyle A\land B}$، أين${\displaystyle A}$يرمز إلى "أليس سعيدة" و${\displaystyle B}$يرمز إلى "بوب غني". ومن الأمور المهمة في التحليل الدلالي أن قيمة الصواب لهذه العبارات المركبة تتحدد مباشرةً بقيم الصواب للعبارات البسيطة. على سبيل المثال، الصيغة${\displaystyle A\land B}$لا يكون ذلك صحيحًا إلا إذا كان كلاهما${\displaystyle A}$و${\displaystyle B}$صحيح؛ وإلا فهو خاطئ. ^{[ 28 ]}

يُوسّع منطق المسند منطق القضايا باستخدام رموز للمصطلحات المفردة والمسندات والمكممات . تشير المصطلحات المفردة إلى كيانات محددة ، بينما تمثل المسندات خصائص الكيانات والعلاقات بينها. على سبيل المثال، يمكن ترجمة جملة "أليس سعيدة" إلى الصيغة التالية :${\displaystyle H(a)}$، أين${\displaystyle a}$ثابت منطقي و${\displaystyle H}$هي مسند. ^{[ و ]} تُعبّر الكميات عن أن شرطًا معينًا ينطبق على بعض الكيانات أو جميعها. على سبيل المثال، يمكن تمثيل جملة "شخص ما سعيد" بالصيغة التالية:${\displaystyle \exists xH(x)}$، حيث الكمي الوجودي${\displaystyle \exists }$يشير ذلك إلى أن السعادة تنطبق على شخص واحد على الأقل. وبالمثل، يمكن التعبير عن فكرة أن الجميع سعداء من خلال الصيغة التالية:${\displaystyle \forall xH(x)}$، أين${\displaystyle \forall }$هو المُكمِّم العالمي . ^{[ 30 ]}

توجد طرق مختلفة لترجمة جمل اللغة الطبيعية إلى منطق المسند . أحد الأساليب الشائعة هو تفسير الأفعال كمسندات. الأفعال اللازمة ، مثل "ينام" و"يرقص"، لها فاعل فقط، وتُفسَّر كمسندات أحادية الموضع. أما الأفعال المتعدية ، مثل "يحب" و"يعطي"، فلها مفعول به واحد أو أكثر، وتُفسَّر كمسندات ثنائية الموضع أو أكثر. على سبيل المثال، يمكن صياغة جملة "بوب يحب أليس" على النحو التالي:${\displaystyle L(b,a)}$باستخدام المسند ذي الموضعين${\displaystyle L}$عادةً، لا يوجد لكل كلمة في جمل اللغة الطبيعية رمز مقابل مباشر في الترجمة المنطقية، وفي بعض الحالات، يختلف نمط الصيغة المنطقية اختلافًا كبيرًا عن البنية الظاهرية لجملة اللغة الطبيعية. على سبيل المثال، تُترجم جمل مثل "جميع القطط حيوانات" عادةً إلى${\displaystyle \forall x(C(x)\to A(x))}$(بالنسبة لجميع الكيانات، إذا كان الكيان قطة فهو حيوان) على الرغم من أن التعبير "إذا...إذن" (${\displaystyle \to }$) غير موجود في الجملة الأصلية. ^{[ 31 ]}

اعتمدت العديد من المناهج المبكرة للدلالات الرسمية، مثل أعمال جوتلوب فريجه ورودولف كارناب ودونالد ديفيدسون ، بشكل أساسي على منطق المسند. ^{[ 32 ]}

تستخدم الدلالات الرسمية حساب لامدا المكتوب لتحليل دلالات أجزاء الجمل . باستخدام حساب لامدا المكتوب، يمكن صياغة دلالة جملة "تينا تحب ماري" بالصيغة التالية:${\displaystyle L(t,m)}$تمامًا كما هو الحال في منطق المسند. مع ذلك، يُدخل حساب لامدا صيغًا إضافية لتمثيل دلالات أجزاء محددة من الجمل، مثل عبارة الفعل "يحب ماري". في حساب لامدا، يمكن صياغة ذلك رسميًا على النحو التالي:${\displaystyle \lambda x.L(x,m)}$، حيث المتغير${\displaystyle x}$هو عنصر نائب يمكن ملؤه بدلالة أي فاعل تُقترن به هذه العبارة الفعلية. البادئة${\displaystyle \lambda }$يربط المتغير${\displaystyle x}$مع الإشارة إلى أن هذا التعبير يحتاج إلى دمجه مع وسيط إضافي للتعبير عن قضية كاملة. ويمكن دمج هذا التعبير مع وسيطه الموضوعي باستخدام اختزال بيتا ، وهي قاعدة لتبسيط التعبيرات ذات المتغيرات والوسائط المقيدة. ^{[ 34 ]}

تتمثل الفكرة الأساسية في أن التعبيرات تنتمي إلى أنواع مختلفة، تصف كيفية استخدام هذه التعبيرات ودمجها مع تعبيرات أخرى. توفر نظرية الأنواع، وتحديدًا في شكل حساب لامدا المكتوب، إطارًا رسميًا لهذا المسعى. تبدأ هذه النظرية بتعريف عدد قليل من الأنواع الأساسية، التي يمكن دمجها لإنشاء أنواع جديدة. ^{[ 35 ]}

وفقًا لنهج شائع، لا يوجد سوى نوعين أساسيين: الكيانات (${\displaystyle e}$) وقيم الصدق (${\displaystyle t}$الكيانات هي دلالات الأسماء والعبارات الاسمية المشابهة، بينما قيم الصواب هي دلالات الجمل الخبرية. تُبنى جميع الأنواع الأخرى من هذين النوعين كدوال تأخذ كيانات أو قيم صواب أو دوال أخرى كمدخلات ومخرجات. بهذه الطريقة، تُحلل الجملة كدالة مركبة تتكون من عدة دوال داخلية. عند تقييم جميع الدوال، تكون المخرجات قيمة صواب. الأفعال البسيطة اللازمة بدون مفعول به هي دوال تأخذ كيانًا كمدخل وتنتج قيمة صواب كمخرج. يُكتب نوع هذه الدالة على النحو التالي:${\displaystyle \langle e,t\rangle }$حيث يشير الحرف الأول إلى نوع المدخلات، والحرف الثاني إلى نوع المخرجات. وفقًا لهذا النهج، تُحلل جملة "أليس تنام" كدالة تأخذ الكيان "أليس" كمدخل لإنتاج قيمة منطقية. الأفعال المتعدية ذات المفعول به الواحد، مثل الفعل "يحب"، هي دوال معقدة أو متداخلة. تأخذ هذه الأفعال كيانًا كمدخلات وتُخرج دالة ثانية، والتي بدورها تتطلب كيانًا كمدخلات لإنتاج قيمة منطقية، مُصاغة على النحو التالي:${\displaystyle \langle e,\langle e,t\rangle \rangle }$^{[ g ]} وبهذه الطريقة ، تتوافق جملة "أليس تحب بوب" مع دالة متداخلة تُطبق عليها كيانان . وتُقدم أنواع مماثلة من التحليلات لجميع التعبيرات ذات الصلة، بما في ذلك الروابط المنطقية والمحددات الكمية. ^{[ 37 ]}

تُعدّ العوالم الممكنة مفهومًا محوريًا آخر يُستخدم في تحليل المعنى اللغوي. العالم الممكن هو نسخة كاملة ومتسقة لكيفية سير الأمور، على غرار كون بديل افتراضي. على سبيل المثال، انقرضت الديناصورات في العالم الواقعي، ولكن توجد عوالم ممكنة نجت فيها. للعوالم الممكنة تطبيقات متنوعة في الدلالات الرسمية، وعادةً ما تُستخدم لدراسة التعبيرات أو جوانب المعنى التي يصعب تفسيرها عند الإشارة فقط إلى كيانات العالم الواقعي. تشمل هذه العوالم عبارات مشروطة حول ما هو ممكن أو ضروري، وأوصافًا لمحتويات الحالات الذهنية ، مثل ما يؤمن به الناس وما يرغبون فيه . كما تُستخدم العوالم الممكنة لتفسير كيف يمكن لتعبيرين أن يحملا معاني مختلفة رغم إشارتهما إلى الكيان نفسه، مثل تعبيري "نجمة الصباح" و"نجمة المساء"، اللذين يشيران كلاهما إلى كوكب الزهرة . إحدى طرق إدراج العوالم الممكنة في الشكلية النموذجية هي تعريف مجموعة من جميع العوالم الممكنة كمكون إضافي للنموذج. ثم يتم تعديل تفسير معاني التعبيرات المختلفة لمراعاة هذا التغيير. على سبيل المثال، لتفسير أن جملة ما قد تكون صحيحة في عالم ممكن وخاطئة في عالم آخر، يمكن تفسير معناها ليس مباشرةً كقيمة صدق، بل كدالة من عالم ممكن إلى قيمة صدق. ^{[ 38 ]}

تُعدّ دلالات الموقف نظريةً وثيقة الصلة بدلالات العوالم الممكنة. فالمواقف، كالعوالم الممكنة، تُقدّم ظروفًا مُحتملة. إلا أنها، على عكس العوالم الممكنة، لا تشمل الكون بأكمله، بل تُجسّد أجزاءً أو شظايا مُحدّدة منه. ويعكس هذا التعديل ملاحظة أن العديد من العبارات تعتمد على السياق، وتهدف إلى وصف ظروف المُتحدث الخاصة، لا العالم ككل. فعلى سبيل المثال، تُعدّ جملة "كل طالب يُغني" خاطئة عند تفسيرها على أنها تأكيدٌ على الكون ككل. مع ذلك، قد يستخدم المُتحدثون هذه الجملة في سياق موقفٍ مُحدّد، كمسرحيةٍ موسيقيةٍ في مدرسةٍ ثانويةٍ مُحدّدة، حيث يُمكن أن تكون صحيحة. ^{[ 39 ]}

يُفسر علم الدلالة الديناميكية استخدام اللغة كعملية ديناميكية يتم فيها تحديث المعلومات باستمرار في سياق قائم. ويرفض هذا العلم المناهج الثابتة التي تربط تعبيرًا معينًا بمعنى ثابت. وبدلًا من ذلك، تُجادل هذه النظرية بأن المعنى يعتمد على المعلومات الموجودة مسبقًا في السياق، وفهم معنى الجملة على أنه التغيير في المعلومات التي تُنتجها. وتعكس هذه الرؤية فكرة أن الجمل لا تُفسر عادةً بمعزل عن سياقها، بل تُشكل جزءًا من خطاب أوسع تُساهم فيه بطريقة أو بأخرى. ^{[ 40 ]} على سبيل المثال، يُعرّف علم دلالات التحديث - وهو أحد أشكال علم الدلالة الديناميكية - حالة المعلومات بأنها مجموعة جميع العوالم الممكنة المتوافقة مع المعلومات الحالية، مما يعكس فكرة أن المعلومات غير مكتملة ولا يُمكنها تحديد أي من هذه العوالم هو الصحيح. وتُحدث الجمل التي تُقدم معلومات جديدة حالة المعلومات باستبعاد بعض العوالم الممكنة، مما يُقلل من عدم اليقين. ^{[ 41 ] [ ح ]}

المُكمِّمات هي تعابير تُشير إلى كمية شيء ما. في منطق المسند، تُقدِّم المُكمِّمات الأساسية معلوماتٍ فقط حول ما إذا كان شرطٌ ما ينطبق على جميع الكيانات أو بعضها، كما هو الحال في جمل مثل "جميع الغربان سوداء" و"بعض الطلاب يُدخِّنون". يستخدم علماء الدلالة الرسمية مفهوم المُكمِّمات المُعمَّمة لتوسيع هذا الإطار الأساسي ليشمل نطاقًا واسعًا من تعابير التحديد الكمي في اللغة الطبيعية، والتي تُقدِّم عادةً معلوماتٍ أكثر تفصيلًا. وتشمل هذه التعابير تعابير متنوعة مثل "معظم" و"قليل" و"اثنا عشر" و"أقل من عشرة". ^{[ 43 ]}

يمكن تفسير معظم التعبيرات الكمية على أنها علاقات بين مجموعتين. ^{[ i ]} على سبيل المثال، تُشير جملة "جميع الغربان سوداء" إلى أن مجموعة الغربان هي مجموعة جزئية من مجموعة الكيانات السوداء. وبالمثل، تُؤكد جملة "تم بيع أقل من عشرة كتب" أن مجموعة الكتب ومجموعة السلع المباعة تشتركان في أقل من عشرة عناصر . [ ^{45 ] في} اللغة الإنجليزية، غالبًا ما تُعبَّر عن الكميات باستخدام مُحدِّد ، ^{[ j ]} مثل "all" و"few"، للدلالة على العلاقة بين المجموعتين، متبوعًا بعبارة اسمية ومسند لوصف المجموعتين المعنيتين. ^{[ 47 ]}

يمكن تقسيم أدوات التحديد الكمي إلى أدوات تحديد كمي نسبية وأدوات تحديد كمي أصلية بناءً على العلاقة بين المجموعات. تشير أدوات التحديد الكمي النسبية، مثل "كل" و"معظم"، إلى التداخل النسبي بين المجموعة الأولى والمجموعة الثانية. بالنسبة لها، يُعد ترتيب المجموعات مهمًا. على سبيل المثال، تحمل الجملتان "كل الغربان سوداء" و"كل الأشياء السوداء غربان" معاني مختلفة على الرغم من أنهما تشيران إلى المجموعات نفسها. أما أدوات التحديد الكمي الأصلية، مثل "أربعة" و"لا"، فتُقدم معلومات حول العدد المطلق للكيانات المتداخلة، بغض النظر عن النسبة النسبية. بالنسبة لها، لا يُعد ترتيب المجموعات مهمًا، كما يتضح من الجملتين "لا توجد وردة سوداء" و"لا يوجد شيء أسود وردة". ^{[ 48 ]}

عادةً ما يقتصر نطاق أدوات التحديد الكمي في اللغة الطبيعية ضمنيًا على مجموعة معينة من الكيانات ذات الصلة بالموضوع المطروح. على سبيل المثال، في سياق روضة أطفال محددة، يقتصر نطاق جملة "جميع الأطفال نائمون" على الأطفال الملتحقين بهذه الروضة. ^{[ 49 ]}

نطاق المُحدِّد الكمي هو الجزء من الجملة الذي ينطبق عليه. بعض جمل اللغة الطبيعية تتسم بالغموض في النطاق ، مما يؤدي إلى تفسيرات متضاربة لنطاق المُحدِّدات الكمية. بناءً على كيفية تفسير النطاق، يمكن أن تعني جملة "يحب رجلٌ ما كل امرأة" إما "يوجد رجلٌ يحب جميع النساء" أو "لكل امرأة رجلٌ واحدٌ على الأقل يحبها". ^{[ 50 ]}

تُعدّ الأوصاف المحددة وغير المحددة عباراتٍ تُشير إلى كيانٍ مُحدد أو مجموعة كيانات ضمن سياقٍ مُعين. في اللغة الإنجليزية، تستخدم الأوصاف المحددة عادةً أداة التعريف "the" متبوعةً باسم، مثل "the president of Kenya". ومع ذلك، يُمكن أن تتخذ أشكالًا أخرى، مثل "her husband" أو "John's bicycle". أما الأوصاف غير المحددة، فتُستخدم فيها عادةً أدوات التنكير "a" و"an"، كما في "a lazy coworker" و"an old friend". ^{[ 52 ]} تُشير الأوصاف المحددة عادةً إلى كيانٍ واحد، وتفترض أن المُستمع على درايةٍ به. بينما تسمح الأوصاف غير المحددة عادةً بتطبيق الوصف على أكثر من كيان، وتُعرّف بالكيان دون افتراض معرفةٍ مُسبقة. ^{[ 53 ]}

طُرحت نظريات متنوعة حول التحليل الصحيح للأوصاف المحددة وغير المحددة. إحدى النظريات المبكرة المؤثرة، التي طرحها برتراند راسل ، تفسرها باستخدام أدوات التحديد الوجودية . وتقترح هذه النظرية أن الأوصاف غير المحددة مثل "ركض رجل" لها الشكل المنطقي التالي:${\displaystyle \exists x(Man(x)\land Ran(x))}$تتخذ الأوصاف المحددة شكلاً مشابهاً، مع اختلاف أن الوصف فريد، أي أن المسند الأول ينطبق على كيان واحد فقط. ^{[ 51 ]} كان الدافع الرئيسي وراء منهج راسل هو حل المعضلات الدلالية الناجمة عن الأوصاف المحددة التي لا تشير إلى أي كيان معين. على سبيل المثال، لا يوجد ملك لفرنسا حالياً، لذا فليس من الواضح كيفية تحديد صحة جملة "ملك فرنسا الحالي أصلع". وفقاً لتحليل راسل، فإن الجملة خاطئة لأنه لا يوجد كيان فريد ينطبق عليه المسندان "ملك فرنسا الحالي" و"أصلع". ^{[ 54 ]}

ترتبط مشكلة الأسماء ارتباطًا وثيقًا بمشكلة الأوصاف المحددة، إذ يهدف كلا التعبيرين إلى الإشارة إلى كيان معين. ووفقًا لنظريات ميل ، تشير الأسماء مباشرةً دون أي معلومات وصفية عن الكيان المشار إليه. وتعارض نظريات الوصف هذا الرأي، إذ ترى أن الأسماء تحمل مضامين وصفية ضمنية تساعد المفسرين على تحديد مرجعياتها. ويفهم أحد الآراء الأسماء على أنها أوصاف محددة ضمنية، مقترحًا أن المحتوى الوصفي لاسم " سقراط " قد يتضمن معلومات مثل "معلم أفلاطون ". ^{[ 55 ]}

يُقدّم الزمن والجانب معلومات زمنية عن الأحداث والظروف. يُشير الزمن إلى ما إذا كان الحدث قد وقع في الماضي أو الحاضر أو ​​المستقبل، مُوفّرًا نقطة مرجعية لتحديد موقع الأحداث ضمن تسلسل زمني بالنسبة لوقت النطق . يُقدّم الجانب معلومات إضافية حول كيفية تطور الأحداث عبر الزمن، مثل التمييز بين الأحداث المكتملة والمستمرة والمتكررة. في اللغة الإنجليزية، يُمكن التعبير عن كل من الزمن والجانب من خلال صيغ الأفعال . على مستوى الزمن، تُشير جملة "I ate" إلى الماضي، بينما تُشير جملة "I will eat" إلى المستقبل. على مستوى الجانب، تُشير جملة "I ate" إلى حدث مكتمل، بينما تُشير جملة "I was eating" إلى حدث مستمر. ^{[ 56 ]}

يستخدم علماء الدلالة الرسمية أدوات مفاهيمية متنوعة لوصف الزمن، مثل أنواع مختلفة من المنطق الزمني كامتداد لمنطق المسند. يتضمن أحد هذه المناهج مجموعة من الأزمنة في النموذج الرياضي لتفسير العبارات الزمنية. تُصوّر بعض النماذج الزمن كسلسلة من الحالات ، بينما تُقدّم نماذج أخرى فترات زمنية كوحدات أساسية للزمن. يكمن الاختلاف في أن الفترات الزمنية لها مدة زمنية ويمكن أن تتداخل، في حين أن الحالات هي نقاط زمنية منفصلة لا تتقاطع. يُقدّم أحد أشكال المنطق الزمني عوامل زمنية للإشارة إلى الزمن الذي تصفه الجملة، مثل عامل الزمن.${\displaystyle P}$للاطلاع على الأحداث السابقة والمشغل${\displaystyle F}$للأحداث المستقبلية. وبهذه الطريقة، تصبح الصيغة${\displaystyle P\ Dance(naomi)}$يُشير إلى أن نعومي كانت ترقص في الماضي، بينما${\displaystyle F\ Dance(naomi)}$تؤكد أنها سترقص في المستقبل. ^{[ 57 ]} ينقسم التحليل الدلالي للجانب إلى جانب نحوي ، يُعبَّر عنه من خلال صيغ الأفعال، وجانب معجمي ، يشمل الخصائص الزمنية المتأصلة في الأفعال المختلفة. ^{[ 58 ]}

اقترح دونالد ديفيدسون منهجًا مؤثرًا للدور الدلالي للأحداث . باستخدام منطق المسند، يُمثل هذا المنهج الأحداث كمصطلحات مفردة، ويُترجم جمل الأفعال إلى صيغ منطقية حول الأحداث، حتى لو لم تتضمن الجمل الأصلية أي إشارة صريحة إلى الأحداث. على سبيل المثال، يُترجم جملة "قام جونز بدهن الخبز المحمص بالزبدة ببطء باستخدام سكين" إلى${\displaystyle \exists eButter(Jones,the\ toast,e)\land Slowly(e)\land With(e,a\ knife)}$(حرفيًا: كان هناك حدث، وهو دهن جونز للخبز المحمص بالزبدة، وكان بطيئًا، وتضمن استخدام سكين). أحد دوافع هذا النهج هو توفير طريقة منهجية لترجمة الظروف ، مثل "ببطء"، وغيرها من الصفات إلى صيغ منطقية. ^{[ 59 ]}

غالبًا ما يميز علماء الدلالة بين جانبين للمعنى: الامتداد والقصد . ^{[ 60 ] [ ك ]} الامتداد هو الكيان أو مجموعة الكيانات التي يشير إليها التعبير، بينما القصد هو المفهوم الضمني أو الفكرة الكامنة التي ينقلها. على سبيل المثال، يشترك التعبيران "نجمة الصباح" و"نجمة المساء" في الامتداد نفسه، إذ يشير كلاهما إلى كوكب الزهرة. ومع ذلك، يختلف معناهما على مستوى القصد لأنهما يقدمان الكوكب بطرق مختلفة من خلال استحضار مفاهيم متباينة. ^{[ 61 ]}

^تُعدّ الامتدادية والقصدية من خصائص ^{الجمل . تُوصف الجملة بأنها} امتدادية إذا أمكن استبدال تعابير لها نفس الامتداد دون تغيير قيمتها المنطقية. على سبيل المثال، تبقى الجملة "نجم الصباح كوكب" صحيحة إذا استُبدل التعبير "نجم الصباح" بالتعبير "نجم المساء". أما الجمل القصدية، على النقيض، فهي لا تتأثر بالامتدادات فحسب، بل بالقصد أيضًا، ما يعني أنه لا يمكن استبدال التعابير المتكافئة امتداديًا بحرية. على سبيل المثال، قد لا تكون آن على دراية بأن نجم الصباح هو نفسه نجم المساء. في هذه الحالة، تكون الجملة "آن تعرف أن نجم الصباح هو نجم الصباح" صحيحة، بينما تكون الجملة "آن تعرف أن نجم الصباح هو نجم المساء" خاطئة، مما يدل على أن الجملتين قصديتان. ^{[ 63 ]}

تتجلى الدلالة القصدية في العديد من التعبيرات اللغوية. فعلى سبيل المثال، تُدخل التعبيرات المشروطة، مثل "قد" و"يمكن" و"يجب"، سياقات قصدية عادةً. ^{[ م ]} فهي تُعبّر عما هو ممكن أو ضروري، واصفةً كيف كان من الممكن أن يكون العالم أو كيف لم يكن، بدلاً من وصفه كما هو في الواقع. ومن الأساليب الشائعة لتحليل التعبيرات المشروطة استخدام عوامل الدلالة المشروطة.${\displaystyle \Diamond }$و${\displaystyle \Box }$لتعديل معنى الجمل وتمثيل ما هو ممكن وضروري. على سبيل المثال، إذا كانت الصيغة${\displaystyle P}$يرمز إلى عبارة "إنها تمطر"، ثم الصيغة${\displaystyle \Diamond P}$يرمز إلى العبارة "من المحتمل أن تمطر". ولتفسير معنى العبارات المشروطة، يعتمد علماء الدلالة الشكلية غالبًا على مفهوم العوالم الممكنة. ووفقًا لهذا المنهج، تكون الجملة صحيحة احتماليًا إذا كانت صحيحة في عالم ممكن واحد على الأقل، بينما تكون صحيحة بالضرورة إذا كانت صحيحة في جميع العوالم الممكنة. ^{[ 65 ] [ ن ]}

تتناول تقارير المواقف الافتراضية - وهي مثال آخر على القصدية - الحالات الذهنية للأفراد. وغالبًا ما تستخدم أفعالًا مثل "يعتقد" و"يشك" و"يريد"، متبوعة بجملة "أن" تصف مضمون الموقف، مثل جملة "يعتقد كيري أن الأرض مسطحة". كما يشيع استخدام العوالم الممكنة في تحليل المواقف الافتراضية. فعلى سبيل المثال، يمكن فهم مضمون الموقف الافتراضي على أنه مجموعة جميع العوالم الممكنة التي يكون فيها صحيحًا، مثل جميع العوالم الممكنة التي تكون فيها الأرض مسطحة في المثال المذكور. ^{[ 67 ]} غالبًا ما يكون معنى تقارير المواقف الافتراضية التي تحتوي على أوصاف محددة أو غير محددة غامضًا. وينشأ هذا الغموض من تفسير الوصف، الذي قد يكون ذاتيًا أو موضوعيًا. فعلى سبيل المثال، إذا أراد جاسبر شرابًا من كبير خدمه ولكنه يجهل أن كبير خدمه قد سمم زوجته، فإن جملة "يريد جاسبر شرابًا من سمم زوجته" تكون غامضة. بحسب التفسير الموضوعي - المسمى بالتفسير الواقعي - فإن الجملة صحيحة لأن كبير الخدم هو في الواقع من سمّم. في المقابل، فإن التفسير الذاتي - المسمى بالتفسير اللفظي - يجعلها خاطئة لأن جاسبر لا يريد مشروبات من سمّمين. ^{[ 68 ]}

يركز علم الدلالة الصورية بشكل أساسي على العبارات، التي تهدف إلى وصف الواقع وتكون إما صحيحة أو خاطئة بناءً على مدى نجاحها في ذلك. ومع ذلك، لا يشمل هذا التحليل جميع أنواع الجمل. وقد تم اقتراح أطر محددة لتحليل أنواع أخرى من الجمل، مثل الأسئلة والأوامر. ^{[ 69 ]}

تحلل نظريات مختلفة معنى الأسئلة من حيث الإجابات المحتملة، مستبدلةً مفهوم شروط الصدق، الشائع في تحليل العبارات، بمفهوم شروط الإجابة. أحد هذه المناهج، الذي صاغه تشارلز ليونارد هامبلين في البداية ، يفسر شروط الإجابة على أنها مجموعة العبارات التي تُعتبر إجابات لسؤال ما. على سبيل المثال، تُعتبر الجملتان "اتصل ماركو" و"اتصل دون" إجابات على السؤال "من اتصل؟"، بينما لا تُعتبر الجملة "أحب الآيس كريم" كذلك. يتمثل أحد الفروق الشائعة بين أسئلة نعم/لا ، التي تطلب التأكيد فقط، والأسئلة المفتوحة ، التي تسعى للحصول على معلومات أكثر تفصيلًا. تشمل الاعتبارات الإضافية التمييز بين الإجابات الصحيحة والخاطئة، وبين الإجابات الكاملة والجزئية، اعتمادًا على ما إذا كانت الإجابة تحتوي على جميع المعلومات المطلوبة. على المستوى الرمزي، يمكن التعبير عن الأسئلة باستخدام${\displaystyle$ يُستخدم الرمز ? كعامل لتحديد موضوع السؤال. على سبيل المثال، يمكن صياغة السؤال "من اتصل؟" على النحو التالي:${\displaystyle ?xCalled(x)}$بينما يأخذ السؤال "هل اتصل أحد؟" الشكل التالي:${\displaystyle$ ?\exists xCalled(x)} . ^{[ 70 ]}

تُستخدم الجمل الأمرية عادةً للتعبير عن الأوامر أو التعليمات، مثل جملة "أغلق الباب!". وعلى عكس الجمل الخبرية والاستفهامية، التي تُستخدم عمومًا لنقل المعلومات أو طلبها، فإن الهدف الأساسي من الجمل الأمرية هو التأثير على سلوك المستمع. ونتيجةً لذلك، لا تحتوي الجمل الأمرية على شروط صدق واضحة، أو على الأقل ليس لها شروط صدق واضحة. ومن الصعوبات الأخرى في تحليل الجمل الأمرية أنها عادةً ما تفتقر إلى فاعل صريح ، وأنها قد تُعبّر عن معانٍ أخرى متنوعة إلى جانب الأوامر، مثل النصائح والدعوات والأذونات. يدرس علماء الدلالة الشكلية معنى الجمل الأمرية من خلال فحص كيفية تفاعلها مع الظواهر اللغوية الأخرى. وتشمل هذه الحالات الحالات التي يستلزم فيها أمرٌ ما أمرًا آخر، ونفي الأمر، والجمل الأمرية الشرطية، بالإضافة إلى ربط وفصل عدة جمل أمرية. ^{[ 71 ]}

تُدرس ظواهر لغوية أخرى متنوعة في علم الدلالة الصورية. يُفهم النفي عادةً على أنه عملية تعكس معنى التعبير. في المنطق الكلاسيكي ، يُعبَّر عنه من خلال عامل النفي.${\displaystyle \lnot }$كما في${\displaystyle \lnot Sleeps(mia)}$مما يشير إلى أن ميا ليست نائمة. هذا العامل يعكس قيمة الصواب لعبارة: إذا${\displaystyle Sleeps(mia)}$إذا كان هذا خطأً${\displaystyle \lnot Sleeps(mia)}$صحيح. في اللغة الطبيعية، تُستخدم أدوات النفي والكمية، مثل "ليس" و"لا"، غالبًا للدلالة على النفي. يمكن أن تظهر هذه التعبيرات في مواضع مختلفة داخل الجمل لنفي الجملة بأكملها أو أجزاء محددة منها. نطاق أداة النفي هو الجزء من الجملة الذي تؤثر فيه، والذي قد يكون غامضًا في بعض الأحيان. على سبيل المثال، يمكن أن تعني جملة "جميع الأطباء ليس لديهم سيارة" أن ليس كل طبيب لديه سيارة، أو أنه لا يوجد طبيب واحد لديه سيارة، أو أنه لا توجد سيارة مملوكة بشكل جماعي لجميع الأطباء. ^{[ 72 ]}

تشير التعبيرات الجمع إلى عدة أشياء، مثل كلمتي "أطفال" و"تفاح". يفسرها علماء الدلالة الشكلية عادةً على أنها تدل على نوع من الأشياء الجمع، مثل مجموعة الأفراد المنتمين إلى المجموعة المعنية. وهم يميزون بين الاستخدامات التوزيعية والجماعية بناءً على ما إذا كان المسند ينطبق على كل فرد على حدة أو على المجموعة ككل. بعض الجمل غامضة وتسمح بكلا التفسيرين. على سبيل المثال، يمكن أن تعني جملة "دفع ولدان سيارة" وجود سيارتين ودفع كل ولد واحدة (توزيعي) أو وجود سيارة واحدة دفعها الولدان معًا (جماعي). ^{[ 73 ]}

يدرس علماء الدلالة الشكلية أيضًا التعبيرات التي يعتمد معناها على العوامل السياقية . وتشمل هذه التعبيرات الإشارية أو الدلالية ، التي تشير إلى جانب من جوانب سياق النص. ومن أمثلتها الضمائر "أنا" و"أنتَ/أنتِ"، التي تشير إلى المتحدث والمخاطَب، بالإضافة إلى الظروف "اليوم" و"هناك"، التي تشير إلى الجوانب الزمانية والمكانية للموقف. أما التعبيرات الإحالاتية فهي نوع آخر من التعبيرات التي تعتمد على السياق. وتشير إلى مصطلحات أو عبارات استُخدمت سابقًا في النص، وتُسمى السوابق . في المقطع "استيقظ بيتر. أضاء النور."، تُعد كلمة "هو" تعبيرًا إحالاتيًا، وكلمة "بيتر" هي سابقتها. يُعرف هذا الارتباط النحوي بالربط ، ويعتمد على السياق، إذ إن كلمة "هو" ستشير إلى شخص آخر إذا كانت الجملة السابقة لها سابقة مختلفة. ^{[ 74 ]} تشمل الظواهر اللغوية الأخرى التي درسها علماء الدلالة الشكلية الافتراض المسبق ، والجمل الشرطية ، والأدوار الدلالية ، والتعبيرات المكانية، والصفات ، والظروف. ^{[ 75 ]}

مع أن الكثير من الدراسات تركز على دراسة الجمل الإنجليزية، فإن علم الدلالة الرسمي لا يقتصر على اللغة الإنجليزية، بل يشمل التحليل اللغوي المقارن. ^{[ 76 ]} فعلى سبيل المثال، توجد طرق متنوعة للتعبير عن الجوانب النحوية في مختلف اللغات، بما في ذلك البادئات ، ونهايات الأفعال، والأفعال المساعدة ، أو مزيج من عدة طرق. وتؤثر هذه الطرق على التحليل الدلالي من خلال التأثير على البنية الهرمية للجمل. ^{[ 77 ]} وتُلاحظ مشاكل مماثلة في التحليل اللغوي المقارن لظواهر لغوية أخرى، كالتكميم والوصف غير المحدد. ^{[ 78 ]}

يعتمد معنى الجملة جزئيًا على بنيتها النحوية. فعلى سبيل المثال، تحتوي الجملتان "رأى جون ماري" و"رأت ماري جون" على الكلمات نفسها، لكنهما تحملان معاني مختلفة لاختلاف بنيتهما النحوية. لذا، توفر نظريات الدلالات التركيبية قواعد تفسيرية تربط الأشجار النحوية بمعانيها. وتعتمد طبيعة هذه القواعد جزئيًا على نموذج النحو المُعتمد. تفترض العديد من نظريات الدلالات نموذجًا توليديًا للنحو، مثل نظرية الحكومة والربط أو التبسيطية ، بينما تشمل المناهج الشائعة الأخرى القواعد النحوية الفئوية و HPSG . ^{[ 80 ]}

في مثل هذه النظريات، غالبًا ما يستخدم نظام التفسير قواعد مثل ما يلي. تحدد هذه القواعد كيفية البدء بعقدة نحوية.${\displaystyle \alpha }$واحسب دلالتها، مكتوبة${\displaystyle [\![\alpha ]\!]}$تُطبق هذه القواعد بشكل متكرر . ^{[ 81 ]}

• العقدة الطرفية: إذا${\displaystyle \alpha }$إذا كانت عقدة نحوية ليس لها فروع، فـ${\displaystyle [\![\alpha ]\!]}$محدد في المعجم .
• العقدة غير المتفرعة: إذا${\displaystyle \alpha }$هي عقدة ابنتها الوحيدة هي${\displaystyle \beta }$، ثم${\displaystyle [\![\alpha ]\!]=[\![\beta ]\!]}$.
• تطبيق الوظيفة: إذا${\displaystyle \alpha }$هي عقدة ذات بنات${\displaystyle \beta }$و${\displaystyle \gamma }$أين${\displaystyle [\![\beta ]\!]}$هي دالة يحتوي مجالها على${\displaystyle [\![\gamma ]\!]}$، ثم${\displaystyle [\![\alpha ]\!]=[\![\beta ]\!]([\![\gamma ]\!])}$.

يدور نقاشٌ رئيسي في مجال التفاعل بين النحو والدلالة حول المعالجة الصحيحة للتناقضات الظاهرة بين الشكل والمعنى، لا سيما فيما يتعلق بالنطاق . يفترض أحد المناهج الشائعة وجود مستوى من البنية النحوية يُسمى الشكل المنطقي . ووفقًا لهذا الرأي، لا تمتلك الجمل شكلًا نحويًا واحدًا، بل شكلًا صوتيًا يُنطق، وشكلًا منطقيًا منفصلًا يخضع للتفسير الدلالي. في هذه المناهج، يمكن تفسير التناقضات الظاهرة بين الشكل والمعنى باستخدام آليات نحوية كالحركة . يتناقض هذا مع مناهج أخرى كالتركيبية المباشرة، التي تفترض أن الشكل النحوي السطحي هو الشكل النحوي الوحيد، وأن التناقضات يجب تفسيرها باستخدام آليات دلالية أخرى كتحويل النوع . تشمل الأدلة التجريبية التي تُثري هذا النقاش نظرية التركيبية المباشرة ، وجزر النطاق ، وبيانات من لغات كاللغة الهنغارية التي يُقال إنها "تُظهر شكلها المنطقي بوضوح". ^{[ 82 ]}

في العديد من اللغات، يتأثر المعنى الدلالي بالخصائص النبرية كالتنغيم والتشديد . وعلى وجه الخصوص، يمكن أن يؤثر التركيز على صحة الجملة. فعلى سبيل المثال، في سياق " أعطت هانا مات هدايا كثيرة " ، قد تكون الجملة (أ) صحيحة بينما تكون الجملة (ب) خاطئة. من ناحية أخرى، في سياق "أعطت هانا كل شخص كتابًا"، قد تكون الجملة (ب) صحيحة بينما تكون الجملة (أ) خاطئة. ^{[ 83 ]}

(1) أ. أعطت هانا مات كتابًا فقط. ب. أعطت هانا مات كتابًا فقط.

لتفسير الظواهر الحساسة للتركيز، يعتمد اللغويون عادةً أنظمةً مُثريةً مثل الدلالات البديلة أو الدلالات البنيوية التي تُقدّم مفهومًا لبديل التركيز . ^{[ 84 ]} كما تتناول الدراسات التي تُعنى بالتداخل بين الدلالات والنبر مساهمات المعنى لبعض النغمات الصوتية، مثل الجمل الخبرية الصاعدة . ^{[ 85 ]}

علم التداولية هو دراسة أجزاء المعنى اللغوي التي لا تنشأ من خلال الدلالات التركيبية، بل من خلال الاستدلال على نوايا المتحدث. على سبيل المثال، جملة "دعا ستيف آن أو ماري" تُشير عادةً إلى (أ) أن ستيف دعا إحداهما، و(ب) أنه لم يدعُ كلتيهما. يُعتبر الاستدلال الأول عادةً استلزامًا دلاليًا، إذ لا يمكن نفيه دون تناقض مع الجملة. أما الاستدلال الثاني، فلأنه يمكن نفيه دون تناقض، فإنه يُعتبر غالبًا استدلالًا تداوليًا أضعف يُسمى التضمين . ^{[ 86 ]}

تقليديًا، يُنظر إلى البراغماتية على أنها عملية إثراء للمعاني التي تحسبها الدلالات. وبناءً على هذا الرأي، يُعتبر ناتج الدلالات جزءًا من مدخلات البراغماتية. على سبيل المثال، يُحلل المثال الانفصالي أعلاه تقليديًا على أنه يدل دلاليًا على فصل شامل.${\displaystyle A\lor M}$والتي تتوافق شروط صدقها مع دعوة ستيف لكليهما. ثم يُستنتج ضمنيًا أنه لم يدعُ كليهما بتطبيق المنطق العملي على سؤال لماذا لم يقل المتحدث البديل الأكثر إفادة "دعا ستيف آن وماري". ^{[ 87 ]}

يدرس المنطق الصوري قوانين الاستدلال الاستنتاجي ، مع التركيز على علاقات الاستلزام بين المقدمات والنتائج بدلاً من المعنى اللغوي عموماً. وهو يبحث في قواعد الاستدلال ، مثل قاعدة القياس المنطقي للمقدمات ، التي تصف البنية المنطقية للحجج الاستنتاجية الصحيحة . ^{[ 88 ]} يطور علماء المنطق الصوري لغات اصطناعية، كلغة منطق المحمول، لتجنب غموض اللغة الطبيعية وتقديم أوصاف دقيقة لقوانين المنطق. ^{[ 89 ]} يلعب علم الدلالة الصوري دوراً محورياً في هذا المسعى لتطبيق هذه القوانين على حجج اللغة الطبيعية. فهو يساعد علماء المنطق على تمييز الشكل المنطقي للحجج اليومية، ويُعد خطوة حاسمة في ترجمتها إلى صيغ منطقية . ^{[ 90 ]}

ثمة تداخل رئيسي آخر بين الدلالات الصورية والمنطق الصوري يتعلق بمعنى اللغات المنطقية الاصطناعية. يدرس علم دلالات المنطق بناء النماذج الرياضية للغات الصورية، على غرار النماذج التي يستخدمها علماء الدلالات الصورية لدراسة اللغة الطبيعية. تتضمن هذه النماذج عادةً كائنات مجردة لتمثيل الأفراد والمجموعات. وتُحدد العلاقة بالصيغ من خلال دالة تفسيرية تربط الرموز بالكائنات المجردة التي تدل عليها. ^{[ 91 ]} يتمثل أحد الجوانب الرئيسية لهذا التداخل في التباين بين الاستلزام النحوي والاستلزام الدلالي . ^{[ o ]} يستلزم المقدم نحويًا نتيجةً إذا أمكن استنتاج النتيجة باستخدام قواعد الاستدلال. ويستلزم المقدم دلاليًا نتيجةً إذا كانت النتيجة صحيحة في كل نموذج ممكن تكون فيه المقدمة صحيحة. ^{[ 93 ]}

علم الدلالة الحاسوبية هو مجال متعدد التخصصات يقع عند تقاطع علوم الحاسوب وعلم الدلالة الصورية. يدرس هذا العلم كيفية استخدام العمليات الحاسوبية للتعامل مع المعنى اللغوي. وينصبّ التركيز الأساسي على تحليل جمل اللغة الطبيعية باستخدام أساليب حاسوبية لاستخلاص بنيتها المنطقية، وفهم محتواها، واستخراج المعلومات منها. ولهذا النوع من البحث تطبيقات متنوعة في مجالات الذكاء الاصطناعي ، مثل الاستدلال الآلي ، والتعلم الآلي ، والترجمة الآلية . وتكمن الصعوبات في هذه العملية في غموض التعبيرات اللغوية الطبيعية، وعدم وضوحها، واعتمادها على السياق. ^{[ 94 ]}

يتناول جانب آخر من هذا التقاطع تحليل معنى لغات البرمجة . لغة البرمجة هي لغة اصطناعية مصممة لإعطاء تعليمات أو وصف العمليات الحسابية التي تُنفذها الحواسيب. الدلالات الرسمية للغة البرمجة هي نموذج رياضي لكيفية عملها، وتهدف إلى مساعدة علماء الحاسوب على فهم سلوك البرنامج وتحليله والتحقق منه. ^{[ 95 ]} تصف الدلالات الثابتة عملية الترجمة ، أي كيفية تحويل لغة برمجة قابلة للقراءة البشرية إلى رمز الآلة الثنائي . ^{[ 96 ]} تدرس الدلالات الديناميكية سلوك وقت التشغيل ، أي ما يحدث أثناء تنفيذ التعليمات. ^{[ 97 ]} تتمثل المناهج الرئيسية للدلالات الديناميكية في الدلالات التفسيرية ، والدلالات البديهية ، والدلالات التشغيلية . تصف الدلالات التفسيرية تأثيرات عناصر الكود، وتدرس الدلالات البديهية الظروف قبل وبعد تنفيذ الكود، بينما تفسر الدلالات التشغيلية تنفيذ الكود كسلسلة من انتقالات الحالة . ^{[ 98 ]}

يدرس علم الإدراك العقل من خلال التركيز على كيفية تمثيله للمعلومات وتحويلها. وهو مجال متعدد التخصصات يدمج أبحاثًا من مجالات متنوعة، تتراوح بين علم النفس وعلم الأعصاب والفلسفة والذكاء الاصطناعي واللغويات. ^{[ 99 ]} يؤكد بعض الباحثين على الدور المحوري للغة في فهم العقل البشري، ويعتمدون على الدلالات الرسمية لتوفير نموذج مجرد لتحليل كيفية بناء المعنى اللغوي وتفسيره. ^{[ 100 ]}

يُعدّ علم الدلالة الصورية ذا صلةٍ وثيقةٍ بعلم الأعصاب الإدراكي ، الذي يسعى إلى تفسير العمليات البيولوجية الكامنة وراء الإدراك . يستخدم أحد المناهج تقنيات تصوير الدماغ لتصوّر نشاط الدماغ، ويوظّف نماذج رياضية لربط هذه البيانات بالعمليات الإدراكية. ويمكن لرؤى علم الدلالة الصورية أن تُحسّن هذه النماذج وتساعد في صياغة تنبؤات قابلة للاختبار. على سبيل المثال، يمكن للباحثين دراسة الإدراك الدلالي من خلال عرض تنويعات دلالية لجملةٍ ما على شخصٍ ما، وقياس الاختلافات في استجابات الدماغ. ^{[ 101 ]}