منطق موجهات

منطق موجّهات (Modal logic)، زمینه‌ایست در منطق صوری که به بررسی موجّهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت می‌پردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالاً، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته می‌شود.

یک منطق موجّهات صوری برای بیان موجّهات از عملگر یونری موجّهات استفاده می‌کند. عملگر موجهات پایه برای بیان ضرورت $\Box$ (یا L) است و برای بیان احتمالاً $\Diamond$ (یا M) می‌باشد. در منطق موجهات کلاسیک این عملگرها با کمک عملگر منفی ($\lnot$) می‌توانند بیان دیگری از دیگری باشند.

$\Diamond P \leftrightarrow \lnot \Box \lnot P$

$\Box P \leftrightarrow \lnot \Diamond \lnot P$

پیوند به بیرون

• پارادوکس‌های استلزام مادّی و تبیین آنها در منطق موجهات و ربط
• پیشرفت‌های منطق موجهات (انگلیسی)
• مفاهیم پایه در منطق موجهات، Edward N. Zalta، مرکز مطالعات زبان و اطلاعات، دانشگاه استانفورد (انگلیسی)
• منطق موجهات، Games Garson، دائرةالمعارف فلسفهٔ استانفورد (انگلیسی)