Posteriormente, Gottfried Leibniz se sirvió de la distinción entre contingencia y necesidad para mostrar la diferencia entre verdades de hecho (referidas a asuntos que pueden ser o no ser) y verdades de razón (que son necesarias).