Evrim Ağacı Bilim Terimleri Sözlüğü, bilim dünyasında sıkça kullanılan terimlerin anlamlarını ve açıklamalarını içerir.
Zorunluluk, başka türlüsü düşünülemeyen ve tüm olanaklı dünyalarda aynı olan şeyi ifade etmektedir. Örneğin bir önerme zorunlu olarak doğruysa o önermenin yanlış olduğu düşünülemez. Zorunluluk kavramını hangi felsefe disiplini içerisinde inceleyeceğimize göre hakkında söyleyeceklerimiz değişmektedir. Zorunluluk kavramı, özellikle Kant’ın epistemolojisi bağlamında a priorilik ile özdeşleştirildiği için çağdaş epistemolojide de a priorilik tartışmaları içerisinde ele alınıp incelenmiştir. Kant sonrası analitik felsefede, zorunluluk ve a priorilik kavramları arasında bir ayrıma giden Kripke, a prioriliğin epistemolojik, zorunluluğun ise metafizik bir kavram olduğunu ileri sürmüştür. Bu ayrıma karşın örneğin Chisholm, zorunlu önermelerin var olduğunu ve bir kimsenin onu anlaması sonucunda doğru olduğunu anlaşılacağını dile getirerek ‘zorunlu olarak doğru olma’sı bakımından metafizik anlamını, ‘öznenin anlaması doğrultusunda doğruluğunu görmesi’ açısından ise epistemolojik anlamını kullanmıştır. O halde çağdaş epistemolojide zorunluluk, Kant’ın zorunluluğu ve a prioriliği özdeş tutması kadar içe içe tartışılmasa da, Kripke’nin ayrımına rağmen, a priorilik zemininde tartışılmıştır. Çünkü metafiziğin ve mantık felsefenin kavramı olarak zorunluluğun epistemoloji içerisinde tartışılması için a priorilik gibi epistemolojik bir kavrama ihtiyaç vardır.