منطق موجهات
از ویکیپدیا، دانشنامهٔ آزاد.
منطق موجهات (Modal logic)، زمینهایست در منطق صوری که به بررسی موجهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت میپردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته میشود.
یک منطق موجهات صوری برای بیان موجهات از عملگر یونری موجهات استفاده می کند. عملگر موجهات پایه برای بیان ضرورت
(یا L) است و برای بیان احتمالا
(یا M) می باشد. در منطق موجهات کلاسیک این عملگرها با کمک عملگر منفی (
) می توانند بیان دیگری از دیگری باشند.
[ویرایش] پیوندهای بیرونی
- پارادوکسهای استلزام مادّی و تبیین آنها در منطق موجهات و ربط
- پیشرفتهای منطق موجهات (انگلیسی)
- مفاهیم پایه در منطق موجهات، Edward N. Zalta، مرکز مطالعات زبان و اطلاعات، دانشگاه استانفورد (انگلیسی)
- منطق موجهات، Games Garson، دایرةالمعارف فلسفهٔ استانفورد (انگلیسی)



