Modalità , in logica, la classificazione delle proposizioni logiche secondo la loro affermazione o negazione della possibilità, impossibilità, contingenza o necessità del loro contenuto. La logica modale, che studia le caratteristiche logiche di tali concetti, ha avuto origine con Aristotele, è stata ampiamente studiata dai logici nell'antichità e nel Medioevo europeo e, per la maggior parte, è stata trascurata dopo il Rinascimento fino a quando non è stata ripresa nella logica matematica moderna. L'affermazione di base su questo argomento, presupposta nella maggior parte delle discussioni contemporanee, è di CI Lewis e Cooper Harold Langford in Symbolic Logic (1932), che sviluppa un sistema modale di "stretta implicazione" per interpretare la forza logica di "se. . . poi."
Questo articolo è stato recentemente rivisto e aggiornato da Brian Duignan, Senior Editor.
