Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
Expresiones debidas a Leibniz con las que distingue dos tipos de enunciados verdaderos. Las verdades de razón (vérités de raison) son necesarias, por cuanto su contradictorio -o su negación- es lógicamente imposible. Las verdades de hecho (vérités de fait) son contingentes, puesto que su contradictorio -o su negación- es lógicamente posible (ver texto). Las primeras fundan su necesidad en el principio de contradicción, o de identidad, y las segundas en el principio de razón suficiente (o causalidad).«Untriángulo tiene tres ángulos internos» es una verdad de razón necesaria basada en el principio de contradicción; su opuesta «algún triángulo no tiene tres ángulos internos»eslógicamente imposible. En cambio, «César pasó el Rubicón» es una verdad de hecho, contingente, puesto que su opuesto es lógicamente posible («César no pasó el Rubicón»), sólo fundamentada en el principio de razón suficiente, o de causalidad.
Esta división de Leibniz es paralela a la que hizo Hume entre relaciones de ideas y cuestiones de hecho, y a la de Kant, entre juicios analíticos y juicios sintéticos, y a la habitual entre a priori y a posteriori. Una de las diferencias fundamentales entre estos autores consiste en que, según Leibniz, las verdades de hecho también son verdades de razón para una mente infinita.