Todos los objetos de la razón o investigación humana pueden dividirse naturalmente en dos tipos, a saber: Relaciones de Ideas y Cuestiones de Hecho. Del primer tipo son las ciencias de la Geometría, el Álgebra y la Aritmética; y en resumen, toda afirmación que sea intuitiva o demostrativamente cierta. Que el cuadrado de la hipotenusa es igual al cuadrado de los dos lados es una proposición que expresa una relación entre estas figuras. Que tres veces cinco es igual a la mitad de treinta expresa una relación entre estos números. Las proposiciones de este tipo son descubribles por la mera operación del pensamiento, sin dependencia de lo que exista en alguna parte del universo. Aunque nunca hubiera habido un círculo o un triángulo en la naturaleza, las verdades demostradas por Euclides conservarían siempre su certeza y evidencia.
Las cuestiones de hecho, que son el segundo objeto de la razón humana, no se establecen de la misma manera; ni nuestra evidencia de su verdad, por muy grande que sea, es de análoga naturaleza a la precedente.
Lo contrario de cualquier cuestión de hecho sigue siendo siempre posible, porque jamás puede implicar una contradicción, y la mente lo concibe con la misma facilidad y distinción que si se ajustara totalmente a la realidad.
Que el sol no saldrá mañana es una proposición igual de inteligible y no implica mayor contradicción que la afirmación de que saldrá.
Sería en vano, por tanto, intentar demostrar su falsedad. Si fuera demostrativamente falsa, implicaría una contradicción y la mente jamás podría concebirla claramente.