Modalidade, na lógica, a classificação de proposições lógicas de acordo com a afirmação ou negação da possibilidade, impossibilidade, contingência ou necessidade de seu conteúdo. A lógica modal, que estuda as características lógicas de tais conceitos, originada em Aristóteles, foi extensivamente estudada por lógicos na antiguidade e na Idade Média européia e, na maioria das vezes, foi negligenciada após o Renascimento até reviver a lógica matemática moderna. A afirmação básica sobre esse assunto, pressuposta na maioria das discussões contemporâneas, é de CI Lewis e Cooper Harold Langford na Symbolic Logic (1932), que desenvolve um sistema modal de "implicação estrita" para interpretar a força lógica do "se"… então."
