Zorunluluk

Başka türlü olamayan, olumsal olmayan ya da olmaması olanaklı olmayan durum; olduğundan başka türlü olamayacak olma durumunu dillendiren, olduğundan başka türlü olmanın mantıksal bakımdan olanaksızlığını dile getiren felsefi ulam Öte yandan, mantık diliyle söylendiğinde, bir önerme yanlışlanamıyor ise zorunlu demektir Bu tür önermeler yanlışlığı düşünülemez, değillemesi de çelişik olan, bu nedenle de doğrulukları zorunlu olan önermelerdir Şeylerin gerçekte olmadığı ama olabileceği birçok olanaklı durum tasarlanabilir Eğer bir önerme tasarlanan olanaklı durumların hepsi için doğru ise o önermeye bütün olanaklı dünyalarda doğru ya da zorunlu önerme denir