عامل الوضع

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

قواعد بناء الجملة للمعاملات المشروطة${\displaystyle \Box }$و${\displaystyle \Diamond }$وهي مشابهة جدًا لتلك الخاصة بالمحددات الكمية الشاملة والوجودية ؛ في الواقع، أي صيغة تحتوي على عوامل نمطية${\displaystyle \Box }$و${\displaystyle \Diamond }$والروابط المنطقية المعتادة في حساب القضايا (${\displaystyle \land ,\lor ,\neg ,\rightarrow ,\leftrightarrow }$يمكن إعادة كتابة ) إلى صيغة عادية للقول ، على غرار الصيغة العادية السابقة . لكن ثمة تحذير هام: في حين أن المحددات الكمية الشاملة والوجودية لا ترتبط إلا بالمتغيرات الافتراضية أو متغيرات المسند التي تلي المحددات الكمية، نظرًا لأن عوامل التشغيل المشروطة${\displaystyle \Box }$و${\displaystyle \Diamond }$تُحدد هذه القيم الكميات عبر العوالم الممكنة المتاحة ، وسترتبط بأي صيغة ضمن نطاقها . على سبيل المثال،${\displaystyle (\exists x(x^{2}=1))\land (0=y)}$وهو مكافئ منطقياً لـ${\displaystyle \exists x(x^{2}=1\land 0=y)}$، لكن${\displaystyle (\Diamond (x^{2}=1))\land (0=y)}$لا يكافئ منطقياً${\displaystyle \Diamond (x^{2}=1\land 0=y)}$؛ بدلاً من،${\displaystyle \Diamond (x^{2}=1\land 0=y)}$يستلزم ذلك منطقياً${\displaystyle (\Diamond (x^{2}=1))\land \Diamond (0=y)}$.

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

هناك عدة طرق لتفسير العوامل المشروطة في المنطق المشروط، بما في ذلك على الأقل: الأخلاقي ، والواجبي ، والقيمي ، والمعرفي ، والمعرفي .