En lógica, la contingencia es el modo de ser o característica de algo en cuanto a que puede ser o no ser, dependiendo del caso (algo que no es necesario, pero sí es posible).
Si tiramos una moneda al aire y sale cara este suceso azaroso es contingente.
En lógica modal, se dice que una fórmula es contingente cuando es verdadera en al menos un mundo posible y falsa en otro.
Aristóteles oponía la contingencia a la necesidad, noción que fue recogida en la Edad Media por Tomás de Aquino, para quien el ens contingens (el mundo, el ser humano) se opone al ens necessarium (Dios).
La negación de un enunciado contingente, no supone caer en contradicción.