Mostra la font per a Hume: relacions d'idees i qüestions de fet/es

Todos los objetos de la razón e investigación humana pueden, naturalmente, dividirse en dos grupos, a saber: ''relaciones de ideas y cuestiones de hecho''; a la primera clase pertenecen las ciencias de la geometría, álgebra y aritmética y, en resumen, toda afirmación que es intuitiva o demostrativamente cierta. Que ''el cuadrado de la hipotenusa es igual al cuadrado de los dos lados'' es una proposición que expresa la relación entre esas partes del triángulo. Que ''tres veces cinco es igual a la mitad de treinta'' expresa una relación entre estos números. Las proposiciones de esta clase pueden descubrirse por la mera operación del pensamiento, independientemente de lo que pueda existir en cualquier parte del universo. Aunque jamás hubiera habido un círculo o un triángulo en la naturaleza, las verdades demostradas por Euclides conservarían siempre su certeza y evidencia.

No son averiguadas de la misma manera las cuestiones de hecho, los segundos objetos de la razón humana; ni nuestra evidencia de su verdad, por muy grande que sea, es de la misma naturaleza que la precedente. Lo contrario de cualquier cuestión de hecho es, en cualquier caso, posible, porque jamás puede implicar una contradicción, y es concebido por la mente con la misma facilidad y distinción que si fuera totalmente ajustado a la realidad. Que ''el sol no saldrá mañana'' no es una proposición menos inteligible ni implica mayor contradicción que la afirmación ''saldrá mañana''. En vano, pues, intentaríamos demostrar su falsedad. Si fuera demostrativamente falsa, implicaría una contradicción y jamás podría ser concebida distintamente por la mente.