Modalité , en logique, la classification des propositions logiques selon leur affirmation ou refus 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, originaire d'Aristote, a été largement étudiée par les logiciens dans l'Antiquité et au Moyen Âge européen, et, pour la plupart, a été négligée après la Renaissance jusqu'à ce qu'elle soit relancée dans la logique mathématique moderne. L'énoncé de base sur ce sujet, présupposé 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 du «si. . . puis."
Cet article a été récemment révisé et mis à jour par Brian Duignan, rédacteur en chef.
