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.
| Investigación sobre el conocimiento humano, Sección IV, parte I (Alianza, Madrid 1994, 8ª ed., p. 47-48). |