Relaciones de ideas y cuestiones de hecho

Como muchos otros, Hume recibíó notables influencias de filósofos tanto anteriores como contemporáneos. Tal es el caso de Leibniz, filósofo alemán de cuyos pensamientos Hume se sirvió más tarde para exponer su teoría sobre las relaciones filosóficas. Previamente, Leibniz diferenció dos tipos de verdades: las verdades de razón o identidades (relaciones de ideas) y las verdades de hecho (cuestiones de hecho). Las primeras eran observables "a priori" e independientes de la experiencia. También se las conocía como verdades necesarias, pues su contrario o negació es imposible concebirlo. Al tratarse de verdades deductivas, su mayor exponente se encuentra en las matemáticas y la lógica. Las segundas resultaban ser observables " a posteriori" y nos proporcionaban un mayor conocimiento del mundo, ampliando la información que tenemos de éste. Son contingentes, pues su contrario puede ser totalmente posible y, al ser inductivas (se basan en la experiencia) son típicas de las ciencias naturales. Más tarde Hume denominaría a estos dos tipos de verdades relaciones de ideas y cuestiones dehecho, respectivamente. Apenas cambió ningún aspecto del os definidos por su antecesor, pero se sirvió de ellas para explicar lo que él denominaba ideas de relación filosófica, es decir, conexiones que la mente hace de manera voluntaria para comparar ideas entre sí, forzando su comparación.