Distinción que Hume establece entre las dos clases de enunciados que son objeto de nuestros razonamientos, o que pueden considerarse contenidos de nuestra conciencia.
Las relaciones de ideas (relations of ideas) son los enunciados cuya verdad se conoce por simple actividad de la mente y son, por tanto, a priori, se fundamentan en el principio de identidad o no contradicción, se conocen por intuición o demostración, y su contradictorio es imposible; por tanto, son verdades necesarias. A este grupo pertenecen los enunciados de las matemáticas y la lógica.
Las cuestiones de hecho (matters of fact) son enunciados que pueden ser verdaderos o falsos y su contradictorio o negación siempre es posible; por tanto, son verdades contingentes.
A este grupo pertenecen muchos enunciados de las ciencias y de la vida ordinaria, cuya verdad se fundamenta en el principio de causalidad, por lo que son a posteriori (ver texto).