Modalidade , em lógica, a classificação de proposições lógicas de acordo com sua 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, originados com Aristóteles, foi extensivamente estudada por lógicos na Antiguidade e na Idade Média européia e, em sua maior parte, foi negligenciada após o Renascimento até revivida na lógica matemática moderna. A declaração básica sobre este assunto, pressuposta na maioria das discussões contemporâneas, é por CI Lewis e Cooper Harold Langford em Symbolic Logic (1932), que desenvolve um sistema modal de “implicação estrita” para interpretar a força lógica do “se”. . . então."
Este artigo foi revisado e atualizado mais recentemente por Brian Duignan, Editor Sênior.
