Modalidad , en lógica, la clasificación de proposiciones lógicas de acuerdo con su afirmación o negación de la posibilidad, imposibilidad, contingencia o necesidad de su contenido. La lógica modal, que estudia las características lógicas de tales conceptos, se originó con Aristóteles, fue ampliamente estudiada por los lógicos en la antigüedad y la Edad Media europea y, en su mayor parte, fue descuidada después del Renacimiento hasta que revivió en la lógica matemática moderna. La afirmación básica sobre este tema, que se presupone en la mayoría de las discusiones contemporáneas, es de CI Lewis y Cooper Harold Langford en Symbolic Logic (1932), que desarrolla un sistema modal de “implicación estricta” para interpretar la fuerza lógica de “si. . . luego."
Este artículo fue revisado y actualizado más recientemente por Brian Duignan, editor senior.
