La contradicción es uno de los criterios que nos sirve para distinguir dos modos de conocimiento esenciales en Hume: cuestiones de hecho y relaciones de ideas. Mientras que las cuestiones de hecho son conocimiento probable sobre la naturaleza, y por lo tanto su contrario es pensable e incluso posible, las relaciones de ideas son aquellas afirmaciones propias de la lógica y las matemáticas, cuya verdad reside precisamente en que su opuesto es imposible por contradictorio. Así, la contradicción es para Hume uno de los rasgos definitorios del pensamiento humano. Hume no piensa que la realidad carezca de contradicciones, sino que nosotros estamos obligados a pensar de un modo coherente: no podemos pensar la contradicción, integrar los opuestos en una misma proposición. Este psicologicismo entiende leyes como la de identidad o no contradicción como algo constitutivo de nuestra forma de pensar.