Modalite

Mantıkta modalite, mantıksal önermelerin içeriklerinin olanaklılığını, olanaksızlığını, olumsallığını veya zorunluluğunu iddia etmelerine veya reddetmelerine göre sınıflandırılması. Bu tür kavramların mantıksal özelliklerini inceleyen modal mantık, Aristoteles ile ortaya çıkmış, antik çağda ve Avrupa Orta Çağında mantıkçılar tarafından kapsamlı bir şekilde incelenmiş ve modern matematiksel mantıkta yeniden canlandırılana kadar çoğunlukla Rönesans'tan sonra ihmal edilmiştir. Bu konudaki temel açıklama, çoğu çağdaş tartışmada varsayılan, C.I. Lewis ve Cooper Harold Langford'un Symbolic Logic (1932) adlı eseridir ve "eğer . . . o zaman" ifadesinin mantıksal gücünü yorumlamak için modal bir "katı ima" sistemi geliştirir.