Modalité, en logique, la classification des propositions logiques selon leur affirmation ou leur négation de la possibilité, de l'impossibilité, de la contingence ou de la nécessité de leur contenu. La logique modale, qui étudie les caractéristiques logiques de ces concepts, originaires d'Aristote, a été largement étudiée par les logiciens de l'Antiquité et du Moyen-Âge européen, et, pour la plupart, a été négligée après la Renaissance jusqu'à sa relance dans la logique mathématique moderne. La déclaration de base sur ce sujet, présupposée dans la plupart des discussions contemporaines, est de CI Lewis et Cooper Harold Langford dans Symbolic Logic (1932), qui développe un système modal d '«implication stricte» pour interpréter la force logique de «si… puis."
