Leibniz: veritats de raó i veritats de fet/es

Nuestros razonamientos se fundan en dos grandes principios. Uno es el de contradicción, en virtud del cual juzgamos falso lo que encierra contradicción, y verdadero lo que es opuesto a, o contradictorio con, lo falso. El otro es el de razón suficiente, en virtud del cual consideramos que no puede hallarse ningún hecho verdadero o existente ni ninguna enunciación verdadera sin que exista una razón suficiente para que sea así y no de otro modo, aun cuando esas razones nos puedan resultar, en la mayoría de los casos, desconocidas. Hay dos clases de verdades: las de razón y las de hecho. Las verdades de razón son necesarias y su opuesto es imposible; y las de hecho son contingentes y su opuesto es posible. Cuando una verdad es necesaria, se puede hallar su razón por medio del análisis, resolviéndola en ideas y verdades más simples hasta llegar a las primitivas. Es de este modo como, entre los matemáticos, los teoremas [...] son reducidos por medio del análisis a las definiciones, axiomas y postulados.