Contingencia

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).​ En general la contingencia se predica de los estados de cosas, los hechos, los eventos o las proposiciones.​ Existe un debate sobre si es aceptable hablar de entidades contingentes (o entidades necesarias o imposibles),​ conocido como el debate en torno a las modalidades de dicto (de la palabra) y de res (de la cosa). La relación entre necesidad, posibilidad y contingencia es fácil de malentender.​ Todo lo que es contingente es posible, pero no todo lo que es posible es contingente, pues aquello que es necesario también es posible, pero no es contingente. Por otra parte, no todo lo que no es necesario es contingente, pues lo que es imposible no es ni necesario ni contingente. Si tiramos una moneda al aire y sale cara este suceso azaroso es contingente. Necesario es por ejemplo que el triángulo tenga tres lados. 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.